E17 Release: ZERO, “the first and final official release of E17”.
GNU sed 4.2.2 released, and a rant from the maintainer, Paolo Bonzini steps down from GNU sed and GNU grep.
GnuTLS, copyright assignment, and GNU project governance, at LWN.
Afterquery is a pure-client-side javascript tool that downloads jsonp-formatted data from a given URL, applies a configurable series of transformations, and then renders the result as either a data table or a Google Visualizations (gviz) chart. Features a very nice query language.
go.wde provides windows, drawing and events for Go on X11, Win and Mac.
ML4PG, a machine-learning extension for Proof General. It allows to gather proof statistics related to shapes of goals, sequences of applied tactics, and proof-tree structures from the libraries of interactive higher-order proofs written in Coq and SSReflect. WJW.
Dstat is a versatile replacement for vmstat, iostat, netstat and ifstat.
Searching Without Objectives, “Kenneth O. Stanley considers that innovation is stifled when we are strictly following a high goal, and we would progress more when we are inclined to discovery rather than following an objective.” Recommended.
Embedding Pure Type Systems in the lambda-Pi-calculus modulo (PDF), by Denis Cousineau and Gilles Dowek.
Dedukti is a universal proof checker, based on the λΠ-calculus modulo formalism.
What Would Be Left, If…?, apocalypses in math and theory.
My type design philosophy, by Martin Majoor. I like his idea of an “Akzidenz Grotesk Italic”.