Stories tagged as pdf Link to a PDF document

Most often also tagged with security compsci formalmethods hardware historical plt math compilers

  1. 9
    Collaborative Text Editing with Eg-walker: Better, Faster, Smaller pdf compsci arxiv.org
    jakelazaroff avatar via jakelazaroff 7 hours ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 6
    DRAMHiT: A Hash Table Architected for the Speed of DRAM (2023) ☶ pdf compsci performance dl.acm.org
    Forty-Bot avatar via Forty-Bot 9 hours ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 2
    Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 pdf distributed assets.amazon.science
    df avatar via df 3 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 1
    Open Versus Closed: A Cautionary Tale (2006) pdf performance usenix.org
    eatonphil avatar via eatonphil 3 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 18
    C++'s next decade pdf c++ github.com
    zhscn avatar via zhscn 4 days ago |
    Archive.org Archive.today Ghostarchive
    | 20 comments
  6. 13
    LLMs Will Always Hallucinate, and We Need to Live With This pdf ai compsci arxiv.org
    Corbin avatar via Corbin 13 days ago |
    Archive.org Archive.today Ghostarchive
    | 22 comments
  7. 47
    Proposal for Emoji: Eye Bags Face pdf programming unicode.org
    soulcutter avatar via soulcutter 16 days ago |
    Archive.org Archive.today Ghostarchive
    | 15 comments
  8. 27
    A Critique of Modern SQL And A Proposal Towards A Simple and Expressive Query Language pdf databases cidrdb.org
    ange avatar via ange 18 days ago |
    Archive.org Archive.today Ghostarchive
    | 22 comments
  9. 4
    FreeBSD Journal 2024/07-08 - Storage and Filesystems pdf freebsd freebsdfoundation.org
    vermaden avatar via vermaden 18 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 5
    The Kelly Criterion in Blackjack, Sports Betting, and the Stock Market pdf finance math eecs.harvard.edu
    awreece avatar via awreece 22 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 1
    Generative Artificial Intelligence Report for Australian Securities and Investments Commission ☶ pdf ai aph.gov.au
    fcbsd avatar via fcbsd 23 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 2
    The Illusion of Randomness: An Empirical Analysis of Address Space Layout Randomization Implementations pdf security arxiv.org
    fro avatar via fro 24 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 6
    Landlock: From a security mechanism idea to a widely available implementation pdf linux security landlock.io
    fro avatar via fro 24 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 2
    Producing Wrong Data Without Doing Anything Obviously Wrong! (2009) ☶ pdf performance users.cs.northwestern.edu
    kivikakk avatar via kivikakk 28 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 18
    The Future of TLA+ pdf formalmethods lamport.azurewebsites.net
    hwayne avatar via hwayne 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  16. 2
    Cloud Actor-Oriented Database Transactions in Orleans pdf databases distributed vldb.org
    eatonphil avatar via eatonphil 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 1
    SmartCookie: Blocking large scale SYN floods with a Split-Proxy Defense on Programmable Data Planes pdf networking security engineering.purdue.edu
    madhadron avatar via madhadron 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  18. 1
    Teaching Concurrency (2009) pdf education formalmethods lamport.azurewebsites.net
    danlamanna avatar via danlamanna 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 48
    SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL ☶ pdf databases plt storage.googleapis.com
    knl avatar via knl 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 31 comments
  20. 1
    The Eyes Have It: A Task by Data Type Taxonomy for Information Visualizations (1996) pdf design cs.umd.edu
    Sietsebb avatar via Sietsebb 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  21. 2
    Using Python as wide-spectrum language (2002) pdf programming python nlnet.nl
    Sietsebb avatar via Sietsebb 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 9
    A systematic approach to deriving incremental type checkers (2020) ☶ pdf databases plt dl.acm.org
    icefox avatar via icefox 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  23. 3
    Anonymous Webs of Trust pdf cryptography publications.cispa.saarland
    shekhinah avatar via shekhinah 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 13
    A Promise Without a Remedy: The Supposed Incompatibility of the GPL v2 and Apache v2 Licenses ☶ pdf law digitalcommons.law.scu.edu
    robn avatar via robn 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  25. 8
    “Security by Design” in Practice: Assessing Concepts, Definitions, and Approaches pdf law security lawfaremedia.org
    pushcx avatar via pushcx 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments

Tip: read stories across multiple tags with /t/tag1,tag2

Page 2 >>