Joe Cutler @alphaconvert.bsky.social · 16/05/2025Wow, they made Cheyenne Mountain from the hit 1983 thriller WarGames starting Ally Sheedy and Matthew Broderick into a real place! 140
Joe Cutler @alphaconvert.bsky.social · 25/01/2025Oh, sure. One can write down the GADT for ASTs of Applicative Expressions. But that feels like cheating :) 120
Joe Cutler @alphaconvert.bsky.social · 20/01/2025Philly -> Denver for POPL! I’ll be speaking at PLMW tomorrow about How To POPL. Come say hi! 0100
Joe Cutler @alphaconvert.bsky.social · 07/12/2024How it feels to attempt to leave a conference with a group to go get dinner 0100
Joe Cutler @alphaconvert.bsky.social · 01/12/2024I think I need to do a second PhD to carefully study exactly these two slides from Paul Downen 3121
