Lambda the Ultimate

A rather fun and instructive series of posts about implementing a cellular automaton in idiomatic Clojure, and making it run fast (and in parallel).

Be sure to read the second part, and the errata.

Hi all!

Please guide me to actual hot topics in type theorem, what is researched heavily nowadays? Which are the good online and offline sources of publications in this field?
Thanks,