アーカイブ | GeekNews ◀ 前年 | ◁ 前月 | << 前週 | < 前日 | 2026-07-30 1 フランスの音楽家Kavinsky、パリの自宅で死亡しているのが発見される (euronews.com) フランス人DJのKavinskyがパリの自宅で死亡しているのが発見され、検察が死因解明に向けた捜査を進めている。 1 ポイント 投稿者 GN⁺ 2 시간 전 | 1件のコメント 2 Superlogical - あらゆる作業のためのマルチプレクサ (superlogical.com) ローカル開発から本番運用までを1つの永続的セッションでつなぐ作業マルチプレクサを目指し、まずは長期セッション対応のターミナルマルチプレクサを投入する。 1 ポイント 投稿者 GN⁺ 2 시간 전 | 1件のコメント 3 TurboFieldfare — すべてのMシリーズMacでGemma 4 26Bを2GB RAMで動かすオープンソースエンジン (github.com/drumih) TurboFieldfareは、Gemma 4 26B-A4Bを約2GBのメモリでApple Silicon Mac上にローカル実行するオープンソースのSwift・Metalランタイム。 1 ポイント 投稿者 GN⁺ 3 시간 전 | 1件のコメント 4 デモシーンのユーザーインターフェース (datagubbe.se) デモシーンは独自ツール群を通じて、実験精神と視覚的誇示が反映された独特な UI 文化を築いた。 1 ポイント 投稿者 GN⁺ 6 시간 전 | 1件のコメント 5 KOReader (koreader.rocks) E Inkデバイス向けの多機能ドキュメントビューアで、幅広い電子書籍・文書形式をKindleやKobo、Android、Linuxで開ける。 1 ポイント 投稿者 GN⁺ 6 시간 전 | 1件のコメント 6 プログラム検証で Rocq が Lean より適している理由 (joomy.korkutblech.com) 数学の形式化では Lean が伸びている一方、実行可能なプログラム検証ではネイティブな余帰納、複数の抽出経路、蓄積された検証エコシステムを備える Rocq のほうが適している。 1 ポイント 投稿者 GN⁺ 7 시간 전 | コメントと議論