Recently, a technique called equality saturation adapted e-graphs for program optimization. Equality saturation can ...
Discovered by an amateur mathematician in 2022, this strange construct can tile an infinite surface without repeating. But ...