3/18/2026 at 3:14:02 PM
Those interested in testing optimizers may have a look at equivalence modulo testing, a fascinating research field:by r9295
3/17/2026 at 3:32:11 PM
by surprisetalk
3/18/2026 at 3:14:02 PM
Those interested in testing optimizers may have a look at equivalence modulo testing, a fascinating research field:by r9295
3/18/2026 at 7:16:29 PM
It would have been nice if the article explained what an optimizer is in this case?by cinntaile
3/18/2026 at 9:23:32 PM
I will add "compiler" before "optimizer" and link to the toy optimizer seriesby tekknolagi
3/19/2026 at 11:53:33 AM
Thanks! I had to go to the rest of your site to make sense of it so that seems like the right approach.by cinntaile