r9295 3 days 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 3 days ago It would have been nice if the article explained what an optimizer is in this case? tekknolagi 3 days ago I will add "compiler" before "optimizer" and link to the toy optimizer series cinntaile 2 days ago Thanks! I had to go to the rest of your site to make sense of it so that seems like the right approach.
tekknolagi 3 days ago I will add "compiler" before "optimizer" and link to the toy optimizer series cinntaile 2 days ago Thanks! I had to go to the rest of your site to make sense of it so that seems like the right approach.
cinntaile 2 days ago Thanks! I had to go to the rest of your site to make sense of it so that seems like the right approach.
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
It would have been nice if the article explained what an optimizer is in this case?
I will add "compiler" before "optimizer" and link to the toy optimizer series
Thanks! I had to go to the rest of your site to make sense of it so that seems like the right approach.