| 21:10 | <Michael Ficarra> | https://conf.researchr.org/details/splash-issta-2026/plss-2026/10/Designing-Language-Specifications-for-Static-Reasoning-Lessons-from-IRIDIUM |
| 22:17 | <shu> | unfortunately that abstract doesn't tell me anything concrete other than "desugaring good" which i agree with |
| 22:42 | <ptomato> | I did find two places where SnapToInteger could be used in the spec already: https://github.com/tc39/ecma262/pull/3946 |
| 23:25 | <Michael Ficarra> | I guess you'll have to go to PLSS then |
| 23:26 | <Michael Ficarra> | or OOPSLA, they have a paper at OOPSLA |
| 23:26 | <Michael Ficarra> | or you can just read their paper I guess |