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.

The internet town square doesn't have to suck

The solution to broken social media is obvious: democratic cooperative ownership.

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.