A language takes work off your hands, gives it to a compiler, runtime, or toolchain, and charges you somewhere else.

Recently, a technique called equality saturation adapted e-graphs for program optimization. Equality saturation can ...

Alpöge’s discovery is the latest in a string of high-profile mathematical breakthroughs made by large language models. Recent examples include OpenAI’s disproof of the unit distance conjecture, and ...