implement a SAT solver to learn how it works try to incorporate elements of that paper which is super cool check out https://github.com/max-heller/sat for a brief student implementation! https://github.com/theseus-os/Theseus this looks very interesting as well - shifting responsibility to the programming language from the OS! figure out what this is! https://github.com/BillHallahan/G2
Imagine if your social media platform gave you, the individual, all the insights about you that the big tech platforms have about you but sell to others. Imagine if your platform built you a lovely [[digital garden]] to return to, out of whatever you posted to your stream.
Platforms optimize for chatter as βengagement,β not decision, resolution, or consensus. Community control is not in the spec.
β [[Vanguard Stacks: Self-Governing against Digital Colonialism]]
The [[Agora]] describes itself as an experimental social network with an intent to coordinate users in the solving of problems.
Rendering context...