iiinova — where your digital self keeps evolving

Reposted by Matthew Waddington

Jason Morris @lexpedite.bsky.social · 29/09/2026

Thanks to my former colleague Andreas Källberg who drew my attention to the fact that s(CASP) answers were a form of partial evaluation in early 2021. And to @mattwadd.bsky.social whose unwavering appreciation for propositional logic flowcharts was the inspiration for what to do with that fact.

111

Reposted by Matthew Waddington

Jason Morris @lexpedite.bsky.social · 29/09/2026

§Blawx generates multiple answers, and multiple explanations for each answer, each as a constrained tree justification. What if it was possible to take a bunch of those trees and combine them into a ternary flowchart diagram to allow you to explore them interactively? #RulesAsCode #LegalTech

121

Reposted by Matthew Waddington

Computer-Readable Legislation Project @crlp-jerseyldo.bsky.social · 13/04/2026

Latest newsletter out digitallegislation.substack.com/p/news-from-... - testing AI "skills" for reading legislation - free web course for legislative drafters - capturing logic of multiple layers of definitions, qualifications & exclusions - EU govts open-source coding systems for RaC - Oz & NZ news

022

Reposted by Matthew Waddington

Jason Morris @lexpedite.bsky.social · 11/04/2026

I see a lot of people here dunking on a software dev who thinks that law is code. As a person who ought to know (grad degree in computational law), let me point out two things that can be true at the same time: 1. Laws are not code. 2. Interpretations of law can be encoded. 1/

173

Reposted by Matthew Waddington

Mathieu Carpentier @mathieucarpentier.bsky.social · 11/03/2026

Susan Haack, a leading epistemologist and philosopher of logic, passed away yesterday. Sit ei terra levis news.miami.edu/as/stories/2...

news.miami.edu

Susan Haack

Professor Susan Haack passed away on March 10, 2026, in Miami, Florida.

12814

Reposted by Matthew Waddington

Computer-Readable Legislation Project @crlp-jerseyldo.bsky.social · 10/02/2026

Our report (statesassembly.je/getmedia/ade... or osf.io/m4che) is out on our last 3 years of work - * Logic visualiser * definitions tool * AI * non-tech drafting guidance * Docassemble mock-up Plus background on legislative drafting, RaC, ADM & more. Has a 4-page summary (or 1-page at osf.io/5ne3c)

011

Reposted by Matthew Waddington

Jason Morris @lexpedite.bsky.social · 12/01/2026

New release of §Blawx tonight, v2.0.2, that fixes a small bug with NLG in explanations. Also, a blog post that illustrates how #RulesAsCode can be used in software development by exposing symbolic AI encodings to developers' agents over MCP. app.blawx.dev/content/usin... #LegalTech

A screen shot of a chat with ChatGPT 5.2 inside the GitHub CoPilot extension for VS Code, in which the agent is using a Blawx encoding to explain why a given output is expected in a given fact scenario that has to do with procurement rules in the Government. Ultimately, the agent replies "From the Blawx run of question id 59 ("is there a violation with regard to a contract") using facts that match your scenario, the reasoner produces a proof tree showing a violation because DMP Section 4.6 / 4.6.1 / 4.6.1.1 requires Treasury Board approval when the estimated value exceeds the entity's non-competitive basic contracting limit, and that approval must occur before the contract is entered into."

051

Reposted by Matthew Waddington

Jason Morris @lexpedite.bsky.social · 14/01/2026

Blawx is officially no longer "pre-revenue"! 🎉 Big milestone! But more excited to hear about lawyers having fun using it. Did I make legal knowledge engineering fun for lawyers? Not really. It was always fun. Blawx just makes it easier to learn! 😅 #RulesAsCode #LegalTech

031

Reposted by Matthew Waddington

Computer-Readable Legislation Project @crlp-jerseyldo.bsky.social · 14/11/2025

Very useful & interesting couple of days at LVI2025, Law via the Internet conf www.lvi2025.org/program/ - "Shaping the Future of Legal Accessibility: Improving access to law through legal info, tech & AI” in Sydney at AustLII (Australasian Legal Information Institute www.austlii.edu.au/about.html)

lvi2025.org

LVI 2025: Program & Speakers | Law via the Internet Conference 12-14 November 2025

Connect with a diverse international community of legal professionals, technologists, policymakers, and researchers.

122

Reposted by Matthew Waddington

ILPA @ilpaimmigration.bsky.social · 13/11/2025

📢 We're recruiting! We're looking for a Legal Project Officer to join our team. ⏰Apply by Monday 24 November 2025. More details 👇 ilpa.org.uk/legal-projec... 🙏 Please share widely 🙏

044

Reposted by Matthew Waddington

Public Law Project @publiclawproject.bsky.social · 25/09/2025

🔔 𝐆𝐞𝐭𝐭𝐢𝐧𝐠 𝐢𝐭 𝐑𝐢𝐠𝐡𝐭 𝐅𝐢𝐫𝐬𝐭 𝐓𝐢𝐦𝐞: 𝐌𝐚𝐤𝐢𝐧𝐠 𝐋𝐚𝐰𝐟𝐮𝐥 𝐃𝐞𝐜𝐢𝐬𝐢𝐨𝐧𝐬 📅 4, 6, 11 & 14 Nov | Zoom 4 webinars for decision-makers! In partnership with @legalactiongroup.bsky.social & @39essexchambers.bsky.social. Book now: shorturl.pulse.ly/mltceu8krj

shorturl.pulse.ly

Getting it right first time: Making lawful decisions

012

Reposted by Matthew Waddington

Computer-Readable Legislation Project @crlp-jerseyldo.bsky.social · 06/10/2025

Very encouraging to see "Public sector automated decision-making" will be one of new projects at Law Commission (E&W) lawcom.gov.uk/news/law-com... We published Margaux McQuilton's pre-print report on ADM osf.io/a7jwc We see logic-driven systems taking human decision-makers to the right questions

lawcom.gov.uk

Law Commission Launches 14th Programme of Law Reform – Law Commission

Reforming the law

011

Reposted by Matthew Waddington

Joelle Grogan @joellegrogan.bsky.social · 03/10/2025

Looking for a really simple explainer? The #ECHR and #HRA on post-it notes.

0159

Reposted by Matthew Waddington

Arthur C. Clerk's Mysterious World @fantasticlife.bsky.social · 08/09/2025

In which we bid farewell to Professor Michael Rush. A kind, generous and gentle man. More notes from @anyaso.bsky.social and I: ukparliament.github.io/ontologies/m...

ukparliament.github.io

2025 - Week 36

Work in progress to design data models for UK Parliament

156

Reposted by Matthew Waddington

Scott Wortley @scottwortley.bsky.social · 29/08/2025

the professionalisation of legislative drafting (only 150 years or so in the UK) and the unlikely nature of any oversight. Implied repeal is an argument of last resort. If made it indicates someone has no real arguments. Hard to identify the last time such an argument was successful.

011

Reposted by Matthew Waddington

Jason Morris @lexpedite.bsky.social · 25/08/2025

This is the first time I have seen L4 running in the wild, which is exciting. I have some thoughts...

201

Reposted by Matthew Waddington

Arthur C. Clerk's Mysterious World @fantasticlife.bsky.social · 25/08/2025

A wee bank holiday treat for you guys. More week - well, fortnight - notes from @anyaso.bsky.social and I. In which we approached ramming speed, only to collide head-on with documentation buffers. Rescued in part by the kindness of strangers ukparliament.github.io/ontologies/m...

ukparliament.github.io

2025 - Week 34

Work in progress to design data models for UK Parliament

143

Matthew Waddington @mattwadd.bsky.social · 24/08/2025

Here are some results from our work with the L4 team at SMU - getting legislative drafters to produce basic visualisations by showing how to make propositional logic versions of their drafts #RulesAsCode

030

Reposted by Matthew Waddington

Jason Morris @lexpedite.bsky.social · 20/06/2025

The last day of ICAIL had a lot of papers directly relevant to #RulesAsCode, and at least three papers about getting LLMs to do the encoding. A lot of unanswered questions, still, but it seems like some of the design choices I made about Blawx v2 to help codegen were well founded.

131

Reposted by Matthew Waddington

Natural Legal Language Processing (NLLP) Workshop @nllpworkshop.bsky.social · 15/06/2025

☀️ We’re here too - getting ready for the 7th NLLP workshop (8/Nov @emnlpmeeting.bsky.social ) 🚀✨ The updated Call for Papers is coming soon — stay tuned! 📣📄 💙 Follow us & spread the word about NLLP🌍💬 🔗 Keep an eye on the website for updates! 🖥️🔍 nllpw.org/workshop/ #NLLP #legaltech #nlproc #nlp

nllpw.org

NLLP Workshop 2025

The seventh workshop on Natural Legal Language Processing (NLLP 2025) explores methods and applications of Natural Language Processing for the Legal Domain by focusing on legal text and text with lega...

085

Reposted by Matthew Waddington

Edinburgh Legal Theory @legaltheoryed.bsky.social · 24/04/2025

This afternoon we will host a Work-in-Progress session with visiting PhD candidate Filipa Paes (University of Oxford), who will be presenting a paper on ‘Juridical Bivalence’. The event is pre-read, so make sure to get in touch if you’d like to receive a copy! www.law.ed.ac.uk/news-events/...

law.ed.ac.uk

WiP: Filipa Paes (University of Oxford) - ‘Juridical Bivalence’ | Edinburgh Law School

052

Reposted by Matthew Waddington

John Sheridan @johnlsheridan.bsky.social · 24/04/2025

This is a really good interview with the fabulous Matt Lynch on Lawmaker - start with imagination not code, he says. modparl.substack.com/p/lawmaker

modparl.substack.com

Start With Imagination, Not Code

Lessons from Building a Shared Legislative Platform

053

Reposted by Matthew Waddington

Arthur C. Clerk's Mysterious World @fantasticlife.bsky.social · 05/05/2025

A bank holiday treat for you all. More weeknotes from @anyaso.bsky.social and I. For some definition of ‘week’ ukparliament.github.io/ontologies/m...

ukparliament.github.io

2025 - Week 18

Work in progress to design data models for UK Parliament

113

Matthew Waddington @mattwadd.bsky.social · 09/05/2025

Celebrating Liberation Day here in #JerseyCI. Very pleased to have bumped into @gillycarr.bsky.social leading historian of the Occupation. Work is under way to put on the web all of Jersey’s old legislation - that will help research into Occupation legislation & government, and postwar reaction.

140

Reposted by Matthew Waddington

Statute Law Society @statutelawsociety.bsky.social · 12/03/2025

👋 A Statute Law Society Conference 'Legislation and the Constitution: Renton 50 Years On' Keynote speech by Lord Sales, Justice of the Supreme Court. ⏰ 6th June 2025 PLUS pre-conference lecture by Professor Jeremy Waldron 5th June 2025 For more information: www.statutelawsociety.co.uk/conference

043

Reposted by Matthew Waddington

Ruth Fox @ruthfox.bsky.social · 12/04/2025

6/ The Bill - the Steel Industry (Special Measures) Bill - has now been published - 90 minutes before the debate in the Commons starts at 11am. Comprises 10 clauses over 5 pages of text. www.gov.uk/government/p...

gov.uk

Steel Industry (Special Measures) Bill

Draft legislation to protect the UK steel industry.

21713

Reposted by Matthew Waddington

Arthur C. Clerk's Mysterious World @fantasticlife.bsky.social · 28/03/2025

We write prose and code to help us think. With the side benefit that the prose might be read, and the code might be read by a computer. Legislation as an interesting overlap?

151

Matthew Waddington @mattwadd.bsky.social · 31/03/2025

A break from digitising legislation- Out now, book chapter on Brexit's effects on UK/EU's constitutional/legal relations with Crown Dependencies (Jersey, Guernsey, Isle of Man) & 14 last British Overseas Territories (incl Gibraltar & Sovereign Base Areas in Cyprus) link.springer.com/chapter/10.1...

link.springer.com

New Relationships for the Crown Dependencies and British Overseas Territories

Brexit’s effects were felt not just between the UK and EU but also had profound effects in other jurisdictions with special relationships to the UK. The Crown Dependencies (Jersey, Guernsey and ...

231

Reposted by Matthew Waddington

Arthur C. Clerk's Mysterious World @fantasticlife.bsky.social · 16/03/2025

Emboldened by Vinho Verde, I’m prepared to go one step further. Software is not merely “politics”. It is, to all intents and purposes, the functioning part of the constitution. All else is bells, whistles and inappropriate politeness

031

Matthew Waddington @mattwadd.bsky.social · 04/03/2025

Had to do the 5 mile commute into the office again today - lovely weather #JerseyCI #OriginalJerseyNotNewJersey

010

Reposted by Matthew Waddington

Computer-Readable Legislation Project @crlp-jerseyldo.bsky.social · 03/03/2025

🔸Demos of logic maps & other visualisations - work with SMU Centre for Digital Law 🔸Unique IDs for legislation paras (h/t Hamish Fraser) in Word & web, for pop-ups linking words to definitions (incl in Interpretation Law) 🔸Using "may", "may not" & "may only" #RulesAsCode substack.com/@digitallegi...

substack.com

Logic maps, definition pop-ups, "may"/"may not", and more

What we are up to in 2025

012

Reposted by Matthew Waddington

Alex @securelayer.co · 17/02/2025

#RulesAsCode : rencontre portant sur l’avenir de la gouvernance et des services numériques. Les 17 et 18 mars 2025, la #DINUM organise à #Paris la rencontre “Rules as Code Europe” avec #GovTech4All, un programme européen de promotion du numérique dans les administrations publiques européennes.

“Rules as Code Europe” : March 17th and 18th in Paris.

Programme européen de promotion du numérique dans les administrations publiques européennes.

001

Reposted by Matthew Waddington

Digital Benefits Network @digitalbenefits.bsky.social · 26/02/2025

Join us for the #RulesAsCode Community of Practice Roundtable Meeting on March 19, 2025 from 1-2pm ET. 📜 AI for SNAP & Medicaid RaC translation 💞 Insights from the community 🔮 Discussion on the year ahead Please join RaC CoP to receive the invite! beeckcenter.org/raccop

031

Reposted by Matthew Waddington

Computer-Readable Legislation Project @crlp-jerseyldo.bsky.social · 27/02/2025

We're working with SMU Centre for Digital Law on using their L4 to code legislation in a way that is human-readable & gives visualisations. For demos & info so far see- www.youtube.com/watch?v=Gtq_... www.youtube.com/watch?v=zq6m... osf.io/jauqb More later at crlp-jerseyldo.github.io/work/an-ide-...

youtube.com

CRLP work with Singapore team on L4 visualisations of legislation

YouTube video by Jersey LDO

021

Reposted by Matthew Waddington

Computer-Readable Legislation Project @crlp-jerseyldo.bsky.social · 07/02/2025

Interested in formalising/digitising logical structures in legislation (& other law)? Here's a gold-mine - collected abstracts of Guido Governatori's work 1995-2024 - defeasible deontic logic - explainable AI in law - Prolog & other logic-driven computer systems… www.governatori.net/papers/2024/...

governatori.net

033

Matthew Waddington @mattwadd.bsky.social · 05/02/2025

Very pleased to see this published by LSPR, and looking forward to their symposium this weekend on #RulesAsCode

010

Reposted by Matthew Waddington

Graham Greenleaf @grahamgreenleaf.bsky.social · 25/01/2025

For those interested in free access to legal information, AustLII Co-Directors Philip Chung and Andrew Mowbray were today honoured by being appointed as Members of the Order of Australia (AM). The AustLII Media Release concerning the appointments is at: www.austlii.edu.au/austlii/anno...

0105

Reposted by Matthew Waddington

Nathalie A. Smuha @nathaliesmuha.bsky.social · 24/01/2025

It’s finally out! After years of work, I’m very glad to announce that my #book Algorithmic Rule by Law is now published @cambup-law.bsky.social. If you’re interested in the intersection of #law, #technology and #government - with some philosophical twists - this book is for you.

912022

Reposted by Matthew Waddington

David Henig @davidheniguk.bsky.social · 27/01/2025

If deregulation is going to be one of the foundations of Labour's growth strategy, it won't go far by assuming that burdensome rules are something imposed on everyone by faceless bureaucrats. Truth is - politicians, businesses, consumers, media are constantly calling for more regulation.

1115339

Reposted by Matthew Waddington

Simon Usherwood @simonusherwood.bsky.social · 24/01/2025

The biannual REUL/Assimilated Law update has been released yesterday, so let's have a look tl;dr slow continuation of working through elements, but still various issues 1/ www.gov.uk/government/p...

gov.uk

Retained EU law and assimilated law dashboard

This dashboard shows a list of retained EU law (REUL) and assimilated law. These are laws that the UK saved to ensure legislative continuity immediately after Brexit.

286

Reposted by Matthew Waddington

Jason Morris @lexpedite.bsky.social · 17/01/2025

President Biden ordered the US federal government to start a #RulesAsCode pilot project for cybersecurity laws and regulations. I am beginning to think 2025 may be a tipping point for RaC. #legaltech

241

Reposted by Matthew Waddington

Imogen Parker @imogen-parker.bsky.social · 17/12/2024

5️⃣But that can obfuscate the level of deference given to AI. Those using the tools might overly defer to it seeing it as expert (or too complex to interrogate) - just 'rubber stamping a decision' - or indeed ignore it altogether. The guidance does tackle this - with egs where AI 'helps' a decision.

111

Reposted by Matthew Waddington

Imogen Parker @imogen-parker.bsky.social · 17/12/2024

4️⃣It's possible that the phrase "significantly influences" here is open to some interpretation. Through our work on the ground, we’ve encountered numerous algorithmic tools developed or sold as decision-support rather than decision-making tools.

111

Reposted by Matthew Waddington

Imogen Parker @imogen-parker.bsky.social · 17/12/2024

This morning the UK Gov published a new batch of entries of algorithms in use in the public sector (on their Algorithmic Transparency Reporting Standard). www.gov.uk/algorithmic-... Long form response tomorrow coming, but a quick 🧵 @adalovelaceinst.bsky.social

gov.uk

Find out how algorithmic tools are used in public organisations

Find out how and why public sector organisations use AI and algorithmic tools for decision making.

21818