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
#ai
2 posts under this tag.
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.