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.
Adding info theory section.
new-paper-for-erik-hinton-pres-and-link-add-remove
Update README w/ new link and mixcloud.
Update README.md