Yeah Sweeney was really active on the programming theory site http://lambda-the-ultimate.org/

It looks like it's currently down (not sure if a glitch or what).