About 33 results
https://benswift.me/blog/2026/04/15/comp4020-assessment · 15 Apr 2026
What does a student hand in for an agentic coding course---and how do I make that artefact worth more than the grade itself?
https://benswift.me/blog/2026/03/31/comp4020-the-story-so-far · 31 Mar 2026
A catch-up post for the COMP4020 Agentic Coding Studio blog series---what the course is, how it works, and what's still unresolved.
https://benswift.me/blog/2026/02/24/climbing-the-good-gradient · 24 Feb 2026
Producing code is easy; knowing whether it's good is still hard. Three nested feedback loops for ascending the quality gradient in agentic coding.
https://anil.recoil.org/notes/2026w8 · 22 Feb 2026 · 🦋 Bluesky
TESSERA paper accepted at CVPR 2026, went to the AI Impact Summit, OCaml Zarr hacking, Shriram's talk on human factors of formal methods, and discussions on teaching OxCaml to agents.
https://benswift.me/blog/2026/02/20/comp4020-the-core-mechanic · 20 Feb 2026
The repeating loop at the heart of COMP4020: provocation, prototype, studio crit. An art-school model adapted for agentic software development.
https://benswift.me/blog/2026/02/09/llms-unplugged-at-brimbank-tech-school · 9 Feb 2026
A hands-on AI workshop for educators at VU Sunshine Campus, covering AI fundamentals, paper-and-pen predictive models, and change management.
https://benswift.me/blog/2025/12/19/comp4020-rapid-prototyping-for-the-web · 19 Dec 2025
Designing a new ANU course on building web apps with coding agents---studio-based, prototype-driven, moving beyond naive vibecoding.
https://benswift.me/blog/2025/12/10/llms-unplugged-teaching-language-models-with-pen-paper-and-dice · 10 Dec 2025
A hands-on teaching resource where learners build bigram language models with pen, paper, and dice---no computers required. Tested with school students, public servants, and tech professionals.
https://benswift.me/blog/2024/11/07/llm-parlour-games-for-overeducated-wankers · 7 Nov 2024
Workshop materials for designing and playing parlour games with LLMs, including LLM-augmented 20 Questions and Adventures in Amphibology.
https://benswift.me/blog/2023/02/08/writing-graph-theory-proofs-with-chatgpt · 8 Feb 2023
Asking ChatGPT to prove the five colour and four colour theorems with my mathematician father-in-law, and his reaction to the results.