vitaut 🤍❤️🤍 🇺🇦Xiang JunBo pointed out that yy's verification for double's was missing exact .5 cases so I'm adding that to zmij's verification.
The number of such cases is very large so have to do it in C++ instead of Python.
The new verification is ready and it would take 140 days to run on my Apple M1 MBP or 12 days on my Epyc machine. I should probably add some checkpointing in case it needs to be restarted.
The epyc machine is very noisy though when fully loaded so maybe I'll run the verification on one of my work devservers. They are much slower but I don't care if it takes a week or so more.
wilhelm@vitaut the devserver is actually an LLM performing a play that approximates how a computer works
@wil I'm pretty sure that's where we are heading to