done reading

• "Racket Manifesto", Mattias Feliesen, et al.
• "Using deBruijn sequences to index a 1 in a computer word", Charles Leiserson, Keith Randall, et al.
• "Some thoughts on security after ten years of qmail 1.0", djb
• "How to read a paper", S. Keshav
• "The bugs we have to kill"

currently reading

• "A new implementation technique for applicative Languages", David A. Turner
• "Making reliable distributed systems in the presence of software errors", Joe Armstrong PhD thesis, 2003
• "Actors: A Model Of Concurrent Computation In Distributed Systems", Gul A Agha.

abandoned

• "An Algorithm for Differential File Comparison", Hunt & McIlroy

unread queue

• "Breaking Paragraphs into Lines", Knuth & Plass
• "Lazy Memo-functions", John Hughes
• "µKanren", Dan Friedman et al.
• "Generating 56-bit passwords using Markov Models (and Charles Dickens)", John Clements. More info here
• "Super-combinators a new implementation method for applicative languages", John Hughes
• Shredding Your Garbage: Reducing Data Lifetime Through Secure Deallocation
• The Halting Problems of Network Stack Insecurity
• Type classes with functional dependencies, Mark P Jones
• Functional Programming with Bananas, Lenses and Barbed Wires, Erik Meijer et al.
• The essence of the iterator pattern, Jeremy Gibbons et al