Dissident computer scientist https://bsky.app/profile/jonathoda.bsky.socialhttps://bsky.app/profile/jonathoda.bsky.social/post/3mksjnercyc2xEvidence coding agents benefit from stable code identifiers. "none of these tools give the model a stable, verifiable identifier for the lines it wants to change without wasting tremendous amounts of context and depending on perfect recall" via @marianoguerra.org https://blog.can.ac/2026/02/12/the-harness-problem/01 May 2026 16:16 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3mksjnercyc2xhttps://bsky.app/profile/jonathoda.bsky.social/post/3mkdagohaw22y“They will see further than anyone before, standing on the shoulders of giant machines” https://open.substack.com/pub/davidbessis/p/the-fall-of-the-theorem-economy?selection=c95040c3-5a6b-4673-a51d-b6bf920892ed25 Apr 2026 14:21 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3mkdagohaw22yhttps://bsky.app/profile/jonathoda.bsky.social/post/3mk5zwllvrc23If humans won't use structure editors, maybe AIs will. "We propose reframing the codebase as a structured action space where agents operate on named AST entities rather than text spans." https://arxiv.org/html/2604.05407v323 Apr 2026 12:41 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3mk5zwllvrc23https://bsky.app/profile/jonathoda.bsky.social/post/3mf3hzvusdc2eIf AI takes over coding do we become methodologists now? https://github.com/unclebob/empire-2025/blob/master/acceptanceTests/README.md17 Feb 2026 21:10 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3mf3hzvusdc2ehttps://bsky.app/profile/jonathoda.bsky.social/post/3meylzcuchk2aWhat is the future of end-user programming research? AI can vibe disposable no-stakes code, but can it build long-lived multi-user software managing valuable state, without technical supervision? I disbelieve plain English can serve as a spec without full AGI. Many betting on that16 Feb 2026 17:43 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3meylzcuchk2ahttps://bsky.app/profile/jonathoda.bsky.social/post/3metn6ykozk2dTalking with @marianoguerra.org14 Feb 2026 18:21 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3metn6ykozk2dhttps://bsky.app/profile/jonathoda.bsky.social/post/3mec3xw2zis2wIt seems the entire current tech stack will be the x86 (awful but who cares) for the post-human layer of programming.07 Feb 2026 18:57 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3mec3xw2zis2whttps://bsky.app/profile/jonathoda.bsky.social/post/3me7uqmmr622zThe LIVE Programming Workshop will be held online Oct 17. Submissions due July 21. liveprog.org https://liveprog.org06 Feb 2026 21:43 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3me7uqmmr622zhttps://bsky.app/profile/jonathoda.bsky.social/post/3mcuqxrvufc2fBring Your Own Substrate to Substrates-26. Submission deadline Feb 20. https://2026.programming-conference.org/home/substrates-2026#Call-for-Contributions20 Jan 2026 18:11 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3mcuqxrvufc2fhttps://bsky.app/profile/jonathoda.bsky.social/post/3mbxj3tao2k2aAI coding agents still need humans in the loop, so the bottleneck will still be human intelligence.09 Jan 2026 03:03 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3mbxj3tao2k2ahttps://bsky.app/profile/jonathoda.bsky.social/post/3ma2v5xhhac2nCultures of Programming Exhibition https://tomasp.net/cultures/exhibition/16 Dec 2025 00:26 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3ma2v5xhhac2nhttps://bsky.app/profile/jonathoda.bsky.social/post/3m7swpxdimk2nSome programming feels fun, other programming feels annoying. Why? Submit papers, essays, and demos to PX/26 by Jan 9 https://2026.programming-conference.org/home/px-2026/#Call-for-Papers-Essays-and-Demos12 Dec 2025 20:33 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3m7swpxdimk2nhttps://bsky.app/profile/jonathoda.bsky.social/post/3m7srgqqfqk2zTime to face the final boss: structure editing 😱12 Dec 2025 18:58 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3m7srgqqfqk2zhttps://bsky.app/profile/jonathoda.bsky.social/post/3m7pydlamf22zNew paper with @tomasp.net. Baseline: Operation-Based Evolution and Versioning of Data alarmingdevelopment.org?p=188611 Dec 2025 16:24 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3m7pydlamf22zhttps://bsky.app/profile/jonathoda.bsky.social/post/3m5zum22m322fSoftware Substrates Workshop. Submission deadline Feb 20 https://2026.programming-conference.org/home/substrates-202620 Nov 2025 03:53 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3m5zum22m322fhttps://bsky.app/profile/jonathoda.bsky.social/post/3m25kwe4ckk2aSubmitted. Now what?01 Oct 2025 17:30 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3m25kwe4ckk2ahttps://bsky.app/profile/jonathoda.bsky.social/post/3m25ksq63yk2ahttps://andrewkelley.me/post/open-letter-everyone-butted-heads.html via @stuffwithstuff.com01 Oct 2025 17:28 +0000at://did:plc:756bpc3blcpha4j4iwpj5ga3/app.bsky.feed.post/3m25ksq63yk2a