Topik trending
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+7,64%
USELESS
USELESS-2,15%
IKUN
IKUN-1,31%
gib
gib+3,59%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-2,28%
ALON
ALON+1,21%
LAUNCHCOIN
LAUNCHCOIN-0,68%
GOONC
GOONC+1,72%
KLED
KLED+18,22%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,05%
Boopa
Boopa+2,56%
PORK
PORK0,00%
header
Sidharth Hariharan
MSci Maths @ Imperial College London (+ tahun pertukaran @ EPFL) Mahasiswa PhD @ Universitas Carnegie Mellon
Sidharth Hariharan
Sidharth Hariharan24 Feb 2026
Ini memberikan kesenangan besar bagi para pengelola Proyek Pengepakan Bola untuk mengumumkan tonggak penting dalam upaya formalisasi: kami sekarang memiliki bukti Lean yang bebas menyesal dari teorema bahwa pengepakan bola yang optimal dalam R⁸ adalah kemasan kisi E₈. (1/9)
303