Epic thread on getting the Ada compiler bootstrapped in UCRT64 MSys2 (2021)github.com·3 pts·phaedrus·0
Show HN: I translated (most of) a Coq proof into a C++ template metaprogramgodbolt.org·1 pts·phaedrus·0
The Fine Art of Dwarf Fortress (about the ascii portraits in the NYT article)6thfloor.blogs.nytimes.com·2 pts·phaedrus·0