backend ok
- 1.
- 2.
- 3.AI Could End Encryption as We Know It(ai-frontiers.org)
- 4.What mathematicians should know about the Lean Theorem Prover: reliability & AI(terrytao.wordpress.com)
- 5.Remember Orkut? Its founder wants to bring it back(techcrunch.com)
- 6.
- 7.The Rise and Fall of the Plasma Screen(construction-physics.com)
- 8.THX-01: An Open-Source Decision Model That Runs on Your Phone and Beats Jev(doofz.substack.com)
- 9.
- 10.CXMT's covert campaign to obtain Samsung tech by any means necessary(koreajoongangdaily.com)
- 11.
- 12.A tale of four theorem provers(blueberrywren.dev)
- 13.Trade Direction in Prediction Markets(arxiv.org)
- 14.
- 15.Hacker News AI Hype Trends: 2022 – Present(alwaysleaveanote.com)
- 16.In Memory of Deno(orgsoft.org)
- 17.Scott and Scurvy (2010)(idlewords.com)
- 18.All practical general use firewalls are porous now for inbound traffic(utcc.utoronto.ca)
- 19.
- 20.Tales from the Lunar Module Guidance Computer (2004)(doneyles.com)
- 21.Aircooling My iPhone for Privacy(romanzipp.com)
- 22.
- 23.Canto incognito: tracking the PoeLLM malware(lumen.com)
- 24.How Go maps work internally: Swiss tables(youtube.com)
- 25.Python 3.15 Released(lwn.net)
- 26.
- 27.
- 28.Two Futures for LLMs in Mathematics(wiredream.com)
- 29.
- 30.Tinycast: A free, native launcher for macOS(tinycast.dev)