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
Xarn@horenmar It's in my home office so yes, it's a problem. I should probably switch to liquid cooling.
Alex Hornby
Billy O'Neal@ahornby @vitaut @horenmar @fanzeyi I built one of these just before RAM skyrocketed because I saw that writing on the wall; can confirm, it can be quiet… if you want to throw a big enough rad at it.
@malwareminigun @ahornby @horenmar @fanzeyi It's a bit trickier with dual epyc setup but might be doable.
@vitaut damn I didn’t get anything that shiny
victor yodaiken