Trend Olan Konular
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
clhong1248
Daha çok çabalayalım ki galibiyetimizi kolay saymasınlar.
Daha ve daha zevkli şeyler deneyelim, böylece heyecan tatsız görünsün.
Ispat indirgemesi deneyelim, böylece "ispat uzunluğu oranı sertlik oranıdır" saçmalık olduğunu bilsinler.
Hadi devekuşu olalım ve gidelim. Bir ezilmişlerin hikayesini çok seviyorum.
1,65K
En son güncelleme.
8 Ara 04:39
Dünyanın en zor üniversite düzeyindeki matematik sınavı Putnam, dün saat 16:00 PT'de sona erdi.
Bugün öğlen, AxiomProver Lean'de 12/9 sorunlarını bağımsız olarak çözdü (dün 3:58p PT, 8/12'ydi).
Geçen yıl puanımız ~4000 katılımcı arasında #1, son yıllarda ise Putnam Fellow (ilk 5) olurdu
18,28K
En İyiler
Sıralama
Takip Listesi