Re:Interactive Double Pendulum Playground
by Evidlo on Wednesday October 08, 2025 @02:10PM
(#45518965)
Just made a PR
[ Parent
| on HN ]
Re:Interactive Double Pendulum Playground
by magicalhippo on Thursday October 09, 2025 @02:17AM
(#45524146)
I considered it, but had to go to work and I figured since the last commit was over 4 years ago it might just sit there idly, so I skipped it.
But no, PR was merged in short order. Lesson learned.
Re:Interactive Double Pendulum Playground
by cabirum on Friday October 10, 2025 @06:20AM
(#45537196)
Hn shows this story is 3 hours old, yet your GitHub PR was made 2 days ago, linking here?
The story has been reposted to HN via the “second-chance pool”, which resets the dates.