• self@awful.systems
    link
    fedilink
    English
    arrow-up
    11
    ·
    2 months ago

    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

    • V0ldek@awful.systems
      link
      fedilink
      English
      arrow-up
      10
      ·
      2 months ago

      type systems are censorship

      You jest but trying to convince C people to just use Rust please god fuck stop hurting yourself and us all kinda feels like this