News for hackers. Stuff that matters.

A comment on Gödel's Loophole.

Re:Gödel's Loophole by dw-im-here on Thursday March 25, 2021 @09:51AM (#26580252)
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.
[ Parent | on HN ]
Re:Gödel's Loophole by HDMI_Cable on Thursday March 25, 2021 @10:35AM (#26580795)
Considering HN, it would probably be written in Rust.
[ Parent | on HN ]
Re:Gödel's Loophole by thedudeabides5 on Thursday March 25, 2021 @07:53PM (#26587196)
Considering HN, it would probably be written by GPT-3.
[ Parent | on HN ]
Re:Gödel's Loophole by lajarre on Saturday April 03, 2021 @12:59PM (#26682637)
Down for it. With catala-lang.org for example.
[ Parent | on HN ]