@folaadejumo

4/ Quickly, we came to the conclusion that software engineering is in the stone age. It (roughly) goes like this: You create requirements, you formalize the requirements in a spec, you write the code, formally verify important elements of the code, then deploy. And you do this again, and again and again. But that leaves a lot of room for bad outcomes, as we've seen in blockchain.

1 reply

0 recast

0 reaction