Quint is an executable specification language. Write specs you can run, simulate, and verify, so subtle bugs get caught before reaching production.
Live Coding with Quint
quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Quint (@quint-lang.org)
New podcast with @bugarela.com on @ColorsofWeb3pod talking spec-driven development and how we benefit from precision and executability of specs, especially in the AI era. Why specs can't just be English and markdown↓
What Functional Programmers Get Wrong About Systems - Ian Duncan
Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.
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…
Priivacy-ai/spec-kitty
Spec-Driven Development for serious software developers. Spec Coding with with Claude, Cursor, Gemini, Codex. Kanban dashboard, git worktrees, auto-merge and more.
Systems Programming with Zig
Zig delivers performance, reliability, and complex integration in systems programming in a simple, modern package. Zig hits the sweet spot for systems programming. This new programming language is high-performance, low-level, ultra-reliable, and perfectly suited for serious projects like writing libraries, daemons and shell utilities, and even operating systems and embedded code. Systems Programming with Zig shows you how to write quality, useful Zig applications without relying on libraries or frameworks-even if you’re new systems programming. In Systems Programming with Zig you’ll learn how to: Understand the Zig perspective on systems programming Write idiomatic Zig code Integrate Zig with C, systems libraries, and scripting languages Networking, interpreters, and graphics from the ground up Unlike UI-centric applications that form the public face of your software, systems programs like OS kernels, device drivers, and utilities interact directly with the hardware or operating system. In these low-level programs, performance and safety are paramount. Zig is a new programming language that builds on the legacy of C, C++, and even Rust to provide a high-productivity systems programming environment that does not rely on awkward libraries and frameworks.
Antithesis: autonomous software testing
Try the Antithesis autonomous testing platform and find bugs in your software with perfect reproducibility
A new era for software testing - <antirez>
The Case Against Formal Verification, 50 Years Later - Ivan Gavran
Writings on software correctness, AI, formal verification, and other technical topics.
the quintal is open
Introducing quintal: a collective blogging platform on atproto, no algorithm, no metrics, one axolotl mascot. The small internet I always wanted to live in.
Gleam programming language
Discover a friendly language for scalable, type-safe systems. Gleam comes with compiler, build tool, formatter, editor integrations, and package manager all built in.
Introducing eve
Introducing eve, the open-source agent framework from Vercel for building, running, and scaling agents in production, with durable execution, sandboxed compute, approvals, channels, tracing, and evals built in.
