Posts

You're the only person I've met who's reached their full potential.

Ideas to blog about:

• The Halting problem doesn't type check (though it is still valid)
• Girard's paradox in Haskell
• Simple proof of the Fundamental Theorem of Algebra