Notices by Masanori Ogino ???? (omasanori@mstdn.maud.io@mstdn.maud.io), page 44

アフィ記事ですから始まるのすき

ブートストラップの話、言語処理系には大抵、\が来たら次の文字で分岐してnだったら\nの値を挿入するというコードが書かれているので、インタプリタはそれをコンパイルしたときのコンパイラから、コンパイラはそれをブートストラップするときに使ったコンパイラから\nに対応する数値を受け継いでいて、具体的な数値はシステム全体のソースコードを調べても書かれていないという小話がある（一度本当にそうなのか検証してみたい）

Schemeの方はコンパイラではなくインタプリタだった

GCC 2.95をビルドできる程度の能力を持つ小さなCコンパイラを作れれば、そこからC++で書き直される前のGCC 4.4辺りをビルドして、更に近代的なGCCやClangをビルドすることで、精査可能な小さなツールチェーンからシステム全体をビルドできるフルセットのツールチェーンをブートストラップできるというのが現在の方針

GNU MesはハンドアセンブルされたCコンパイラではなくSchemeで書かれたCコンパイラとCで書かれたSchemeコンパイラ（もちろんCもSchemeもフルセットではなく処理系全体を精査できるようなサブセット）でブートストラップする

という方向性のプロジェクトがStage0やGNU Mesです

元からアセンブリ言語で書かれているならバイナリにする過程で細工されていないかどうかは直接比較できて、そのコンパイラが例えば平均的なプログラマーに精査できるくらいわかりやすく書かれていればseedから精査できるシステムとなりうる

具体的には、昔のGCCをコンパイルできる程度の機能を持つCツールチェーンをハンドアセンブルして、それをseedにする

UNIXのloginに組み込まれた有名なバックドアの話からわかるように、自分が精査したソースコードからコンパイルしたとしても元のバイナリがバックドアを埋め込む場合があって、単にreproducibleなだけでなくシステムをブートストラップする最初の段階で使ったバイナリ（seed）から精査できるようにしようという話が盛り上がっている

GNU MesもStage0と似た目的のプロジェクト

Stage0 Bootstrap for the Free Software - Summary [Savannah] https://savannah.nongnu.org/projects/stage0

"This project is not part of the GNU Project.

A class of minimal bootstrap binaries that has a reproducible build on all platforms. Providing a verifiable base for defeating the trusting trust attack."

GNU/Linuxシステムを「ゼロから」ブートストラップするためのStage0プロジェクトに注目していってほしい

最初からデスクトップ環境込みでインストールすると最初から色々起動するので、最小セットアップで立ち上げてこれからどう育てるか考えている間見られる光景

topで見えるプロセスの少なさに「美しい……」っつってる

Arch Linux、baseにPython入ってないのつよいな（Perlは入ってるけど）

2.11BSDはsysも後でリリースされたはず

有志がパッチを公開し続けているPDP-11上の2.11BSD（最新のパッチは2016年）は割と最近のUnixに入るでしょうか