Актуальні теми
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-1,12%
USELESS
USELESS+7,88%
IKUN
IKUN-0,6%
gib
gib+3,55%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-1,21%
ALON
ALON+0,48%
LAUNCHCOIN
LAUNCHCOIN+13,82%
GOONC
GOONC-9,93%
KLED
KLED-5,78%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+1,47%
Boopa
Boopa+26,55%
PORK
PORK0,00%
Nethermind Security
Nethermind Security
11 лют., 01:00·
Наша команда з формальної верифікації під керівництвом @PetarMax за підтримки @EthereumFndn перевірила коректність розширення OpenVM RISC-V, створеного @axiom_xyz. Ця робота доводить коректність на рівні інструкції та вперше узгодженість виконання та пам'яті. 🧵