Dear Rocq friends! is there a tool to check for dead code in a Rocq project? LLMs produce too much junk, sadly...

bro who put pldi artifact and oopsla deadlines on the same day ....

#haskell ghcid supports cabal scripts now (3 years after I filed the feature request! :-)) 🎉

📢 Calling all students! PLDI'26 is now soliciting student volunteers. It's a fantastic opportunity to connect with the programming languages research community, meet top researchers, and contribute to PLDI'26's success! ⏳ Apply by April 13 AoE pldi26.sigplan.org/track/pldi-2...

Community version of “Learn You a Haskell…” (learnyouahaskell.github.io) — 2026 update discourse.haskell.org/t/community-...

~/JobSearch2025/cover-letters ❯ ll cover-*.tex | wc -l 92 this is where I stop, perhaps

Gee, almost identical picture to what we used to see on Leverett pond in Boston once in a while.

SNL got AI right youtu.be/Qtr81JWCl6c?...

"[part of our code is closed for no good reason]... We will make all our code, fine-tuned models and data public after a paper acceptance." famous last words…

Shortest saddest story from Hemi... U Wyoming: "While we primarily seek expertise in core areas of AI/ML, we welcome scholars with expertise in other areas of AI/ML..."

Finishing Alien: Earth… you must see The Sheep

Wow. Harvard nuking its PhD programs - Science PhD admissions reduced by more than 75% - Arts & Humanities reduced by about 60% - Social Sciences by 50–70% - History by 60% - Biology by 75% - The German department will lose all PhD seats - Sociology from six PhD students to zero

It's always great to see a paper published for which you served as a subject in its user study!

Wrote a new article where I checkpoint the work we’ve done so far enabling Kaggle style EDA-to-model workflows in Haskell. Covers Jupyter notebooks, dataframes, charting and machine learning with the iris dataset as the working example. mchav.github.io/iris-classif...

Aaand another one www.higheredjobs.com/search/detai... (search for H-1B)

ICFP/SPLASH'25 is starting tomorrow! Attending Sunday workshops and FARM Performance at #icfpsplash25? Make sure check out our illustrated guide on getting to NUS Conservatory and dining options on campus: conf.researchr.org/venue/icfp-s...

OOPSLA 2026 deadline is just a week away! Can you please help us get the word out by sharing? Thanks! 2026.splashcon.org/track/oopsla...

felleisen.org/matthias/Tho... I checked my mail archive: I've been following TYPES since Oct 2018 and I don't remember this stringent moderation in the past. Survivor's bias or there is something in the air recently that makes things explode. If only there was a german word for it…

@dbp.bsky.social forked @shriram.bsky.social & other's (I'd like to say "excellent" but I only had a cursory look, and I loved it) DCIC textbook in the brave-NEU Pythonistic Fundies: neu-pdi.github.io/cs2000-publi... The fork is here: dcic.pdi.run, but I'd pay BIG (metaphorical) $ to see the diff!

Smaller colleges are noticing the H1B fee proposal and unsure that they will take relevant candidates. After all the turmoil that the bigger colleges went through earlier this year (and keep navigating it), what a time to be on the job market... www.holycross.edu/academics/fa...

category theory^W^W type checking for the working software engineer sdiehl.github.io/typechecker-...

The call for nominations for SIGPLAN Research Highlights for 2024 is open! Deadline: 15 August 2025. Nominate your favourite paper from the last year's POPL, PLDI, ICFP, OOPSLA, PPoPP, and ASPLOS via this form: forms.gle/mE3Qf2AJfSTN...

Don't forget to read the PLDI papers now that the conference is over! If you don't know where to start, you can read one of the 6 papers that received a distinguished paper award! See the full list in no particular order below ⬇️

These PC members received a distinguished reviewer award for having more than half of their reviews flagged positively: - Aaron Bembenek - Benjamin Delaware - Chris Casinghino - Colin Gordon - Rohan Padhye

excited that my team at Bloomberg is supporting PhD students in certified programming (and other infra/sec topics too!) through a fellowship. 💻🛡️ includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬

PLMW is calling for student applications -- if you are a student interested in ICFP/SPLASH 2025, consider applying! Deadline: July 15, AoE conf.researchr.org/home/icfp-sp...

PL Academics in the US; I'm looking around for postdoc positions for the coming year! With the NSF pause, I'm assuming a lot of US faculty are reluctant to hire postdocs right now Is it worthwhile to continue searching for positions in the US? or should I look elsewhere~ Reposts welcomed!

I know it's a really tough time for research funding right now, but does anyone have openings for computer science postdocs in the US? Especially in formal proof, possibly (but not necessarily) intersecting with AI? I have two really great researchers looking

Cannot make it to Prague for @programming-conf.bsky.social? 🎬 We will be streaming the keynotes, regular talks and MoreVMs workshop talks online! 👉 Keep an eye on: 2025.programming-conference.org

In this episode of current continuation, Adrian (@samps.phd) and I talk to the incredible Dr. Satnam Singh (@satnam6502.bsky.social) from Groq. A far-ranging conversation—from SAT to Haskell to chip design to HDLs to Scotch to castles to HR :) www.youtube.com/watch?v=_g5f...

Calculus (yet again) spotted in the wild.

cabal-install 3.14.2.0 is released and has a number of important regression fixes: discourse.haskell.org/t/cabal-inst... Try it now! Many thanks to the release manager Mikołaj Konarski and all contributors! Please, repost if you're in the Haskell-land!

Not sure if this has been shared here yet, but this is video of Rumeysa Ozturk's arrest posted by WCVB. It's terrifying.

GHC 9.6.7 is now available! discourse.haskell.org/t/ghc-9-6-7-... #Haskell

Please consider submitting to FUNARCH 2025, a workshop that is part of the @icfp-conference.bsky.social week in Singapore this October. At the intersection of software engineering and functional programming, bsky.app/profile/funa... conf.researchr.org/home/icfp-sp...

Are the experiments not quite working out, or the results strange? Is the work not quite ready for the upcoming OOPSLA deadline? We know the feeling! Though, discussing early results or non-results can help figuring it out. Submit a talk to MoreVMs: 2025.programming-conference.org/home/MoreVMs...

I am once more seeking participants for a user study. We'll be evaluating a prototype code editor that completes your text with placeholders for missing tokens expected by the language. Here's a short video of me motivating the editor and study. Details in thread. Reskeets appreciated! 🙏

PL Students 📢 submit your work to the SRC (due March 14) ! pldi25.sigplan.org/track/pldi-2... The SRC has a large PC of awesome researchers with expertise in various PL areas! Each accepted submission will get a PC shepherd who will mentor and provide feedback for the camera ready ✨

"The Authors could potentially avoid creating acronyms in the Abstract." Sincerely yours, Reviewer 2

Please consider nominating yourself to be a member of the Board of the #Haskell Foundation: discourse.haskell.org/t/2025-call-...

One thing that will become blatantly obvious with our higher education and scientific institutions is that their statements of "core values" don't mean shit.

It scares the shit out of me that all of my grant applications can be subject to extra review because my CV says "LGBT" and "Diversity," like what terrible fascist dystopia is this

Preparing an NSF proposal. Adapting text from past Broader Impact / Broadening Participation in Computing sections, delete key go BRRRR... 😭

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

Are you interested in getting a PhD in Programming Languages, particularly on practical and theoretical aspects of gradual typing? Consider working with me at the Australian National University. PhDs in Australia take 3-4 years, see tinyurl.com/ANUPLPhD . If you're there, find me at POPL this week!

Off to my first POPL. Feeling like a hobbit traveling to an elvish kingdom.

Registrations are open for the 2025 PL summer school in Bertinoro! See you there if you're attending! pliss.org/2025/

Who in industry is offering PhD-level internships related to Lean, Proof Automation, or Constraint Programming?

It's 2025, which means PLISS is this year... May to be specific! If you're interested in studying programming language implementations, please make sure to express your interest in time pliss.org/2025/

I've been saddened to hear that my graduate alma mater, @northeasternu.bsky.social, is giving up on the innovative intro CS curriculum they developed and that I learned to teach in. This op-ed by a current undergrad expresses it well: huntnewsnu.com/82511/editor...