The art of Java benchmarking http://www.azulsystems.com/events/javaone_2009/session/2009_J1_Benchmark.pdf

Blogged "Functors, Applicative Functors, and Monads aren't that scary" http://t.co/v98yjhI

Nice reference for type-level programming in Scala http://t.co/Z45VW7H9

a (purely functional) turing machine interpreter in Scala http://t.co/e9QbdSHY (toy I wrote to verify some Turing Machine exercises)

A classic! RT @mfeathers Hilarious rejection notices of the most important papers in CS: http://bit.ly/ekFfgS [PDF]

Functional reactive programming in Scala? Deprecating Observers http://lamp.epfl.ch/~imaier/pub/DeprecatingObserversTR2010.pdf

what happens in a monad stays in a monad

@jorgeo technical debt default swaps (in which you promise to fix the other team mess if they take care of yours)

Scala at TomTom, cool presentation by @ebowman http://www.slideshare.net/kikibobo/scala-tomtom

Algebraic Data Types http://t.co/WIZPa7Gs

Functor, Applicative Functor, Monad in Haskell and Scala http://t.co/YL6a90s

Funny! Programming languages and their relationship styles http://bit.ly/H5LSa

Math for CS ( http://t.co/MDcohVY6 ) is 800 pages, and you know what ? You're going to need it, get over it...

Pierce's CIS 500: Software Foundations - Spring 2011 http://t.co/KM5Z08nA

Stanford ML course videos (this is the "full strength" one ) http://t.co/n6R2WfSx (ht @ravi_mohan )

Nice, Isabelle now exports to Scala! http://t.co/LrxzNaCn (HT @psnively)

like it or not, programming is applied logic, we choose to ignore it, but I don't think we can escape from that

"tl;dr: everyone should take the time to learn dependent types. They’re mind-opening" (@copumpkin in http://t.co/Q4hL47L )

B. Pierce: Types considered harmful! http://bit.ly/tJi6j

Certified Programming with Dependent Types http://adam.chlipala.net/cpdt/