Algebraic simplifiers can't handle bitwise logic. Boolean minimizers can't handle arithmetic. CoBRA bridges both by fingerprinting expression structure on Boolean inputs, then reconstructing the simplest equivalent. blog.trailofbits.com/2026/04/03/sim…

CIのclippy checkで毎回15分かかってるので何かと思ったらz3をビルドしていたらしい

チョコットランドの.pakを解凍してテクスチャを取り出すCLIを書いたよ - ゴロリのブログ k0mkc.hatenablog.com/entry/2026/05/…