Bookmarks
- ๐ ๐ฆฎ The Zipper - Gรฉrard Huet (2025-12-01) #algo #pdf
- ๐ ๐ฆฎ Chunking Attacks on File Backup Services using Content-Defined Chunking (2025-03-22) #content-defined-chunking #pdf #security
- ๐ ๐ฆฎ Capability-Based Computer Systems (2025-03-21) #compiler #pdf #capabilities
- ๐ ๐ฆฎ Data Race Freedom ร la Mode (2025-03-16) #pdf #ocaml
- ๐ ๐ฆฎ Preservation of Speculative Constant-Time by Compilation (2025-03-16) #side-channel #pdf
- ๐ ๐ฆฎ User-Level Implementations of Read-Copy Update RCU (2024-03-27) #rcu #memory #pdf
- ๐ ๐ฆฎ An Incremental Approach to Compiler Construction (2024-02-01) #compiler #lisp #pdf
- ๐ ๐ฆฎ FastCDC: a Fast and Efficient Content-Defined Chunking Approach for Data Deduplication (2023-09-21) #pdf #deduplication #chunk
- ๐ ๐ฆฎ Experience Report: Kandria - A Game in Common Lisp (2023-09-17) #lisp #pdf #els #kandria
- ๐ ๐ฆฎ Design and implementation of a (2023-09-09) #pdf #language #fp #oo
- ๐ ๐ฆฎ Immix: A Mark-Region Garbage Collector with Space Efficiency, Fast Collection, and Mutator Performance (2023-08-29) #lisp #pdf #gc #immix
- ๐ ๐ฆฎ https://applied-langua.ge/~hayley/swcl-gc.pdf (2023-08-29) #lisp #sbcl #pdf #gc
- ๐ ๐ฆฎ https://research.gold.ac.uk/id/eprint/2344/1/sequences-20070301.pdf (2023-08-22) #lisp #sequence #pdf
- ๐ ๐ฆฎ Privacyofdialerandsmsapps (2023-08-20) #pdf #privacy #google
- ๐ ๐ฆฎ https://stefan-marr.de/downloads/oopsla23-larose-et-al-ast-vs-bytecode-interpreters-in-the-age-of-meta-compilation.pdf (2023-08-15) #compiler #ast #bytecode #performance #pdf
- ๐ ๐ฆฎ http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf (2023-08-14) #pdf #compiler
- ๐ ๐ฆฎ Cryptocoding sstic14 (2023-08-13) #pdf #crypto
- ๐ ๐ฆฎ Copypest (2023-08-13) #js #security #slides #clipboard #xss #pdf
- ๐ ๐ฆฎ Sec16 paper vanhoef (2023-08-13) #pdf #wpa2
- ๐ ๐ฆฎ https://www.blackhat.com/presentations/bh-usa-07/Yason/Whitepaper/bh-usa-07-yason-WP.pdf (2023-08-13) #pdf #reverse #packer
- ๐ ๐ฆฎ Efficiently bypassing SNI-based HTTPS filtering (2023-08-13) #pdf #security #https #sni
- ๐ ๐ฆฎ Crypto news and views (2023-08-13) #pdf #slides #crypto
- ๐ ๐ฆฎ Article (2023-08-13) #pdf #security #math #dh
- ๐ ๐ฆฎ 20141106 asfws unicode hacks (2023-08-13) #pdf #security #unicode #slides
- ๐ ๐ฆฎ 677 (2023-08-13) #pdf #security #crypto #red
- ๐ ๐ฆฎ https://publications.sba-research.org/publications/AdrianDabrowski-IMSI-Catcher-Catcher-ACSAC2014-preprint-20140820.pdf (2023-08-13) #pdf #gsm #imsi-catcher
- ๐ ๐ฆฎ https://dreamsongs.com/Files/clos-cacm.pdf (2023-08-12) #lisp #pdf #clos
- ๐ ๐ฆฎ Purely Functional Data Structures (2022-10-13) #pdf #algo