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

  1. …in reply to @matthew_d_green
    @matthew_d_green Well, I'm a fan of (strongly) typed languages for more reasons than just memory safety. I believe that writing complex cryptographic protocol parsers in an untyped language is too hard to make it safe. That's why primitives and the protocols on top should be compiled code.
    1. …in reply to @rene_mobile
      @matthew_d_green Or put differently, I feel very unconformable trusting the unit test coverage reports of a complex validation state machine for corner cases that are hard to produce in testing.