Profile avatar
herrdreyer.bsky.social
Get used to disappointment.
30 posts 579 followers 104 following
Regular Contributor
Active Commenter
Posts 18 Comments 20

Is it possible to build a formally verified GC for OCaml that can be plugged into the compiler? We should how to in: "A Mechanically Verified GC for OCaml" kcsrk.info/papers/verif... This has been accepted to the Journal of Automated Reasoning. Code: github.com/prismlab/ver...

submitted 2 days ago • 7 comments

Showed "8 1/2", my favorite film, to colleagues at MPI last night. Despite not being Italian, a Catholic, a filmmaker, a creative genius, or having a mistress (!), I find I relate to this film like no other. It captures how I experience the world and myself, and offers therapy for the impostor.

submitted 20 days ago • 1 comment

Are there not more than a handful of Republicans willing to stand up to Trump's assault on science? This kind of politicization of science is a disaster for science in America, and thus for science in general.

submitted 30 days ago • 1 comment

Well-deserved! Iris is also a really great example of how well-engineered artifacts make it dramatically easier to pursue technically deep research.

submitted 30 days ago • 0 comments

Very proud to announce that the first Iris paper received the 2025 Most Influential POPL Paper Award this week. This is a testament to the amazing contributions of a wonderful international network of collaborators. www.youtube.com/live/ZKwpY0g...

submitted 31 days ago • 4 comments

I am very happy for @herrdreyer.bsky.social and @natefoster.bsky.social who have become ACM Fellows! Well deserved!

submitted 33 days ago • 0 comments

My father was an amazing person, so brilliant and funny, so passionate yet pragmatic, so caring and nurturing of others. I am so sad to have lost him, but I am also so happy when I think of all the people he touched and who carry a piece of him in their souls. May we all keep his spirit alive.

submitted 51 days ago • 0 comments

Delighted to learn that the Faculty Mentoring workshop (RTFM@PLDI'24), organised by Amal Ahmed, @herrdreyer.bsky.social, and myself, was appreciated by the PLDI community: blog.sigplan.org/2025/01/02/s... If you'd like to help with organising the 2025 edition of RTFM, please, get in touch!

submitted 53 days ago • 0 comments

The idea for the paper came to Dr. Woodcock during a lunchtime discussion with Jay Falletta...The two were working on a project about washing machines, which strain Australia’s extremely limited water resources. They were “a little bit bored” by the task, Dr. Woodcock acknowledged.

submitted 54 days ago • 0 comments

I finally watched "Torn Curtain", a late Hitchcock film that is generally considered a failure. Much to my surprise, I thought it was a lot of fun! Paul Newman and Julie Andrews were clearly miscast and have zero chemistry, but... en.wikipedia.org/wiki/Torn_Cu...

submitted 56 days ago • 1 comment

I wonder if I am the only person on earth who celebrated Christmas/New Year’s by watching both Squid Game 2 and Wanda (a classic depressing 1970 film by Barbara Loden, which Pamela Anderson recommended on her Criterion Closet picks). www.criterion.com/films/29450-...

submitted 59 days ago • 1 comment

I love this. And good call on snagging the entire Bergman set, Pamela -- it cost me a couple hundred bucks! www.youtube.com/watch?v=tyo_...

submitted 70 days ago • 0 comments

I'm only here because a bunch of interesting people moved here. I have no expectation that people will behave better here. www.politico.com/news/magazin...

submitted 70 days ago • 0 comments

New rule: Authoritarians don't get to win just because it's the first Tuesday of the month.

submitted 85 days ago • 0 comments

The paper on data-race-free OCaml is out! If you want to learn more about the zoo of new mode axes (contention, uniqueness, portability, ...) and cool new abstractions like capsules, it's all there! iris-project.org/pdfs/2025-po...

submitted 94 days ago • 1 comment

I keep trying to migrate this one and the video gets corrupted. It’s just that powerful! #FunctionalProgramming #Haskell #OCamel #Programming

submitted 98 days ago • 3 comments

Post you from a different era 1983, my University of Glasgow matriculation card.

submitted 98 days ago • 3 comments

If you are looking for a quick way to follow everyone you used to follow on the vile site, there’s a solution! “Sky Follower Bridge” - works like a charm. Make sure to give some monetary love to the developer! lifehacker.com/tech/use-thi...

submitted 98 days ago • 0 comments