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

  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
    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
      Permalink On twitter.com Twitter logo rene_mobile’s avatar Mood +4 🙂