アーカイブ | GeekNews ◀ 前年 | ◁ 前月 | << 前週 | < 前日 | 2026-07-30 | 翌日 > 21 Manganin: ツールは重要だ (blog.manganin.dev) Manganin は、保証ツリーとローカルファーストなワークフローで GitHub 型モデルを再構想する Zig 製 Git フォージ。 2 ポイント 投稿者 GN⁺ 17 시간 전 | コメントと議論 22 AI熱狂が世界中の意思決定を崩壊させている (hermit-tech.com) Hermit Techの観察ではAIプロジェクトは成果より信仰と指標操作を生み、組織の意思決定を歪めている。 3 ポイント 投稿者 GN⁺ 18 시간 전 | コメントと議論 23 「Matzが親切だ」という事実は重要ではない (po-ru.com) Rubyコミュニティの「親切」なイメージと、DHH・Shopify・Tobias Lütkeに集中する影響力との乖離を批判する論考。 2 ポイント 投稿者 GN⁺ 18 시간 전 | コメントと議論 24 Kimi K3-256k (kimi.com) Kimi K3-256k は、K3 と同等の品質を 256k コンテキストで維持しつつ、1M 版より割り当て消費を約半分に抑える日常的なコーディング向けモデル。 1 ポイント 投稿者 GN⁺ 18 시간 전 | 1件のコメント 25 Word文書を通じて自己伝播するCopilot AIワーム (enklypesalt.com) 外部Word文書に隠したプロンプトがCopilotの出力へ複製され、通常の業務文書を通じて自己伝播するAIワームの実証。 2 ポイント 投稿者 GN⁺ 19 시간 전 | 1件のコメント 26 フランスの音楽家Kavinsky、パリの自宅で死亡しているのが発見される (euronews.com) フランス人DJのKavinskyがパリの自宅で死亡しているのが発見され、検察が死因解明に向けた捜査を進めている。 1 ポイント 投稿者 GN⁺ 22 시간 전 | 1件のコメント 27 Superlogical - あらゆる作業のためのマルチプレクサ (superlogical.com) ローカル開発から本番運用までを1つの永続的セッションでつなぐ作業マルチプレクサを目指し、まずは長期セッション対応のターミナルマルチプレクサを投入する。 1 ポイント 投稿者 GN⁺ 22 시간 전 | 1件のコメント 28 TurboFieldfare — すべてのMシリーズMacでGemma 4 26Bを2GB RAMで動かすオープンソースエンジン (github.com/drumih) TurboFieldfareは、Gemma 4 26B-A4Bを約2GBのメモリでApple Silicon Mac上にローカル実行するオープンソースのSwift・Metalランタイム。 9 ポイント 投稿者 GN⁺ 23 시간 전 | 4件のコメント 29 デモシーンのユーザーインターフェース (datagubbe.se) デモシーンは独自ツール群を通じて、実験精神と視覚的誇示が反映された独特な UI 文化を築いた。 1 ポイント 投稿者 GN⁺ 1 일 전 | 1件のコメント 30 KOReader (koreader.rocks) E Inkデバイス向けの多機能ドキュメントビューアで、幅広い電子書籍・文書形式をKindleやKobo、Android、Linuxで開ける。 1 ポイント 投稿者 GN⁺ 1 일 전 | 1件のコメント 31 プログラム検証で Rocq が Lean より適している理由 (joomy.korkutblech.com) 数学の形式化では Lean が伸びている一方、実行可能なプログラム検証ではネイティブな余帰納、複数の抽出経路、蓄積された検証エコシステムを備える Rocq のほうが適している。 1 ポイント 投稿者 GN⁺ 1 일 전 | コメントと議論