arxiv.org: 589 stories from 190 submitters

  1. 10
    Wordle is NP-hard compsci arxiv.org
    azhenley avatar via azhenley 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 2
    A Conversational Paradigm for Program Synthesis ai arxiv.org
    azhenley avatar via azhenley 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 19
    Measuring the Earth with Traceroute ☶ pdf education networking arxiv.org
    ema avatar via ema 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  4. 16
    On the design of text editors ☶ pdf design emacs arxiv.org
    calvin avatar via calvin 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  5. 15
    A Formal Model of Checked C c formalmethods arxiv.org
    sanxiyn avatar via sanxiyn 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 9
    50 Years of Prolog and Beyond plt arxiv.org
    aarroyoc avatar via aarroyoc 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 3
    Deep Multi-attribute Graph Representation Learning on Protein Structures (2020) pdf ai arxiv.org
    suppimo avatar via suppimo 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  8. 6
    Lock-Free Locks Revisited c++ compsci arxiv.org
    crstry avatar via crstry 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  9. 3
    Learning to Break Deep Perceptual Hashing ☶ pdf security arxiv.org
    fcbsd avatar via fcbsd 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 13
    How ISO C became unusable for operating systems development c compilers osdev arxiv.org
    crstry avatar via crstry 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 19 comments
  11. 6
    A Benchmark of JSON-compatible Binary Serialization Specifications pdf programming science arxiv.org
    ignaloidas avatar via ignaloidas 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  12. 7
    On the Analysis of Web Browser Security browsers security arxiv.org
    sanxiyn avatar via sanxiyn 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 3
    Profile Guided Optimization without Profiles: A Machine Learning Approach ai compilers arxiv.org
    Ameo avatar via Ameo 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 6
    Sharing and Learning Alloy on the Web (2019) ☶ pdf education formalmethods arxiv.org
    hcs avatar via hcs 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  15. 13
    A Manifesto for Applicable Formal Methods ☶ pdf formalmethods arxiv.org
    ToKi avatar via ToKi 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  16. 23
    Does the Bronze Garbage Collector Make Rust Easier to Use? A Controlled Experiment rust science arxiv.org
    icefox avatar via icefox 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 22 comments
  17. 2
    On the Optimal Time/Space Tradeoff for Hash Tables pdf performance programming arxiv.org
    idiot-bird avatar via idiot-bird 9 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 5
    The Essence of Inheritance ☶ pdf compsci arxiv.org
    vrthra avatar via vrthra 9 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 5
    Recommendations to clarify NASA open source requirements pdf law arxiv.org
    jaypatelani avatar via jaypatelani 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  20. 6
    Nyx-Net: Network Fuzzing with Incremental Snapshots security arxiv.org
    crazyloglad avatar via crazyloglad 9 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 9
    Array Layouts for Comparison-Based Searching performance arxiv.org
    jorangreef avatar via jorangreef 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  22. 3
    Galileo, Ignoramus: Mathematics versus Philosophy in the Scientific Revolution math philosophy arxiv.org
    quad avatar via quad 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  23. 22
    Bugs in our Pockets: The Risks of Client-Side Scanning pdf privacy security arxiv.org
    proctrap avatar via proctrap 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  24. 1
    Driven by Compression Progress (2009) pdf ai compsci arxiv.org
    Corbin avatar via Corbin 10 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 60
    Is this the simplest (and most surprising) sorting algorithm ever? pdf compsci arxiv.org
    friendlysock avatar via friendlysock 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 14 comments
<< Page 1 | Page 3 >>