blainehansen

Posts

My Path to Magmide

How I slowly became convinced we absolutely have to build a proof checker and bring formal verification to the mainstream.

Iterative Media

Iterative media could be a better way to think about meaningful ongoing work, and could improve personal blogs, research journals, and a lot more.

Red & blue functions are actually a good thing

By avoiding effect aware functions a language hobbles engineers and makes programs sloppier than they could be.

macro-ts: an ergonomic typescript compiler that enables typesafe syntactic macros

Statically typed languages really feel incomplete without true macros, so I hacked that functionality together for typescript.

Persistent Voting, aligning our voting systems with reality.

We all implicitly assume that elections are events that begin and end. What happens if we get rid of that assumption?

To turn the tide of fascism and climate change, we have to stop preaching to the choir.

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.

Epics and Movies Don't Mix

Our modern storytellers are trying to tell ever larger and more complicated stories in movies, but the genre isn't up to the task.

The Uncanny Galaxy

Star Wars is different and special, and all because of the very first line.

Smart Starter: A Tool for Safe Sane Crowdfunding Budgets

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.

Facebook Hostages: Why doesn’t social networking work like email?

Facebook and the other social media sites use your participation to hold you hostage to an ecosystem they (mostly) created: the closed social network. But it doesn't have to be that way.