logoNewsNewestAskShowJobs Built with Nuxt3
< 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 >