Populaire onderwerpen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-1,5%
USELESS
USELESS-4,35%
IKUN
IKUN-20,54%
gib
gib-3,53%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-4,66%
ALON
ALON-6,76%
LAUNCHCOIN
LAUNCHCOIN+4,41%
GOONC
GOONC-5,92%
KLED
KLED-19,06%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,49%
Boopa
Boopa-4,13%
PORK
PORK0,00%
header
Sidharth Hariharan
MSci Wiskunde @ Imperial College London (+ uitwisselingsjaar @ EPFL) PhD-student @ Carnegie Mellon University
Sidharth Hariharan
Sidharth Hariharan24 feb 2026
Het geeft de beheerders van het Sphere Packing Project veel plezier om een belangrijke mijlpaal in de formalisatie-inspanning aan te kondigen: we hebben nu een spijtvrije Lean-bewijs van de stelling dat de optimale bolverpakking in ℝ⁸ de E₈ roosterverpakking is. (1/9)
122