Trend-Themen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+9,59 %
USELESS
USELESS+5,93 %
IKUN
IKUN+7,49 %
gib
gib+0,71 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+1,04 %
ALON
ALON-9,11 %
LAUNCHCOIN
LAUNCHCOIN+12,34 %
GOONC
GOONC-2,54 %
KLED
KLED+13,24 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,5 %
Boopa
Boopa-1,81 %
PORK
PORK0,00 %
Ilya Sergey
Ilya Sergey
5. Jan., 15:04·
Claude Code (@AnthropicAI) und Aristotle (@HarmonicMath) sind meine beiden neuen Lieblings-Backend-Lösungen für die automatische Programmverifikation in Lean. AI ist das neue SMT.