logo
NewsNewestShowJobs
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