Software Development
-
Ada and the languages built for provable correctness
Ada was born from a US Department of Defense contest in the late 1970s, when the Pentagon found itself maintaining…
Read More » -
GraphQL’s Schema Language vs. REST’s Implicit Contract: What It Means to Type an API’s Shape
Every REST API has a contract. The problem is that contract usually lives in three different places at once, a…
Read More » -
Design Patterns for AI Agents
AI agents extend language models from simply generating responses to carrying out goal-oriented workflows. By combining reasoning, tool use, feedback,…
Read More » -
Memory in AI agents
Memory is one of the key capabilities that transforms an AI agent from a system that simply responds to individual…
Read More » -
Prolog and the Slow Death of a Beautiful Idea: Why Logic Programming Never Went Mainstream
There was a decade when the smartest bet in computing wasn’t object-oriented programming, and it wasn’t functional programming either. It…
Read More » -
What is vLLM? A Quickstart Guide
Large language models have become easier to integrate into applications, but running them efficiently is still a major engineering challenge.…
Read More » -
Effect Systems: Type-Level Side Effects, and Whether Mainstream Languages Will Ever Adopt Them
A function’s type can already say what it returns. Effect systems ask it to say what it does on the…
Read More » -
The Halting Problem’s Practical Shadow
Why static analyzers, linters, and even the Java compiler’s own exhaustiveness checking all live under the same hard ceiling. Every…
Read More » -
Hardening GitHub Actions with Least Privilege
GitHub Actions has become a core part of modern CI/CD pipelines. It can build software, run tests, publish packages, create…
Read More »
