A Fuzzer for the Toy Optimizer (bernsteinbear.com)

by surprisetalk 5 comments 34 points
Read article View on HN

5 comments

[−] r9295 59d 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

[−] cinntaile 59d ago
It would have been nice if the article explained what an optimizer is in this case?
[−] tekknolagi 59d ago
I will add "compiler" before "optimizer" and link to the toy optimizer series
[−] cinntaile 58d ago
Thanks! I had to go to the rest of your site to make sense of it so that seems like the right approach.
[−] ashwinnair99 55d ago
Fuzzing your own optimizer before shipping it is the kind of thing that sounds obvious in hindsight and almost nobody does upfront.