Worse than it sounds, approximately zero new NSF grants are being funded right now: the cuts and hare-brained reallocation leaves only enough to keep previous grants funded. Research groups that do fundamental research will be unable to accept new students at all.

Science Magazine@science.org · last mo.

Exclusive: The National Science Foundation is trimming this year’s budgets for hundreds of its traditional basic science programs by roughly 20% to 30%, even though its overall budget is down just 3%. https://scim.ag/4xY2KCm

I've been telling people for 25 years that Jane Street is not interested in formal methods. No more! And we're actively hiring to form a new formal methods team! blog.janestreet.com/formal-metho...

Formal methods and the future of programming

I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.

blog.janestreet.com

Most sincere thanks to the authors, speakers, sponsors, reviewers, and participants for making PLDI 2026 in Boulder such a huge success! -- PLDI 2026 Organizers

Unable to attend a talk or session at #PLDI2026 in person? You can still join via live-stream links available on the PLDI website!

PLDI@sigplan-pldi.bsky.social · 2mo ago

#PLDI2026 is live-streaming participating sessions on YouTube! Catch workshops, keynotes, research talks, and more from the premier PL and programming systems research venue. 📺Tune in at: pldi26.sigplan.org/attending/li...

Beyond the sessions, at #PLDI2026 we've got a full week of social meetups to explore Boulder! This includes hikes in Chautauqua Mon/Tues/Fri, walk to downtown Pearl St for Bands on the Bricks on Wed, and tea at the Dushanbe Tea House on Thu. 🏔️ pldi26.sigplan.org/track/pldi-2...

#PLDI2026 is live-streaming participating sessions on YouTube! Catch workshops, keynotes, research talks, and more from the premier PL and programming systems research venue. 📺Tune in at: pldi26.sigplan.org/attending/li...

PLDI Live Streams - PLDI 2026

Welcome to the home page of the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2026)! PLDI is the premier forum in the field of programming languages and programmi...

pldi26.sigplan.org

As you begin your travels to #PLDI2026, don't forget to check out the travel information on the website for directions from the airport to the Limelight Boulder. We also have tips for exploring Boulder from our local organizers. Pack your hiking boots! 🔗 pldi26.sigplan.org

We've set up a Discord server for #PLDI26! Join the community for discussions, networking, and real-time conference updates. Find the invite link on the attendee info page: pldi26.sigplan.org/attending/In...

Now that people are starting to make travel plans to FLoC: if you're doing education, please consider submitting to Tools for Educational Activities in Logic! Lots of categories: you can even re-send us *existing papers* (please see CFP)! (Please reshare!) teal.cs.brown.edu/floc2026/

TEAL 2026: Tools for Educational Activities in Logic

TEAL 2026: Tools for Educational Activities in Logic @ FLoC2026

teal.cs.brown.edu

Undergraduate, master’s, and early-stage PhD students interested in programming languages should apply to PLMW at PLDI 2026. It is a great opportunity to learn from researchers, build connections, and explore future directions in PL! Apply here: pldi26.sigplan.org/home/PLMW-PL...

A special workshop celebrating Thomas Ball's 60th birthday and extraordinary impact in PL, SE, and formal methods will be held on June 16th at PLDI'26! There is a great line up of speakers who will reflect on his contributions and lasting influence. Don't miss it! pldi26.sigplan.org/home/tb-60-2...

Idk why but the terms "agentic" or "agent" as used in AI are so off-putting to me. Maybe because they feel so buzz wordy? Lack precision?

I thought paper reviews wouldn't bother me as much as a faculty, but nope they still do just as much. This time I get to feel like I let my students down instead of my advisors. (Also, reviews are fresh so in my feels right now😅; I'll be in higher spirits soon.)

📢 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...

PLDI 2026 - Volunteering - PLDI 2026

Sign up to be a Volunteer and help us make PLDI 2026 a great experience for all attendants! PLDI 2026 is pleased to offer a number of opportunities for volunteers, who are vital to the efficient opera...

pldi26.sigplan.org

My PhD student Wen Fan (fanweneddie.github.io) is looking for summer internships! ✨His research interests are at the intersection of AI and formal methods, and his work with me is exploring how LLMs can be used to build more usable and scalable verification tools.

We’re happy to announce that Scala Workshop 2026 will take place in Brussels, co-located with ECOOP! 🎉 📍 Brussels, Belgium 🗓 Mon 29 Jun 2026 🎙️ Submit your 1–2 page talk proposal! 🕒 Deadline: 23 Mar 2026 👉 2026.workshop.scala-lang.org #Scala #ScalaLang #ProgrammingLanguages #ECOOP

Just a reminder you can follow PLDI (bsky.app/profile/sigp...) on BlueSky for conference updates! PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. pldi26.sigplan.org

Are you interested in programming languages research and mentoring up and coming PL researchers? Then you should fill out the self-nomination form for the PLDI'26 Student Research Competition's PC: forms.gle/KSacbLEtw1Yw... (Note, you must have a PhD by June 2026 to be a judge)

[PLDI 26] SRC Program Committee Nomination Form

Thank you for your interest in the program committee for the SRC! We're excited for you (or someone you are nominating) to join us in providing high-quality feedback to junior researchers in the PLDI ...

forms.gle

Looks like from the activity on my post the answer is yes, yay😄

Jenna DiVincenzo@jcenzo.bsky.social · 7mo ago

Are programming languages people still active on BlueSky? I've been on a hiatus from social media, but would like to try to be more active going forward.

Are programming languages people still active on BlueSky? I've been on a hiatus from social media, but would like to try to be more active going forward.

🎉PLDI'26 is already off to an incredible start, with a record breaking 398 paper submissions this year!🎉Let the reviewing fun begin!

Freedom from kings. Freedom from fascism. Power to the people forever. ♥️ Happy Independence Day 🇺🇸

#LiquidTypes are a lightweight way to specify and check code properties. What stands in the way of more widespread adoption? Friday at 10:30, @catarinavgamboa.bsky.social presents our #PLDI2025 paper (with Abigail Reese and @alcidesfonseca.com), "Usability Barriers for Liquid Types."

1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments in basic research, especially through NSF. That’s what created the breakthroughs that today’s tech companies are built on.

Isil Dillig on X: "1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments in basic research, especially through NSF. That’s what created the technology that today’s companies are built on." / X

1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments in basic research, especially through NSF. That’s what created the technology that today’s companies are built on.

x.com

I'm delighted to announce the 5th edition of Programming Language Pragmatics! I joined Michael Scott as a coauthor. We updated the semantics chapter to use inference rules, & substantially updated coverage of types, OO, codegen, Rust ownership & safe concurrency, async, traits & more!

My largest remaining NSF grant, that was awarded by a competitive process on the recommendation of national experts, was terminated yesterday. The money would have paid for PhD students to invent better AI systems for everyday people who need programs written for them but who can't or won't write...

Thinking about devastating cuts to NSF: US gov-funded science has been the engine upon which most of the tech wealth was generated. But the oligarchs (currently hoarding much of that $) think it’s their own brilliance & not the accident of standing close to the scientific engine that made them rich.

I feel like we need to keep saying this because it’s so insane: This is a legal U.S. resident who has been detained for over a month now for his political opinions.

The New York Times@nytimes.com · last yr.

The Department of Homeland Security denied Mahmoud Khalil permission to attend the birth of his first child, who was delivered at a New York hospital on Monday, according to emails reviewed by The New York Times.

I care less about Signal chats and more about the blacksite offshore concentration camps we're sending random people to without any semblance of a trial, so I'll be interested to see if the national media can rub their bellies and pat their heads at the same time this week. Historically they can't.

MIT following Harvard's lead here