アーカイブ | GeekNews ◀ 前年 | ◁ 前月 | << 前週 | < 前日 | 2025-06-01 | 翌日 > | 翌週 >> | 翌月 ▷ | 翌年 ▶ 1 Analysis I の Lean コンパニオン (terrytao.wordpress.com) テレンス・タオの『Analysis I』を Lean で再構成し、`sorry` を埋めながら実解析と数学形式化の両方を学べるオープンソースの学習プロジェクト。 2 ポイント 投稿者 GN⁺ 2025-06-01 | 1件のコメント 2 Darwin Gödel Machine - 自らコードを修正しながら進化するAI (sakana.ai) Darwin Gödel Machineは自己コードを自ら修正しながら進化し、実用ベンチマークで手作業設計のAIを上回る性能を示す。 10 ポイント 投稿者 GN⁺ 2025-06-01 | 2件のコメント 3 Ask HN: コンシューマー向けハードウェアで使える最高のLLMは何ですか？ (news.ycombinator.com) Qwen3、DeepSeek-R1、Mistral、Gemma3 などの最新 8B〜14B モデルは 16GB VRAM 環境でも快適に動作し、量子化やツール選定、実機テストがローカル LLM 活用の鍵となる。 13 ポイント 投稿者 GN⁺ 2025-06-01 | 1件のコメント 4 Buttplug MCP (github.com/ConAcademy) Buttplug.io 向けの実験的な MCP サーバーで、LLM から対応デバイスの参照や制御を試みるオープンソースプロジェクト。 1 ポイント 投稿者 GN⁺ 2025-06-01 | 2件のコメント 5 Valkey 1周年：コミュニティフォークはいかにRedisを追い抜いたのか (gomomento.com) Valkeyはフォークから1年で、性能・コミュニティ・実運用チューニングの各面でRedisを上回る存在感を示している。 8 ポイント 投稿者 GN⁺ 2025-06-01 | 4件のコメント 6 シリコンバレーに大型家電量販店が再登場：Micro Centerがオープン (microcenter.com) Micro Centerがシリコンバレーに新店舗を開設し、2026年まで無料のMember Pricing制度を提供する。 1 ポイント 投稿者 GN⁺ 2025-06-01 | 1件のコメント 7 jjui - Jujutsu バージョン管理システム向け TUI (github.com/idursun) Jujutsu(jj) 向けのターミナル UI として、コミットツリー探索や rebase、squash、プレビューなど主要ワークフローを効率化するツール。 21 ポイント 投稿者 xguru 2025-06-01 | 4件のコメント 8 Angular v20 を発表 (blog.angular.dev) Angular v20 は Signals ベースのリアクティビティや Zoneless、増分ハイドレーションを安定化し、DevTools・vitest・GenAI 支援まで含めて開発体験を大きく強化します。 3 ポイント 投稿者 GN⁺ 2025-06-01 | コメントと議論