< prev1 / 10 more >

• 173Aluminum foil (2021) (dernocua.github.io)
  by firephox4 hours ago | 26 comments
• 49Kani: A Model Checker for Rust (arxiv.org)
  by Jimmc4142 hours ago | 1 comments
• 148AMD Ryzen AI Halo – $4k AI Dev Kit (lttlabs.com)
  by LabsLucas3 hours ago | 35 comments
• 244Road to Elm 1.0 (elm-lang.org)
  by wolfadex6 hours ago | 30 comments
• 49Egypt Is Building a New Nile (theb1m.com)
  by geox2 days ago | 3 comments
• 332Real-time map of Great Britain's rail network (map.signalbox.io)
  by scrlk8 hours ago | 50 comments
• 36Show HN: Pulpie – Models for Cleaning the Web (usefeyn.com)
  by snyy2 hours ago | 6 comments
• 1Stealth robotics startup (YC S26) is hiring principal engineers (Palo Alto)
  1 hour ago |
• 130Fable 5 On Vending-Bench: Misbehaving, With Plausible Deniability (andonlabs.com)
  by optimalsolver5 hours ago | 31 comments
• 541k Words: A Writing Contest (writingclub.world)
  by surprisetalk2 hours ago | 8 comments

< prev1 / 10 more >