Trendaavat aiheet
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico−4,86 %
USELESS
USELESS+3 %
IKUN
IKUN+16,18 %
gib
gib+1,08 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−0,78 %
ALON
ALON−9,06 %
LAUNCHCOIN
LAUNCHCOIN−8,01 %
GOONC
GOONC+0,44 %
KLED
KLED+15,06 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP−0,44 %
Boopa
Boopa+4,13 %
PORK
PORK−0,96 %
header
Neel Somani
Formaalit menetelmät ja mekanistinen tulkittavuus. Edellinen: Eclipse, QR:n perustaja Citadelissa. Ylpeä Cal Bear.
Neel Somani
Neel Somani11.1. klo 13.00
Viikonlopun voitto: Erdoksen ongelma #397:n todistuksen hyväksyi Terence Tao. Todistus tuotettiin GPT 5.2 Prolla ja formalisoitiin Harmonicilla. Monet avoimet ongelmat odottavat siellä, että joku kehottaa ChatGPT:tä ratkaisemaan ne:
191
Neel Somani
Neel Somani9.1. klo 09.58
Rakensin verkkosivuston, joka huutokauppaa itseään joka ilta. Voitat huutokaupan, ja saat Codex-agentin kirjoittamaan sivuston uudelleen 24 tunniksi. Toivottavasti todennäköisyydet ovat puolellasi:
107
Neel Somani
Neel Somani8.1. klo 03.47
Mekaanistiset tulkittavuusmeemit mean-ablating-joukkueille
107