prev 1 / 10 more

• 6
  Synthesizing Loop-Free Programs with Rust and Z3 (2020) (fitzgen.com)
  by karelpeeters3 days ago 0 comments
• 431
  OpenAI bots knew about the RubyGems caching vulnerability (tenderlovemaking.com)
  by gregnavis18 hours ago 54 comments
• 280
  Distributed Systems Classics (2017) (nvartolomei.com)
  by grep_it15 hours ago 15 comments
• 201
  A beginning for mathematics (daniellitt.com)
  by robinhouston15 hours ago 29 comments
• 121
  Compressing a flag to 11 bits (read.vantezzen.io)
  by bennett_dev2 days ago 23 comments
• 56
  Show HN: Macros with a Behringer FCB1010 MIDI Pedalboard in macOS (github.com)
  by fretlessjazz8 hours ago 10 comments
• 45
  Show HN: Redis City – Explore how Redis works in an interactive 3D model (poltora.dev)
  by poltora2 days ago 6 comments
• 195
  Principles for Fast Tokio Applications (dial9-rs.github.io)
  by carllerche15 hours ago 9 comments
• 323
  Ask HN: What are you working on? (September 2026)
  by david9271 day ago 742 comments
• 150
  Ubuntu 26.10 completes transition to Rust-based coreutils (omgubuntu.co.uk)
  by theanonymousone17 hours ago 21 comments

prev 1 / 10 more