Trendande ämnen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico−2 %
USELESS
USELESS−5,25 %
IKUN
IKUN+4,02 %
gib
gib−1,04 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−2,36 %
ALON
ALON−1,44 %
LAUNCHCOIN
LAUNCHCOIN−1,78 %
GOONC
GOONC−2,18 %
KLED
KLED−2,73 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP0,00 %
Boopa
Boopa−3,69 %
PORK
PORK0,00 %
header
Sidharth Hariharan
MSci Matematik @ Imperial College London (+ utbytesår @ EPFL) Doktorand @ Carnegie Mellon University
Sidharth Hariharan
Sidharth Hariharan24 feb. 2026
Det ger underhållarna av Sphere Packing Project stor glädje att kunna tillkännage en viktig milstolpe i formaliseringsarbetet: vi har nu ett sorgfritt Lean-bevis av satsen att den optimala sfärpackningen i R⁸ är E₈-gitterpackningen. (1/9)
136