HNHacker News
TopNewBestAskShowJobs

nautilus12

529 karma · joined June 2, 2017

submissionscomments
nautilus12··on Three new discoveries in mathematics, computer science, and physics
It will inevitably lead to people not sharing their scientific results out publicly and just going directly to those who stand to benefit from them, if they know publishing means they will be immediately exploited by a single entity.
nautilus12··on NixOS is making me less afraid
While i admire the nix community i don't know how people can be spending their time on it to solve the types of problems they are, when AI is shitting out bad python code quicker than anyone can keep up with that's degrading all our systems. By one token you can argue that's a way of fighting back, but maybe also a possible way to bury your head in the sand while the rest of the world burns around you.
nautilus12··on AI is a tool and using it well takes skill
You can only build skills in things that have consistent rules. LLMs have totally unpredictable outputs, attempting to build skills in prompting them is a waste of time on par with the madness of astrology or daytrading
nautilus12··on Sharing AI progress in mathematics
Have any real mathematicians working on these problems reviewed any of these and determined if they are just gobbledegook or not?

The ones with lean proofs could still be formulated incorrectly

nautilus12··on More questions about whether researchers can trust OpenAI with unpublished math
Ah i see what you were saying now, you were saying session specific poisoning is more likely to work if it was in tandem with training document specific poisoning.
nautilus12··on An atlas of periodic solutions to the three-body problem
Oh makes perfect sense, do you have thoughts about real life examples? I did some research using AI and it said there were examples of restricted 3 body problems like the trojan asteroids, but no examples in real life similar to what is in this web app
nautilus12··on Fable 5.1 Solves the Cyphral Distich, a 370-year-old cipher
I was thinking to myself this dismal thought: everyone is so busy because of the acceleration caused by AI that no one will have the time to actually take the five minutes to verify manually that this really is a solution or that the article just generated something plausible looking
nautilus12··on An atlas of periodic solutions to the three-body problem
Is this assumed to be 2D? I was going to ask if there are any observed examples of 3 body equilibrium observed in nature.
nautilus12··on A misalignment of AI in mathematics
This is the real issue, though this article does not really hit on it explicitly just alludes to it.
nautilus12··on More questions about whether researchers can trust OpenAI with unpublished math
Thats not what they are asking. This paper is discussing documents in the training dataset poisoning the LLM for malicious behavior. This person are asking if anyone has deliberately put something in a private chat (presumably with retrain on my data turned off), to see if they can get it to leak across sessions from distinct users. I am positive this happens but I have not seen the proof. I also want to know the answer to this question.

Here are potentially relevant documents?

https://medium.com/secludy/fine-tuning-llm-on-sensitive-data...

https://spylab.ai/blog/non-adversarial-reproduction/

https://arxiv.org/abs/2601.18834

nautilus12··on Navier-Stokes – Tristan Buckmaster [pdf]
This should be a watershed moment for everyone using a commercial LLM. EVERY PIECE OF INTELLECTUAL PROPERTY YOU DISCUSS WITH IT BECOMES THEIR PROPERTY. FULL STOP.

It is impossible to fight against this. It is statistically obfuscated, they can just argue it is a derived work.

nautilus12··on I turned my security cameras into an automatic bird identification system
I get jealous of people that have the luxury of time to do things like this
nautilus12··on GUIs should be fully keyboard-driven
My issue is that taking a strictly GUI driven approach makes you build an application (in the browser presumably) that will require more permissions than you would typically want in the terminal so TUIs win out by being in proximity to those tools (cat, ls, rm, etc) for development use cases
nautilus12··on Iowa et al asks OpenAI to keep their bots sandboxed
Can they try to prove that he directed someone to direct the agent to do that?
nautilus12··on The Shape of Things to Come
I call it "yegge sweats"
nautilus12··on HackerRank open sourced its ATS. My resume scored 90/100. Oh wait 74. No – 88
“The demands of ritual are always stronger than those of reason.”
nautilus12··on Show HN: Red Squares – GitHub outages as contributions
Guess where AI Coding entered the picture
nautilus12··on Working and Communicating with Japanese Engineers
Worked for famous Japanese data platform for a few years. The Japanese engineers were collegial but some who didn't come in to the office were actually Hikikomori focused on very narrow things and were very nitpicky about details that wouldn't have ultimately mattered. Those that came into the Tokyo office lived to work and I saw people regularly sleeping at their desk after having stayed out all night for obligatory whiskey outing with colleagues and arriving at the office at 6 am as expected. The San Fran office was the opposite, very sloppy standards people, getting in at noon and staying up late to meet deadlines. The impedence mismatch between the two environments was almost unbearable.
nautilus12··on Where things stand with the Department of War
So is this a backtrack or clarification on their original stance? Do I need to be worried about skynet killing grandma?
nautilus12··on Nobody gets promoted for simplicity
You are citing negative metrics. The reality is that companies only care about positive metrics: increase marginal revenue by 30%

That's regardless of the lip service they pay to cost cutting or risk reduction. It will only get worse, in the AI economy it's all about growth.

nautilus12··on Anthropic drops flagship safety pledge
Great follow up, i agree
nautilus12··on If AI writes code, should the session be part of the commit?
This would just record a lot of me cursing at and calling the AI an idiot.
nautilus12··on Anthropic drops flagship safety pledge
Absolute power corrupts absolutely
nautilus12··on I'm helping my dog vibe code games
If ever I saw something that made me want to move to a log cabin the woods and never touch a computer again, this is it
nautilus12··on The Missing Semester of Your CS Education – Revised for 2026
Lol, does any of this matter anymore with AI coding? It was hard to get people to care about this sort of thing before ai coding, now its impossible. People in a few years will be coding without even knowing what unix is.
nautilus12··on Gemini 3.1 Pro
Ok, why don't you work on getting 3.0 out of preview first? 10 min response time is pretty heinous
nautilus12··on How AI destroys institutions
I don't think this argument makes much sense. If you are running down hill towards a cliff then saying that adding a cart to speed up the process doesn't give the cart moral blameworthiness is an unhelpful observation. You can still chose to stop running down the hill or to not get on the cart.
nautilus12··on Total monthly number of StackOverflow questions over time
The irony is that the LLMs are trained on stack overflow and should inherit a lot of those traits and errors.
nautilus12··on Claude Advanced Tool Use
I had the same problem. My Claude md eventually gets forgotten and it forgets best practices that I put in there. I've switched to using hooks that run it through a variety of things like requiring testing. That seems to work better than Claude md because it has to run the hook every time it makes changes.
nautilus12··on Claude Advanced Tool Use
Unfortunately the question of whether we should is not a very popular one right now.
Page 1 of 20Next →