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

mr. TIM

@timkellogg.me

that’s freaking cool. looks legit? i guess? crazy..

Luis Villa

@lu.is

It’s legit within bounds; basically it only checks a certain subset of English grammar. Which is still a nifty thought experiment!

Luis Villa

@lu.is

@chancethelawyer.bsky.social since I see you liked this - have you ever looked at Ken Adams’ “categories of contract language” typology? rigorous checking of that would be a really, really interesting experiment.

26/10/26, 10:38 pm0 reposts2 likes

No replies yet.