A Fuzzer for the Toy Optimizer (bernsteinbear.com)

15 points by surprisetalk a day ago

cinntaile 3 minutes ago

[delayed]

r9295 4 hours ago

Those interested in testing optimizers may have a look at equivalence modulo testing, a fascinating research field:

https://dl.acm.org/doi/10.1145/2666356.2594334