logoNewsNewestAskShowJobs Open on GitHub
< prev1 / 10 more >
  • 39Designing Predictable LLM-Verifier Systems for Formal Method Guarantee (arxiv.org)
    by PaulHoule6 hours ago | 3 comments
  • 92Never Use Pixelation to Hide Sensitive Text (2014) (dheera.net)
    by basilikum7 days ago | 13 comments
  • 182One year of keeping a tada list (ducktyped.org)
    by egonschiele6 days ago | 17 comments
  • 22tc-ematch(8) extended matches for use with "basic", "cgroup" or "flow" filters (man7.org)
    by hamonrye4 hours ago | 0 comments
  • 8Vibration Isolation of Precision Objects (2005) [pdf] (sandv.com)
    by nill06 days ago | 0 comments
  • 948Floor796 (floor796.com)
    by krtkush1 day ago | 49 comments
  • 353Last Year on My Mac: Look Back in Disbelief (eclecticlight.co)
    by vitosartori10 hours ago | 55 comments
  • 83We "solved" C10K years ago yet we keep reinventing it (2003) (kegel.com)
    by birdculture2 days ago | 11 comments
  • 512D Signed Distance Functions (iquilezles.org)
    by nickswalker3 days ago | 2 comments
  • 130Rex is a safe kernel extension framework that allows Rust in the place of eBPF (github.com)
    by zdw5 days ago | 9 comments
< prev1 / 10 more >