@lef237.bsky.social
レフと読みます。プログラミングするゾウ https://github.com/lef237
野原ひろし Spacemacsの流儀
07.11.2025 12:27 — 👍 0 🔁 0 💬 0 📌 0
Konqiくんの画像
KDEのマスコットキャラクター、すごく可愛いぜ！
04.11.2025 10:40 — 👍 2 🔁 0 💬 0 📌 0
CSVをJSONに変換するいい感じのツールがなかったのでDIYしました⚙️
crates.io/crates/ctj
ケント・ベックと握手できて良かった🤝 本当に嬉しい！
04.07.2025 01:51 — 👍 1 🔁 0 💬 0 📌 0最近プログラミングの息抜きにプログラミングしてる。加速し過ぎかもしれない
30.06.2025 14:31 — 👍 0 🔁 0 💬 0 📌 0
ブラウザからDBに行き着くまでただまとめる
zenn.dev/moko_poi/art...
![$ steep check
# Type checking files:
....F
lib/inline_partial/helper.rb:5:8: [error] Cannot allow method body have type `::String` because declared as type `nil`
│ ::String <: nil
│
│ Diagnostic ID: Ruby::MethodBodyTypeMismatch
│
└ def inline_partial(name, &block)
~~~~~~~~~~~~~~
Detected 1 problem from 1 file](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:u2v7vpryuvo4ic7wk54tbhpj/bafkreihvsqea3oir5l3ryi6gg3qwayb4ynfuhu7zsahetry7xnjottarhy@jpeg)
$ steep check # Type checking files: ....F lib/inline_partial/helper.rb:5:8: [error] Cannot allow method body have type `::String` because declared as type `nil` │ ::String <: nil │ │ Diagnostic ID: Ruby::MethodBodyTypeMismatch │ └ def inline_partial(name, &block) ~~~~~~~~~~~~~~ Detected 1 problem from 1 file
steep使ってみた。便利！
30.06.2025 12:14 — 👍 0 🔁 0 💬 0 📌 0
関数型言語テイスティング: Haskell, Scala, Clojure, Elixirを比べて味わう関数型プログラミングの旨さ | ドクセル www.docswell.com/s/lagenorhyn...
28.06.2025 13:25 — 👍 1 🔁 0 💬 0 📌 0LLMの価値は、時間を掛けて検索すれば解明できるような作業をショートカットして、時間を掛けても明確な答えの出ない本質的な問題に向き合えることだと思う
27.06.2025 23:25 — 👍 1 🔁 0 💬 0 📌 0コーパスにない情報については原理的に出力のしようがないことを考えると、人間の仕事はデータ収集（どちらかというとフィールドワーク）になるのかなという未来予測
27.06.2025 14:38 — 👍 0 🔁 0 💬 0 📌 0Falloutのドラマってカイル・マクラクラン出てるのね。びっくりした
25.06.2025 13:09 — 👍 0 🔁 0 💬 0 📌 0趣味の開発で「突破」したいという気持ちがあるのだけど、そのためには控えめに見積もってもX000時間くらい費やす必要がある（しかも無為にせず考え続けながら）というのがあり、荷が重いけど前には進めたい。牛歩。
25.06.2025 12:07 — 👍 0 🔁 0 💬 0 📌 0以前、あまりコードを書き換えない最小のdiffが良いと思っていたけど、これはただのコードゴルフになってしまう（こともある）という気づきを去年あたりに得た
24.06.2025 10:11 — 👍 0 🔁 0 💬 0 📌 0エアコン、つけると寒いけど消すと暑い……
24.06.2025 10:11 — 👍 0 🔁 0 💬 0 📌 0
Gopher かと思った
22.06.2025 09:09 — 👍 23 🔁 2 💬 0 📌 0
アニメーション監督 富野由悠季さん「ガンダム」に込めた思い
www3.nhk.or.jp/news/html/20...
ほんのわずかでも趣味の開発を進められた日は気持ちがいい気がする
16.06.2025 13:59 — 👍 0 🔁 0 💬 0 📌 0気温がもう夏やね…🌻
05.06.2025 11:44 — 👍 0 🔁 0 💬 0 📌 0
レビューに参加した「エンジニアリング統括責任者の手引き」の思い出エントリを書きました
tech.andpad.co.jp/entry/2025/0...
Rustの起源の話、知らなかった🛗
「Rust」が10周年--エレベーター故障から始まったシステムプログラミング言語の歴史 - ZDNET Japan japan.zdnet.com/article/3523...
X、今日も挙動が安定していない気がする
26.05.2025 10:11 — 👍 0 🔁 0 💬 0 📌 0PocketからRaindropへの移行完了。すごく快適だ…！
25.05.2025 09:39 — 👍 0 🔁 0 💬 0 📌 0TSKaigi すごく学びが多くて現地参加できて良かった…！ 日々の開発でも活かしていきたい
24.05.2025 14:24 — 👍 0 🔁 0 💬 0 📌 0箱型液晶という技術を知った。これをLLMと組み合わせてキャラクターに紐づけたら夢が広がりそう
19.05.2025 12:55 — 👍 0 🔁 0 💬 0 📌 0ジークアクス、毎話面白くてすごい。ネタバレ怖くて毎週水曜日はソーシャルメディアを見ないようにしてる
17.05.2025 01:12 — 👍 0 🔁 0 💬 0 📌 0
背景の無限自動スクロールの実装｜lef237 note.com/lef237/n/naf...
11.05.2025 14:25 — 👍 0 🔁 0 💬 0 📌 0Expedition 33面白そう…！
09.05.2025 14:16 — 👍 0 🔁 0 💬 0 📌 0ネクストコナンズヒント！
余状態コモナド
アローキーで猫ちゃんを動かす｜lef237 note.com/lef237/n/nfa...
02.05.2025 14:17 — 👍 0 🔁 0 💬 0 📌 0記事書くので時間を取られるのも本末転倒だし、隔週くらいにしようかな
01.05.2025 13:45 — 👍 1 🔁 0 💬 0 📌 0
