The new (or at least new to me) feature on Spotify to make radio stations “non-personalized” is great. Much less of hearing the same songs again and again!

So (685)568-556855?

Haven't seen this result from missing null checks before 🤔

If you need to get up to speed with null safety in #Java with #JSpecify and @manu.sridharan.net's #NullAway, watch @seb.deleuze.fr's excellent presentation from @springio.net 2025. www.youtube.com/watch?v=5Lbx...

Calling all motivated students and researchers to be part of the PLDI'26 Artifact Evaluation Committee! The first round of self-nominations ends on Dec. 22: pldi26.sigplan.org/track/pldi-2...

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

The Spring team has done an amazing job introducing nullability annotation and checking for Spring Boot 4, using NullAway and other great tools. Really excited about the potential for increased nullness checking across the Java ecosystem!

The PLDI'26 deadline is right around the corner on Nov. 13. We look forward to your submission(s)! See the call for papers for more information: pldi26.sigplan.org/track/pldi-2....

Enjoy my new, artisanal blog post about #JSpecify and #NullAway, a fresh take on null safety in the #Java world. Be warned, may contains #Lombok. Happy weekend you all. info.michael-simons.eu/2025/09/26/j...

Excited to release NullAway 0.12.10 with much better inference support for generic method calls in JSpecify mode: github.com/uber/NullAwa... Please let us know if you run into issues!

Really happy with Bouncer as a solution to getting too many spam political texts apps.apple.com/us/app/bounc... open source too and privacy preserving github.com/afterxleep/B... 1/2

Highly worth your time to read

Wrote a lot of thoughts on junior developers, AI, and what I strongly feel is going to become the defining challenge of our industry's next generation. www.zacsweers.dev/forklifts-re...

Here's a paper describing quantum computing using standard programming constructs, w/o the linear algebra! The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs. paper eprint.iacr.org/2025/1091.pdf code github.com/qqq-wisc/qwla

The submission deadline for the ML Family Workshop 2025 is approaching. Just about two weeks to go! Deadline: June 19 This year we're in Singapore, colocated with ICFP/SPLASH. It's going to be a great event -- please consider submitting, and hope to see you there!

If you’re planning to attend PLDI 2025 in Seoul, please book your room via the SIGPLAN room block link ASAP! www.marriott.com/event-reserv... Super stoked to see folks in a month :D

A few thoughts on AI and education, from someone who uses AI and also teaches many levels of student. 1. Most importantly, it's not possible to know what will happen because no one knows what skills AI will or will not replace in the next few years.

Shared a few thoughts here on the next orchestrated budget/constitution "crisis" the white house has planned for the end of the summer talkingpointsmemo.com/edblog/the-w...

New, from @mkfeeney.bsky.social at Can We Still Govern?: She oversaw the Science of Science: Discovery, Communication, and Impact program at NSF, whose including grants to study misinformation. The cancelation of those grants is government censorship. 🧵 donmoynihan.substack.com/p/i-oversaw-...

Yay for the first unikernel paper getting the ASPLOS most influential paper award, and some reflections on it anil.recoil.org/notes/uniker...

New post: Better Shell History Search tratt.net/laurie/blog/...

A very interesting retrospective on using Sea of Nodes in V8 and the pros and (seemingly in the majority) cons v8.dev/blog/leaving...

Two updates: 1) early registration for physical attendees has been extended to April 1 and late registration to April 18, and 2) travel grant information is available on the VerifyThis website (verifythis.ethz.ch), apply by April 8. Hope to see you there!

PLMW@PLDI'25 is now accepting applications: pldi25.sigplan.org/home/PLMW-pl... Deadline: April 10, 2025 PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends! Please apply!

New paper: Simulating Time With Square-Root Space people.csail.mit.edu/rrw/time-vs-... It's still hard for me to believe it myself, but I seem to have shown that TIME[t] is contained in SPACE[sqrt{t log t}]. To appear in STOC. Comments are very welcome!

LA Metro used to publish monthly reports detailing progress on each transit construction project. They stopped publishing them in August 2024, saying they do not keep these records and the public interest is clearly served better by not disclosing them. libraryarchives.metro.net/DPGTL/Status...

If you are visiting the United States, having a negative view of Trump is enough to get you denied entry. If this was coming out of Russia or China, we would deplore such an authoritarian attack on freedom of expression.

Nice video on the (bad) design of LAX and how to improve youtu.be/8ykQAAxaAGw?... I wish some of this stuff had been in place for SPLASH'24!

Great post on JSpecify and NullAway usage in Spring

Now my go-to order when I need to get coffee from Starbucks: short flat white with blonde espresso. From www.reddit.com/r/espresso/s...

@nickandert.bsky.social @numble.bsky.social FYI www.gosbcta.com/wp-content/u... Final EIR for autonomous vehicle tunnel to connect Rancho to ONT. Still defending the plan.

NYT: At least 810,000 crypto wallets--include many followers of President Trump nudged by DJT himself--lost $ on $Trump memecoin--more than $2 billion in total. Yet industry pros who quickly bought/sold scored massive profits & Trump family partners made $100 million www.nytimes.com/2025/02/09/u...

I was reading this article written by CRA, wondering "now who *is* CRA?" Wondering if CRA was somehow just ACM, but it turns out CRA is in fact not just ACM and indeed has a very trustworthy executive board of some of the best folks in CS cra.org/nsf-budget-c...

On changes to #NIH indirect rates, there is a law in place that prohibits NIH from making such changes without the approval of Congress. See Division D, Title II Section 224 of The Further Consolidated Appropriations Act, 2024 (Public Law No: 118-47) grants.nih.gov/grants/guide...

Back to basics: Concurrency testing in Java! Our new tool *Fray* correctly solves a 25+ year old problem for real-world software. See this feature from Elastic Labs about Fray's contributions to Lucene. 📰: www.elastic.co/search-labs/... 🔧: github.com/cmu-pasta/fray 📝: arxiv.org/pdf/2501.12618

Exclusive: NSF this week began to search through billions of dollars of grants the agency has already awarded for anything touching on topics that President Donald Trump has criticized. And NSF has blocked grantees and trainees from accessing funds while the review is underway. scim.ag/3El0NZh

Congrats to new ACM Fellows www.acm.org/media-center... including Satish Chandra, Fatma Ozcan, Ben Zorn 🎉

I am potentially interested in hiring a postdoc to work on declarative decompilation, I was going to hire someone else but it feel through when they got another offer they took for personal reasons, looking for someone who wants to publish in security, PL venues with me

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!

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

Tue-Wed will feature exceptionally strong NE wind event down to lower elevations in SoCal (worst since destructive 2011 event), but much greater wildfire risk than 2011 due to far drier vegetation. "Particularly Dangerous Situation" Red Flag Warning out from NWS. #CAwx #CAfire

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/

Get your ECOOP papers ready for the new year! ECOOP'25, held in Bergen, Norway, solicits practical and theoretical investigations of programming languages, systems and environments. Round 1 submissions are due January 6 AoE: 2025.ecoop.org/track/ecoop-...

they’re saying Red One is a hit on Prime, but what does that even mean? how are we defining “hit” here? people didn’t actually want to pay for it, so what value does clicking play on a stream included with your free deliveries subscription have? @tavlin.bsky.social covered all this, of course

@andersmoeller.bsky.social and I are co-chairing OOPSLA'26 and soliciting PC nominations. If you'd like to serve on the OOPSLA PC next year or know anyone (e.g., recent graduate) who you think would do a good job, please nominate them here: forms.gle/NVnzjcmbshoL...

Good 🦋 samaritans: any of you have a friend at X who can get my X account back? If so, DM/email me! The thread below tells what happened. I couldn't ever reach a human at X; the bots kept saying X couldn't help. Every new account I've created since has been auto-suspended. bsky.app/profile/swar...

SoCal Programming Languages and Systems is back and will be @ucsd_cse in February! Submit your abstracts! socalpls.github.io @ranjitjhala.bsky.social @manu.sridharan.net @cristalopes.bsky.social Reposts appreciated!