Thursday, October 15, 2026Page 17
Hacker News with topics, your own interests and a private reading history. Add your interests →
Tip: press?for keyboard shortcuts, j/ kto move between stories.
- 481
- 482Chabuduo Worldwww.tracingwoodgrains.com
- 483What mathematicians should know about the Lean Theorem Prover: reliability & AIterrytao.wordpress.com
- 484OpenAI withdraws three mathematical resultstwitter.com
- 485An Unmade Film Shaped Hayao Miyazakianimationobsessive.substack.com
- 486
- 487Knuth reward checkwww.thomas-huehn.com
- 488
- 489Will Linux phones become a viable alternative to the Android/iOS duopoly?amosbbatto.wordpress.com
- 490
- 491'Wallace and Gromit,' 90% Aloneanimationobsessive.substack.com
- 492Neuroscience can make decluttering easierwww.nytimes.com
- 493Retrofitting language models to operate over byteswww.nature.com
- 494Can you use autoregressive diffusion to generate market data?blog.janestreet.com
- 495Threat of AI share crash puts world financial stability at risk, says IMFwww.theguardian.com
- 496PSPi 6 – Raspberry Pi in a PSPgithub.com
- 497
- 498Docker Hub flaw let attackers impersonate users, tamper with imageswww.bleepingcomputer.com
- 499C for Rust programmersbd103.dev
- 500
· edit