Trendande ämnen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico−9,33 %
USELESS
USELESS−6,05 %
IKUN
IKUN−5,42 %
gib
gib−1,55 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−2,92 %
ALON
ALON+3,53 %
LAUNCHCOIN
LAUNCHCOIN+0,04 %
GOONC
GOONC−2,69 %
KLED
KLED−12,24 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP−0,45 %
Boopa
Boopa−3,63 %
PORK
PORK−2,67 %
Ilya Sergey
Ilya Sergey
19 dec. 20:32·
Ja, att bevisa Erdős problem med @HarmonicMath Aristoteles är fantastiskt, men har du provat att använda det för att verifiera LeetCode-liknande lösningar? Vi har. Det fungerar (invariant inferens är... inte fort än).