Stories tagged as pdf Link to a PDF document

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

  1. 17
    An Engineer’s Guide to USB Type-C ti.com
    via dgv
    caches
    6 comments
  2. 5
    K2 Reference Manual (1998) web.archive.org
    via veqq
    caches
    4 comments
  3. 12
    Rust for Morello: Always-On Memory Safety, Even in Unsafe Code drops.dagstuhl.de
    via jado
    caches
    no comments
  4. 5
    Scanline edge-flag algorithm for antialiasing mlab.taik.fi
    via xqb64
    caches
    no comments
  5. 6
    Aurora DSQL: Scalable, Multi-Region OLTP arxiv.org
    via typesanitizer
    caches
    no comments
  6. 6
    A novel computer Scrabble engine based on probability that performs at championship level (2021) upcommons.upc.edu
    via calvin
    caches
    1 comment
  7. 5
    Lab 6 lab6.com
    via FIGBERT
    caches
    3 comments
  8. 12
    Inventing ELIZA - How the First Chatbot Shaped the Future of AI ☶ mitpress.mit.edu
    via adamo
    caches
    7 comments
  9. 3
    Misconceptions about Loops in C (2024) ☶ openaccess.city.ac.uk
    via allie
    caches
    no comments
  10. 11
    Practical Algorithms for Incremental Software Development Environments eecs.berkeley.edu
    via chiply
    caches
    3 comments
  11. 3
    Computational Balloon Twisting: The Theory of Balloon Polyhedra (2008) ☶ cccg.ca
    via fanf
    caches
    no comments
  12. 19
    A Final Return for OpenBSD Anti-Return-Oriented Programming Mitigations papers.ssrn.com
    via fro
    caches
    9 comments
  13. 16
    A Measurement Study on the Adoption of Pledges and Unveils in the OpenBSD Operating System arxiv.org
    via fro
    caches
    1 comment
  14. 4
    erosiv - Stochastic Geomorphological Transport for Terrain Erosion Simulation erosiv.studio
    via pushcx
    caches
    no comments
  15. 8
    Seventy Years of Parsing: Theoretical and Practical Consequences langsec.org
    via cript0nauta
    caches
    1 comment
  16. 18
    The GNU Emacs Architecture diva-portal.org
    via lr0
    caches
    3 comments
  17. 4
    A Gentle Introduction to Lattice-Based Cryptography cryptography101.ca
    via hoistbypetard
    caches
    no comments
  18. 5
    Apple Neural Engine: Architecture, Programming, and Performance ☶ arxiv.org
    via kot
    caches
    no comments
  19. 24
    A Core Calculus for Documents (2024) dl.acm.org
    via typesanitizer
    caches
    6 comments
  20. 32
    A Typed, Algebraic Approach to Parsing (2019) cl.cam.ac.uk
    via fanf
    caches
    4 comments
  21. 5
    Comparing Transformers and Hybrid Models at the Token Level arxiv.org
    via jado
    caches
    no comments
  22. 3
    The Limits of Generalized Sync: ATaxonomy of Architectures, Trade‑offs, and Decision Factors aaltodoc.aalto.fi
    via typesanitizer
    caches
    no comments
  23. 3
    A framework for systematically addressing undefined behaviour in the C++ Standard open-std.org
    via linkdd
    caches
    no comments
  24. 11
    Dear researchers: help me deal with incidents surfingcomplexity.blog
    via typesanitizer
    caches
    1 comment
  25. 2
    Monkey: Optimal Navigable Key-Value Store (2017) nivdayan.github.io
    via typesanitizer
    caches
    no comments

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