Yeah Sweeney was really active on the programming theory site http://lambda-the-ultimate.org/ http://lambda-the-ultimate.org/ It looks like it's currently down

Yeah Sweeney was really active on the programming theory site http://lambda-the-ultimate.org/ http://lambda-the-ultimate.org/ It looks like it's currently down (not sure if a glitch or what).