2Show HN: Yomi – Read any web page, or a whole website, into clean Markdown (opens in new tab)(github.com)GitHub3tamnd10d ago4Save
3Show HN: Kage – Shadow any website to a single binary for offline viewing (opens in new tab)(github.com)GitHub712tamnd13d ago141Save
4Please remove mole.fit references and original UI design from this project (opens in new tab)(github.com)GitHub6tamnd17d ago0Save
6Monumental Proof Settles Geometric Langlands Conjecture (opens in new tab)(quantamagazine.org)2tamnd1mo ago0Save
7Advancing Mathematics Research with AI-Driven Formal Proof Search (opens in new tab)(arxiv.org)arXiv3tamnd1mo ago0Save
8Bun support is now limited and deprecated (opens in new tab)(github.com)GitHub594tamnd1mo ago608Save
11DeepSeek 4 Flash local inference engine for Metal (opens in new tab)(github.com)GitHub499tamnd1mo ago159Save
13Show HN: Historical Python source documentation, from 1.0.1 through 2.0c1 (opens in new tab)(github.com)GitHub2tamnd2mo ago1Save
14Show HN: Python 0.9.1 from 1991, Guido van Rossum's first public release (opens in new tab)(github.com)GitHub5tamnd2mo ago0Save
15Show HN: Goempy – Ship a CPython interpreter inside your Go binary (opens in new tab)(github.com)GitHub4tamnd2mo ago0Save
