This isn't my field, but if I'm understanding correctly this is so cool. I love the idea of being able to unlock optimisations by formally specifying behaviour.
On a side note I chuckled at the following -
> Web browsers, for example, struggle to render modern web pages
I have a followup question. Given we have Equivalence meaning every Point is equal, is it possible to allow some small margin of error? Say if you have a pipeline where you require an exact match in the centre of the frame but can allow errors near the margin? I'm analogising with '--funsafe-math' where you might be willing to allow some errors in the pursuit of speed as long as it's fun and safe.
anitil · · focus · HN ↗
On a side note I chuckled at the following -
> Web browsers, for example, struggle to render modern web pages
anitil · · focus · HN ↗