24 min

27バイトの激キショVMから、観測だけでrankを得る並列u32基数ソートを構成しよう

27 バイトのアーティファクトをデコードした subleq 変種 VM を、feed/read の観測だけで最小オートマトンへ商化する。遷移半群が right-zero になるので状態の受け渡しなしにバイト列を並列処理でき、観測された byte rank がそのまま u32 基数ソートを正当化する。