backend ok
- 1.15-Minute Lesson Plan: A.I.-Assisted Mathematics(nytimes.com)
- 2.Rampart: Browser native on-device PII radaction(ndstudio.gov)
- 3.English Instead of Code(dalerank.github.io)
- 4.Show HN: Cactus Needle – Local tool calling and speech-to-text in JavaScript(afshinm.github.io)
- 5.A Practical Guide to Naming Things(smashingmagazine.com)
- 6.OpenAI will start watermarking ChatGPT's text in the EU(techcrunch.com)
- 7.
- 8.Ben Affleck is an AI nerd(twitter.com)
- 9.
- 10.I'm still around.. I'm just not writing here(rachelbythebay.com)
- 11.
- 12.
- 13.AI Could End Encryption as We Know It(ai-frontiers.org)
- 14.What mathematicians should know about the Lean Theorem Prover: reliability & AI(terrytao.wordpress.com)
- 15.Remember Orkut? Its founder wants to bring it back(techcrunch.com)
- 16.
- 17.The Rise and Fall of the Plasma Screen(construction-physics.com)
- 18.THX-01: An Open-Source Decision Model That Runs on Your Phone and Beats Jev(doofz.substack.com)
- 19.
- 20.CXMT's covert campaign to obtain Samsung tech by any means necessary(koreajoongangdaily.com)
- 21.
- 22.A tale of four theorem provers(blueberrywren.dev)
- 23.Trade Direction in Prediction Markets(arxiv.org)
- 24.
- 25.Hacker News AI Hype Trends: 2022 – Present(alwaysleaveanote.com)
- 26.In Memory of Deno(orgsoft.org)
- 27.Scott and Scurvy (2010)(idlewords.com)
- 28.All practical general use firewalls are porous now for inbound traffic(utcc.utoronto.ca)
- 29.
- 30.Tales from the Lunar Module Guidance Computer (2004)(doneyles.com)