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.