516 stories from 162 submitters
  1. 3
    Entropy and Diversity: The Axiomatic Approach book math arxiv.org
    Corbin avatar via Corbin 31 hours ago | cached | 1 comment
  2. 8
    CGuard: Efficient Spatial Safety for C pdf security arxiv.org
    fro avatar via fro 3 days ago | cached | 1 comment
  3. 9
    Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty erlang arxiv.org
    elbrujohalcon avatar authored by elbrujohalcon 6 days ago | cached | no comments
  4. 6
    BlockQuicksort: How Branch Mispredictions don't affect Quicksort (2016) compsci performance arxiv.org
    dbremner avatar via dbremner 8 days ago | cached | no comments
  5. 20
    Ribbon filter: practically smaller than Bloom and Xor compsci arxiv.org
    sanxiyn avatar via sanxiyn 14 days ago | cached | 2 comments
  6. 1
    Evaluating Large Language Models Trained on Code ai arxiv.org
    sanxiyn avatar via sanxiyn 14 days ago | cached | 1 comment
  7. 5
    The Octagon Abstract Domain (2007) ☶ pdf compilers programming arxiv.org
    dbremner avatar via dbremner 19 days ago | cached | no comments
  8. 3
    Strong quantum computational advantage using a superconducting quantum processor pdf compsci hardware arxiv.org
    napkindrawing avatar via napkindrawing 19 days ago | cached | no comments
  9. 12
    Introducing PathQuery, Google's Graph Query Language databases scaling arxiv.org
    mpweiher avatar via mpweiher 25 days ago | cached | no comments
  10. 4
    Timekeeping infrastructure for the Catalina Sky Survey pdf hardware science arxiv.org
    calvin avatar via calvin 28 days ago | cached | no comments
  11. 3
    Frontal Attack: Leaking Control-Flow in SGX via the CPU Frontend pdf security arxiv.org
    fro avatar via fro 1 month ago | cached | no comments
  12. 4
    Optimistic Concurrency Control for Real-world Go Programs compilers performance arxiv.org
    gasche avatar via gasche 1 month ago | cached | 1 comment
  13. 2
    HeapSafe: Securing Unprotected Heaps in RISC-V pdf security arxiv.org
    fro avatar via fro 2 months ago | cached | 1 comment
  14. 2
    A Way Around UMIP and Descriptor-Table Exiting via TSX-based Side-Channel pdf security arxiv.org
    fro avatar via fro 2 months ago | cached | 1 comment
  15. 12
    Why AI is Harder Than We Think ☶ ai cogsci arxiv.org
    ToKi avatar via ToKi 2 months ago | cached | 1 comment
  16. 2
    Mutualized oblivious DNS (μODNS): Hiding a tree in the wild forest networking privacy security arxiv.org
    jedisct1 avatar via jedisct1 2 months ago | cached | no comments
  17. 6
    Intrinsic Propensity for Vulnerability in Computers? ☶ pdf compsci security arxiv.org
    calvin avatar via calvin 2 months ago | cached | no comments
  18. 42
    Catala: A Programming Language for the Law ☶ pdf formalmethods law plt arxiv.org
    calvin avatar via calvin 2 months ago | cached | 17 comments
  19. 23
    Bringing GNU Emacs to Native Code ☶ pdf emacs arxiv.org
    kir0ul avatar via kir0ul 2 months ago | cached | 3 comments
  20. 5
    Why Software Projects need Heroes (Lessons Learned from 1000+ Projects) practices arxiv.org
    mpweiher avatar via mpweiher 3 months ago | cached | 2 comments
  21. 9
    Underproduction: An Approach for Measuring Risk in Open Source Software practices arxiv.org
    355E3B avatar via 355E3B 3 months ago | cached | 3 comments
  22. 11
    Reproducible Builds: Increasing the Integrity of Software Supply Chains linux security arxiv.org
    Foxboron avatar via Foxboron 3 months ago | cached | no comments
  23. 4
    An Empirical Study of OSS-Fuzz Bugs pdf security arxiv.org
    fro avatar via fro 3 months ago | cached | no comments
  24. 1
    Looney Tunes: Exposing the Lack of DRM Protection in Indian Music Streaming Services ☶ pdf security arxiv.org
    calvin avatar via calvin 3 months ago | cached | 1 comment
  25. 7
    Kepler's Goat Herd: An Exact Solution for Elliptical Orbit Evolution math arxiv.org
    mseri avatar via mseri 3 months ago | cached | no comments
Page 2 >>