How I slowly became convinced we absolutely have to build a proof checker and bring formal verification to the mainstream.
Iterative media could be a better way to think about meaningful ongoing work, and could improve personal blogs, research journals, and a lot more.
By avoiding effect aware functions a language hobbles engineers and makes programs sloppier than they could be.
If we can figure out a new business model to support real journalism, we can create a better kind of journalism institution. And that could be just the start.
Statically typed languages really feel incomplete without true macros, so I hacked that functionality together for typescript.
We all implicitly assume that elections are events that begin and end. What happens if we get rid of that assumption?
By only focusing on making ourselves laugh and feel better, we're failing to actually make any progress. We have to start persuading conservatives, not just mocking them.
Our modern storytellers are trying to tell ever larger and more complicated stories in movies, but the genre isn't up to the task.
Star Wars is different and special, and all because of the very first line.
A small side project I did in response to the difficulty of putting together a crowdfunding budget that won't end up screwing the creators.