HNHacker News
TopNewBestAskShowJobs

sm0rad

6 karma · joined June 5, 2026

submissionscomments
sm0rad··on UK military jamming other nations' satellites to defend itself, BBC told
Just a few destroyed satellites would likely produce enough debris to take out everything else in orbit: https://en.wikipedia.org/wiki/2007_Chinese_anti-satellite_mi...
sm0rad··on Why do we need human mathematicians anymore?
This is wrong, both morally and technically.

First off, I can’t imagine anything more torment nexus-y than throwing billions to automate and scale the torture of animals. If each token is a “cut”, how much suffering does 10 trillion training tokens (lower bound) corresponds to?

Second, this still doesn’t cover all the properties that make math proofs doable. It requires working in the physical world. You must physically capture or grow 10T cuts worth of animals. You cannot verify success so easily, either. Cancer cells, for example, could regrow over months. You would need to keep the animal alive and regularly test the animal, which would be difficult to scale. And most people wouldn’t trust the world’s greatest vet to operate on them, anyways.

sm0rad··on Why do we need human mathematicians anymore?
Math proofs are special because they’re verifiable, safe, and do not require physical experiments. You can perform exhaustive parallel search in simulation with RLVR.

Do you think this applies to say, surgery, as well? There are few useful problems that share these properties.