Bookmarks

Random somewhat sorted bookmarks.

Blogs

• Artificial truth
• BCHS Stack
• David Buchanan aka retr0id
• fasterthanlime
• Hikari No Yume
• jwz
• kapouay.eu.org
• molentum
• more-magic.net
• Palaiologos
• romanzolotarev.com (formerly rgz.ee)
• scanlime
• Tab Completion
• twey.io
• welltypedwit.ch
• Wolfgang’s Blog
• Xe Iaso

Articles and papers

• An Efficient Unification Algorithm
• CONS Should not CONS its Arguments, or, a Lazy Alloc is a Smart Alloc
• CONS Should not CONS its Arguments, Part II: Cheney on the M.T.A.
• Cons Should not Evaluate its Arguments
• Efficient Extensional Binary Tries
• Handling Time In Base 6
• Horrible edge cases to consider when dealing with music
• Marsaglia efficient random number generators in C
• Synthetic Homotopy Theory
• The algebra (and calculus!) of algebraic data types
• Uncertainty as Applied to Measurements and Calculations
• Unified Approach to Real Numbers in Various Mathematical Settings
• What Every Computer Scientist Should Know About Floating-Point Arithmetic

Books

• 1lab
• Certified Programming with Dependent Types
• COMMON LISP: A Gentle Introduction to Symbolic Computation
• Concrete Semantics
• Counterexamples in Type Systems
• Formal Reasoning About Programs
• Functional Data Structures And Algorithms
• Homotopy Type Theory
• Purely Functional Data Structures
• Software Foundations
• Structure and Interpretation of Computer Programs
• System V Application Binary Interface AMD64 Architecture Processor Supplement
• SYSTEM V APPLICATION BINARY INTERFACE Intel386 Architecture Processor Supplement
• SYSTEM V APPLICATION BINARY INTERFACE
• The Open Group Base Specifications Issue 8