blainehansen

View JSON Representation

I'm an iconoclastic engineer, amateur pianist, and political theorist. I believe in cooperation and using formal rigor to make the world a better place.

Funding Links: https://github.com/sponsors/blainehansen

• Name: Blaine Hansen
• Location: Salt Lake City
• Kind: user
• Followers: 80
• Following: 3
• Total stars: 329
• Repositories count: 62
• Created at: 2022-11-06T15:15:11.554Z
• Updated at: 2025-03-25T04:46:13.296Z
• Last synced at: 2025-03-25T04:46:13.296Z

GitHub Sponsors Profile

Hello fellow concerned citizen!
My open source work is driven by one overall mission: fix the root problems holding back our society. I don't want to fix mere symptoms of problems, I want to go as deep to the foundations as possible.
Here are the root problems I'm most worried about (that I think I can do something about), and my proposed solutions:

In the realm of politics and society: inefficient, inflexible, and unfair systems of democratic coordination. My proposed solution: Persistent Democracy. I'm working on this through the Persistent Democracy Labs organization.
In the realm of software engineering: unreliable, insecure, and incorrect software, due to underpowered or unusable verification tools. My proposed solution: Magmide proof language. I'm working on this through the Magmide organization.

These goals are extremely ambitious, but I recognize I'm not going to do it alone. As discussed in the final main chapter of the Persistent Democracy book, we'll have to build several institutions in order to solve these root problems.
However, we have to start somewhere! For now I'm building prototypes and doing what I can by myself, so I'll be the beneficiary of sponsorships for now. Once these efforts are gaining steam, I'll create official organizations for both these projects.

• Current Sponsors: 0
• Past Sponsors: 0
• Total Sponsors: 0
• Minimum Sponsorship: $5.00

Featured Works

Active Sponsors

Past Sponsors

Sponsor Breakdown

• User: 1

Active Sponsorships

View All

Sponsorship Breakdown by Kind

• User: 1