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 solution to broken social media is obvious: democratic cooperative ownership.
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.