Trendande ämnen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+2,94 %
USELESS
USELESS−3,24 %
IKUN
IKUN+3,54 %
gib
gib+4,95 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−1,62 %
ALON
ALON−9,18 %
LAUNCHCOIN
LAUNCHCOIN−6,36 %
GOONC
GOONC−0,6 %
KLED
KLED−4,7 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP−0,02 %
Boopa
Boopa−4,04 %
PORK
PORK−1,7 %
header
Neel Somani
Formella metoder och mekanistisk tolkning. Föregående: Grundare av Eclipse, QR på Citadel. Stolta Cal Bear.
Neel Somani
Neel Somani11 jan. 13:00
Helgvinst: Beviset jag lämnade in för Erdos-problem #397 accepterades av Terence Tao. Beviset genererades av GPT 5.2 Pro och formaliserades med Harmonic. Många öppna problem ligger där och väntar på att någon ska be ChatGPT lösa dem:
327
Neel Somani
Neel Somani9 jan. 09:58
Jag byggde en webbplats som auktionerar ut sig själv varje kväll. Vinner du auktionen, får du en Codex-agent som skriver om sidan i 24 timmar. Må oddsen vara på din sida:
259
Neel Somani
Neel Somani8 jan. 03:47
Memes med mekanistisk tolkbarhet för medel-ablalaterande team
266