Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-3,6 %
USELESS
USELESS-6,53 %
IKUN
IKUN-12,16 %
gib
gib-3,53 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-3,91 %
ALON
ALON-6,77 %
LAUNCHCOIN
LAUNCHCOIN+0,15 %
GOONC
GOONC-6,3 %
KLED
KLED-17,79 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,49 %
Boopa
Boopa-7,54 %
PORK
PORK0,00 %
header
Sidharth Hariharan
MSci Maths @ Imperial College London (+ výměnný rok @ EPFL) PhD Student @ Carnegie Mellon University
Sidharth Hariharan
Sidharth Hariharan24. 2. 2026
S velkým potěšením oznamují významný milník ve formalizačním úsilí: nyní máme bez smutného Lean důkazu věty, že optimální balení koulí v R⁸ je E₈ mřížkové balení. (1/9)
120