乗数を選ぶまで monoid は決まらない。x * ONES と CLMUL(x, ONES) はどちらも全 1 の幾何級数 kernel との畳み込みで、演算則が carry を持つかどうかだけが違う。同じ形の分岐を、係数を秘密鍵へ一般化するところまで進めると、固定長 summary を持つ affine な keyed transcript が出てくる。
predicate、prefix、rank と select、compact と expand、run boundary、Morton permutation。表面上は違って見える処理が、少数の同じ抽象作用へ何度も落ちる。手で何度もやった導出を Quotient Minimizer という solver へ移し、ordinary C を Clang -O2 に通した実アセンブリから意味を取り直して、物理代表を選び直すところまで通す。
スカスカの黄色い歯を晒す近代性が、緑のターミナル中に行列積で表示された待機画面のパソコンの前に一人。冴えた認知戦での青春だった。俺の正義は湿っている。手に馴染まないマウスが俺の識閾下に落ちて1708秒。37.8度のニューロンの熱。コンソールに表示された文字が揺れると舌が冷えた。 俺の、スカスカの、原因。気取ったイエロー。
完全未来で商化した機械の仕様を関数として書き、代入と正規化を最後まで進める。残ったのは map の引き当てが 3 命令、8 lane 分の stable dense address が 2 命令。LEB128 の境界抽出まで含めて、byte 単位の述語だけで並列へ落とす。
27 バイトのアーティファクトをデコードした subleq 変種 VM を、feed/read の観測だけで最小オートマトンへ商化する。遷移半群が right-zero になるので状態の受け渡しなしにバイト列を並列処理でき、観測された byte rank がそのまま u32 基数ソートを正当化する。
flock, timeout, setpriv, envdir, direnv があるのに、なぜ gx と ccux を自作したのか。inspect でプロセス起動をデータにする設計と、exec チェーンとしての合成。
スペース区切りを前提とするPagefindのWASMトークナイザーを、Intl.Segmenterによるビルド時分かち書きとクエリ正規化で日本語に対応させる実装を解説する。
ルビ・禁則処理・約物間隔・CJK–Latin 混在など、ブラウザが提供する日本語組版機能を実装面から解説する。
A deep dive into how this blog is built — Astro 6, MDX content collections, Pagefind search, and Japanese typography, all deployed at the edge.