
218: AIエージェント時代の開発環境と子育て
子育ての話、HerdrでAIエージェントを管理する話、Hunkでdiffを見やすくする話、証明支援系Leanの話をしました。
Discuss with tan-z-tan, potsbo. https://forms.gle/LFZqedLyaiDXLsEA6
Subscribe:.rss.atom.json.md.m3u.pls
Live Last read · last published · next check
Saves to your Listen queue, to pick up on another day or another device.

子育ての話、HerdrでAIエージェントを管理する話、Hunkでdiffを見やすくする話、証明支援系Leanの話をしました。

ワールドカップの話、Apple 値上げの話、最近読んだSF小説 Final Anchorsの話、詳解Linuxカーネルという本の話をしました。

シフト制育児を試している話、「赤ちゃんにもママにも優しい安眠ガイド」というねんねトレーニングの本の話、スペースX IPO の話、OpenAI と Anthropic IPO の噂話、Claude Fableの話、Linuxプログラミングインタフェースの反し、ワールドカップの話をしました。 https://www.amazon.co.jp/-/en/dp/482400229X https://www.amazon.co.jp/dp/4761267976

新型 MacBook Pro M5 Pro を買った話、local LLM の話、Apple と Google の契約の話、原油価格高騰の話、MacBook Neo の話をしました。

FSE (Finite State Entropy) というデータ圧縮手法について話しました。 https://fastcompression.blogspot.com/

Claude Opus 4.6 と GPT-5.3-Codex が同時に出た話、Claude Team の話、UEFI の話、Apple の M5 Pro Macbook が待ちどしい話をしました。 https://www.anthropic.com/news/claude-opus-4-6 https://openai.com/index/introducing-gpt-5-3-codex/ https://ja.wikipedia.org/wiki/Unified_Extensible_Firmware_Interface

子育ての話、Linux PC の話、nixOS の話をしました。

新年明けてやったことの話、Conflict-free Replicated Data Type (CRDT) を使って楽譜共同編集アプリを作っている話、tailscale や WireGuard という VPN ツールの話をしました。

落下の王国という映画の話、仮想ネットワークの話、ゼロからのTCP/IPプロトコルスタック自作の話、Opus 4.5 と Antigravity の話をしました。 https://www.amazon.co.jp/dp/4839981248

Ollama Cloud の話、ルーブル美術館の強盗の話、仮想化技術の話をしました。 https://ollama.com/cloud https://www.amazon.co.jp/-/dp/4297150123/