Profile avatar
jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions.
659 posts 226 followers 74 following
Regular Contributor
Active Commenter
Posts 10 Comments 40

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 1 day 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 2 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 4 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 4 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 10 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 12 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 14 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 14 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 15 days ago • 1 comment

walking in mountain view, I saw the "monte carlo" nightclub and thought "that's a weirdly techy name for a non-techy place" no exaggeration, it took me several minutes to realize what it was actually named after :P

submitted 15 days ago • 0 comments