Update README.md

Adding link @polyfractal's search site.
Update README.md

Add link to polyfractal's GitHub profile.
Update README.md

Clarity.
Update README.md

punc.
Add new category, program verification.

The inaugural paper in this category describes using Coq to create a
formalised subset of the x86 architecture.
Merge pull request #113 from kisom/master

Add new category, program verification.
Adding info theory section.
Merge pull request #114 from newsomc/info-theory

Adding info theory section and starter paper
Merge remote-tracking branch 'upstream/master'
new-paper-for-erik-hinton-pres-and-link-add-remove
Merge pull request #117 from papers-we-love/add-one-hole-context-paper-fix-link

new-paper-for-erik-hinton-pres-and-link-add-remove
Update README w/ new link and mixcloud.
Update README.md
Update README.md
android security posts mentioned in cmu blog
added The LCA Problem Revisited
Merge pull request #120 from leifwalsh/master

added The LCA Problem Revisited
Merge pull request #119 from papers-we-love/android-security

android security posts mentioned in cmu blog
functional_progamming folder was mispelled
Merge pull request #121 from abelgone/errata

Fix folder name