News for hackers. Stuff that matters.
Re:Fe – An emerging smart contract language for the Ethereum... by joefourier on Sunday December 05, 2021 @09:03AM (#29449307)
They never stopped? Smart contracts have grown vastly more sophisticated since the old DAO, with flash swaps, decentralised exchanges, overcollaterised loans, bridges, NFTs, and more ERC20 tokens than you can count.
Re:Fe – An emerging smart contract language for the Ethereum... by foxes on Sunday December 05, 2021 @09:16PM (#29455465)
Has the added complexity had a corresponding increase in correctness?