News for hackers. Stuff that matters.

donutthejedi

Ask HN: I think I improved an Erdős problem how can I verify it?

I’ve been working on an Erdős problem (Problem #961) and believe I’ve made a nontrivial improvement on the known result, specifically, I think I’ve reduced the bound from exponential to polynomial.I’m relatively new to formal mathematics, so I’m unsure how to properly verify or validate my work.What are the best steps to take in this situation?* How can I check whether my result is already...

( Read More... | 2 comments | 4 points | on HN )
Re:Show HN: Rocket Launch and Orbit Simulator on Friday January 09, 2026 @11:08PM (#46562664)
For this model I kinda just made up my own system to play around with it, while it wasn't very effective it was pretty fun. That being said thanks a lot for the recommendations, I wasn't very aware of the options I had for it.
Re:Show HN: Rocket Launch and Orbit Simulator on Friday January 09, 2026 @11:06PM (#46562654)
I completely agree with what your saying, with one caveat. If I understand how the underlying physics and dynamics are working but don't know how to write the code then theres no world where I could make something like this. The way that I see it is that AI is a tool that really depends on the person.

If I were to be someone who just tells AI "implement drag" and lets it do it then sure, im not learning, but if I do my research outside and just use AI to translate what I give it into the language of computers I feel like im not only building something cool but im understanding whats happening because AI is just translating.

So basically while yes I do believe that AI can be harmful if you approach it inproperly, it helps novice programers implement cool things by just using english.

Re:Show HN: Rocket Launch and Orbit Simulator on Friday January 09, 2026 @05:55PM (#46560588)
Around 90% AI for syntax, I did alot of debugging manually. For implementing new features I would design them and do the reasearch then have a AI write lines for me and verify the work
Re:Show HN: Rocket Launch and Orbit Simulator on Friday January 09, 2026 @05:53PM (#46560563)
Its fairly accurate as far as I can tell. Your right about the fact that It wouldnt work in real life due to the dynamic pressure your exerting on your rocket, using your method you get to about 150 kPa, Falcon 9 usually maxes out around 35 kPa so it would explode. Also it is a fairly fuel inneficent way of getting into orbit, but yes it is possible
Re:Show HN: Rocket Launch and Orbit Simulator on Friday January 09, 2026 @04:17PM (#46559472)
Took the anti grav sleds off, might be possible to crash into now idk
Re:Show HN: Rocket Launch and Orbit Simulator on Friday January 09, 2026 @03:00PM (#46558506)
I found the problem, It appears that I had the earth staying stationary but gave its rotational velocity to the rocket, What i think needs to happen is I need to also be rotating the earth so the inertial frame stays the same. Thanks for bringing this up
Re:Show HN: Rocket Launch and Orbit Simulator on Friday January 09, 2026 @02:53PM (#46558412)
Good point, I implemented that very early and hadn't really thought about it, let me look into the true solution, thanks
Re:Show HN: Rocket Launch and Orbit Simulator on Friday January 09, 2026 @02:48PM (#46558347)
yup, derived most of the equations myself then double checked them before implementing them. That being said all of the positining is done through time steps and not so much equations
Re:Show HN: Rocket Launch and Orbit Simulator on Friday January 09, 2026 @02:47PM (#46558328)
Awesome, thanks alot, thats a great idea to work on
Re:Show HN: Rocket Launch and Orbit Simulator on Friday January 09, 2026 @02:47PM (#46558322)
Thats due to the rotation of the earth, for the purposes of the simulation the earth is rotating at 408 m/s (earths rotation at cape canaveral) so thats why It appears its going sideways

Show HN: Rocket Launch and Orbit Simulator

https://www.donutthejedi.com/

I (17y/o) have been developing a rocket launch simulation that allows the user to explore what it's like launching a rocket from earth and putting it into orbit. This idea originally started as an educational simulation but as i've gone more down the rabbit hole the more i've wanted to make it realistic. The problem is that I've never had a formal orbital mechanics class or anything like that...

( Read More... | 38 comments | 45 points | on HN )