Subiecte populare
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-1,5 %
USELESS
USELESS-4,79 %
IKUN
IKUN-20,15 %
gib
gib-3,53 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-4,35 %
ALON
ALON-6,23 %
LAUNCHCOIN
LAUNCHCOIN+4,41 %
GOONC
GOONC-5,92 %
KLED
KLED-18,85 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,5 %
Boopa
Boopa-4,13 %
PORK
PORK0,00 %
header
Sidharth Hariharan
MSci Matematică @ Imperial College London (+ an de schimb @ EPFL) Doctorand @ Universitatea Carnegie Mellon
Sidharth Hariharan
Sidharth Hariharan24 feb. 2026
Este o mare plăcere pentru susținătorii Proiectului de Împachetare a Sferelor să anunțe o bornă majoră în efortul de formalizare: avem acum o demonstrație Lean nepăsătoare a teoremei conform căreia împachetarea optimă a sferelor în R⁸ este ambalarea rețelei E₈. (1/9)
123