Nabokov's pale fire: the lost 'father of all hypertext demos'? (2011)(dl.acm.org)111 points by aragonite 4 months ago | 26 comments
Functional State Machines in Rust: Typestate and Newtype Patterns(dl.acm.org)109 points by matt_d 1 month ago | 38 comments
Pushdown automata in statistical machine translation (2014)(dl.acm.org)5 points by brandonb 1 month ago | 0 comments
Superoptimizer – A Look at the Smallest Program (1987) [pdf](dl.acm.org)56 points by linggen 3 months ago | 9 comments