4 ms·
Not going to defend cryptocurrencies, but there's been huge explosion in formal methods research funded by the money chasing smart contracts and the like.
by AlotOfReading 4y ago
Not going to defend cryptocurrencies, but there's been huge explosion in formal methods research funded by the money chasing smart contracts and the like.