Profile avatar
alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
178 posts 1,094 followers 204 following
Regular Contributor
Active Commenter
Posts 19 Comments 31

Oops, I over-functorized my OCaml code again

submitted 10 days ago • 1 comment

submitted 16 days ago • 3 comments

My depressing thought for the day: it seems increasingly inevitable that quite soon, Trump decides to simply disregard a court finding that some of his actions are illegal or unconstitutional. Impeachment is attempted & fails thanks to loyal Republicans. At which point there are no good options.

submitted 17 days ago • 133 comments

www.nytimes.com/2025/02/05/o...

submitted 17 days ago • 2 comments

Good know that they "cannot". Nevertheless,

submitted 17 days ago • 1 comment

This talk by Stephen Dolan has totally reshaped the way I think about the pareto frontier that Hindley-Milner sits on. Seriously worth watching. www.youtube.com/watch?v=C1g_...

submitted 18 days ago • 0 comments

Every time I try to write the OCaml coercion operator (:>) in Slack, it auto-emojifies it to "😆"

submitted 19 days ago • 2 comments

Tech guys believe everyone except them is an NPC, someone just doing a task without trying to improve it, when the reality is that every organization is full of people who are all trying to improve that organization in their own way, including the Federal government

submitted 19 days ago • 16 comments

Wired has really risen to the moment www.wired.com/story/elon-m...

submitted 20 days ago • 20 comments

Unboxed types-knowers: If I have v : int64# and a record r : { ... mutable x : int64; ...}, is there a way to update the x with the value v without allocating? I can write r.x <- box v, but I want to re-use the existing block from r.x...

submitted 23 days ago • 2 comments

Just lost an hour to the fact that, when using unboxed types in OCaml, Obj.repr has different results between compiled code and utop. Obvious in retrospect, but annoying.

submitted 23 days ago • 0 comments

Hey all! Who's at POPL? If you're here and looking to do a PhD at Princeton, let's chat!

submitted 33 days ago • 0 comments

Philly -> Denver for POPL! I’ll be speaking at PLMW tomorrow about How To POPL. Come say hi!

submitted 33 days ago • 0 comments

Are there keynotes at this POPL?

submitted 35 days ago • 1 comment

Penn’s annual PL REU is accepting applications for Summer 2025! penn-repl.github.io REPL is an awesome program. It’s fully funded (housing / travel / stipend) and you get to do research with an amazing group of people Deadline is March 15th—if you’re an undergrad that likes PL, you should apply!

submitted 38 days ago • 1 comment

REPL applications now open! It’s an undergraduate research internship in Penn’s programming language theory group. Includes housing, travel, and stipend for 10 weeks in the summer. Deadline to apply is March 15th. See site for more details! penn-repl.github.io

submitted 38 days ago • 0 comments

One of these papers is not like the others...

submitted 43 days ago • 0 comments

"Say Nothing" on Hulu is really exceptional.

submitted 44 days ago • 0 comments

When was the first POPL? The SIGPLAN website lists as early as '95, but that seems late...

submitted 44 days ago • 2 comments