Martin Bernklau is a German journalist who reported for decades on criminal trials. He looked himself up on Bing, which suggests you use its Copilot AI. Copilot then listed a string of crimes Bernk…
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
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
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