Es lebe der Witz!
HTTP/2.0 – The IETF is Phoning It In,
Poul-Henning Kamp: “Bad protocol, bad politics.”
New Clues, from Doc Searls and David Weinberger. This.
Announcing Rust 1.0 Alpha
DIY calculator: HP30b to WP34S!, an much enchanced open-source
alternative firmware for HP calculators.
COHERENT source code has been released under a BSD-style license.
olddoc contains old-fashioned RDoc document generators for those who
do not wish to impose bloated, new-fangled web cruft on their readers.
calculation, a package for typesetting reasoned calculations, also
called calculational proofs. The notion of reasoned calculations or
calculational proofs was originally advocated by Wim Feijen and Edsger
kvm-wrapper is (yet another) virtual machines manager, to be used
with KVM. It intends to be lightweight, simple (and hackable), and
started as a tiny wrapper for personnal use. kvm-wrapper is written in
A term of length 4,523,659,424,929 (PDF), by A. R. D. Mathias.
“Bourbaki suggest that their definition of the number 1 runs to some
tens of thousands of symbols. We show that that is a considerable
underestimate, the true number of symbols being that in the title,
not counting 1,179,618,517,981 disambiguatory links.”
Der Extremismus der Mitte, von Wolfgang Lieb.
VVVVVV Speedrun (YouTube) by FieryBlizzard.
Using less than 30 minutes. Wow.
If Scheme were like Scheme