Posts
-
Making a toy programming language
I made a programming language! It’s called dodo. There’s basically nothing special about it — it’s a Lisp, chosen to be easy to implement, and it’s interpreted in JavaScript. You can try it here and read the spec here.
-
Proof Tips from my Old CS Theory Class
Back in the early 20-teens I was a TA for CS103, Stanford’s introduction to CS theory. For many of the students it was their first introduction to proof-based mathematics. We started off with an introduction to propositional logic, with two-column proofs and very explicit rules about how everything was supposed to work.
subscribe via RSS