Client-side MVC is not a silver bullet, Thomas Fuchs: “It’s better to let the server handle HTML rendering and minimize the use of JavaScript on the client.”
Mechanizing Metatheory in a Logical Framework (PDF), by Robert Harper and Daniel R. Licata.
Go 1.1 Function Calls, by Russ Cox: “As part of addressing the dynamic code generation problem for Go 1.1, it is worth taking a broader look at the way Go implements function calls.”
Godef prints the source location of definitions in Go programs. This is awesome, especially when used from the new go-mode.el.
errcheck is a program for checking for unchecked errors in Go programs.
mlannot is an OCaml annotation extractor for VIM.
Kaputt is a unit testing tool for the OCaml language, also featuring QuickCheck-like tests.
DIY Weapons of the Syrian Rebels, WJW.
PETPETA, People for Ethical Treatment of People for Ethical Treatment of Animals.