<commit_before>---
layout: page
title: "Programming Books"
date:  2014-08-26 17:34:47
---

This a collections of bookmarks to interesting programming books that are available online.

- [The Nature of Code](http://natureofcode.com/book/), by <NAME>
- [High Performance Browser Networking](http://chimera.labs.oreilly.com/books/1230000000545/index.html), by <NAME>
- [Programming Languages: Application and Interpretation](http://cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/), by <NAME>
- [Software Foundations](http://www.cis.upenn.edu/~bcpierce/sf/current/index.html)
- [Learn Haskell Fast and Hard](http://yannesposito.com/Scratch/en/blog/Haskell-the-Hard-Way/)
- [Programming in Scala](http://www.artima.com/pins1ed/), by <NAME>, <NAME>, and <NAME>
- [How to Make a Computer Operating System](http://samypesse.github.io/How-to-Make-a-Computer-Operating-System/)
- [Interpreting Lisp](Interpreting Lisp)
* [Programming and Programming Languages](http://papl.cs.brown.edu/2014/)
* [Learn You an Agda](http://williamdemeo.github.io/2014/02/27/learn-you-an-agda/)

* [The Design and Implementation of Probabilistic Programming Languages](http://dippl.org/) - <NAME> and <NAME>
* [Probabilistic Models of Cognition](https://probmods.org/) - by <NAME> and <NAME>
* [Principles of Distributed Computing](http://dcg.ethz.ch/lectures/podc_allstars/lecture/podc.pdf) (Roger Wattenhofer) ([lecture notes](http://dcg.ethz.ch/lectures/podc_allstars/))
* [Distributed Systems for Fun and Profit](http://book.mixu.net/distsys/)

Some interesting reading lists:

* [<NAME> - One Programmer's Library](http://graysoftinc.com/book-reviews/one-programmers-library)
* [Coding Horror - Recommended Reading for Developers](http://blog.codinghorror.com/recommended-reading-for-developers/)<commit_msg>Add bookmarks<commit_after>---
layout: page
title: "Programming Books"
date:  2014-08-26 17:34:47
---

This a collections of bookmarks to interesting programming books that are available online.

- [The Nature of Code](http://natureofcode.com/book/), by <NAME>
- [High Performance Browser Networking](http://chimera.labs.oreilly.com/books/1230000000545/index.html), by <NAME>
- [Programming Languages: Application and Interpretation](http://cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/), by <NAME>
- [Software Foundations](http://www.cis.upenn.edu/~bcpierce/sf/current/index.html)
- [Learn Haskell Fast and Hard](http://yannesposito.com/Scratch/en/blog/Haskell-the-Hard-Way/)
- [Programming in Scala](http://www.artima.com/pins1ed/), by <NAME>, <NAME>, and <NAME>
- [How to Make a Computer Operating System](http://samypesse.github.io/How-to-Make-a-Computer-Operating-System/)
- [Interpreting Lisp](http://www.civilized.com/files/lispbook.pdf) [PDF]
- [Programming and Programming Languages](http://papl.cs.brown.edu/2014/)
- [Learn You an Agda](http://williamdemeo.github.io/2014/02/27/learn-you-an-agda/)

- [The Design and Implementation of Probabilistic Programming Languages](http://dippl.org/) - <NAME> and <NAME>
- [Probabilistic Models of Cognition](https://probmods.org/) - by <NAME> and <NAME>
- [Principles of Distributed Computing](http://dcg.ethz.ch/lectures/podc_allstars/lecture/podc.pdf) (Roger Wattenhofer)
  ([lecture notes](http://dcg.ethz.ch/lectures/podc_allstars/))
- [Distributed Systems for Fun and Profit](http://book.mixu.net/distsys/)
- [Introduction to Computing: Explorations in Language, Logic, and Machines](http://www.computingbook.org) - <NAME>

Some interesting reading lists:

- [<NAME> - One Programmer's Library](http://graysoftinc.com/book-reviews/one-programmers-library)
- [Coding Horror - Recommended Reading for Developers](http://blog.codinghorror.com/recommended-reading-for-developers/)
{'fraction_non_alphanumeric': 0.16265382557517388, 'fraction_numerical': 0.025682182985553772, 'mean_word_length': 4.888188976377953, 'pattern_counts': {'":': 0, '<': 26, '<?xml version=': 0, '>': 26, 'https://': 2, 'lorem ipsum': 0, 'www.': 6, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 2, 'word_list_counts': {'cursed_substrings.json': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1750854', 'n_tokens_mistral': 1401, 'n_tokens_neox': 1253, 'n_words': 252}