The South Florida Water Management District's new incentive program seems to be working with nearly 100 snakes eliminated so far in 2025.

We develop new list decoding algorithms for Tanner codes and distance-amplified codes based on bipartite spectral expanders. We show that proofs exhibiting lower bounds on the minimum distance of ...