prev 1 / 10 more

• 87
  Formal Methods and the Future of Programming (blog.janestreet.com)
  by eatonphil6 hours ago 13 comments
• 114
  I indexed 669 GB of my GoPro videos using my M1 Max computer and local ML models
  by iliashad3 hours ago 9 comments
• 72
  The only scalable delete in Postgres is DROP TABLE (planetscale.com)
  by hollylawly3 days ago 13 comments
• 36
  Show HN: Dual YOLOv8n UAV Detection on RK3588S at 42 FPS Using NPU (github.com)
  by alebal123bal4 hours ago 4 comments
• 9
  USB Power Delivery: Plugging into the Benefits (aptiv.com)
  by mooreds3 days ago 2 comments
• 29
  Global density and biomass of arbuscular mycorrhizal fungal networks (science.org)
  by zdw1 day ago 1 comments
• 139
  Swiss voters reject proposal to cap population at ten million (swissinfo.ch)
  by FabCH2 hours ago 12 comments
• 26
  Show HN: 3D print Z reinforcement via injected loops (mgunlogson.github.io)
  by mgunlogson5 days ago 6 comments
• 115
  Rio de Janeiro's city government model Rio3.5 beats Qwen3.7 in recent benchmarks (twitter.com)
  by lucasfcosta4 hours ago 12 comments
• 19
  Quivers: A year of linear algebra by drawing arrows (lisyarus.github.io)
  by ibobev4 days ago 2 comments

prev 1 / 10 more