I've got an op-ed in several papers across the Inland Empire today electrifying Metrolink service between Los Angeles and San Bernardino. It would make everyone's life a lot better and we are dumb not to do it.
👋 Hi everyone, I’m enabling GitHub Sponsors for Metro
If Metro has improved your developer experience or saved your team's build times, I’d appreciate the support!
Full pitch and ROI napkin math here: www.zacsweers.dev/sponsoring-m...
Cool to see that Micronaut is starting to adopt JSpecify and NullAway! github.com/micronaut-pr...
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?
Phone number rendered as (nul)lnu-llnull
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!
Only problem is the filtering doesn’t get applied on Mac. For now I’ve “solved” that problem by using the Known Senders view on Mac and turning off Messages notifications there 2/2
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
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!
