Dearly beloved, we are gathered here today to bury the software engineer, along with a pair of headphones, a notebook, and a keyboard. A talk about what went in the ground, and what's still in your ha...

To build a community and to foster an environment where participants can exchange ideas and experiences related to practical software development, <Programming> will host a number of workshops and sim...

Property-based testing has grown from a niche technique into a recognized discipline with a thriving research community and a considerable base of industrial practitioners. In fact, PBT is only increa...

[EuroPython 2026 - Keynote - S1 on 2026-07-17] 🎤 *Securing Python for the next decade by William Woodruff* 🔗 https://ep2026.europython.eu/session/securing-python-for-the-next-decade 📝…

Practical math for the working programmer.

Happy July 4th! For those of us around the world contemplating independence, it's a good day to think about how we came to rely on expensiv...

Back by popular demand, RedMonk brings you the fourteenth annual Monktoberfest. The only conference focused on how craft, technology and social come together, it's one of the most unique events in the...

I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.

Announcing Vow, an agent-first programming language with formal verification built in. Self-hosted, early, and open for you to try.

Per-talk notes from the PyCon US 2026 Typing Summit in Long Beach: Pyrefly and AI agents, ty constraint sets, Lean formalization, tensor shape types, intersection types, PEP 827, Guido on the directio...

Local models need focus and polish.

Insights and guidance from our engineering team on how Astral secures its tools.

All required packages to run Arch Linux Arm (ALARM) are now available on the Arch User Repository: Linux & Linux Headers Reform Tools Reform LPC Module i.MX 8M Plus Wifi Module & Firmware Reform tools & modules build from source. Linux & headers are bin-only for now. You can view the whole kernel and headers build process used for these packages. You can also pick up an SD Card image there if you want to try it out. If you like what’s happening here please feel free to vote for these AUR p...

Because I am bad at giving up on things, I’ve been running my own email server for over 20 years. Some of that time it’s been a PC at the end of a DSL line, some of that time it’s been a Mac Mini in a...

The big news this morning: Astral to join OpenAI (on the Astral blog) and OpenAI to acquire Astral (the OpenAI announcement). Astral are the company behind uv, ruff, and ty—three …

Astral has entered into an agreement to join OpenAI as part of the Codex team.

I formalised and proved the correctness of Move’s new borrow checker in Lean: 39,000 lines of mechanised metatheory, produced in under a month with the help of an AI coding assistant. This post tells ...

The International Conference on the Art, Science, and Engineering of Programming—or ‹Programming› for short—is a new conference focused on programming topics including the experience of programming. ‹...

The ICOOOLPS workshop series brings together researchers and practitioners working in the field of language implementation and optimization. The goal of the workshop is to discuss emerging problems an...

An introduction to content-defined chunking: why fixed-size splitting fails, how content-aware boundaries solve the deduplication problem, and a taxonomy of three CDC algorithm families.

With a theoretical model of breakfast, can we derive the existence of “dark breakfasts,” breakfasts that we know must exist, but have never observed?

The Go programming language. Contribute to golang/go development by creating an account on GitHub.

A personal story about discovering a mural in a McDonald's, an unknown artist named Wes Cook, saving the mural, and a conference talk about the whole thing.

What programming languages would agents want to program in?

My Inaugural Lecture at the JKU will be on March 9th, 2026