News for hackers. Stuff that matters.

xaml

Re:Machine-Assisted Proof by Terence Tao [pdf] on Saturday December 28, 2024 @09:51AM (#42531394)
Why would it not make any money?
Re:Something is wrong in the state of QED on Monday February 20, 2023 @05:26PM (#34873785)
Maybe the "No-Nonsense" book series by Jakob Schwichtenberg.
Re:Ask HN: Can I download GPT / ChatGPT to my desktop? on Thursday December 29, 2022 @12:12PM (#34174883)
I don't think that I can PM you, but could you explain how Green's theorem can be applied to regions with singularities?
Re:Ask HN: Can I download GPT / ChatGPT to my desktop? on Thursday December 29, 2022 @11:04AM (#34174003)
Possibly this "PaLM + RLHF - Pytorch" project:

https://github.com/lucidrains/PaLM-rlhf-pytorch

One could play the devil's advocate and argue that the investors were culpable for not doing their homework, and that the engineers allowed themselves to get carried away and not pay attention to what they were actually participating in.
"Learn to articulate yourself" might be a less sinister and more approachable phrase to many honest, hard-working engineering folks.