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.
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.