corpus.blog
41,554 blogs · 4,819,422 posts Claim your blog
Back to aguilar-pelaez.co.uk
Blog · corpus.blog/blogs/aguilar-pelaez.co.uk/posts

aguilar-pelaez.co.uk

aguilar-pelaez.co.uk

2026

Nobody Authorised the Combinationoriginal ↗
13 Sept 2026
AI and the US Economy: Move the Parameters Yourselforiginal ↗
11 Sept 2026
The Number Anthropic's Economists Left as a Wordoriginal ↗
11 Sept 2026
Nobody Is Paid to Deleteoriginal ↗
9 Sept 2026
Make the Safe Harbour Compile: Regulate the Predicate, Not the Proseoriginal ↗
16 Aug 2026
The Gun Did Not Win: Absorption, Not the Tooloriginal ↗
15 Aug 2026
How High Can You Build in Mud?original ↗
14 Aug 2026
A Dictionary Whose Definitions Compileoriginal ↗
9 Jul 2026
Verified Specification as Code: From Infrastructure as Code to a Specification the Kernel Checksoriginal ↗
29 Jun 2026
Requirements as Data: A Bill of Materials for the Thing You Are Buildingoriginal ↗
29 Jun 2026
When the Spec Can Contradict Itself: The Proof Kernel as an Examiner That Cannot Be Flatteredoriginal ↗
29 Jun 2026
When the Document Leaves the Factory: Provenance and the Adversarial Check at the Boundaryoriginal ↗
26 Jun 2026
Continuous Enforcement and Continuous Verification: Building Software Factories Like Toyotaoriginal ↗
26 Jun 2026
Agentic AI and the Verifiable Trace: An Engineer's Response to the Data Protection Questionoriginal ↗
26 Mar 2026
Holding Water With Our Hands: Why Law Needs a Chaos Monkeyoriginal ↗
25 Mar 2026
Why Compliance Needs an Open Foundationoriginal ↗
24 Mar 2026
Legal Reasoning Needs a Wind Tunnel: Hardening English-to-Lean with Factorial Testingoriginal ↗
18 Mar 2026
Type-Checking the Constitution: Formalising Anthropic's Alignment Specification in Lean 4original ↗
15 Feb 2026
Impossibility Results Are the Thermodynamics Before the Physicsoriginal ↗
14 Feb 2026
Alignment Margin: What Control Theory Offers AI Safetyoriginal ↗
12 Feb 2026
From Fixed Functions to Negotiation Protocolsoriginal ↗
11 Feb 2026
The Judge's Impossible Function: Why Section 25 Cannot Be Formalisedoriginal ↗
10 Feb 2026
When the Law Is a Type Checker: Formalising O-1 Visa Criteria in Lean 4original ↗
9 Feb 2026
Power Without Promiscuity: Why Contained AI Agents Beat Unbounded Onesoriginal ↗
6 Feb 2026
The Soul and the Hands: A Third Path for AI Alignmentoriginal ↗
2 Feb 2026
When the Hands Run Wild: OpenClaw and the Case for Formal Capability Verificationoriginal ↗
1 Feb 2026
The Soul and the Hands, Part III: Proof of Conceptoriginal ↗
1 Feb 2026
The Soul and the Hands, Part II: From Intuition to Prooforiginal ↗
1 Feb 2026
CaMeL and the Future of Prompt Injection Defenseoriginal ↗
31 Jan 2026
The Energy Pinch Point: Calories, Joules, and the Coming Equilibrium Between Human and Artificial Intelligenceoriginal ↗
31 Jan 2026
Your Security Questionnaire Wasn't Built for AIoriginal ↗
30 Jan 2026
Building Formal Reasoning into Legal Automation: The Case for Convergenceoriginal ↗
26 Jan 2026