HNHacker News
TopNewBestAskShowJobs

nill0

1,364 karma · joined February 13, 2025

Curiosity is all we need!
submissionscomments
nill0··on Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecture
https://x.com/ayushkhaitan343/status/2104289939840176167
nill0··on Caltech Mathathon – first hackathon ever devoted to research level mathematics
If anybody is competing in the contest, this may be helpful as a starting point!

Open Problems in Computational Geometry Listed by Erik Demaine, Joseph Mitchell, Joseph O'Rourke in 2024

https://topp.openproblem.net/

And also the popular list below, which contains some of the frontier problems and undefeated beasts that have remained unsolved for decades, some even for centuries.

https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_m...

Caution: Solvability is not guaranteed!

nill0··on MathNet:30k competition math problems for AI mathematical reasoning benchmarking
Relevant article:

https://news.mit.edu/2026/mit-scientists-build-worlds-larges...

nill0··on Eka Robotic Manipulator: May be a ChatGPT moment for robotics
https://ekarobotics.com/
nill0··on Desktop Inverted Pendulum (part 1)
Here part 2:

https://build-its-inprogress.blogspot.com/2016/08/desktop-in...

nill0··on Finding a New Life in Math, research paper written by inmate
Paper at: https://arxiv.org/pdf/2002.12644
nill0··on Ukmarsbot – A simple beginner's multi purpose robot platform
1.https://www.youtube.com/watch?app=desktop&v=kLJjyr8uiFg&t=17...

2.https://ukmars.org/

nill0··on Vector Calculus – Robert Ghrist [Calculus Blue Vol:1] [video]
https://www.youtube.com/@prof-g/playlists
nill0··on The Limits of Mathematics – Gregory Chaitin [1994]
https://ia601800.us.archive.org/2/items/gregory-chaitin-the-...
nill0··on Space Launch Vehicles – Norbert Brugge
example: https://b14643.eu/Spacerockets_2/United_States_1/Saturn-5/De...

https://github.com/fjmoeller/b14643

nill0··on History of CAD – David Weisberg
https://en.wikipedia.org/wiki/Geometric_modeling_kernel

"Kernel developers section"

nill0··on How browsers really load web pages [video]
"All of the amazing things that modern computers do, are based on just ability to compute any computable function." - Ben Eater

source: https://youtu.be/AqNDk_UJW4k?list=PLowKtXNTBypGqImE405J2565d...

at 13:44s