Profile avatar
jeremysiek.bsky.social
2 posts 334 followers 145 following
Getting Started
Posts 6 Comments 0

An excellent first introduction to logical relations: arxiv.org/abs/2309.15724

submitted 5 days ago • 0 comments

One week today is the deadline for expressing your interest to attend Programming Language Implementation Summer School (PLISS) -- we have a great program, if I do say so myself! pliss.org/2025/

submitted 43 days ago • 2 comments

Enjoying the snow with Ginger!

submitted 46 days ago • 0 comments

SoCal Programming Languages and Systems is back and will be @ucsd_cse in February! Submit your abstracts! socalpls.github.io @ranjitjhala.bsky.social @manu.sridharan.net @cristalopes.bsky.social Reposts appreciated!

submitted 68 days ago • 2 comments

This nearly 20-year-old look back at 20 years of the development of Chez Scheme is so lovely. Full of insights for any aspiring compiler writer and also just a testament to incrementally improving the thing that's in front of you. dl.acm.org/doi/10.1145/...

submitted 75 days ago • 0 comments

Lindsey Kuper's* group has produced this fantastic zine on choreographic programming that folks should definitely check out: decomposition.al/blog/2024/12... (* can't seem to find Lindsey here but please tag if you know the handle)

submitted 83 days ago • 0 comments