Brotli デコーダの真偽値ひとつが、Node.js から Python、HTTP サーバーまで同じ対応期限に追い込んだ
DecodeBlockTypeAndLength() が返す真偽値は「壊れたデータ」と「入力が足りない」を区別できない。細工したストリームはバッファの境界の外に書き込む。修正は2月に上流へ入っていたが、脆弱性として扱われないまま、今月になって各ランタイムが一斉に更新した。
圧縮
もっと見る 圧縮
ホーム
純粋関数型プログラミングはどこまで C に近づけるか？
Roc で書いた DEFLATE パッケージが、Silesia コーパスの 144 項目で手作業チューニング済みの C に中央値で M1 MacBook Pro は 2.6%、Ryzen 3900X は 8.9% まで迫った。
Postgres で何が TOAST されるのか
Postgres 19 は TOAST 圧縮を pglz から LZ4 に切り替える。LZ4 はより高速だが、常に小さくなるわけではなく、使用すると一部の読み取りが遅くなる。
バイナリをパッケージングするのは実はとても楽しい
作者は自作のバイナリスキーマ言語jBinでJSONペイロードを80%削減し、字句解析、AST、コード生成を完全に実装した。
物理学者のように LLM を剪定する：ブロック除去を Ising 最適化問題として扱う
ブロックを丸ごと消すのが手軽な高速化だが、どれを消すかは多体問題になる。Multiverse Computing はこれを制約付き二値最適化に書き直し、Ising 模型の低エネルギー状態を高スコアのモデルに対応させた。
Lean で Zstandard 解凍器を書く：LLM が「証明コスト」を引き下げたとき
Adam Langley が Lean で Zstandard の解凍器を書き、型レベルの不変条件を型シグネチャとして書き下し、 証明本体を LLM に埋めさせた記録。