HNHacker News
TopNewBestAskShowJobs

redf5

14 karma · joined May 21, 2026

submissionscomments
redf5··on I struggle to believe that AI R&D is ingenious
You are correct, but application of that knowledge might require understanding of why the proof is correct. Maybe not in all cases. The proof is the start of the process, not the whole thing.
redf5··on Claude Code sends your email address to websites
Wait, are you saying Claude isn't conscious on the internet, sir?
redf5··on AfD Leak: What 421,179 Hacked Emails Show about the German Far Right
Of course democracy is being protected, when it is clear such a party is being actively used and supported by foreign actors which have no right to vote in the affected country. People are being manipulated. The law comes first, then, people can choose. It's why a judicial branch exists.
redf5··on America.gov
unitedstates.gov*
redf5··on The Advisory Group on Mathematics and Artificial Intelligence
Without understanding, what are we?
redf5··on Pion, an agent designed to run any company autonomously
An agent writes 99% of the code. Then I fix some parts, re-arrange things, usually takes a few prompts. Then, there's code review, more changes, etc. But I hardly write code nowadays compared to a few years ago.