| user: | nolta |
| created: | April 7, 2015 |
| karma: | 290 |
| 1. | |
| 2. | Drawvg Filter for FFmpeg(ayosec.github.io) |
| 3. | |
| 4. | |
| 5. | Naïve Type Theory [video](youtube.com) |
| 6. | From Set Theory to Type Theory (2013)(golem.ph.utexas.edu) |
| 7. | Facebook Scaled Back Voter Registration Kickoff(techtransparencyproject.org) |
| 8. | Zenzizenzizenzic(en.wikipedia.org) |