HN lschueller 1d ago

The AI Revolution in Math Has Arrived

AI models solved 5 of 6 IMO problems in 2025, discussing implications for mathematics and mathematical reasoning capabilities.

HN Jotalea 1d ago

Linux 7.0 Released

Linux release page blocked by anti-scraping Proof-of-Work protection. No readable content.

HN ehtbanton 1d ago

LLM is a compiler, not a runtime

Essay proposing viewing LLMs as compilers rather than runtimes. Discusses lack of reuse in agent systems and efficiency improvements.

HN alarvfm 2d ago

1 year of LLMs writing code for me

Personal account of using AI coding agents as primary development tool for one year. Observes recent quality threshold improvements in 2025.