Blog
The blog now has two layers: current writing on AI platform engineering and platform leadership, and the restored technical archive on Haskell, type systems, numerical methods, databases, testing, benchmarking, and software correctness.
Prefer RSS? Subscribe via /rss.xml
- 10 May 2026
Agent-Ready Repositories
A repository is not agent-ready because it has an instruction file. It is agent-ready when context, specs, verification, and boundaries make supervised delegation reliable.
- 10 May 2026
Agent-Ready Repository Checklist
A practical checklist for making a repository safe for human-supervised AI agents without confusing automation with autonomy.
- 10 May 2026
Phases Are a Roadmap; Maturity Levels Are Capability States
AI adoption phases and AI maturity levels are related, but not the same: phases describe transformation sequence, while levels describe proven capability.
- 10 May 2026
AI Maturity Is Safe Delegation Capacity
A maturity model for agentic engineering should measure how safely work can be delegated, not how many people have adopted a model or assistant.
- 10 May 2026
CI Guardrails and AI Platform Engineering
In agentic engineering, CI is the enforcement kernel: agents propose, but tests, policy, review, and humans decide what receives authority.
- 10 May 2026
GitHub Issue and PR Templates for Agentic SDLC
A template-driven way to make GitHub issues and pull requests operable for human-supervised AI agents.
- 10 May 2026
GitHub-Native Human-Supervised Agents
A practical bridge from personal AI usage to auditable agentic engineering: GitHub issues, small commits, pull requests, CI, and human review.
- 10 May 2026
Misalignment Signals in AI Engineering Adoption
A stakeholder matrix for detecting when AI engineering adoption is drifting away from safe delegation and toward organizational theatre.
- 10 May 2026
Pilot Selection and Rollback Playbook for Agentic Engineering
A pragmatic playbook for choosing AI engineering pilots that can prove value without damaging reliability, trust, or delivery discipline.
- 10 May 2026
Pilots, RAID, Misalignment, and Rollback
AI engineering adoption should start with bounded pilots, SMART goals, RAID logs, misalignment signals, and explicit rollback paths.
- 10 May 2026
System-Aware Governed Agents
Repository-level context is not enough for distributed systems. Agents need system graphs, ownership metadata, infrastructure boundaries, and governed cross-repo reasoning.
- 10 May 2026
Team-Managed Agentic SDLC
The move from repo-ready workflows to team-level AI maturity requires shared issue taxonomy, review rubrics, metrics, onboarding, and operating discipline.
- 30 April 2020
The Software Testing Fallacy
A quick leap from the undecidable halting problem through denotational semantics and straight to the caveats of software testing.
- 23 April 2020
Functional C++ Juxtaposed with Haskell
In the last few years with each new iteration of the C++ standard, the committee introduced further concepts inspired by functional programming. They are poised to standardize and optimize the use of modern functional-programming paradigms such as functional arguments, immutability, functors, and monads, thereby improving the notation for standard idioms such as structure-preserving transformations (functor), structure-preserving parallel computation (applicative functor) or structure-preserving sequential computations.
- 12 April 2020
On the Updated Design of My Blog
A quick update on the state of the design of this blog, in which I will progressively expand on theming plain vanilla Hakyll with HTML5, CSS3, and JavaScript. Eventually, I will rewrite the frontend in TypeScript. Some separate posts will follow. Dive in!
- 31 March 2020
Functors in Haskell
A lot of types satisfy the Functor laws, which guarantee that we can consistently apply functions to their values. Most importantly, the structure is preserved under the transformation that we apply. Learn here why this is important and how this works in practice. This is a great setting to familiarize yourself with key syntax of Haskell.
- 31 March 2020
Applicative Functors in Haskell
A legacy draft on applicative functors in Haskell: function application in functorial context, the Applicative laws, and the relation to monoidal structure.
- 26 March 2020
Database Transactions and Management in Haskell
In this post we will see how to employ Haskell's type system to ensure correctness of database queries. In fact, if you are familiar with SQL, you might know how unwieldy and repetitive nested SQL strings may become. The more complex they are, the more error-prone they get. Besides, many checks must be interspersed to protect the integrity of the database. In addition, query optimization has become a prevalent problem for cloud-based solutions, where a single SQL request may eat up the entire budget. To alleviate and gain control over such issues, Haskell's ecosystem provides us with type-checker guarantees for the correctness and integrity of the queries and paves the road to query analysis and subsequent query optimization. Read on for an initial survey of Haskell database libraries.
- 26 March 2020
Testing and Benchmarking Software in Haskell
Learn to Use Testing and Benchmarking Libraries and Frameworks
- 1 March 2020
Numerical Methods with Haskell and Python
A general note on differential equations. There are three classical approaches to differential equations:
- 28 February 2020
Numerical Methods with Haskell and Python
This blog post initiates a series of tutorial posts on formulations of numerical methods in linear algebra and analysis, and perhaps stochastics, in Haskell in comparison with Python. In the process, we will also analyze the algorithms.