Ramblings on notation
Alternative title: “Notation is fake”
Recent Posts
Advent of Code 2020: Thoughts
(With this, I think I just have managed to avoid going a full year with nothing posted, phew!)
Whirlwind Introduction to Subtyping
(These notes are adapted from a lecture I gave for a student-run class on type theory. See also the pdf version)
The Great Theorem Prover Challenge II
This is the second of a series on Hillel Wayne’s Great Theorem Prover Showdown. Make sure to check out the first part! You can also follow my progress in thi...
The Great Theorem Prover Challenge I
I was having a discussion with a coworker over lunch the other day about code reasoning and informal correctness (things like “it feels correct” and “it pass...
Who needs an API, anyway?
Alt Title: My (Failed) Quest to Achieve Automated Trolling
PACTF 2016 - Reflections
By the time anybody is reading this, we should have finalized both DQs and prizes for PACTF 2016. If I said I thought everything went 100% as I wanted it to,...