Joe Cutler
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
Wow, they made Cheyenne Mountain from the hit 1983 thriller WarGames starting Ally Sheedy and Matthew Broderick into a real place!
May 16, 2025 at 1:20 PM
Wow, they made Cheyenne Mountain from the hit 1983 thriller WarGames starting Ally Sheedy and Matthew Broderick into a real place!
I think about this tweet from Siva constantly
February 12, 2025 at 11:38 PM
I think about this tweet from Siva constantly
Oh, sure. One can write down the GADT for ASTs of Applicative Expressions. But that feels like cheating :)
January 25, 2025 at 9:36 PM
Oh, sure. One can write down the GADT for ASTs of Applicative Expressions. But that feels like cheating :)
Philly -> Denver for POPL! I’ll be speaking at PLMW tomorrow about How To POPL.
Come say hi!
Come say hi!
January 20, 2025 at 6:19 PM
Philly -> Denver for POPL! I’ll be speaking at PLMW tomorrow about How To POPL.
Come say hi!
Come say hi!
One of these papers is not like the others...
January 10, 2025 at 7:08 PM
One of these papers is not like the others...
OCaml Pop Quiz: what does this program print?
January 4, 2025 at 8:41 PM
OCaml Pop Quiz: what does this program print?
No more allocation, half as fast 🙃
December 18, 2024 at 6:09 PM
No more allocation, half as fast 🙃
Course preview yesterday!
December 14, 2024 at 5:04 PM
Course preview yesterday!
How it feels to attempt to leave a conference with a group to go get dinner
December 7, 2024 at 10:04 PM
How it feels to attempt to leave a conference with a group to go get dinner
A pretty normal year, I think.
December 4, 2024 at 4:46 PM
A pretty normal year, I think.
I think I need to do a second PhD to carefully study exactly these two slides from Paul Downen
December 1, 2024 at 6:23 PM
I think I need to do a second PhD to carefully study exactly these two slides from Paul Downen