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