Software Engineer specializing in backend systems and functional programming.
Posted on May 31, 2026 by Brendon Tags: opinion , response , llms , ai , nostalgia Plastic Land In my last post I talked about the hopeful idea that the software industry might use more verification techniques; hardening our systems while using LLMs to our intellectual advantage. Unfortunately, I am now of the opinion that we have actually invented plastic software, and whether we use that for…
Posted on January 20, 2026 by Brendon Tags: opinion , response , formal verification , lean Formal Verification and Artificial Intelligence In a recent blog post Martin Kleppmann makes a prediction that formal verification will go mainstream. When I first read this I paused, bent into the fetal position, and openly wept into the palms of my hands as I felt the familiar feeling of hope again. Could…
Posted on December 2, 2025 by Brendon Tags: opinion , philosophy , process Starting Fast I was motivated to write this post by today’s popular belief that if you are not rapidly adopting the latest technologies and prioritizing time-to-market over food and water then you are a loser and should feel bad (and you will burn with the rest of the losers). Said another way, in today’s market you must…
Posted on November 25, 2025 by Brendon Tags: mathematics , haskell , algorithms Introduction For this series of posts I will cover the mathematics and computation, using Haskell, of shortest path algorithms. In the final post I will cover a topic that has piqued my interest lately, Algebraic Path Problems. First, we will begin with Dijkstra’s. Mathematics of the Single Source Shortest Path Here I…
Posted on November 5, 2025 by Brendon Tags: personal , mathematics , haskell , philosophy Introduction For my first post I will write a little bit about myself. I’ll share with you, kind reader, my interests, my background, and some of my ambitions. The first part will cover my career, and then I’ll talk about some personal interests. I hope you enjoy my ranting and please feel free to reach out…