Become a sponsor to Blaine Hansen
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.
1 sponsor has funded blainehansen’s work.
Featured work
-
magmide/magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Coq 810 -
adaptive-democracy/tools
Software tools for implementing Adaptive Democracy.
Rust 5 -
blainehansen/postgres_migrator
A postgres migration generator and runner that uses raw declarative sql.
Rust 87 -
blainehansen/macro-ts
An ergonomic typescript compiler that enables typesafe syntactic macros.
TypeScript 216
$5 a month
SelectNo promises yet!
Once systems for implementing Persistent Democracy are working, these sponsorships will form the basis of open source project cooperatives, essentially giving members Persistent Voting weights they can use to govern the project.
It's very likely that anyone who sponsors this work will get some kind of special "founder" weights to reward them for their foresight. But I'm not sure about the details yet!
For now, it's all just warm fuzzies 😄 🤗
Thank you for helping to make a more democratic and secure future!