As you may notice, we have a new design that fits in much better with the design of the rest of the site. Enjoy!
As you may notice, we have a new design that fits in much better with the design of the rest of the site. Enjoy!
Google Summer of Code will pay you $4500 if you complete an open-source project over summer. Only two questions:
Seriously, Untyped and other ventures are keeping me busy enough that participating isn’t really viable. However this does look like an excellent opportunity for both OSS projects, and developers with free time.
I’ve just become aware that a lot of the PLT crew are keeping blogs. Worth checking out if Lambda the Ultimate doesn’t provide you with enough daily programming language theory are:
Jacob’s blog is particularly interesting to me for two reasons:
Everything must have a beginning. This is ours.