Certified Programming with Dependent Types
Certified Programming with Dependent Types latest update September 26, 2013
Bibliography of Scheme-related Research
Advanced R development - GitHub
OO Design Principles « Valuable Opinions
Mind if I do a J? - The laid back J tutorial
9GAG - When You Write Your Essays in Programming Languages
Introduction to Parallel Computing
Tom Faulhaber: Lisp, Functional Programming, and the State of Flow
fabricate - Project Hosting on Google Code
fabricate is a build tool that finds dependencies automatically for any language. It's small and just works. No hidden stuff behind your back. It was inspired…
udrepper: Memory and Cache Paper
Ksplice » Solving problems with proc - System administration and software blog
Is Parallel Programming Hard, And, If So, What Can You Do About It?
Classic Papers in Programming Languages and Logic
A Graph Processing Stack |
Why Use R? (A nice introduction to R's advantages) : programming
Writing Robust Bash Shell Scripts
The Unofficial Ruby Usage Guide
Database development mistakes made by application developers - Stack Overflow
Darius Bacon
An inspiring page.
Programmer Competency Matrix
Objective-C Beginner's Guide
The Pragmatic Bookshelf | Read Our Magazines
Natural Language Processing for the Working Programmer
Lisp programming style
Lisp programming style guide: (via @vu3rdd)
Mechanical Keyboard Guide - Overclock.net - Overclocking.net
On C Library Implementation - Rusty Russell's Coding Blog
The Common Lisp Cookbook
Programming Android
Where Tcl and Tk Went Wrong
Recordings for the Programming Languages Course
by Dr Venkar Subramaniam, author of scala and groovy books
- More links