TechTakes

1427 readers

116 users here now

Big brain tech dude got yet another clueless take over at HackerNews etc? Here's the place to vent. Orange site, VC foolishness, all welcome.

This is not debate club. Unless it’s amusing debate.

For actually-good tech, you want our NotAwfulTech community

founded 1 year ago

MODERATORS

dgerard@awful.systems

195

Copilot AI calls journalist a child abuser, Microsoft tries to launder responsibility (pivot-to-ai.com)

submitted 3 months ago* (last edited 3 months ago) by dgerard@awful.systems to c/techtakes@awful.systems

52 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] self@awful.systems 11 points 3 months ago (1 children)

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 10 points 3 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