Reposted by Manu SridharanKiran @kirancodes.me · 30/09/2026to know where you are going, you have to know where you have been: pldb.kirancodes.me Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings. 84010
Reposted by Manu SridharanMarina Bolotnikova @mbolotnikova.bsky.social · 28/08/2026PLS READ: California's pro-housing turn is facing one of its hardest tests yet. The state is on track to create an exception to a law mandating that local govts allow more density on single-family lots for Altadena as it rebuilds from last year's fire 1/ www.vox.com/future-perfe...vox.comThe most sympathetic case for NIMBYism is still wrongWildfires leveled thousands of homes in California. Now the state could block even more from being built. 5296
Reposted by Manu SridharanStreetsblog L.A. @streetsblogla.bsky.social · 26/08/2026If you value Streetsblog L.A., please donate to keep it strong and independent! cal.streetsblog.org/2026/08/25/t...cal.streetsblog.orgThere's One Week Left. Help Us Make Our Summer Goal - Streetsblog CaliforniaWe're just under 3/4 of the way there with one week left. Help us pedal over the finish line! 057
Manu Sridharan @manu.sridharan.net · 30/07/2026Interesting read: The Economic Benefit of Refactoring martinfowler.com/articles/exp... would be cool to see / do more experiments around thismartinfowler.comThe Economic Benefit of RefactoringNotes from my Thoughtworks colleagues on AI-assisted software delivery 000
Manu Sridharan @manu.sridharan.net · 15/06/2026Excited to be on my way to PLDI'26!! Hope you see you there! @sigplan-pldi.bsky.social 040
Manu Sridharan @manu.sridharan.net · 15/04/2026This post rang very true for me for CS / software engineering as well 030
Reposted by Manu SridharanStan Oklobdzija @stano.bsky.social · 07/02/2026I'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.pressenterprise.comMetrolink electrification would boost efficiency and reduce pollutionMetrolink can follow Caltrain’s success and not only deliver faster, more efficient train service for the region, but give struggling cities along the line a shot in the arm. 29622
Reposted by Manu SridharanZac Sweers @zacsweers.dev · 29/01/2026👋 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...zacsweers.devSponsoring MetroMetro is the proudest work of my career. Ever since starting it on vacation in November 2024, building it has been an incredible journey and the community reception has been nothing short of wonderful... 0447
Manu Sridharan @manu.sridharan.net · 27/01/2026Cool to see that Micronaut is starting to adopt JSpecify and NullAway! github.com/micronaut-pr...github.comRelease Micronaut Core 5.0.0-M9 · micronaut-projects/micronaut-coreWhat's Changed Bug Fixes 🐞 Add support for less buggy multipart decoder by @yawkat in #12202 Preserving Body Related Headers When Following 307 or 308 Redirects by @everett-hayes in #12271 In CORS... 000
Manu Sridharan @manu.sridharan.net · 11/01/2026The 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! 000
Reposted by Manu SridharanShriram Krishnamurthi @shriram.bsky.social · 30/12/2025So (685)568-556855? 011
Manu Sridharan @manu.sridharan.net · 30/12/2025Haven't seen this result from missing null checks before 🤔 130
Reposted by Manu SridharanGunnar Hillert @hillert.bsky.social · 26/12/2025If 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...youtube.comNull Safety in Java with JSpecify and NullAway by Sébastien Deleuze @ Spring I/O 2025YouTube video by Spring I/O 185
Reposted by Manu SridharanPLDI @sigplan-pldi.bsky.social · 01/12/2025Calling 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...pldi26.sigplan.orgPLDI 2026 - PLDI Research Artifacts - PLDI 2026Background A paper consists of a constellation of artifacts that extend beyond the document itself: software, proofs, models, test suites, benchmarks, and so on. In some cases, the quality of these ar... 023
Reposted by Manu SridharanPLDI @sigplan-pldi.bsky.social · 17/11/2025🎉PLDI'26 is already off to an incredible start, with a record breaking 398 paper submissions this year!🎉Let the reviewing fun begin! 0114
Manu Sridharan @manu.sridharan.net · 12/11/2025The 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! 030
Reposted by Manu SridharanPLDI @sigplan-pldi.bsky.social · 08/11/2025The 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.... 033
Reposted by Manu SridharanMichael Simons @rotnroll666.bsky.social · 26/09/2025Enjoy 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...info.michael-simons.euJSpecify and NullAway: A fresh take on nullsafety in the Java worldIntroduction Sir Antony Hoare[1] introduced the concept of Null-references or Null pointer[2] back in 1965 with the release of ALGOL W. In 2009 he spoke about it as his “Billion Dollar Mistake”[3]. De... 11411
Manu Sridharan @manu.sridharan.net · 16/09/2025Excited 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!github.comRelease NullAway 0.12.10 · uber/NullAwayThis release contains significant improvements to inference support for generic method calls in JSpecify mode (#1075). We expect that many more valid calls will pass NullAway, but that some new bug... 172
Manu Sridharan @manu.sridharan.net · 22/08/2025Really 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/2apps.apple.comBouncer: Spam Text BlockerStop unwanted SMS and text messages with Bouncer, the powerful spam blocker and text filter that puts you back in control. Block scam texts, political messages, phishing attempts, and junk SMS instan... 110
Reposted by Manu SridharanAws Albarghouthi @awsto.bsky.social · 12/06/2025Here'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 34713
Reposted by Manu SridharanSam Westrick @shwestrick.bsky.social · 04/06/2025The 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! 021
Reposted by Manu Sridharanztatlock.bsky.social @ztatlock.bsky.social · 20/05/2025If 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 :Dmarriott.comReservation-Link 032
Reposted by Manu SridharanSam Tobin-Hochstadt @samth.bsky.social · 08/05/2025A 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. 1279
Reposted by Manu SridharanJosh Marshall @joshtpm.bsky.social · 04/05/2025Shared 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...talkingpointsmemo.comThe White House’s Next Orchestrated Budget CrisisThis is something I’m still trying to get my head around –... 29681243
Reposted by Manu SridharanJim Larus @jameslarus.bsky.social · 29/04/2025cacm.acm.org/opinion/big-...cacm.acm.orgBig Tech, You Need Academia. Speak Up! – Communications of the ACM 073
Reposted by Manu SridharanDon Moynihan @donmoyn.bsky.social · 26/04/2025New, 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-...donmoynihan.substack.comI oversaw rigorous review of NSF-funded research on misinformation: Now the Trump administration is cancelling itPoliticians, not scientists, are the ones engaged in censorship 3280110
Reposted by Manu SridharanAnil Madhavapeddy @anil.recoil.org · 13/04/2025Yay for the first unikernel paper getting the ASPLOS most influential paper award, and some reflections on it anil.recoil.org/notes/uniker...anil.recoil.orgUnikernels wins the ASPLOS most influential paper award 23910
Reposted by Manu SridharanLaurence Tratt @ltratt.bsky.social · 25/03/2025New post: Better Shell History Search tratt.net/laurie/blog/... 2231
Reposted by Manu SridharanLaurence Tratt @ltratt.bsky.social · 25/03/2025A very interesting retrospective on using Sea of Nodes in V8 and the pros and (seemingly in the majority) cons v8.dev/blog/leaving... 1132
Reposted by Manu SridharanJenna DiVincenzo @jcenzo.bsky.social · 29/03/2025Two 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! 052
Reposted by Manu SridharanJingbo Wang @jingbow.bsky.social · 28/03/2025PLMW@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!pldi25.sigplan.orgPLMW @ PLDI 2025 - Programming Languages Mentoring Workshop - PLDI 2025The Programming Language Mentoring Workshop (PLMW) aims to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programmi... 0169
Reposted by Manu SridharanRyan Williams @rrwilliams.bsky.social · 21/02/2025New 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!people.csail.mit.edu 1726475
Reposted by Manu Sridharannumble.bsky.social @numble.bsky.social · 19/03/2025LA 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... 7466
Reposted by Manu SridharanDon Moynihan @donmoyn.bsky.social · 19/03/2025If 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. 17864602891
Manu Sridharan @manu.sridharan.net · 12/03/2025Nice 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!youtu.beWhy LAX’s Horseshoe Shape Is the Airport’s Worst Feature | WSJ Pro PerfectedYouTube video by The Wall Street Journal 030
Manu Sridharan @manu.sridharan.net · 10/03/2025Great post on JSpecify and NullAway usage in Spring 030
Manu Sridharan @manu.sridharan.net · 01/03/2025Now 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...reddit.comlandofcortados's comment on "Starbucks is undrinkable"Explore this conversation and more from the espresso community 120
Manu Sridharan @manu.sridharan.net · 21/02/2025@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.gosbcta.com 010
Reposted by Manu SridharanEric Lipton NYT @ericlipton.nytimes.com · 09/02/2025NYT: 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...nytimes.comEarly Crypto Traders Had Speedy Profit on Trump Coin as Others Suffered Losses (Gift Article)Some traders made tens of millions off a new cryptocurrency launched by President Trump and his sons. Many others lost out. 1391204506
Reposted by Manu SridharanKristopher Micinski @krismicinski.bsky.social · 09/02/2025I 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...cra.orgNSF Budget Cuts Would Put the Future of U.S. Innovation and Security at RiskA statement from the Computing Research Association (CRA) Recent executive actions have raised the potential of significant budget cuts and mass layoffs at the National Science Foundation (NSF), a … 195
Reposted by Manu SridharanTim Clancy @viewfromarchstreet.com · 08/02/2025On 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...grants.nih.govNOT-OD-24-110: Notice of Legislative Mandates in Effect for FY 2024NIH Funding Opportunities and Notices in the NIH Guide for Grants and Contracts: Notice of Legislative Mandates in Effect for FY 2024 NOT-OD-24-110. NIH 7835911467
Reposted by Manu SridharanRohan Padhye @rohan.padhye.org · 07/02/2025Back 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 2204
Reposted by Manu SridharanScience Magazine @science.org · 30/01/2025Exclusive: 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/3El0NZhscim.agEXCLUSIVE: NSF starts vetting all grants to comply with Trump’s ordersGrantee accounts remain frozen, while union accuses NSF of ignoring rules governing peer review 68751572
Reposted by Manu SridharanBrent Hailpern @bhailpern.bsky.social · 22/01/2025Congrats to new ACM Fellows www.acm.org/media-center... including Satish Chandra, Fatma Ozcan, Ben Zorn 🎉acm.org2024 ACM Fellows Celebrated for transformative contributions to computing science and technology.ACM has named 55 of its members ACM for transformative contributions to computing science and technology. All the 2024 inductees are longstanding ACM Members whose accomplishments were selected by the... 071
Reposted by Manu SridharanKristopher Micinski @krismicinski.bsky.social · 22/01/2025I 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 21617