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.