rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 2,010

    1. Wow, who would have thought that magically it won't happen in new code? Only reasonable way forward is to systematically eliminate them 1/2 @mjg59/802540892145844224
      Permalink On twitter.com Twitter logo rene_mobile’s avatar ❤️ 1 Favorite Mood +4 🙂
  1. …in reply to @rene_mobile
    ... multiple ways to do so, in order of effort: better language, strong contracts/specs and static/dynamic checking, formal verification
    On twitter.com Twitter logo rene_mobile’s avatar Mood +4 🙂