John Regehr is a computer scientist and expert in compilers, formal verification, and systems-level software engineering. His blog explores compiler optimizations, fuzzing, bugfinding, and formal-methods-assisted approaches to building reliable software.
A. Jesse Jiryu Davis is a Senior Staff Research Engineer at MongoDB specializing in distributed systems, Python concurrency, and serverless architecture. He contributes to MongoDB drivers, async frameworks, and writes on software design and open source projects.
Kyle Shevlin is a software engineer based in Portland, Oregon, who cares deeply about quality in code, writing, and craftsmanship. He focuses on continually improving his skills and helping other developers do the same, while balancing his professional life with competitive golf, gaming, and community-driven learning.
Tomas Petricek is an assistant professor at Charles University in Prague and a partner at fsharpWorks, specializing in programming systems, functional programming, and the history and philosophy of computing.
Philip Zucker is a physics and computer science enthusiast documenting ideas and experiments in a lab-notebook-style blog, focused on functional programming, compilers, formal methods, and scientific computation.
