3 ms·
Surely if all the legal luminaries of HN banded together we could rewrite the constitution in a statically strong typed language and formal verify it.
by dw-im-here 6y ago
Surely if all the legal luminaries of HN banded together we could rewrite the constitution in a statically strong typed language and formal verify it.
- HDMI_Cable 6y agoConsidering HN, it would probably be written in Rust.
- thedudeabides5 6y agoConsidering HN, it would probably be written by GPT-3.
- Craighead 6y agoConsidering HN, it would probably wouldn't happen
- lajarre 6y agoDown for it. With catala-lang.org for example.