The Archive
Cryptographic Identity
Why static keys (like PGP) failed, why device keys (like Signal) aren't enough, and how treating …
Content Addressing
Why the way we link to things on the web is broken, and how addressing content by 'what' it is, …
The Formal Contract
A clean directory structure is just a facade if anyone can import anything. Learn how to use …
The Directory is the Diagram
Organizing code by business capability is more than just rearranging directories. It's about using …
A Practical Guide to Architectural Quanta
Explore the Architectural Quantum, the true unit of independent deployment, and uncover how …
An Architect's Work is Never Done
Beyond making initial decisions, an architect's true role involves continuously guiding the …
Documenting your decision
Learn how to effectively document and communicate architectural decisions using Architectural …
The Spike
Explore how architectural spikes bridge the gap between theoretical decisions and real-world …
The Decision Engine
Learn how to move from qualitative analysis to a final, justifiable, and data-informed architectural …
The Architect's Toolbox
A practical guide to analyzing Monolithic, Microservices, and Event-Driven architectural styles …
Deriving Your Real Architectural Drivers
Learn how to translate vague business goals into concrete, measurable architectural drivers using …
The Architect's Compass
Understanding the core conflict between speed and scale is the architect's first challenge. This …
Why Is AI Code Suddenly “Hard to Debug”?
Debugging is easy when someone carries the mental model. With AI, nobody does.
Agile in Theory, Waterfall in Interviews
Why our system design interviews don’t reflect how real systems are built and what we should test …
Teaching the AI to Code (and Accidentally Becoming Better Engineers)
The best practices we used to skip are suddenly back, not for us, but for the AI
The Real Bottleneck Isn’t Code
If you're not building the same thing in your minds, you'll spend even more time fixing what …
Driving AI Code: Why Test-Driven Development is Essential in the LLM Era
Exploring how Large Language Models (LLMs) are transforming coding and the essential role of …
Modularity Through The Ages
A look at the history of software architecture, from RPCs to microservices, and the timeless …
Polymorphism, Dynamic Dispatch, and Visitor
Exploring polymorphism, dynamic dispatch, and the Visitor pattern in object-oriented programming, …
Beyond the GoF: The Pattern Mindset
Patterns are not a catalog to be memorized. They are a way of seeing the shape of a problem. This …
Achieving Modularity
Stop just talking about modularity and start achieving it. This guide introduces effective technique …
SOLID fp
Exploring how the SOLID principles, often discussed in OOP, apply to Functional Programming, …
Design Principles and Design Patterns
Design principles are high-level guidelines for designing software, while design patterns are …
Struggles Of A Newcomer To FP
One of the challenges that I faced earlier on with FP is coming up with non-imperative solutions...
Monomorphism, Polymorphism, and Higher Ranked Types.
An explanation of Monomorphism, Polymorphism, and Higher Ranked Types in Haskell.
Expressiveness
Exploring the concept of expressiveness in programming languages, comparing Haskell, Java, and …
Dependent Types To Eliminate Runtime Checks
An exploration of how to leverage dependent types in Haskell to catch errors at compile-time, …
Taming Complexity: A Guide to Imperative, Object-Oriented, and Functional Programming
In the realm of software development, complexity is the root cause of majority of problems. This …
GADTs To Eliminate Runtime Checks
Generalised Algebraic Data Types (GADTs) generalises ordinary Algebraic Data Types(ADTs) by …
