backend ok
- 1.Postmortem for the Lean Kernel Soundness Bug Hunt(leodemoura.github.io)
- 2.What my dad taught me about AI coding in the 90s(askmike.org)
- 3.Show HN: A public record of open-source software health(inspect.software)
- 4.Show HN: Alignr – Does pre-AI reflection preserve cognitive independence?(alignr.streamlit.app)
- 5.AI Stock Research Assistant · Streamlit(ai-stock-research-kiaan.streamlit.app)
- 6.PDF field detection: what broke across 23 real forms(pdf2fill.com)
- 7.Indoor Farming Market(grandviewresearch.com)
- 8.Computer Aided Engineering Market (2026 – 2033)(grandviewresearch.com)
- 9.Show HN: A techno machine in one HTML file, with verifiable renders(ssx360.github.io)
- 10.
- 11.Not just Allow|Deny... Google Beyond Zero Introduces "Challenge"(gluufederation.medium.com)
- 12.
- 13.Emacs 31 has been released(lists.gnu.org)
- 14.
- 15.Fat Marmot Week(coloradosun.com)
- 16.
- 17.An interactive introduction to the spanning tree protocol(vincent.bernat.ch)
- 18.
- 19.Sorry, Pluto's still not a planet(scientificamerican.com)
- 20.
- 21.Don't Let AI Dull Your Software Engineering Edge(awongcm.io)
- 22.
- 23.The Product Hunt Graveyard: 1 in 4 top launches (2023-2025) is dead(rightaichoice.com)
- 24.What's New in Emacs 31.1?(masteringemacs.org)
- 25.Show HN: Color Patch – browser visual puzzles game(colorpatch.app)
- 26.How Europe is killing makers and micro-entrepreneurs(lectronz.com)
- 27.
- 28.STR, SoundTouch Reborn(github.com)
- 29.Benchmarking Agentgateway vs. LiteLLM's Rust Mode(agentgateway.dev)
- 30.How to Catch the 'Eclipse of the Century' Next Year(nytimes.com)