Some poor soul in hell was just given the job of verifying the results by hand.
That job will keep them busy and out of trouble for awhile.
Fabrice Bellard From Wikipedia,
*****************************EXCERPT*******************************
Fabrice Bellard is a computer programmer who is best known as the founder of FFmpeg and QEMU. He also developed quite a number of other programs, ranging from 3-D graphics to a compact C compiler, the Tiny C Compiler (aka tcc).
He was born in 1972 in Grenoble, France and went to school in Lycée Joffre (Montpellier), where he created a widely known program, the executable compressor LZEXE. After studying at l'École Polytechnique, in 1996 he specialized at Télécom Paris.
In 1997, he discovered the fastest formula to calculate single digits of pi in binary representation, known as Bellard's formula. It is a variant of the Bailey-Borwein-Plouffe formula.[1]
Gérard Lantau, one of the listed creators of FFmpeg, is his alter ego.[citation needed]
Fabrice Bellard's entries won the the International Obfuscated C Code Contest (IOCCC) twice:[2]
In 2004 he wrote the TinyCC Boot Loader, which can compile and boot a Linux kernel from source in less than 15 seconds.[3]
In 2005 he designed a system that could act as a Analog or DVB-T Digital TV transmitter by directly generating a VHF signal from a standard PC and VGA card.[4]
On 31st December 2009 he claimed the world record for calculations of Pi, having calculated it to 2,700 billion places. Slashdot wrote : "While the improvement may seem small, it is an outstanding achievement because only a single desktop PC, costing less than $3,000, was used — instead of a multi-million dollar supercomputer as in the previous records."[5][6]
[Some poor soul in hell was just given the job of verifying the results by hand.]
That would be me. They gave me a verrrry long string and told me to walk in a biggg circle and count the steps.