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.
Tagged
#development
5 posts under this tag.
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.
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.