rene_mobile’s Twitter Archive—№ 3,529

I am incredibly happy that, as a software engineering industry, we seem to be finally moving towards appreciating formally verified code. This has long been viewed as unpractical for most codebases, and that is luckily changing now. @harryhalpin/951820442054156288