you are viewing a single comment's thread
view the rest of the comments
[–] 7 points 2 years ago (2 children)

We’d be better off not trying to censor it

Those mfs would refuse to change their code when it fails a test because it restricts their freedom of expression and censors their outputs to conform to the mainstream notion of "correct"

  • source
  • parent
  • hideshow 2 child comments
  • [–] 11 points 2 years ago (1 child)

    type systems are censorship. proof assistants? how dare you imply I would need to prove anything

    …fuck, I’m flashing back to the one time a Verilog developer told me formal verification wasn’t real because mathematicians don’t understand engineering

  • source
  • parent
  • hideshow 1 child comment