物理学者のように LLM を剪定する：ブロック除去を Ising 最適化問題として扱う
ブロックを丸ごと消すのが手軽な高速化だが、どれを消すかは多体問題になる。Multiverse Computing はこれを制約付き二値最適化に書き直し、Ising 模型の低エネルギー状態を高スコアのモデルに対応させた。
オープンソース
もっと見る オープンソース
ホーム
AIで3Dゲームを作る、ツールはすべてアセットの層にある
3DゲームのAIツールはモデル・テクスチャ・リギングの3段階をすでに網羅し、出来高制で価格設定され、エンジンに直接ドラッグして試せる。レベルデザインとエンジン内の統合はまだ人に代われるツールがなく、無料枠は基本的に商用利用不可で、AI生成物は米国で著作権保護が受けられないという2つの落とし穴は、最終的に開発者が負うことになる。
「Jevより1年早い」という主張は、論文と229問の結果と噛み合わない
Nandakishor Mukkunnothは2025年3月にJevの非自己回帰意思決定モデルを作り、それについて長い記事を書いたと述べている。私は彼が引用した2本の論文を読み、彼の2026年のモデルを229問の細粒度問題で走らせたが、見えたものはこの話とは少し違っていた。
誰もFOSSにお金を払いたがらないが、我々は払わせることができる
著者は進化的安定戦略でオープンソースがなぜ常に無料で勝つのかを説明し、その後、本当の金はとっくにJFrog、Snyk、Dockerといった「信頼できる供給」を売るベンダーに流れていると指摘する。彼の提案はただ一言：レジストリは企業から料金を徴収し、その一定部分を依存関係ツリーに沿ってメンテナーに分配すべきだ。
主権的でオープンウェイトなAIを技術の最前線へ
Mistralが30億ユーロのシリーズDラウンドの資金調達を完了、Samsung Electronicsが主導し、評価額は210億ユーロ超。欧州テック企業史上最大の株式調達。
Mistral x Mozilla：プライベートで多言語対応のAIブラウジング
MistralがMozillaと提携し、MistralモデルでFirefoxのスマートウィンドウ（ベータ版）を支え、フランスと北米のユーザーに先駆けてプライベートな多言語AIブラウジング体験を提供。
サイレントな HMAC キー汚染：Burp JWT Editor 拡張の論理欠陥を暴く
BurpのJWT Editor拡張機能のサイレントバグでラボがどうしても突破できず、著者は15時間かけて鍵が汚染された真の原因を突き止め、最終的にそれを上流リポジトリのissueにした。
AIはコードを書けるが、修正が有効だと証明できるのか？
AI が生成した変更を人間が信頼するにはどんな証拠が必要か。著者は no_human に出した3つの PR を通じ、改ざん防止ガード、再現ゲート、敵対的レビューがそれぞれどの種類の失敗を防ぐかを明らかにした。
現代の科学はオープンソースソフトウェアである
著者の主張はこうだ。コンピュータ化された世界で科学するには、オープンソースソフトウェアが必要条件である。再現可能とは実行可能かつ改変可能であることで、科学の結果はソフトウェアに依存し、ソフトウェアが誤れば科学も誤る。
寄付がどう働いたか：Servo の資金支援開発から 1 年
Servo のパートタイムメンテナ Josh Bowman-Matthews が寄付に支えられた 1 年を振り返る。新メンテナ 8 名の推薦、1150 件の PR レビュー、新人向け issue 114 件の起票（92% 修正済み）など。
なぜRust LSPの構築は難しいのか · Rust Glancer
ずっと昔、強力なmatkladがRustツールチェーンの仕組みについて素晴らしい記事をいくつか書いた。良い時代だったが、最後のrust-analyzerブログは2023年で止まっている。
同じリンカで2つのベンチマークが正反対の結論：Wild作者が項目ごとに分解して自分で確認
Moldが最近リンカベンチマークを更新し、初めてWildを対象に含めた。このベンチマークではWildはMoldよりかなり遅く、8月4日の前回リリース時にWildが最新で公表したベンチマーク結果とは逆である。
Rust公式が警告：メンテナーを狙った標的型攻撃が進行中、目的は公開権の奪取
すべての人が信頼性が高く効率的なソフトウェアを構築できるようにする。
HEIC画像1枚からOpenAI社内リポジトリまで：72時間で2つの脆弱性をつなぐ
ヒープオーバーフローとSSO設定ミスによりOpenAIの内部リポジトリが侵害される