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.
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.