Trendaavat aiheet
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico−2,7 %
USELESS
USELESS−6,37 %
IKUN
IKUN−5,81 %
gib
gib−1,04 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−2,42 %
ALON
ALON−1,13 %
LAUNCHCOIN
LAUNCHCOIN−1,82 %
GOONC
GOONC−2,18 %
KLED
KLED−1,98 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP0,00 %
Boopa
Boopa−3,39 %
PORK
PORK0,00 %
header
Sidharth Hariharan
MSci Matematiikka @ Imperial College London (+ vaihto-vuosi @ EPFL) Tohtoriopiskelija @ Carnegie Mellon University
Sidharth Hariharan
Sidharth Hariharan24.2.2026
Pallopakkausprojektin ylläpitäjille on suuri ilo ilmoittaa merkittävästä virstanpylväästä formalisointityössä: meillä on nyt katkeamaton Lean-todistus teoreemasta, jonka mukaan optimaalinen pallopakkaus R⁸:ssa on E₈-hilapakkaus. (1/9)
135