News

  1. US SEC preparing to scrap quarterly reporting requirement (www.reuters.com)
  2. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
  3. Nvidia Launches Vera CPU, Purpose-Built for Agentic AI (nvidianews.nvidia.com)
  4. Meta’s renewed commitment to jemalloc (engineering.fb.com)
  5. Language Model Teams as Distrbuted Systems (arxiv.org)
  6. The “small web” is bigger than you might think (kevinboone.me)
  7. US commercial insurers pay 254% of Medicare for the same hospital procedures (github.com)
  8. Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps (news.ycombinator.com)
  9. Show HN: Claude Code skills that build complete Godot games (github.com)
  10. Solving Semantle With the Wrong Embeddings (victoriaritvo.com)
  11. Apideck CLI – An AI-agent interface with much lower context consumption than MCP (www.apideck.com)
  12. AirPods Max 2 (www.apple.com)
  13. My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (community.home-assistant.io)
  14. weeknotes #57 (olu.online)
  15. Lazycut: A simple terminal video trimmer using FFmpeg (github.com)
  16. Polymarket gamblers threaten to kill me over Iran missile story (www.timesofisrael.com)
  17. Corruption erodes social trust more in democracies than in autocracies (www.frontiersin.org)
  18. Why I love FreeBSD (it-notes.dragas.net)
  19. Starlink Mini as a failover (www.jackpearce.co.uk)
  20. Building a Shell (healeycodes.com)
  21. Exploring the PMTiles File Format (superserious.dev)
  22. Pokopia: Simple Infinite Limestone and Marble Farm (hamy.xyz)
  23. Some notes on on-call (blog.veitheller.de)
  24. Cert Authorities Check for DNSSEC from Today (www.grepular.com)
  25. The bureaucracy blocking the chance at a cure (www.writingruxandrabio.com)
  26. Pokopia: How to Build a Lava Gate that Opens / Closes with Switches (hamy.xyz)
  27. Simplicity in the age of AI-assisted coding (the.scapegoat.dev)
  28. Pokopia: How to Build with Laser Sensors (and How they Work) (hamy.xyz)
  29. Millwright: Smarter Tool Selection From Agent Experience (minor.gripe)
  30. Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com)
  31. Kuala Lumpur: Historic Buildings (gochugarugirl.com)
  32. XML is a Cheap DSL (unplannedobsolescence.com)
  33. Productivity system guidelines (orgnizedmess.net)
  34. How far can you go with IX Route Servers only? (blog.benjojo.co.uk)
  35. De la imillaDev a la imillit.ai (dev.to)
  36. Building Narratives Around Challenging Experiences (blog.danielsosebee.com)
  37. My Friend Ellem (minor.gripe)
  38. Looms & Agents (joaoabbottgribben.bearblog.dev)
  39. Putting in the Hard Work (bugwhisperer.dev)
  40. battery (approximateknowledge.net)
  41. Pokopia: The Best House for Early to Late Game (hamy.xyz)
  42. Why I'm moving to a Linux-based, terminal-focused dev workflow - and what it looks like (hamy.xyz)
  43. Examples for the tcpdump and dig man pages (jvns.ca)
  44. Pokopia: Tips I Wish I'd Known & Endgame Walkthrough (hamy.xyz)
  45. What's Interesting About Kat Abughazaleh's Campaign (harihareswara.net)