I just published “Code is Law is Code”

Want to learn Alloy? Know Alloy but occasionally forget stuff? I wrote a full online reference! https://t.co/zzee9HU9E2 You can read the announcement here:

🎤Full-time positions for CS / Complaw research engineers in Singapore ✅ healthcare & benefits ✅ opensource ✅ use-inspired research / no academic silo ✅ well-resourced research programme ✅ @legalese’s @mengwong @wabisabiyo and @SgSMUSOL Details:

If anyone has been curious about what exactly #RulesAsCode is, here's an explainer. Featuring work by @nardwebster @mengwong @piacandrews @OpenFisca

"We’ve barely entered 2020 and it looks like The Purge has begun." @TheTimeBlawg conclusion to a comprehensive round-up of the Atrium ballyhoo. https://t.co/Wj6vkoyP3O

@BrigetteMetzler @piacandrews @MartinClausen8 @scott_pm @RoundTableLaw @TimdeSousa @verbman @mengwong @mattwadd Some thoughts on "a core vocab"… Andrew S. Tanenbaum once said: "The nice thing about standards is that there are so many of them to choose from."

@RoundTableLaw @hillelogram @lemmster @QSteenhuis @NelsonMRosario @JoshuaLenon @rightbrainlaw @worrydream @mattwadd @legalese So I’m planning a tutorial on formal verification involving temporal, epistemic, and deontic/alethic modals based on this card game. https://t.co/XnxIk2AWXw If you want to follow along, pick it up soon—and play it with friends! Should be fun @barnabemonnot

Reports say @atrium letting go most of its legal staff. Silicon Valley-backed startup had vowed to 'revolutionize legal services' https://t.co/JMlZOeQaX3

@RoundTableLaw @QSteenhuis @NelsonMRosario @JoshuaLenon @rightbrainlaw @worrydream @mattwadd @legalese We encoded the relevant regulatory rules and business process state machine into TLA+. TLA+ automatically found a scenario which violated the rules. It is possible that in the real world many such violations occur routinely, unbeknownst to companies. We found the bug!

@RoundTableLaw @QSteenhuis @NelsonMRosario @JoshuaLenon @rightbrainlaw @worrydream @mattwadd @legalese Here’s an old deck from 2017 showing legal applications of formal verification generally.

@bobambrogi @mengwong @alexgsmith I wrote about this last year here:

@simplyianm @kernio We have been summoned! Yes, your intuition (and @balajis’s) is spot on. The technical term for what you described is a Controlled Natural Language. Attempto (and AceRules) are a good example:

@legalese @simplyianm @balajis This is really fascinating! Love hearing about new formalisms — are there any good introductions to the topic? I can think of a couple applications of this for the static analysis of smart contracts...

@simplyianm @kernio @balajis Now, what underlying logics inform the language? Just as languages like Lisp and Haskell trace their power to the lambda calculus λ, a language for law can exploit the properties of the modal calculus μ – which gives a way to talk about deontic, temporal, and epistemic relations.

@simplyianm @kernio @balajis Deontics: I must, you may, he mustn’t… Basically RFC2119. Temporals: …pay within 30 days of invoice… Basically LTL/CTL. Epistemics: …and I know you know I know you got the invoice, because registered mail. Or blockchain. These are the building blocks of computational law.

Corporate law firms are essentially coding in legalese, an obfuscated programming language without a REPL to simulate outcomes. Moving all that to smart contracts over the next few decades will save billions and transform the way we create, fund, manage, and exit companies.

@Kiwiseabreeze @cryptoecongames @legalese For sure. Even in the symbolic AI world, you need to be explicit about the principles and norms you want to affirm. It’s not ���what worked before”, it’s “what is correct and proper to us in this case?” Tech provides the tools which you affirm or make explicit these intentions.

@Kiwiseabreeze @cryptoecongames @legalese Vagueness: don’t put anything I don’t like in my lunchbox (unclear, undefined, uncertain, arbitrary) Ambiguity: don’t put any yellow fruit in my lunchbox (still undefined, but parameters and criteria is less arbitrary)

@Kiwiseabreeze @cryptoecongames @legalese Technology just makes it harder (and imho, this is good) for lawyers to hide behind vagueness-masqueraded-as-ambiguity.

Last call! The European University Institute (EUI) is offering a one year (renewable) position for working with me on my CompuLaw ERC Project. Application from lawyers and computer scientists are welcome! #erc #aiandlaw @alumnieui @ERC_Research Link:

Oct 28 ACM on CS & Law https://t.co/ArMUE5FiZt heads up @colarusso @GTeninbaum @DanLinna @lai @jamesondempsey this seems to be more East Coast (Law on CS, Berkman / Data & Society) than West Coast (CS on Law, CodeX / ICAIL)