Turning Dafny Sets into Sequences

Why Quantum Cryptanalysis is Bollocks

The Big Ideas in Relay

Trust Your Benchmarks, Not Your Instincts: A Rust Performance Quiz - Arthur & Adrien | EuroRust 2025

Is MCP Overhyped?

Web engine CI on a shoestring budget

John Rose on Babylon, Valhalla, Sumatra, Panama, etc. - Inside Java Podcast

Interfacing Go with Python

One Billion Row Challenge Rust implementation [video; with chapters]

I Solved Advent of Code 2025 in Kotlin: Here's How It Went