Unix Conspiracy (1991)(catb.org)

60 points by gjsman-1000 1 year ago | 45 comments

A Schism in the OpenPGP World(lwn.net)

111 points by todsacerdoti 2 years ago | 212 comments

Richard Stallman on ChatGPT(stallman.org)

21 points by colesantiago 10 months ago | 10 comments

CIA 2010 covert communication websites(cirosantilli.com)

173 points by hosteur 3 years ago | 62 comments

Gemini Protocol Deployment Statistics(obsessivefacts.com)

63 points by rickcarlino 9 months ago | 9 comments

Gordon Letwin OS/2 Usenet post (1995)(gunkies.org)

92 points by walterbell 1 year ago | 68 comments

Tech companies shouldn't be bullied into doing surveillance(eff.org)

408 points by pseudolus 8 months ago | 122 comments

EFF Deeplinks article by Matthew Guariglia arguing tech companies should not be pressured by government into conducting surveillance.

How OpenAI delivers low-latency voice AI at scale(openai.com)

480 points by Sean-Der 5 months ago | 141 comments

OpenAI engineering blog post explaining how the company delivers low-latency voice AI conversations at scale.

OpenAI Says It Will Not Release Newest A.I. Model Over Safety Concerns(nytimes.com)

32 points by jbegley 27 days ago | 31 comments

New York Times article reporting that OpenAI will not release its newest AI model, reportedly called Astra, due to safety concerns; the page showed a bot-block screen.

OpenAI says it has evidence DeepSeek used its model to train competitor(ft.com)

645 points by timsuchanek 1 year ago | 1445 comments

Financial Times article reporting OpenAI's claim that it has evidence China's DeepSeek used its models to train a competing AI model.

OpenAI’s head of ethics leaves less than a year after joining(ft.com)

484 points by ilamont 2 months ago | 454 comments

News article reporting that OpenAI's head of ethics left the company less than a year after joining and was not replaced.

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.