218: AIエージェント時代の開発環境と子育て
子育ての話、HerdrでAIエージェントを管理する話、Hunkでdiffを見やすくする話、証明支援系Leanの話をしました。
Pod de Engineer
Nao Minami
最新の公開エピソード 218: AIエージェント時代の開発環境と子育て
再生の準備ができました
0:00
38 min 46 s
41 エピソード
217: カーネルは読めるのにApple値上げは読めない Final Anchors
ワールドカップの話、Apple 値上げの話、最近読んだSF小説 Final Anchorsの話、詳解Linuxカーネルという本の話をしました。
216: 赤ちゃんにもママにもOpenAIにも優しい安眠ガイド
シフト制育児を試している話、「赤ちゃんにもママにも優しい安眠ガイド」というねんねトレーニングの本の話、スペースX IPO の話、OpenAI と Anthropic IPO の噂話、Claude Fableの話、Linuxプログラミングインタフェースの反し、ワールドカップの話をしました。https://www.amazon.co.jp/-/en/dp/482400229Xhttps://www.amazon.co.jp/dp/4761267976
215: Ultra Macbook 5G Max Neo 買った
新型 MacBook Pro M5 Pro を買った話、local LLM の話、Apple と Google の契約の話、原油価格高騰の話、MacBook Neo の話をしました。
214: Yann Collet先生のFSE (Finite State Entropy) というデータ圧縮手法について
FSE (Finite State Entropy) というデータ圧縮手法について話しました。https://fastcompression.blogspot.com/
213: いたるところにGeminiがいるよ
Claude Opus 4.6 と GPT-5.3-Codex が同時に出た話、Claude Team の話、UEFI の話、Apple の M5 Pro Macbook が待ちどしい話をしました。https://www.anthropic.com/news/claude-opus-4-6https://openai.com/index/introducing-gpt-5-3-codex/https://ja.wikipedia.org/wiki/Unified_Extensible_Firmware_Interface
212: minix Claude Code PC OS
子育ての話、Linux PC の話、nixOS の話をしました。
211: 2026年のNAT超えを果たしてCRDT＋TailScale＋WireGuard
新年明けてやったことの話、Conflict-free Replicated Data Type (CRDT) を使って楽譜共同編集アプリを作っている話、tailscale や WireGuard という VPN ツールの話をしました。
210: ゼロからの仮想の王国ネットワーク
落下の王国という映画の話、仮想ネットワークの話、ゼロからのTCP/IPプロトコルスタック自作の話、Opus 4.5 と Antigravity の話をしました。https://www.amazon.co.jp/dp/4839981248
209: ルーブル美術館の監視カメラのパスワードは「Pod de Engineer」だった
Ollama Cloud の話、ルーブル美術館の強盗の話、仮想化技術の話をしました。https://ollama.com/cloudhttps://www.amazon.co.jp/-/dp/4297150123/
