< prev1/10 more >

• 117OpenAI’s Navier-Stokes release included a Lean 4 formal proof (johndcook.com)
  by ibobev2 hours ago | 20 comments
• 139Forgejo <=16.0.3 Critical RCE (codeberg.org)
  by weierstass7 hours ago | 18 comments
• 188Neki – Sharded Postgres (planetscale.com)
  by simon_weber7 hours ago | 29 comments
• 34Bodily Oddities (vester.si)
  by vesterde3 hours ago | 8 comments
• 278Hitachi launches CO2 heat pump water heaters with solar-friendly tariff controls (pv-magazine.com)
  by thelastgallon1 day ago | 18 comments
• 20Show HN: Vertumnus – printable posters of farmers' market produce seasonality (vertumnus.fyi)
  by perspectivezoom2 days ago | 3 comments
• 578Rust is tier-1 language at Microsoft (rustfoundation.org)
  by mmastrac9 hours ago | 59 comments
• 32What happens when a GPU writes memory (blog.doubleword.ai)
  by ibobev2 days ago | 1 comments
• 64JEP 544: Ahead-of-Time Code Compilation (openjdk.org)
  by Skinney6 hours ago | 6 comments
• 66Detecting and countering misuse of AI: September 2026 (anthropic.com)
  by garo-pro6 hours ago | 39 comments

< prev1/10 more >