Machine-checkable software-engineering pipeline (MCSEP)
A practical workflow for agentic or human software development using formal specifications, architecture constraints, conformance testing, and runtime verification.
Latest
All posts →CSS logical pixels, SMS encoding and some metamorphic malware (notes)
Notes on how CSS pixels map to displays, why a single character can shrink an SMS, and how metamorphic malware changes shape.
Residuality theory to design more resilient software
An introduction to residuality theory: stressing a naive architecture to discover the resilient systems that remain.
My feedback after using an agent everyday at work for two months
Two months of daily coding-agent use: faster delivery, shifted cognition, new strengths, and an uneasy sense of dependence.
The COBOL escape mirage
Why the apparent calm of COBOL can feel like an escape from the relentless churn of modern web development.
The simple yet powerful technique of Memoization
How memoization avoids repeated network work and turns expensive integration calls into fast cached lookups.
A morning in Mauritania (OSINT challenge)
Locating a street scene in Mauritania with reverse image search, satellite imagery, and the intelligence life cycle.
The tracks of Aiko the hacker (OSINT CTF)
Following a hacker's digital trail through metadata, public keys, social profiles, cryptocurrency, and geolocation clues.
A world tour behind my desk (OSINT CTF)
A step-by-step journey through the SEINT 2023 OSINT CTF, following clues across countries and online sources.