Ur is a programming language designed to introduce richer type
system features into functional programming in the tradition of ML and
Haskell. Ur is functional, pure, statically-typed, and strict. Ur
supports a powerful kind of metaprogramming based on row types. By
Alan Chipala. Hot!
Multiple Dispatch in Practice (PDF), by Radu Muschevici, Alex
Potanin, Ewan Tempero, and James Noble.
“This paper presents an empirical study of the use of multiple
dispatch in practice, considering six languages that support
multiple dispatch, and also investigating the potential for
multiple dispatch in Java programs.”
Tsunami UDP Protocol, a fast user-space file transfer protocol that
uses TCP control and UDP data for transfer over very high speed long
distance networks (≥ 1 Gbps and even 10 GE), designed to provide more
throughput than possible with TCP over the same networks.
Gerrit, a Web Based Code Review tool for Git.
99 Ecstasy tablets
Human Living Vampires, “Vampirism and sexual behavior are clearly linked.”
Introducing New People to Hunting, by GhostOfTiber.
“There needs to be a bridge from the classroom to actual hunting.”
What is Categorification?, by John Baez.
Collaborative Diffusion: Programming Antiobjects (PDF), paper by
Alexander Repenning. This is in style of “programming particles
influenced by a field”, if you remember Ian Piumarta’s talk at S3.
Learn You a Haskell for Great Good!
CameraBag group, “CameraBag is a photography app for the iPhone which
simulates five different (mostly) old-school camera types, adding a
lot of style to your photos.” I love the look.