rain1 started a page for people interested in bootstrapping or countering Karger's attack. Several of us are putting as many links as we can find to small, huma

rain1 started a page for people interested in bootstrapping or countering Karger's attack. Several of us are putting as many links as we can find to small, human-understandable tools such as compilers. I added some formally-verified or otherwise justifiable ones (eg 25-core CPU ain't gonna be simple). https://bootstrapping.miraheze.org/wiki/Main_Page https://bootstrapping.miraheze.org/wiki/Main_Page https://web.archive.org/web/20170724144929/https://bootstrapping.miraheze.org/wiki/Main_Page https://web.archive.org/web/20170724144929/https://bootstrap... We're focused on content right now over presentation. So, it will look rough. Hope you all enjoy it or learn something from the projects.