rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 8,144

    1. I agree with everything in this nice write-up. The bug in editors (not really in compilers) is an interesting one, but certainly not the most dangerous link in the chain. @_rsc/1455378109864292352
      Permalink On twitter.com Twitter logo rene_mobile’s avatar ❤️ 1 Favorite Mood +4 🙂
  1. …in reply to @rene_mobile
    @_rsc The real countermeasure seems obvious but also hard: cross-checking *within the IDE developers work with* what the actually generated code does... Which brings us back to end-to-end code verification (from specification to execution) as the unsolved goal.
    On twitter.com Twitter logo rene_mobile’s avatar ❤️ 2 Favorites Mood -1 🙁