Stories tagged as pdf Link to a PDF document

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

  1. 20
    NASA Graphics Design Manual (1976) pdf design nasa.gov
    capjamesg avatar via capjamesg 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  2. 4
    SILE and the Hydra of Maths: Showcase & Critical Assessment 2024 ☶ pdf lua math plt drive.google.com
    alerque avatar via alerque 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 8
    Atari Floppy Disk Copy Protection pdf hardware retrocomputing reversing info-coach.fr
    calvin avatar via calvin 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 7
    Lecture 16: Relational Algebra pdf databases courses.cs.washington.edu
    eatonphil avatar via eatonphil 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 17
    (Re)affirm design principles for future C++ evolution pdf c++ open-std.org
    kornel avatar via kornel 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 16 comments
  6. 1
    A Cumulative Culture Theory for Developer Problem-Solving pdf culture practices osf.io
    chandlerc avatar via chandlerc 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 3
    Futures and Multiple Values in Parallel Lisp (1991) ☶ pdf lisp 3e8.org
    jlarocco avatar via jlarocco 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 15
    United States of America vs. Google LLC pdf browsers law storage.courtlistener.com
    gmem avatar via gmem 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 26 comments
  9. 22
    Native compilation of Prolog predicates with Cranelift pdf compilers files.adrianistan.eu
    aarroyoc avatar authored by aarroyoc 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  10. 4
    Tiling with Three Polygons is Undecidable ☶ pdf math arxiv.org
    calvin avatar via calvin 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 8
    Ghosts of Departed Proofs (2018) pdf haskell iohk.io
    fanf avatar via fanf 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  12. 5
    Spineless Traversal for Layout Invalidation ☶ pdf browsers performance arxiv.org
    asb avatar via asb 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 57
    Paged Out! #5 - hacker zine release 2 pdf c++ linux pagedout.institute
    hauleth avatar via hauleth 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  14. 5
    It’s Time to Replace TCP in the Datacenter (2023) pdf networking arxiv.org
    manuel avatar via manuel 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  15. 18
    SuperC: parsing all of C by taming the preprocessor pdf c paulgazzillo.com
    fanf avatar via fanf 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 6
    Fuzzing the PHP Interpreter via Dataflow Fusion ☶ pdf php security testing arxiv.org
    calvin avatar via calvin 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 3
    Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis pdf python dl.acm.org
    spookylukey avatar via spookylukey 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  18. 24
    A history of Erlang pdf erlang labouseur.com
    nextos avatar via nextos 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  19. 7
    Dijkstra’s Rallying Cry for Generalization: The Advent of the Recursive Procedure, late 1950s — early 1960s pdf compilers compsci historical dijkstrascry.com
    brokebit avatar via brokebit 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  20. 20
    The Design of a Self-Compiling C Transpiler Targeting POSIX Shell pdf c unix dl.acm.org
    fanf avatar via fanf 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  21. 2
    Understanding Trust Relationships in Cloud-Based Confidential Computing pdf security systex24.github.io
    df avatar via df 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  22. 5
    UNIX Programmer's Manual: Third Edition (1973) pdf unix dspinellis.github.io
    repl avatar via repl 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 2
    Massive Text Embedding Benchmark (2022) ☶ pdf ai performance science arxiv.org
    kaycebasques avatar via kaycebasques 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 31
    Principles of Dependent Type Theory pdf plt danielgratzer.com
    juuso avatar via juuso 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 10
    In Search of Types ☶ pdf historical plt humprog.org
    hwayne avatar via hwayne 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments

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

<< Page 2 | Page 4 >>