Proof by Clicking
When I went to university, I took a class in Mathematical Logic. This course had just introduced a new pedagogical tool: Alfa, a computer program that helped...
Blog
Hello World!
Another blog is born. I have a bunch of stuff on my mind that is not fit for short-form social media posts and this will be my outlet for that. I plan to wri...