Topics · Domain

AI-assisted engineering

AI as an engineering tool: coding agents, AI-authored code, and what programming becomes when models write most of it.

Includes
Augmentation
Pages
15
On the map 15 pages and the topics around it
Tap a dot to select it, tap again to open it.

Open in the full map →

  1. 2026

  2. articleThe Behavioural Turn in Software Engineering

    Moving from assembly to C changed what we read. Coding agents change whether we read. What psychology learned about black boxes, and what it got wrong.

    AI-assisted engineeringAbstractionEvaluationPsychologyNeuroscienceTrustObservability

  3. noteA capability, democratised

    Building software took money, a team, or years of training. Now anyone with an idea and a subscription can do it, and nobody predicted what would follow.

    DemocratisationEmergenceAI-assisted engineeringHistory of technologyThe commons

  4. noteIdeas stop waiting

    In 2026 the backlog of ideas I carried for years is turning into things that exist. On why this year feels like a window that will not stay open.

    AI-assisted engineeringAugmentationDemocratisationAgents

  5. notePower, in the good sense

    The right word for what AI gives an individual builder is power, meant as capability rather than domination. It is refreshing to say so.

    AugmentationDemocratisationAI-assisted engineeringEthics

  6. noteThe window before the utility

    Tokens will be a metered utility and AI as ordinary as electricity. Until then, learning to use it well is an advantage that will not come around again.

    InferenceEconomicsAugmentationDemocratisationAI-assisted engineeringEnergy

  7. noteOpus 5.5 is the best Opus since 4.5

    A month in, Claude Opus 5.5 feels like the next milestone after Opus 4.5: the same jump in what Claude Code can carry, now faster and cheaper per task.

    AI-assisted engineeringInferenceEconomicsAugmentation

  8. articleThe Proof You Only Have to Write Once

    Generation is cheap, so verification is the bottleneck — and we throw the verification away every time. What if a proof, once written, could be named, shared, and vouched for? A content-addressed commons for verified Haskell, and the move I left for after the semantic-artifact trilogy.

    Formal methodsProgramming languagesAI-assisted engineeringOpen sourceTrustHaskellCompilersType systems

  9. talkI Stopped Writing Most of My Code

    Slide deck for IT's ABOUT TECH #13 in Basel. A 15-minute story about what changed for a long-time engineer after Claude Opus 4.5 and Claude Code arrived, and what happens to a backlog of years-old ideas when the bottleneck stops being time.

    AI-assisted engineeringAugmentationBasel

    13 min
  10. articleThe Field Exists Now

    Alasdair Allan's agentlanguages.dev catalogue turns AI-oriented programming languages from a loose set of experiments into a field with camps, disagreements, and testable claims.

    Programming languagesAI-assisted engineeringFormal methodsHaskellCompilersType systems

  11. articleSource Code Is the New Assembly

    Closing the trilogy. The artifact you author is no longer source code. It is a typed, verifiable object that carries meaning. Code becomes a lowering target.

    AI-assisted engineeringAbstractionDeterminismFormal methodsHaskellCompilersProvenanceType systemsLinguisticsSemiotics

  12. articleWhat Comes After the Last Programming Language

    If AI generates machine code directly, why are we still running operating systems designed for humans? The answer might be an inference-native OS.

    Operating systemsInferenceGPUsIsolationProgramming languagesAbstractionAI-assisted engineering

  13. articleWhat Sixteen AI Agents Taught Me About Management

    What happens when you give sixteen AI agents an org chart, a reporting structure, and a token budget. A story about orchestration, management, and running out of runway.

    AgentsAI-assisted engineeringEconomicsAugmentation

  14. articleHow I Work These Days

    From Kaggle in 2020 to coding agents in late 2025. The shift that changed how I build and why my routine finally feels right.

    AI-assisted engineeringDeveloper toolingRustAugmentation

  15. articleHow AI Makes Bare Metal Viable Again

    I migrated two production apps from Kubernetes to a single Hetzner box. The missing piece was not the hardware.

    Platform automationSelf-hostingAI-assisted engineeringEconomicsKubernetesRustElixir

    Open the full search →