A computer assisted proof for 100k years stability of the solar system | Hacker News Reader