======Programming - Miscellaneous====== [[http://fxr.watson.org/|FreeBSD and Linux Kernel Cross-Reference]] with software from the [[http://lxr.sourceforge.net/|LXR project]]. \\ [[http://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml|Great Works in Programming Languages]] Collected by Benjamin C. Pierce \\ [[https://github.com/jloughry/BANCStar|BANCStar - The Worst Programming Environment in the World?]] on Github. \\ [[https://github.com/mame/quine-relay|Quine Relay on Github]] An uroboros program with 50 programming languages \\ [[https://github.com/vhf/free-programming-books|GitHub - vhf - Free Programming Books]] a list of free books about programming. Also: [[http://resrc.io/|reSRC]]. \\ [[http://12factor.net/|The Twelve-Factor App]] is a methodology for building software-as-a-service apps. \\ [[http://www.kegel.com|Dan Kegel's Web Hostel]] =====Blogposts/Articles===== [[http://fgiesen.wordpress.com/2011/07/09/a-trip-through-the-graphics-pipeline-2011-index/|The ryg blog - A trip through the Graphics Pipeline 2011: Index]] \\ [[http://www.salon.com/technology/feature/2006/09/14/basic/index.html|Why Johnny can't code]] \\ [[https://www.simple-talk.com/opinion/opinion-pieces/what-is-devops-really/|simple talk - What is DevOps really?]] \\ [[http://agilemanifesto.org/|Manifesto for Agile Software Development]] \\ [[http://www.fortran-2000.com/ArnaudRecipes/index.html|Arnaud's technical recipes]] =====Videos/Presentations===== [[http://www.youtube.com/watch?v=8pTEmbeENF4|YouTube - Bret Victor The Future of Programming]], [[http://worrydream.com/dbx/|References for "The Future of Programming"]], [[http://developers.slashdot.org/story/13/08/09/1641249/back-to-the-future-of-programming|Slashdot - Back To 'The Future of Programming']] \\ \\ [[http://www.i-programmer.info/news/99-professional/6263-code-by-voice-faster-than-keyboard.html|I Programmer - Code By Voice Faster Than Keyboard]] \\ =====Comparisons===== [[http://compsci.ca/v3/viewtopic.php?t=7146|Computer Science Canada - Which programming language should I learn? (Updated)]] \\ =====Languages (without their own page)===== [[http://www.idris-lang.org/|Idris]] is a general purpose pure functional programming language with [[wp>Dependent_type|dependent types]].