Quint, an executable specification language for reliable systems

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↓

morluto/rea

Reverse engineer anything with agents, from app behavior down to native binaries.

Pony

An open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language.

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.

AI Code Review | Greptile | Merge 4X Faster, Catch 3X More Bugs

AI Code Reviews that understand your entire codebase. Automate PR reviews, catch bugs faster, improve code quality with AI-driven analysis. Try Greptile free!

Agent READMEs: An Empirical Study of Context Files for Agentic Coding

Agentic coding tools receive goals written in natural language, break them down into specific tasks, and write or execute code with minimal human intervention. Central to this process are agent context files (e.g., AGENTS.md and CLAUDE.md) that provide persistent, project-level instructions. In this paper, we conduct the first large-scale empirical study of 2,303 agent context files from 1,925 repositories to characterize their structure, maintenance, and content. We find that these files are not static documentation but complex, difficultto-read artifacts that evolve like configuration code through frequent, small additions. Our content analysis of 16 instruction types shows that developers prioritize functional context, such as test procedures (75.9%), implementation details (70.8%), and architecture (68.1%). We also identify a significant gap: non-functional requirements such as security (14.8%) and performance (14.5%) are rarely specified. These findings indicate that while developers use context files to make agents functional, they provide few guardrails to ensure that agent-written code is secure or performant, highlighting the need for improved tools and practices.

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.

jfecher/ante

A safe, easy systems language

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

Test-Driven Approaches to Software Engineering with Large Language...

Tests increasingly participate in the decisions made by large language models and software engineering agents. They specify intended behavior, guide program construction and repair, select...

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.