arxiv.org: 579 stories from 187 submitters

  1. 15
    A fast in-place interpreter for WebAssembly plt wasm arxiv.org
    eatonphil avatar via eatonphil 41 hours ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 8
    MagicPairing: Apple's Take on Securing Bluetooth Peripherals pdf hardware ios security arxiv.org
    calvin avatar via calvin 47 hours ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 3
    Gödel Machines: Self-Referential Universal Problem Solvers (2006) ai arxiv.org
    milkandcigarettes avatar via milkandcigarettes 9 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  4. 2
    Autoformalization with Large Language Models ai formalmethods arxiv.org
    sanxiyn avatar via sanxiyn 13 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 6
    Aeneas: Rust Verification by Functional Translation formalmethods rust arxiv.org
    sanxiyn avatar via sanxiyn 13 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 8
    Raw Filtering of JSON Data on FPGAs pdf performance arxiv.org
    rsdbdr203 avatar via rsdbdr203 26 days ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  7. 3
    ClangJIT: Enhancing C++ with Just-in-Time Compilation pdf compilers plt arxiv.org
    dpercy avatar via dpercy 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 3
    The Semantics of Rank Polymorphism pdf apl plt arxiv.org
    calvin avatar via calvin 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 4
    Maximum Flow and Minimum-Cost Flow in Almost-Linear Time compsci arxiv.org
    dl avatar via dl 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 30
    Copy-and-Patch Compilation: A fast compilation algorithm for high-level languages and bytecode pdf compilers arxiv.org
    msfjarvis avatar via msfjarvis 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  11. 7
    ShorTor: Improving Tor Network Latency via Multi-hop Overlay Routing networking privacy arxiv.org
    nomemory avatar via nomemory 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 11
    A Study of Real-World Data Races in Golang pdf go plt practices arxiv.org
    armael avatar via armael 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  13. 3
    Goodbye Tracking? Impact of iOS App Tracking Transparency and Privacy Labels ios privacy arxiv.org
    asymmetric avatar via asymmetric 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  14. 4
    Understanding the role of single-board computers in engineering and computer science education hardware practices arxiv.org
    mtset avatar via mtset 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 6
    The State of Fortran fortran arxiv.org
    sanxiyn avatar via sanxiyn 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 10
    Wordle is NP-hard compsci arxiv.org
    azhenley avatar via azhenley 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  17. 2
    A Conversational Paradigm for Program Synthesis ai arxiv.org
    azhenley avatar via azhenley 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 19
    Measuring the Earth with Traceroute ☶ pdf education networking arxiv.org
    ema avatar via ema 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  19. 16
    On the design of text editors ☶ pdf design emacs arxiv.org
    calvin avatar via calvin 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  20. 15
    A Formal Model of Checked C c formalmethods arxiv.org
    sanxiyn avatar via sanxiyn 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 9
    50 Years of Prolog and Beyond plt arxiv.org
    aarroyoc avatar via aarroyoc 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 3
    Deep Multi-attribute Graph Representation Learning on Protein Structures (2020) pdf ai arxiv.org
    suppimo avatar via suppimo 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  23. 6
    Lock-Free Locks Revisited c++ compsci arxiv.org
    crstry avatar via crstry 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  24. 3
    Learning to Break Deep Perceptual Hashing ☶ pdf security arxiv.org
    fcbsd avatar via fcbsd 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 13
    How ISO C became unusable for operating systems development c compilers osdev arxiv.org
    crstry avatar via crstry 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 19 comments
Page 2 >>