Populární témata
#
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.
Putnam, nejtěžší matematický test na vysoké škole na světě, skončil včera ve 16 hodin PT.
Dnes v poledne AxiomProver autonomně vyřešil 9/12 úloh v Lean (včera 15:58 PT, bylo to 12.8.).
Naše skóre by bylo #1 z ~4000 účastníků loni a Putnam Fellow (top 5) v posledních letech
Top
Hodnocení
Oblíbené