Post

Yeah overall the vast majority of law won’t be usefully provable in this way, only specific things (like tax law) that have highly structured logics. So I bet a lot of admin law? Anyway here is one of the key papers: arxiv.org/abs/2103.03198

arxiv.orgCatala: A Programming Language for the LawLaw at large underpins modern society, codifying and governing many aspects of citizens' daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout various courts and ...

Luis Villa

@lu.is

Oh and here is a good roadmap to this entire field from @jtlg.bsky.social cyber.jotwell.com/when-law-is-...

cyber.jotwell.comWhen Law is Code - Technology LawSarah B. Lawsky, Coding the Code: Catala and Computationally Accessible Tax Law, 75 SMU L. Rev. 535 (2022).James GrimmelmannSarah B. Lawsky’s Coding the Code: Catala and Computationally Accessible Tax...

Luis Villa

@lu.is

TIL: someone has ported English to Rust github.com/Aaryan-Kapoo...

github.comGitHub - Aaryan-Kapoor/english-rs: English, rewritten in Rust: grammar as trait bounds, pronouns as borrows, and englishc, a compiler with rustc-style diagnostics for proseEnglish, rewritten in Rust: grammar as trait bounds, pronouns as borrows, and englishc, a compiler with rustc-style diagnostics for prose - Aaryan-Kapoor/english-rs

Luis Villa

@lu.is

1400s: a language is a dialect with a great novel published 1800s: a language is a dialect with an army now: a language is a dialect with a compiler

Luis Villa

@lu.is

(I was mostly joking above, but note that if a language is a dialect with a compiler, you have created an automated way of hating people who speak other dialects and that is Bad, Actually)

26/10/26, 9:15 pm1 repost13 likes

No replies yet.