Posts
-
Finding the Celebrity
Using elimination and recursion to find a party celebrity with at most 3n - 4 questions
-
Using Invariants
Reconstructing a C exception interface by identifying the invariant behind its control flow
-
Self-reproducing Program
Building a quine from first principles in Ouro, a small language designed for self-reference
-
Understand Cross Product
Deriving the cross product from determinants and interpreting it through area and volume
-
Gitlet
Implementation notes on building Gitlet, a small Git-like version control system
-
Proof of Sylvester's Rank Inequality
Three proofs of Sylvester's rank inequality using block matrices, normal forms, and linear maps