Profile avatar
jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions.
659 posts 228 followers 75 following
Getting Started
Active Commenter
Posts 9 Comments 41

To celebrate the release of the Nintendo Switch 2™, the C committee has added an Easter egg to the C programming language called the "switch" statement! Connect your compiler with your Ninteno Online™ account to try it out!

submitted 3 days ago • 4 comments

I've long-maintained that the obvious problem with LLM code generation is that we already produce way too much bad code—making bad code cheaper is actively counterproductive. I'm surprised this isn't a more widespread point, but maybe folks don't even believe the first part!

submitted 5 days ago • 2 comments

everything is a pl problem sometimes the problem is that we haven't figured out how to formulate it as a pl problem

submitted 6 days ago • 0 comments

I've been writing more and more notes that I never share—sometimes never even reread—and it's been helping me not only clarify my own thinking and develop new ideas, but even to process emotions. Which isn't a unique or novel idea! So I'm surprised by how many folks don't seem to recognize it.

submitted 7 days ago • 0 comments

The best team I worked on was super high-trust, mostly remote and had *less* explicit structure and management than the vast majority of teams I've been on, seen or read about. Which is to say: this does not seem remotely fundamental to me.

submitted 12 days ago • 1 comment

Mac Lane's first-hand account of how an absolutely amazing mathematical department at Göttingen was destroyed by Nazi politics, irrevocably, practically overnight. Absolutely fascinating—and depressing—slice of history I had not read about before. sites.tufts.edu/histmath/fil...

submitted 14 days ago • 1 comment

I'm starting at Semgrep next week, working on program analysis for supply chain security really looking forward to getting back into PL :) I'd love to catch up with other PL/security/etc folks over the next few months

submitted 16 days ago • 0 comments

Imagine the world if this paper, published the year I was born (so, yeah, ancient), was more popular among programmers. Behold Programming as theory building by Peter Naur

submitted 17 days ago • 4 comments

As part of SIGPLAN blog, @samps.phd (Cornell) and I started an interview series where we talk to luminaries in the field of Programming Languages. Our first one is a super fun conversation with Ranjit Jhala (UCSD). 1h26m of goodness. www.youtube.com/watch?v=goUZ...

submitted 18 days ago • 1 comment