Add dependent types to Rust to make a language which is both a theorem prover, and a low level systems language.
A particular interface for interacting with databases which negates the need for a domain specific language, hopefully to the point that users wonât ever feel the need to reach for SQL.
A library for Incremental Computation in Rust, hopefully using its type system to avoid common pitfalls which trouble implementations in other languages.
Have a program which collects taxes, runs the democratic vote, pays government officials etc⌠Digitising these central mechanisms allows them to evolve into things they couldnât otherwise.
If people had to financially cover the damages of their environmental harm, the market would work out the best way to get the most utility out of the smallest amount of damage.
This website is a published Notion document linked to a custom domain with Fruition, which I highly recommend.