Readit News logoReadit News
swayson commented on AI will make formal verification go mainstream   martin.kleppmann.com/2025... · Posted by u/evakhoury
swayson · 13 days ago
Really nice book on the subject -- Algorithms for Validation. The online version is actually freely accessible as a PDF.

https://algorithmsbook.com/validation/

swayson commented on Why is ChatGPT being sycophantic even when I ask it to be objective?   chatgpt.com/share/691b403... · Posted by u/EGreg
swayson · a month ago
I add these instructions. Works wonders.

Do Not Use First-Person Pronouns

Avoid Creating a Relationship

No Emotional Language

Talk Like a Computer

(edited for formatting)

swayson commented on Switching to Claude Code and VSCode Inside Docker   timsh.org/claude-inside-d... · Posted by u/timsh
extr · 6 months ago
I have personally never seen claude (or actually any AI agent) do anything that could not be fixed with git. I run 24/7 in full permissions bypass mode and hardly think about it.
swayson · 6 months ago
Correlation does not equal causation as the old adage goes. Just because if you havent seen the pattern, doesn't mean it can't.

It is like insurance, 99.95% of the time you don't need it. But when you do, you wish you had it.

swayson commented on YouTube isn't happy you're using ad blockers – and it's doing something about it   mashable.com/article/yout... · Posted by u/webwanderer
swayson · 2 years ago
Wonder if spotify will grow in popularity as a result of this in terms of podcast content.
swayson commented on Generative AI Is a Disaster, and Companies Don't Seem to Care   vice.com/en/article/88xde... · Posted by u/elsewhen
fithisux · 2 years ago
The main idea behind "AI" is not to make our lives easier. Instead, it is a good weapon to blackmail workers for abandoning whatever rights they still have.
swayson · 2 years ago
Heard and interesting talk about AI being described through the metaphor of Molock. If you really entertain the thought experiment, is is interesting to see the world race for power, control of its tech.
swayson commented on After days of destruction, Macron blames a familiar bogeyman: video games   npr.org/2023/07/07/118631... · Posted by u/pseudolus
swayson · 2 years ago
Politician always point elsewhere, and change the focus. Why folks fall for the shallow reasoning I will never understand. Calibrate on behaviour, not words.
swayson commented on Ban on recording without consent is unconstitutional, US court rules   documentcloud.org/documen... · Posted by u/Jimmc414
swayson · 2 years ago
Anyone know what the laws around this is in South Africa?
swayson commented on Tell HN: Nearly all of Evernote’s remaining staff has been laid off    · Posted by u/baron816
swayson · 2 years ago
Obsidian.md for the win. I used to use evernote way back when they started, was cool software, then they started scaling and added worst search UI I have ever come across. That day, I deleted my account and went markdown with my own storage. Don't see the benefit of why your notes should be controlled by others.

u/swayson

KarmaCake day148January 5, 2020View Original