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