icon picker
Related Reading

Computational Law
It's worth reading their beautiful manifesto.
They rely on µ-calculus, which I don't yet understand
As a side note, this page on holocratic compensation is just really interesting
Also, particularly insightful is Meng's quote: "We need to catch errors at compile-time, because run-time errors are called _litigation_."
A programming language for law:
Of particular interest is the use of Default Logic:
This demonstrates the surprising utility of a Non-Turing Complete language
Causal Modeling and machine learning
The problem with prescriptive law
Proof assistants:
Graph based programming languages:
Decentralized betting and prediction markets:
Collective sensemaking projects

Want to print your doc?
This is not the way.
Try clicking the ⋯ next to your doc name or using a keyboard shortcut (
) instead.