Hva kan jeg gjøre med Discover
discoveryBanners
Populære emner
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico−21,01 %
USELESS
USELESS−13,86 %
IKUN
IKUN−9,81 %
gib
gib−19,95 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−8,24 %
ALON
ALON−9,38 %
LAUNCHCOIN
LAUNCHCOIN+7,12 %
GOONC
GOONC−0,32 %
KLED
KLED−4,62 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP−2,05 %
Boopa
Boopa+2,68 %
PORK
PORK−1,44 %
clhong1248
clhong1248
8. des., 00:54·
Putnam, verdens vanskeligste matematikkkonkurranse for bachelorstudenter, avsluttet kl. 16.00 PT i går. Klokken 15:58 @axiommathai AxiomProver autonomt løst 8/12 av Putnam2025 i Lean, et 100 % verifiserbart språk. I fjor ville poengsummen vår vært #4 på ~4000 og en Putnam Fellow (topp 10 de siste årene)