467 stories from 150 submitters
  1. 3
    Refinement Types: A Tutorial ☶ compilers compsci formalmethods arxiv.org
    craigstuntz avatar via craigstuntz 8 days ago | cached | no comments
  2. 3
    Pretrained Transformers for Text Ranking: BERT and Beyond ai arxiv.org
    binarymax avatar via binarymax 12 days ago | cached | no comments
  3. 2
    Guided Curriculum Learning for Walking Over Complex Terrain ai arxiv.org
    friendlysock avatar via friendlysock 13 days ago | cached | no comments
  4. 5
    Yaps: Python Frontend to Stan math plt programming arxiv.org
    seg_lol avatar via seg_lol 21 days ago | cached | 1 comment
  5. 6
    The Hardware Lottery historical arxiv.org
    GeoffWozniak avatar via GeoffWozniak 27 days ago | cached | no comments
  6. 2
    Learning with Differentiable Perturbed Optimizers ai math arxiv.org
    mseri avatar via mseri 28 days ago | cached | no comments
  7. 7
    The Cost of Software-Based Memory Management Without Virtual Memory osdev arxiv.org
    GeoffWozniak avatar via GeoffWozniak 1 month ago | cached | no comments
  8. 6
    The Cost of Software-Based Memory Management Without Virtual Memory ☶ pdf osdev virtualization arxiv.org
    calvin avatar via calvin 1 month ago | cached | no comments
  9. 6
    High Speed Hashing for Integers and Strings ☶ pdf performance programming arxiv.org
    calvin avatar via calvin 1 month ago | cached | 1 comment
  10. 3
    Interprocess Communication in FreeBSD 11 – Performance Analysis freebsd arxiv.org
    vermaden avatar via vermaden 1 month ago | cached | 1 comment
  11. 2
    Generative Language Modeling for Automated Theorem Proving ai formalmethods math arxiv.org
    sanxiyn avatar via sanxiyn 1 month ago | cached | no comments
  12. 3
    Optimized finite-build stellarator coils using automatic differentiation math science arxiv.org
    mseri avatar via mseri 1 month ago | cached | 1 comment
  13. 3
    Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges pdf cryptocurrencies finance arxiv.org
    friendlysock avatar via friendlysock 1 month ago | cached | no comments
  14. 6
    A Simple Soundness Proof for Dependent Object Types pdf plt scala arxiv.org
    calvin avatar via calvin 2 months ago | cached | no comments
  15. 2
    Evaluating BBRv2 on the Dropbox Edge Network networking arxiv.org
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  16. 1
    The Deep Learning Compiler: A Comprehensive Survey ai compilers arxiv.org
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  17. 13
    Speculative Dereferencing of Registers: Reviving Foreshadow pdf security arxiv.org
    fro avatar via fro 2 months ago | cached | 5 comments
  18. 12
    The Amazing Power of Randomness: NP=RP ☶ crypto math arxiv.org
    mz avatar via mz 2 months ago | cached | 7 comments
  19. 6
    BasicBlocker: Redesigning ISAs to Eliminate Speculative-Execution Attacks hardware security arxiv.org
    sanxiyn avatar via sanxiyn 2 months ago | cached | 1 comment
  20. 3
    A New Doctrine for Hardware Security pdf security arxiv.org
    fro avatar via fro 2 months ago | cached | no comments
  21. 4
    In defense of the epistemic view of quantum states: a toy theory math philosophy arxiv.org
    Corbin avatar via Corbin 3 months ago | cached | 1 comment
  22. 4
    PThammer: Cross-User-Kernel-Boundary Rowhammer through Implicit Accesses security arxiv.org
    crazyloglad avatar via crazyloglad 3 months ago | cached | no comments
  23. 2
    DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning ai arxiv.org
    breandan avatar via breandan 3 months ago | cached | no comments
  24. 2
    Learning Differential Equations that are Easy to Solve ai math arxiv.org
    breandan avatar via breandan 3 months ago | cached | no comments
  25. 24
    A Proposal for Proquints: Identifiers that are Readable, Spellable, and Pronounceable a11y programming arxiv.org
    alexandria avatar via alexandria 3 months ago | cached | 9 comments
Page 2 >>