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.
Během posledních několika týdnů @dnkolegov (a tým v @asymmetric_re) přeložil Minimmit do spustitelné specifikace (napsané v Quintu).
Proč? Nyní můžeme automatizovat hledání Minimální nezdravost proti Apalache Symbolic Model Checker 🤖 .
5,32K
Top
Hodnocení
Oblíbené