blainehansen

Hello, my name is Blaine Hansen, and this is my blog.

I'm an iconoclastic musician, programmer, entrepreneur, and political agitator living in Salt Lake City. I want human society to be free and asynchronous.

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.