# accompanies (blogs) — RSS Amplifier Recent posts from the 2 feeds in the RSS Amplifier directory that cover accompanies. Page: Feed: --- ## [A (somewhat) formally verified implementation of Markdown](https://paulbutcher.com/lean-markdown.html) _2026-08-08 · Paul Butcher_ Over the last couple of weeks, I've been working on a personal project in Lean . Six months ago I would have used Clojure but the combination of Lean and AI assisted software engineering is making formal verification so easy, why wouldn't I choose the additional safety it brings? As part of this work, I needed a Markdown parser/renderer. The obvious route would be to wrap something like cmark-gfm… ## [Formally verified CRUD](https://paulbutcher.com/lean2.html) _2026-07-18 · Paul Butcher_ A couple of weeks ago, I published Lean-ing into Software Engineering in which I hypothesized that the combination of the Lean Programming Language and AI-assisted coding meant that we were very close to the point where formal verification was realistic for everyday software engineering. Since then I've become convinced that we're not close: we're already there. In this article, I'm going to show… ## [Lean-ing into Software Engineering](https://paulbutcher.com/lean1.html) _2026-07-08 · Paul Butcher_ The Lean programming language is revolutionising mathematics. More and more mathematical results have been formalised in Lean and it's increasingly becoming a standard part of the mathematician's toolbox. Lean didn't start out as a maths tool though; it was originally created to help with software verification: proving that software was correct. This is not a new idea: software verification was… ## [This World](https://seansteadman.substack.com/p/this-world) _2026-03-29 · Sean Steadman · Sean Steadman Substack_ The following is a text for Kin Ting Li’s exhibition ‘This World’ at Galerie Falk Losniza in Basel. ## [Fat and Silver](https://seansteadman.substack.com/p/fat-and-silver) _2026-03-15 · Sean Steadman · Sean Steadman Substack_ The following is an essay to accompany Nat Faulkners exhibition ‘Strong Water’ at Camden Arts Centre in London and is printed in the exhibitions publication ‘1:1’. ## [Debtors and Daughters](https://seansteadman.substack.com/p/debtors-and-daughters) _2026-02-02 · Sean Steadman · Sean Steadman Substack_ A review of Tala Madani’s exhibition ‘Daughter B.W.A.S.M.’ at Pilar Corrias in London ## [All These Moves](https://seansteadman.substack.com/p/all-these-moves) _2025-11-02 · Sean Steadman · Sean Steadman Substack_ The following is a text for Richard Walker’s exhibition ‘All These Moves’ at CORPUS in Cambridge, England, which runs from 1.11.25–20.12.25. ## [Competence and Decency](https://seansteadman.substack.com/p/competence-and-decency) _2025-10-20 · Sean Steadman · Sean Steadman Substack_ The following is an exhibition text for Sebastian Jefford’s exhibition ‘Competence and Decency’ at Galleri Opdahl in Stavanger, Norway, which runs from 17.10.25–22.11.25. ## [The Privy Window](https://seansteadman.substack.com/p/the-privy-window) _2025-09-21 · Sean Steadman · Sean Steadman Substack_ The following is a text to accompany Rebecca Ackroyd’s exhibition ‘The Privy Window’ at Ginny on Frederick in London. ## [Transcendental Stupidity](https://seansteadman.substack.com/p/transcendental-stupidity) _2025-07-04 · Sean Steadman · Sean Steadman Substack_ The following is a conversation I had with Margarita Gluzberg to accompany her exhibition ‘Implicate Factory Outlet’, 30 May - 5 July 2025 at Alma Pearl in London ## [Generate Viral Hot Takes (Sponsored)](https://crawlproof.com/a/HMcy063rNLmq) _2025-07-04 · **Sponsored**_ Get platform-optimized hot takes and rebuttals to spark debate and engagement ## [GIANT ATOMS](https://seansteadman.substack.com/p/giant-atoms) _2025-06-07 · Sean Steadman · Sean Steadman Substack_ The following is a text to accompany my exhibition of woodcut prints called ‘GIANT ATOMS’ at Project Native Informant in London. ## [Tales from the Dungheap](https://seansteadman.substack.com/p/tales-from-the-dungheap) _2025-05-03 · Sean Steadman · Sean Steadman Substack_ The following is a text to accompany Sebastian Jefford’s exhibition ‘Toy’ at Galerie Noah Klink Gallery in Berlin (02.05. ## [Quick and Easy Clojure on AWS Lambda Part 2](https://paulbutcher.com/lambda2.html) _2025-01-24 · Paul Butcher_ This follows on from my previous article which described how to get a simple Clojure Ring application running on AWS Lambda. This article shows how to connect it to a database. The accompanying code is here . CloudFormation AWS SAM provides direct support for DynamoDB, but not for more traditional databases like PostgreSQL, so that means dropping into CloudFormation. This is, sadly, rather wordy,… ## [Quick and Easy Clojure on AWS Lambda in 2025](https://paulbutcher.com/lambda1.html) _2025-01-23 · Paul Butcher_ I recently found myself starting a new project and was looking for the quickest and easiest way to get something up and running. In the past I might have used Heroku , and I looked briefly at Fly.io , but it turns out that Clojure now runs much better on Lambda than it used to (cold starts are no longer an issue), and it's easy to get up and running with AWS SAM which gives us simple serverless… ## [Naked City](https://seansteadman.substack.com/p/naked-city) _2025-01-19 · Sean Steadman · Sean Steadman Substack_ Exhibition text for Daniel Sinsel’s show at Dépendance in Brussels