Tendencias del momento
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-0,54 %
USELESS
USELESS-8,5 %
IKUN
IKUN+0,2 %
gib
gib-1,56 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-3,37 %
ALON
ALON+0,15 %
LAUNCHCOIN
LAUNCHCOIN-5,97 %
GOONC
GOONC-2,18 %
KLED
KLED-5,76 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,02 %
Boopa
Boopa-5,25 %
PORK
PORK0,00 %
header
Sidharth Hariharan
MSci Matemáticas @ Imperial College London (+ año de intercambio @ EPFL) Estudiante de doctorado @ Universidad Carnegie Mellon
Sidharth Hariharan
Sidharth Hariharan24 feb 2026
A los mantenedores del Proyecto de Empaquetamiento de Esferas les complace anunciar un hito importante en el esfuerzo de formalización: ahora tenemos una prueba Lean sin disculpas del teorema que establece que el empaquetamiento óptimo de esferas en ℝ⁸ es el empaquetamiento de la red E₈. (1/9)
143