Search
Notes on proofs, algorithms, and ideas that almost make sense — written mostly to find out whether they do.