Finally! Just when I thought everyone had moved their spare compute to more lucrative schemes.
It’s the longest wait for a new mersenne prime since the discovery of M32 in 1992.
It’s the longest wait for a new mersenne prime since the discovery of M32 in 1992.
How about something like Superoptimizing (with correctness proofs) open source code?