An Interview With Julio Barba

A visual introduction to big O notation

The Multimedia Renaissance

Regular Expression Matching Can Be Simple And Fast (2007)

On Benchmarking MiniZinc and the LinkedIn Queens Problem

Discrete optimization for on-call scheduling (2021)

Accidentally writing a fast SAT solver

Quake's PVS: A hidden gem of rendering optimization

Breaking the sorting barrier for directed single-source shortest paths

Fun with Finite State Transducers