You can also also view the full archives of micro-posts.
Introduction to High Performance Scientific Computing, by the author of $\TeX$ by Topic.
Back to Bandcamp.
I need to put that on a Post-it note as an example of how to explain a script. The best part? It would fit on a Post-it note. — More shell, less egg
Type theory was developed to be an alternative to set theory as the foundation of mathematical proofs in symbolic logic due to its ability to solve some contradictions stemming from naive set theory. — Where do Type Systems Come From?