corpus.blog
41554 blogs · [ { "id": "01a087bd-8f54-71ab-b840-df18daa71b8d", "title": "Announcing WoofWare.PawPrint, a deterministic .NET runtime", "url": "https://www.patrickstevens.co.uk/posts/2026-06-04-announcing-woofware-pawprint/", "published_at": "2026-06-04T06:41:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18dae66de6", "title": "Midnight Madness London 2026", "url": "https://www.patrickstevens.co.uk/posts/2026-05-17-midnight-madness/", "published_at": "2026-05-17T20:44:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18db1fd6f3", "title": "Claude knows who you are", "url": "https://www.patrickstevens.co.uk/posts/2026-04-18-claude-knows-you/", "published_at": "2026-04-18T08:41:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18dc0e04e0", "title": "Another trip to Tromsø", "url": "https://www.patrickstevens.co.uk/posts/2026-04-05-northern-lights-redux/", "published_at": "2026-04-05T11:42:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18dc44caca", "title": "Fun LLM prompt: where are my mental models defective?", "url": "https://www.patrickstevens.co.uk/posts/2026-03-02-mental-model-failures/", "published_at": "2026-03-02T22:05:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18dd1efd5e", "title": "LLM arithmetic", "url": "https://www.patrickstevens.co.uk/posts/2025-12-13-llm-arithmetic/", "published_at": "2025-12-13T09:41:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18dd414309", "title": "Robocop: automated code review", "url": "https://www.patrickstevens.co.uk/posts/2025-11-10-robocop/", "published_at": "2025-11-10T17:25:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18ddf678c3", "title": "LLMs sanding off the edges", "url": "https://www.patrickstevens.co.uk/posts/2025-10-06-llm-concerns/", "published_at": "2025-10-06T21:59:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18debbc5d9", "title": "Boolean blindness", "url": "https://www.patrickstevens.co.uk/posts/2025-08-29-boolean-blindness/", "published_at": "2025-08-29T09:23:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18deccfc5d", "title": "Some Python surprises", "url": "https://www.patrickstevens.co.uk/posts/2025-06-21-python-pitfalls/", "published_at": "2025-06-20T23:00:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18df43123a", "title": "Things I've learned about the .NET runtime", "url": "https://www.patrickstevens.co.uk/posts/2025-06-20-dotnet-runtime-learnings/", "published_at": "2025-06-19T23:00:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18dfadafe4", "title": "Announcing WoofWare.Expect", "url": "https://www.patrickstevens.co.uk/posts/2025-06-17-woofware-expect/", "published_at": "2025-06-16T23:00:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18e098ce19", "title": "LLM effect on my programming (2025 edition)", "url": "https://www.patrickstevens.co.uk/posts/2025-06-16-llms-redux/", "published_at": "2025-06-16T08:28:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18e10cb1ac", "title": "A Bitcoin analogy for Multiple Drafts theory of consciousness", "url": "https://www.patrickstevens.co.uk/posts/2025-03-08-consciousness/", "published_at": "2025-03-08T13:30:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18e1c2d51d", "title": "NativeAOT in .NET 9 and Nixpkgs/darwin", "url": "https://www.patrickstevens.co.uk/posts/2024-11-28-net9-aot/", "published_at": "2024-11-28T20:10:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18e23f1a9d", "title": "Mary's Room", "url": "https://www.patrickstevens.co.uk/posts/2024-10-25-marys-room/", "published_at": "2024-10-25T22:30:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18e265100a", "title": "My reading list", "url": "https://www.patrickstevens.co.uk/reading-list/", "published_at": "2024-09-27T18:31:58+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18e2e8da2c", "title": "Unhinged rant about software", "url": "https://www.patrickstevens.co.uk/posts/2024-09-27-software-rant/", "published_at": "2024-09-27T17:14:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18e3d9471a", "title": "Lessons from a massage course", "url": "https://www.patrickstevens.co.uk/posts/2024-09-07-massage/", "published_at": "2024-09-07T10:47:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18e4d2d15c", "title": "WoofWare.Myriad.Plugins learns to parse args", "url": "https://www.patrickstevens.co.uk/posts/2024-08-26-woofware-arg-parser/", "published_at": "2024-08-26T11:26:00+00:00" }, { "id": "01a087bd-8f54-71ab-b840-df18e54e7b90", "title": "New GitHub workflows", "url": "https://www.patrickstevens.co.uk/posts/2024-08-15-github-workflows/", "published_at": "2024-08-15T16:51:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2541106a9f7", "title": "Learning plan for \"Program Equilibrium in the Prisoner's Dilemma\"", "url": "https://www.patrickstevens.co.uk/posts/2024-07-25-lob-theorem/", "published_at": "2024-07-25T18:48:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e254116d6084", "title": "Code having \"the right philosophy\"", "url": "https://www.patrickstevens.co.uk/posts/2024-07-24-philosophy-of-code/", "published_at": "2024-07-24T16:38:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25412332dbd", "title": "The phrase \"I Notice That I Am Confused\"", "url": "https://www.patrickstevens.co.uk/posts/2024-05-01-i-notice-that-i-am-confused/", "published_at": "2024-05-01T10:38:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e254131e1896", "title": "Games", "url": "https://www.patrickstevens.co.uk/games/", "published_at": "2024-04-28T19:51:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e254140cc793", "title": "The Yoneda lemma", "url": "https://www.patrickstevens.co.uk/posts/2024-04-13-yoneda/", "published_at": "2024-04-13T15:58:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25414750bd3", "title": "ChatGPT's effect on my programming", "url": "https://www.patrickstevens.co.uk/posts/2024-03-27-chatgpt-and-programming/", "published_at": "2024-03-27T12:01:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2541488ae59", "title": "YAML is not a superset of JSON", "url": "https://www.patrickstevens.co.uk/posts/2024-03-14-yaml-superset-json/", "published_at": "2024-03-14T00:12:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e254151fc143", "title": "Trip to Tromsø", "url": "https://www.patrickstevens.co.uk/posts/2024-03-13-northern-lights-trip/", "published_at": "2024-03-13T12:18:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25415a56b03", "title": "Why does no-confusion use equality rather than a recursive call?", "url": "https://www.patrickstevens.co.uk/posts/2024-03-01-no-confusion/", "published_at": "2024-03-01T13:51:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25416776bcb", "title": "Starting a suspended process", "url": "https://www.patrickstevens.co.uk/posts/2024-01-19-starting-suspended-process/", "published_at": "2024-01-19T18:51:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25416eab8fd", "title": "Announcing WoofWare.Myriad.Plugins", "url": "https://www.patrickstevens.co.uk/posts/2023-12-31-woofware-myriad-plugins/", "published_at": "2023-12-31T13:42:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25417696741", "title": "iOS interface", "url": "https://www.patrickstevens.co.uk/posts/2023-12-31-ios-interface/", "published_at": "2023-12-31T12:49:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e254179b37b3", "title": "Squashed stacked PRs workflow", "url": "https://www.patrickstevens.co.uk/posts/2023-10-18-squash-stacked-prs/", "published_at": "2023-10-18T19:36:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25417c51284", "title": "Raymond Smullyan chess problem walkthrough", "url": "https://www.patrickstevens.co.uk/posts/2023-10-06-smullyan-chess/", "published_at": "2023-10-06T19:53:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e254183a7838", "title": "Nix fireside chat outline", "url": "https://www.patrickstevens.co.uk/posts/2023-10-05-nix-fireside-chat/", "published_at": "2023-10-05T19:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25418805544", "title": "Property-based testing introduction", "url": "https://www.patrickstevens.co.uk/posts/2023-10-01-property-based-test-talk/", "published_at": "2023-10-01T19:53:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2541900d087", "title": "The tiny proof that primes 1 mod 4 are sums of two squares", "url": "https://www.patrickstevens.co.uk/posts/2023-09-28-sum-of-two-squares/", "published_at": "2023-09-28T00:15:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e254190715ca", "title": "Imre Leader Appreciation Society", "url": "https://www.patrickstevens.co.uk/ILAS/", "published_at": "2023-09-09T22:30:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25419b26e9e", "title": "Anki decks", "url": "https://www.patrickstevens.co.uk/anki-decks/", "published_at": "2023-09-08T18:22:27+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2541a804d91", "title": "Notes for a Git fireside chat", "url": "https://www.patrickstevens.co.uk/posts/2023-09-06-git-showcase/", "published_at": "2023-09-06T13:51:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2541b5e6b61", "title": "Films", "url": "https://www.patrickstevens.co.uk/films/", "published_at": "2023-09-02T12:30:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2541c365060", "title": "Questions I had about transformers", "url": "https://www.patrickstevens.co.uk/posts/2023-07-12-transformer-questions/", "published_at": "2023-07-12T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2541c4cbea5", "title": "Lifehacks", "url": "https://www.patrickstevens.co.uk/lifehacks/", "published_at": "2022-12-31T23:21:44+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2541c77ed7a", "title": "About me", "url": "https://www.patrickstevens.co.uk/about/", "published_at": "2022-08-20T13:18:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2541cd3efd8", "title": "About this website", "url": "https://www.patrickstevens.co.uk/about-this-site/", "published_at": "2022-07-31T19:16:44+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2541cfa888c", "title": "The water filtration industry has played us for absolute fools", "url": "https://www.patrickstevens.co.uk/posts/2022-05-15-water-filtration/", "published_at": "2022-05-15T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2541d480fe3", "title": "Don't supply `-f` to `rm` unless you know you need it", "url": "https://www.patrickstevens.co.uk/posts/2021-10-25-avoid-rm-rf/", "published_at": "2021-10-25T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2541ddb05f6", "title": "Argument in a high-trust environment", "url": "https://www.patrickstevens.co.uk/posts/2021-10-22-argument/", "published_at": "2021-10-21T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2541ec95e85", "title": "Crates (existentials in F#)", "url": "https://www.patrickstevens.co.uk/posts/2021-10-19-crates/", "published_at": "2021-10-19T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2541f554306", "title": "Restaurants", "url": "https://www.patrickstevens.co.uk/restaurants/", "published_at": "2021-09-12T21:47:44+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2541f70387f", "title": "Top Posts", "url": "https://www.patrickstevens.co.uk/top-posts/", "published_at": "2021-09-12T21:47:44+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2541fa19ef9", "title": "Metatesting your property-based tests", "url": "https://www.patrickstevens.co.uk/posts/2021-02-06-property-based-metatesting/", "published_at": "2021-05-27T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e254206dd57c", "title": "Product comparisons", "url": "https://www.patrickstevens.co.uk/comparisons/", "published_at": "2021-05-21T17:23:48+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25420bd0da1", "title": "In praise of `--dry-run`", "url": "https://www.patrickstevens.co.uk/posts/2021-02-20-in-praise-of-dry-run/", "published_at": "2021-05-21T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e254212c0a97", "title": "Continuation-passing style", "url": "https://www.patrickstevens.co.uk/posts/2021-03-22-continuation-passing-style/", "published_at": "2021-03-22T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e254218f9033", "title": "Rewriting the Technical Interview, in Mathematica", "url": "https://www.patrickstevens.co.uk/posts/2021-03-17-rewriting-technical-interview/", "published_at": "2021-03-17T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2542234b87c", "title": "Software engineer syllabus", "url": "https://www.patrickstevens.co.uk/posts/2021-02-03-senior-engineer-syllabus/", "published_at": "2021-02-03T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25422e42ac2", "title": "Cyclic dependencies (a note from Hacker News)", "url": "https://www.patrickstevens.co.uk/posts/2021-01-30-cyclic-dependencies/", "published_at": "2021-01-30T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e254239e882e", "title": "An incomplete life evaluation checklist", "url": "https://www.patrickstevens.co.uk/posts/2021-01-21-evaluation-checklist/", "published_at": "2021-01-21T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2542419f7b8", "title": "Find the Bug, C# edition", "url": "https://www.patrickstevens.co.uk/posts/2021-01-18-find-the-bug/", "published_at": "2021-01-18T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25424ff344d", "title": "A bug in Git", "url": "https://www.patrickstevens.co.uk/posts/2020-12-28-a-bug-in-git/", "published_at": "2020-12-28T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25425c86c9b", "title": "Christmas quiz", "url": "https://www.patrickstevens.co.uk/posts/2020-12-26-christmas-quiz/", "published_at": "2020-12-26T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25425f41638", "title": "Christmas dinner notes", "url": "https://www.patrickstevens.co.uk/posts/2020-11-21-christmas-dinner/", "published_at": "2020-11-21T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25426262b0a", "title": "Anki as Learning Superpower", "url": "https://www.patrickstevens.co.uk/posts/2020-10-23-anki-learning/", "published_at": "2020-10-23T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e254263a509a", "title": "General relativity (a note from Hacker News)", "url": "https://www.patrickstevens.co.uk/posts/2020-10-18-gravity/", "published_at": "2020-10-18T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25426d3e91c", "title": "Nulls and options (a note from Hacker News)", "url": "https://www.patrickstevens.co.uk/posts/2020-10-10-null-and-option/", "published_at": "2020-10-10T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e254273cb1e1", "title": "The uncountability of the reals (a note from Hacker News)", "url": "https://www.patrickstevens.co.uk/posts/2020-08-02-uncountability/", "published_at": "2020-08-02T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25427a08e40", "title": "In favour of recursive functions, not imperative constructs, to make loops", "url": "https://www.patrickstevens.co.uk/posts/2020-07-22-tailrecursion/", "published_at": "2020-07-22T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2542882c51f", "title": "Static config (a note from Hacker News)", "url": "https://www.patrickstevens.co.uk/posts/2020-04-05-static-config/", "published_at": "2020-04-05T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e254290b71c0", "title": "Defunctionalisation", "url": "https://www.patrickstevens.co.uk/posts/2020-03-04-defunctionalisation/", "published_at": "2020-03-04T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e25429e79b47", "title": "MIT Mystery Hunt photos", "url": "https://www.patrickstevens.co.uk/posts/2020-01-25-mit-mystery-hunt-photos/", "published_at": "2020-01-25T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2542a050141", "title": "MIT Mystery Hunt 2020 answers", "url": "https://www.patrickstevens.co.uk/posts/2020-01-16-mystery-hunt/", "published_at": "2020-01-16T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2542aeed2b0", "title": "Teaching how to cook (a note from Hacker News)", "url": "https://www.patrickstevens.co.uk/posts/2019-12-27-cooking/", "published_at": "2019-12-27T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2542b19cd32", "title": "The stages of mathematics teaching (a note from Hacker News)", "url": "https://www.patrickstevens.co.uk/posts/2018-09-20-mathematics-teaching/", "published_at": "2019-09-20T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2542bb4fb97", "title": "MIT Mystery Hunt 2019 answers", "url": "https://www.patrickstevens.co.uk/posts/2019-01-16-mystery-hunt/", "published_at": "2019-01-16T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2542c14b2ec", "title": "Chatting with Don Syme about the F# compiler", "url": "https://www.patrickstevens.co.uk/posts/2018-09-10-don-syme/", "published_at": "2018-09-10T00:00:00+00:00" }, { "id": "01a087bd-8f55-714e-a82b-e2542cc7c4b8", "title": "Dependent types overview", "url": "https://www.patrickstevens.co.uk/posts/2018-07-21-dependent-types-overview/", "published_at": "2018-07-21T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec1835812c9", "title": "JSON comments (a note from Hacker News)", "url": "https://www.patrickstevens.co.uk/posts/2018-06-02-json-comments/", "published_at": "2018-06-02T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec1844b47bc", "title": "What is lost when we move between number systems?", "url": "https://www.patrickstevens.co.uk/posts/2018-04-08-kinds-of-number/", "published_at": "2018-04-08T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec18527cb91", "title": "Infinitesimals as an idea that took a long time", "url": "https://www.patrickstevens.co.uk/posts/2018-02-03-epsilon-delta/", "published_at": "2018-02-03T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec185714fb7", "title": "Abuse of notation in function application", "url": "https://www.patrickstevens.co.uk/posts/2017-11-05-abuse-of-notation/", "published_at": "2017-11-05T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec185f13221", "title": "The relationship between the IMO and research mathematics", "url": "https://www.patrickstevens.co.uk/posts/2017-03-14-maths-olympiad/", "published_at": "2017-03-14T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec18604854e", "title": "Proof of Cauchy-Schwarz", "url": "https://www.patrickstevens.co.uk/posts/2017-02-14-cauchy-schwarz-proof/", "published_at": "2017-02-14T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec1868de71e", "title": "What does Mathematica mean by ComplexInfinity?", "url": "https://www.patrickstevens.co.uk/posts/2016-12-31-complex-infinity/", "published_at": "2016-12-31T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec18700b969", "title": "How far back does mathematical understanding go?", "url": "https://www.patrickstevens.co.uk/posts/2016-08-10-reinvent-maths/", "published_at": "2016-08-10T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec187ea3ff1", "title": "A Free Market", "url": "https://www.patrickstevens.co.uk/posts/2016-08-07-a-free-market/", "published_at": "2016-08-07T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec1881b86bc", "title": "Be a Beginner", "url": "https://www.patrickstevens.co.uk/posts/2016-08-05-be-a-beginner/", "published_at": "2016-08-05T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec188595e9a", "title": "Part III essay", "url": "https://www.patrickstevens.co.uk/posts/2016-06-15-part-iii-essay/", "published_at": "2016-06-15T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec1887ff77e", "title": "The use of jargon", "url": "https://www.patrickstevens.co.uk/posts/2016-06-13-the-use-of-jargon/", "published_at": "2016-06-13T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec188ede6dd", "title": "Finitistic reducibility", "url": "https://www.patrickstevens.co.uk/posts/2016-05-25-finitistic-reducibility/", "published_at": "2016-05-25T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec1894ccd22", "title": "Tennenbaum's theorem", "url": "https://www.patrickstevens.co.uk/posts/2016-04-27-tennenbaums-theorem/", "published_at": "2016-04-27T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec18a23317e", "title": "Modular machines", "url": "https://www.patrickstevens.co.uk/posts/2016-04-21-modular-machines/", "published_at": "2016-04-21T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec18ab5ce09", "title": "Independence of the Axiom of Choice (for programmers)", "url": "https://www.patrickstevens.co.uk/posts/2016-04-13-independence-of-choice/", "published_at": "2016-04-13T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec18afa67ae", "title": "Another Monty Hall explanation", "url": "https://www.patrickstevens.co.uk/posts/2016-04-08-another-monty-hall-explanation/", "published_at": "2016-04-08T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec18b5968c1", "title": "Clojure and Exercism", "url": "https://www.patrickstevens.co.uk/posts/2016-03-28-clojure-exercism/", "published_at": "2016-03-28T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec18bb48215", "title": "Why do we get complex numbers in a certain expression?", "url": "https://www.patrickstevens.co.uk/posts/2016-03-03-a-certain-limit/", "published_at": "2016-03-03T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec18c496956", "title": "Friedberg-Muchnik theorem", "url": "https://www.patrickstevens.co.uk/posts/2016-02-05-friedberg-muchnik-theorem/", "published_at": "2016-02-05T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec18c7e0e58", "title": "Representable functors", "url": "https://www.patrickstevens.co.uk/posts/2016-01-26-representable-functors/", "published_at": "2016-01-26T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec18cc82ad2", "title": "Multiplicative determinant", "url": "https://www.patrickstevens.co.uk/posts/2016-01-01-multiplicative-determinant/", "published_at": "2016-01-01T00:00:00+00:00" } ] posts Claim your blog
Back to patrickstevens.co.uk
Blog · corpus.blog/blogs/patrickstevens.co.uk/posts

patrickstevens.co.uk

patrickstevens.co.uk

2026

Announcing WoofWare.PawPrint, a deterministic .NET runtimeoriginal ↗
4 Jun 2026
Midnight Madness London 2026original ↗
17 May 2026
Claude knows who you areoriginal ↗
18 Apr 2026
Another trip to Tromsøoriginal ↗
5 Apr 2026
Fun LLM prompt: where are my mental models defective?original ↗
2 Mar 2026

2025

LLM arithmeticoriginal ↗
13 Dec 2025
Robocop: automated code revieworiginal ↗
10 Nov 2025
LLMs sanding off the edgesoriginal ↗
6 Oct 2025
Boolean blindnessoriginal ↗
29 Aug 2025
Some Python surprisesoriginal ↗
20 Jun 2025
Things I've learned about the .NET runtimeoriginal ↗
19 Jun 2025
Announcing WoofWare.Expectoriginal ↗
16 Jun 2025
LLM effect on my programming (2025 edition)original ↗
16 Jun 2025
A Bitcoin analogy for Multiple Drafts theory of consciousnessoriginal ↗
8 Mar 2025

2024

NativeAOT in .NET 9 and Nixpkgs/darwinoriginal ↗
28 Nov 2024
Mary's Roomoriginal ↗
25 Oct 2024
My reading listoriginal ↗
27 Sept 2024
Unhinged rant about softwareoriginal ↗
27 Sept 2024
Lessons from a massage courseoriginal ↗
7 Sept 2024
WoofWare.Myriad.Plugins learns to parse argsoriginal ↗
26 Aug 2024
New GitHub workflowsoriginal ↗
15 Aug 2024
Learning plan for "Program Equilibrium in the Prisoner's Dilemma"original ↗
25 Jul 2024
Code having "the right philosophy"original ↗
24 Jul 2024
The phrase "I Notice That I Am Confused"original ↗
1 May 2024
Gamesoriginal ↗
28 Apr 2024
The Yoneda lemmaoriginal ↗
13 Apr 2024
ChatGPT's effect on my programmingoriginal ↗
27 Mar 2024
YAML is not a superset of JSONoriginal ↗
14 Mar 2024
Trip to Tromsøoriginal ↗
13 Mar 2024
Why does no-confusion use equality rather than a recursive call?original ↗
1 Mar 2024
Starting a suspended processoriginal ↗
19 Jan 2024

2023

Announcing WoofWare.Myriad.Pluginsoriginal ↗
31 Dec 2023
iOS interfaceoriginal ↗
31 Dec 2023
Squashed stacked PRs workfloworiginal ↗
18 Oct 2023
Raymond Smullyan chess problem walkthroughoriginal ↗
6 Oct 2023
Nix fireside chat outlineoriginal ↗
5 Oct 2023
Property-based testing introductionoriginal ↗
1 Oct 2023
The tiny proof that primes 1 mod 4 are sums of two squaresoriginal ↗
28 Sept 2023
Imre Leader Appreciation Societyoriginal ↗
9 Sept 2023
Anki decksoriginal ↗
8 Sept 2023
Notes for a Git fireside chatoriginal ↗
6 Sept 2023
Filmsoriginal ↗
2 Sept 2023
Questions I had about transformersoriginal ↗
12 Jul 2023

2022

Lifehacksoriginal ↗
31 Dec 2022
About meoriginal ↗
20 Aug 2022
About this websiteoriginal ↗
31 Jul 2022
The water filtration industry has played us for absolute foolsoriginal ↗
15 May 2022

2021

Don't supply `-f` to `rm` unless you know you need itoriginal ↗
25 Oct 2021
Argument in a high-trust environmentoriginal ↗
21 Oct 2021
Crates (existentials in F#)original ↗
19 Oct 2021
Restaurantsoriginal ↗
12 Sept 2021
Top Postsoriginal ↗
12 Sept 2021
Metatesting your property-based testsoriginal ↗
27 May 2021
Product comparisonsoriginal ↗
21 May 2021
In praise of `--dry-run`original ↗
21 May 2021
Continuation-passing styleoriginal ↗
22 Mar 2021
Rewriting the Technical Interview, in Mathematicaoriginal ↗
17 Mar 2021
Software engineer syllabusoriginal ↗
3 Feb 2021
Cyclic dependencies (a note from Hacker News)original ↗
30 Jan 2021
An incomplete life evaluation checklistoriginal ↗
21 Jan 2021
Find the Bug, C# editionoriginal ↗
18 Jan 2021

2020

A bug in Gitoriginal ↗
28 Dec 2020
Christmas quizoriginal ↗
26 Dec 2020
Christmas dinner notesoriginal ↗
21 Nov 2020
Anki as Learning Superpoweroriginal ↗
23 Oct 2020
General relativity (a note from Hacker News)original ↗
18 Oct 2020
Nulls and options (a note from Hacker News)original ↗
10 Oct 2020
The uncountability of the reals (a note from Hacker News)original ↗
2 Aug 2020
In favour of recursive functions, not imperative constructs, to make loopsoriginal ↗
22 Jul 2020
Static config (a note from Hacker News)original ↗
5 Apr 2020
Defunctionalisationoriginal ↗
4 Mar 2020
MIT Mystery Hunt photosoriginal ↗
25 Jan 2020
MIT Mystery Hunt 2020 answersoriginal ↗
16 Jan 2020

2019

Teaching how to cook (a note from Hacker News)original ↗
27 Dec 2019
The stages of mathematics teaching (a note from Hacker News)original ↗
20 Sept 2019
MIT Mystery Hunt 2019 answersoriginal ↗
16 Jan 2019

2018

Chatting with Don Syme about the F# compileroriginal ↗
10 Sept 2018
Dependent types overvieworiginal ↗
21 Jul 2018
JSON comments (a note from Hacker News)original ↗
2 Jun 2018
What is lost when we move between number systems?original ↗
8 Apr 2018
Infinitesimals as an idea that took a long timeoriginal ↗
3 Feb 2018

2017

Abuse of notation in function applicationoriginal ↗
5 Nov 2017
The relationship between the IMO and research mathematicsoriginal ↗
14 Mar 2017
Proof of Cauchy-Schwarzoriginal ↗
14 Feb 2017

2016

What does Mathematica mean by ComplexInfinity?original ↗
31 Dec 2016
How far back does mathematical understanding go?original ↗
10 Aug 2016
A Free Marketoriginal ↗
7 Aug 2016
Be a Beginneroriginal ↗
5 Aug 2016
Part III essayoriginal ↗
15 Jun 2016
The use of jargonoriginal ↗
13 Jun 2016
Finitistic reducibilityoriginal ↗
25 May 2016
Tennenbaum's theoremoriginal ↗
27 Apr 2016
Modular machinesoriginal ↗
21 Apr 2016
Independence of the Axiom of Choice (for programmers)original ↗
13 Apr 2016
Another Monty Hall explanationoriginal ↗
8 Apr 2016
Clojure and Exercismoriginal ↗
28 Mar 2016
Why do we get complex numbers in a certain expression?original ↗
3 Mar 2016
Friedberg-Muchnik theoremoriginal ↗
5 Feb 2016
Representable functorsoriginal ↗
26 Jan 2016
Multiplicative determinantoriginal ↗
1 Jan 2016
Next