*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

Statistics as algorithmic summarization. Reminds me of Efron’s introductory chapter on statistical machinery in Computer Age Statistical Inference.

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?