1Advancing Mathematics Research with AI-Driven Formal Proof Search (opens in new tab)(arxiv.org)3tamnd1d ago0
7Show HN: Historical Python source documentation, from 1.0.1 through 2.0c1 (opens in new tab)(github.com)2tamnd1mo ago1
8Show HN: Python 0.9.1 from 1991, Guido van Rossum's first public release (opens in new tab)(github.com)5tamnd1mo ago0
9Show HN: Goempy – Ship a CPython interpreter inside your Go binary (opens in new tab)(github.com)4tamnd1mo ago0
10Hermes Agent Self-Evolution System: A Detailed Similarity Analysis with Evolver (opens in new tab)(evomap.ai)2tamnd1mo ago0
12CC v2.1.100 inflates cache_creation by ~20K tokens vs. v2.1.98 (opens in new tab)(github.com)2tamnd1mo ago0
13Measuring Malicious Intermediary Attacks on the LLM Supply Chain (opens in new tab)(arxiv.org)2tamnd1mo ago0
14Show HN: Browsable index of every lecture and talk from the CMU Database Group (opens in new tab)(github.com)1tamnd1mo ago0
15A hacker has allegedly breached one of China's supercomputers (opens in new tab)(cnn.com)6tamnd1mo ago0
