ReadingList.md

A Haskell Implementation Reading List

Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation

GHC(STG,Cmm,asm) illustrated for hardware persons

The Feynman Lectures on Physics, Volume I

P ?= NP

Unsong book

Managing ZFS filesystem

Politics

Who goes Nazi?

Science

Richard Feynman and The Connection Machine

Probabilistic programming

Making Money Using Math

WebPPL probabilistic programming for the web

Probabilistic Models of Cognition

The Design and Implementation of Probabilistic Programming Languages

Linear types

Linear types can change the world!

Retrofitting Linear Types

Design and implementation of RE2

Regular Expression Matching Can Be Simple And Fast (but is slow in Java, Perl, PHP, Python, Ruby, ...)

Regular Expression Matching: the Virtual Machine Approach

Regular Expression Matching in the Wild

Haskell and Records

SuperRecord: Anonymous Records for Haskell

Misc

Perhaps Not The Answer You Were Expecting But You Asked For It - Conor McBride

How a Guy From a Montana Trailer Park Overturned 150 Years of Biology

Richard Hamming - You and Your Research

If you can pronounce correctly every word in this poem, you will be speaking English better than 90% of the native English speakers in the world

INSIDE CUBA’S D.I.Y. INTERNET REVOLUTION

The Subjection of Women

About how London bombing actually produced more confidence

Forty-Five Things I Learned in the Gulag

Climate change AKA unpredictable future

Uncertainty

Philosophy

On Consciousness

Career

Google, Facebook, Amazon and Microsoft salaries

Effective Engineer - Notes

To Read

• Taking a Stroll Between The Pixels

• Why didn't Larrabee fail?

• The story of ispc: Origins (part 1)

• How to get rich quick in Silicon Valley

• How I went from $100-an-hour programming to $X0,000-a-week consulting.

• Maybe you don't need Rust and WASM to speed up your JS

• The Hacker's Diet

Papers

Scuba: Diving into Data at Facebook