Last active
January 4, 2018 05:42
-
-
Save justanotherdot/013500a5b942442259db489d169fdbcd to your computer and use it in GitHub Desktop.
Revisions
-
justanotherdot renamed this gist
Jan 3, 2018 . 1 changed file with 0 additions and 0 deletions.There are no files selected for viewing
File renamed without changes. -
justanotherdot renamed this gist
Jan 3, 2018 . 1 changed file with 0 additions and 0 deletions.There are no files selected for viewing
File renamed without changes. -
justanotherdot created this gist
Jan 3, 2018 .There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode charactersOriginal file line number Diff line number Diff line change @@ -0,0 +1,49 @@ # Reading List - 2018 ## Books * Coders at Work * Messy * Release it! * Game Engine Black Book * Twelve Steps to a Compassionate Life * Writing Without Bullshit * Programming Rust * Google SRE Book * High Performance Network Browsing * Probability For the Enthusiastic Beginner * Type Theory and Formal Proof * Systems Performance * More OCaml * Thinking Fast and Slow * Euler's Gem * Letters from a Stoic * Rumi poems * To Mock a Mockingbird * Book of Abstract Algebra * Godel, Escher, Bach * Book of Proof * Pearls of Functional Algorithm Design * Practical Foundations for Programming Languages * Type-Driven Development with Idris * Types and Programming Languages * The Linux Programming Interface * Category theory in context ## Articles + Papers (time permitting) * Lion's Unix Commentary * Architecture of Open Source Software * Liquid Haskell book * The Lazy Logicians Guide to Linear Logic * Solaris to Linux Migration * Oleg Kieselyov Articles * 2010 Haskell Spec * Rust by Example * GHC User's Guide * LLVM Tutorial (both on site and llvm-hs-kaleidescope repo) * Let's Build a Simple DB! * Interactive Tutorial of Sequent Calculus * RealWorld examples source code * glambda source code * sixten source code * Typeclassopedia