Join us for a live coding stream with Gabriela Moreira, Lead Quint Developer at Informal Systems. Quint is a modern specification language built to increase trust in software. We'll talk about different ways we can use Quint to be confident about algorithms and protocols, and why you should also start using formal methods.
Quint, an executable specification language for reliable systems
Quint is an executable specification language. Write specs you can run, simulate, and verify, so subtle bugs get caught before reaching production.
quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Live Coding: A User's Manual
Live Coding: A User's Manual, published by MIT Press
Workshop on Live Programming (LIVE)
The 12th Workshop on Live Programming (LIVE 2026) will take place online. LIVE invites submissions of ideas for improving the immediacy, usability, and learnability of programming.
Introducing Delta
From the Zed Blog: A multiplayer environment for coding with agents, from the creators of Zed.
Cline - AI Coding, Open Source and Uncompromised
Open-source AI coding agent with Plan/Act modes, MCP integration, and terminal-first workflows. Trusted by 5M+ developers worldwide.
Lody Is Now Open Source: A Shared Workspace for Teams and Coding Agents
Lody helps teams understand the context behind software decisions. We are moving Lody toward local-first, with the goal of making that context durable, portable, and ultimately controlled by the team
Managing Agent Skills with Your Package Manager | pavel.pink
AI coding agents use skills — markdown files that teach them domain-specific tasks. We publish ours as conda packages and manage them with pixi, getting versioning, lockfiles, and supply chain security for free.
The Art of Code - Dylan Beattie
Live code with Tidal Cycles | Tidal Cycles
Live coding environment for making algorithmic patterns
Modeling Software With Quint - Zicklag's Leaflets
I believe having good abstractions is key to writing good code. But as a coder, I often write code in an effort to find those abstractions…
Practical Foundations for Programming Languages
Code Is Cheap Now, And That Changes Everything | Pere Villega
AI coding agents have made code production nearly free. Drawing on insights from Kent Beck, Paul Ford, and Simon Willison, this post argues that the value has shifted from writing code to defining systems — contracts, invariants, SLAs, and verification.
Coding Is Dead, Long Live Programming — Ian Cooper - Staccato Signals
Summary In this post, we argue that the role of a coder now belongs to a coding agent, but that the distinct role of a programmer define...
a decentralized code competition platform built on the AT Protocol. publish problems, compete in real-time, own your data.