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

22h

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

Luis Villa

@lu.is

22h

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

James Grimmelmann

@jtlg.bsky.social

21h

FWIW, this is not a particularly new thought experiment.

Luis Villa

@lu.is

Oh, it’s an old one, but the first instantiation I’ve seen in a while, so was fun to trivially play with.

26/10/26, 11:52 pm0 reposts1 like

No replies yet.