Things I Hate About Python
Everything.
Contribute, Or Die: An Open Source Mantra
I originally wrote a draft of this in December, but was inspired to finish it by recent events (i.e. actix-web). We’ve all heard the trope that the “free” in “free software”
How Many Types Is Too Many?
Position: Type annotations are ultimately undesirable when working with sufficiently-complex type systems, but there is no better solution. There is a point where a formally-verified compiler becomes indistinguishable from an automated theorem prover.
What's New - January 10th, 2019
Hey everyone. Sorry, I missed December. I had good reason, though - finals, and then holidays. Here's what's new. I've been reading a lot of research papers, textbooks, and other resources, and with
A First Look at the Manda Language
It's still not public yet, but here's a little bit about my current project. If you've read any of my "What's New" posts, you'll recall hearing about me working on the "Manda" language