Data Compression - First Paper

I'm adding a survey made by Debra A. Lelewer and Daniel S. Hirschberg
covering the main D.C. algorithms from the 40s to 1986; from
Shannon-Fano to Bentley's at al. BSTW.
Merge pull request #112 from JoaoGFarias/master

Data Compression - First Paper
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
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