r9295
2 days ago
Those interested in testing optimizers may have a look at equivalence modulo testing, a fascinating research field:
A Fuzzer for the Toy Optimizer
25 pointsposted 3 days ago
by surprisetalk4 Comments
cinntaile
2 days ago
It would have been nice if the article explained what an optimizer is in this case?
tekknolagi
a day ago
I will add "compiler" before "optimizer" and link to the toy optimizer series
cinntaile
21 hours ago
Thanks! I had to go to the rest of your site to make sense of it so that seems like the right approach.