prev 1 / 10 more

• 143
  Forgejo <=16.0.3 Critical RCE (codeberg.org)
  by weierstass8 hours ago 18 comments
• 45
  Bodily Oddities (vester.si)
  by vesterde3 hours ago 11 comments
• 189
  Neki – Sharded Postgres (planetscale.com)
  by simon_weber8 hours ago 29 comments
• 25
  Recursion into madness (blog.coredump.cx)
  by surprisetalk3 days ago 5 comments
• 280
  Hitachi launches CO2 heat pump water heaters with solar-friendly tariff controls (pv-magazine.com)
  by thelastgallon1 day ago 19 comments
• 124
  OpenAI’s Navier-Stokes release included a Lean 4 formal proof (johndcook.com)
  by ibobev2 hours ago 20 comments
• 582
  Rust is tier-1 language at Microsoft (rustfoundation.org)
  by mmastrac10 hours ago 59 comments
• 37
  What happens when a GPU writes memory (blog.doubleword.ai)
  by ibobev2 days ago 1 comments
• 22
  Show HN: Vertumnus – printable posters of farmers' market produce seasonality (vertumnus.fyi)
  by perspectivezoom2 days ago 5 comments
• 68
  JEP 544: Ahead-of-Time Code Compilation (openjdk.org)
  by Skinney6 hours ago 6 comments

prev 1 / 10 more