Актуальні теми
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+0,74%
USELESS
USELESS+0,16%
IKUN
IKUN-1,63%
gib
gib-7,28%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-0,39%
ALON
ALON+0,73%
LAUNCHCOIN
LAUNCHCOIN-11,15%
GOONC
GOONC0,00%
KLED
KLED+1,14%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-1,7%
Boopa
Boopa+2,56%
PORK
PORK0,00%
header
Sidharth Hariharan
MSci Maths @ Імперський коледж Лондона (+ рік обміну @ EPFL) Аспірант @ Університет Карнегі-Меллон
Sidharth Hariharan
Sidharth Hariharan24 лют. 2026 р.
З великою радістю для підтримувачів Проекту пакування сфер є важливою віхою у зусиллях формалізації: тепер ми маємо безнадійне Lean доведення теореми, що оптимальне пакування сфер у R⁸ — це упаковка решітки E₈. (1/9)
309