< prev1/10 more >

• 1Stealth robotics startup (YC S26) is hiring principal engineers (Palo Alto)
  4 hours ago |
• 103Kani: A Model Checker for Rust (arxiv.org)
  by Jimmc4145 hours ago | 7 comments
• 69OfficeCLI: Office suite for AI agents to read and edit Microsoft Office files (github.com)
  by maxloh4 hours ago | 7 comments
• 279Road to Elm 1.0 (elm-lang.org)
  by wolfadex9 hours ago | 37 comments
• 30Rotman Lens (en.wikipedia.org)
  by thomasjb5 days ago | 2 comments
• 356Real-time map of Great Britain's rail network (map.signalbox.io)
  by scrlk11 hours ago | 53 comments
• 50Python 3.14 compiled to metal – no interpreter (github.com)
  by hamza_q_1 hour ago | 7 comments
• 98Egypt Is Building a New Nile (theb1m.com)
  by geox3 days ago | 10 comments
• 75CS2 Fog Of War: Server-sided anti-wallhack occlusion culling for CS2 servers (github.com)
  by LorenDB5 hours ago | 9 comments
• 68Show HN: Pulpie – Models for Cleaning the Web (usefeyn.com)
  by snyy5 hours ago | 11 comments

< prev1/10 more >