ArticlesWhat's the Job Now? Where LLM Agents, Formal Methods, and Reproducible Environments Could Point the Working Developer.Published 2026-09-08Est. reading time 2–4 min.AuthorMichael LitchardTagsdox-populillm-agentsformal-methodsnixAn LLM agent built a Screeps bot from a machine-checked spec. What that arrangement points to for the working developer.Read postLet's Play Screeps (Part 1)Published 2026-09-12Est. reading time 3–4 min.AuthorMichael LitchardTagsdox-populiscreepstutorialnixTutorial one: a Screeps colony driven by a machine-checked spec, running on a server you host. The walk, the exercises, and the mix.Read postRelated projectsPublished 2026-09-06Est. reading time 2–4 min.AuthorMichael LitchardTagsdox-populirelated-workResearch projects and open-source repos that share ground with dox-populi.Read post
What's the Job Now? Where LLM Agents, Formal Methods, and Reproducible Environments Could Point the Working Developer.Published 2026-09-08Est. reading time 2–4 min.AuthorMichael LitchardTagsdox-populillm-agentsformal-methodsnixAn LLM agent built a Screeps bot from a machine-checked spec. What that arrangement points to for the working developer.Read post
Let's Play Screeps (Part 1)Published 2026-09-12Est. reading time 3–4 min.AuthorMichael LitchardTagsdox-populiscreepstutorialnixTutorial one: a Screeps colony driven by a machine-checked spec, running on a server you host. The walk, the exercises, and the mix.Read post
Related projectsPublished 2026-09-06Est. reading time 2–4 min.AuthorMichael LitchardTagsdox-populirelated-workResearch projects and open-source repos that share ground with dox-populi.Read post
Dox Populi