Jason Gross
@diagram_chaser
Verify all the software! Optimist @theoremlabs
153 Following 1.6K Followers
@boredGenius Did you know that in the nix bootstrapping chain, there's as much code implementing C++ as there is doing *everything else combined* (Linux, Python, Perl, make, autotools, a Scheme interpreter, ...) Compilers are big, monolithic, and pull in a lot of complexity.
Show more
