prev 1 / 10 more

• 42
  Designing Predictable LLM-Verifier Systems for Formal Method Guarantee (arxiv.org)
  by PaulHoule6 hours ago 3 comments
• 101
  Never Use Pixelation to Hide Sensitive Text (2014) (dheera.net)
  by basilikum7 days ago 13 comments
• 186
  One year of keeping a tada list (ducktyped.org)
  by egonschiele6 days ago 17 comments
• 8
  Doublespeak: In-Context Representation Hijacking (mentaleap.ai)
  by surprisetalk6 days ago 0 comments
• 9
  Vibration Isolation of Precision Objects (2005) [pdf] (sandv.com)
  by nill06 days ago 0 comments
• 22
  tc-ematch(8) extended matches for use with "basic", "cgroup" or "flow" filters (man7.org)
  by hamonrye4 hours ago 0 comments
• 956
  Floor796 (floor796.com)
  by krtkush1 day ago 49 comments
• 8
  Loss of moist broadleaf forest in Africa has turned a carbon sink into source (nature.com)
  by PaulHoule29 minutes ago 0 comments
• 55
  2D Signed Distance Functions (iquilezles.org)
  by nickswalker3 days ago 2 comments
• 87
  We "solved" C10K years ago yet we keep reinventing it (2003) (kegel.com)
  by birdculture2 days ago 12 comments

prev 1 / 10 more