< prev1/10 more >

• 191Neki – Sharded Postgres (planetscale.com)
  by simon_weber8 hours ago | 29 comments
• 29Recursion into madness (blog.coredump.cx)
  by surprisetalk3 days ago | 6 comments
• 282Hitachi launches CO2 heat pump water heaters with solar-friendly tariff controls (pv-magazine.com)
  by thelastgallon1 day ago | 19 comments
• 128OpenAI’s Navier-Stokes release included a Lean 4 formal proof (johndcook.com)
  by ibobev3 hours ago | 21 comments
• 60Proof of Capture: Apple Reference Image, but open source and using steganography (merybenavente.me)
  by merybenavente4 hours ago | 6 comments
• 588Rust is tier-1 language at Microsoft (rustfoundation.org)
  by mmastrac10 hours ago | 61 comments
• 12Embedding a bitmap font in your HyperCard stack (leadedsolder.com)
  by zdw2 days ago | 0 comments
• 38What happens when a GPU writes memory (blog.doubleword.ai)
  by ibobev2 days ago | 1 comments
• 71JEP 544: Ahead-of-Time Code Compilation (openjdk.org)
  by Skinney6 hours ago | 6 comments
• 73Detecting and countering misuse of AI: September 2026 (anthropic.com)
  by garo-pro7 hours ago | 39 comments

< prev1/10 more >