HNHacker News
TopNewBestAskShowJobs

trwaw

22 karma · joined September 3, 2023

submissionscomments
trwaw··on John McCarthy’s collection of numerical facts for use in elisp programs
Without a magbetosphere it's pretty useless. It would just lose its atmosphere again within a few hundred years.
trwaw··on What OpenAI really wants
They are trying to make training weights of models into munitions, like encryption was in the 80s. That is worse for open source development of models than anything anyone else has done including Amazon. The best thing that can happen is that Altman et al are hit by a bus on the way to their next meeting with a head of state trying to legislate them being the only responsible censor and natural monopolist for Ai.
trwaw··on What OpenAI really wants
Open Ai is a cash grab that's shitting on everything the open source movement used to stand for. They have single handedly done more damage to the open source ecosystem in 4 years than Microsoft did in 40.
trwaw··on How to write correct code by construction using the Coq Proof Assistant
We build a train and then someone asks to turn it into a skyscraper because skyscrapers are the in thing now. It already looks like one on its side, how hard can it be to turn it right side up?