41554 blogs · [ { "id": "01a087bd-cb34-713a-b5bf-39f7490fa7b3", "title": "A complete production webapp in Lean", "url": "https://paulbutcher.com/lean-webapp.html", "published_at": "2026-09-01T23:59:59+00:00" }, { "id": "01a087bd-cb34-713a-b5bf-39f7492ded99", "title": "A (somewhat) formally verified implementation of Markdown", "url": "https://paulbutcher.com/lean-markdown.html", "published_at": "2026-08-08T23:59:59+00:00" }, { "id": "01a087bd-cb34-713a-b5bf-39f749bf920f", "title": "Formally verified CRUD", "url": "https://paulbutcher.com/lean2.html", "published_at": "2026-07-18T23:59:59+00:00" }, { "id": "01a087bd-cb34-713a-b5bf-39f74a679901", "title": "Lean-ing into Software Engineering", "url": "https://paulbutcher.com/lean1.html", "published_at": "2026-07-08T23:59:59+00:00" }, { "id": "01a087bd-cb34-713a-b5bf-39f74b32ab79", "title": "Quick and Easy Clojure on AWS Lambda Part 2", "url": "https://paulbutcher.com/lambda2.html", "published_at": "2025-01-24T23:59:59+00:00" }, { "id": "01a087bd-cb34-713a-b5bf-39f74b3f6649", "title": "Quick and Easy Clojure on AWS Lambda in 2025", "url": "https://paulbutcher.com/lambda1.html", "published_at": "2025-01-23T23:59:59+00:00" }, { "id": "01a087bd-cb34-713a-b5bf-39f74b495408", "title": "An introduction to Datalog in Flix: Part 4", "url": "https://paulbutcher.com/datalog4.html", "published_at": "2022-10-26T23:59:59+00:00" }, { "id": "01a087bd-cb34-713a-b5bf-39f74c3f4db8", "title": "An introduction to Datalog in Flix: Part 3", "url": "https://paulbutcher.com/datalog3.html", "published_at": "2022-10-25T23:59:59+00:00" }, { "id": "01a087bd-cb34-713a-b5bf-39f74c4cafe4", "title": "An introduction to Datalog in Flix: Part 2", "url": "https://paulbutcher.com/datalog2.html", "published_at": "2022-10-23T23:59:59+00:00" }, { "id": "01a087bd-cb34-713a-b5bf-39f74d27251a", "title": "An introduction to Datalog in Flix: Part 1", "url": "https://paulbutcher.com/datalog1.html", "published_at": "2022-10-22T23:59:59+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/paulbutcher.com/posts