Jonathan Aldrich

Yes but the pharmacies at the hospitals also close! At least the ones I checked. I'm sure we could go to the emergency room, but it wasn't quite that level of urgency. Mainly we wanted to get Tamiflu as soon as possible so it could start being effective.

Dude, what happened to 24-hour pharmacies? It used to be they all competed on how many hours they are open. Now we need one for the first time in years and I can't find a single one anywhere in Pittsburgh!

Ok, I reported the bug. They are swamped with issues related to the new DL but hopefully they can get to it before too long.

Yes, it's annoying. I've seen it on one or two other sites too. But, it always goes away for me after 1-2 seconds. What is your platform and browser?

Sorting by race and ethnicity. Remind you of anything? Maybe from World War II?

One of the true delights of paper reviewing is that you get to read about super creative and fun work before anyone else does! Feeling the PLDI vibes here....

Note from the editors: ProPublica is publishing the names of the two federal immigration agents involved in the fatal shooting of Minnesota protester Alex Pretti. We believe there are few investigations that deserve more sunlight and public scrutiny than this one, in which two masked agents fired 10 shots at Pretti as he lay on the ground after being pepper-sprayed. The Department of Justice said it is investigating the incident, but the names of the two agents have been withheld from Congress and from state and local law enforcement. The policy of shielding officers’ identities, particularly after a public shooting, is a stark departure from standard law enforcement protocols, according to lawmakers, state attorneys general and former federal officials. Such secrecy, in our view, deprives the public of the most fundamental tool for accountability.

A note from our editors:

'Reminds me of Anne Frank': Jewish seniors are offering to hide their Haitian caregivers as Trump's TPS end looms - Jewish Telegraphic Agency The end of Temporary Protected Status has Holocaust survivors offering to hide Haitian staffers, according to the CEO of a senior-living center in Florida.

www.jta.org/2026/01/30/u...

The Case Against Don Lemon Is Junk, and Dangerous If the Cities Church case falls apart, it will not be the first such embarrassment for Trump’s Justice Department.

On Don Lemon and Georgia Fort

Also watch Hemant's POPL'26 talk here!

Security Reasoning via Substructural Dependency Tracking
www.youtube.com/watch?v=iN3J...

When Robert Rand, @hsenag.bsky.social, and I took our Open Access petition to ACM in 2020, we talked to CEO Vicki Hanson. Over the terms of 3 ACM presidents, Vicki shepherded ACM's transition to Open Access. I'm glad she saw it happen 20 days before she died.

Rest in peace, Vicki.

I keep seeing leftists from outside of Minneapolis say they’ve seen all this before, and no, you haven’t. I’ve been at this for 30+ years and I haven’t either. It’s not what you’re picturing. This is something else

Donald Trump just announced breaking news. The legacy media ignored it. Not only is Trump repeating a lie about the conduct of the 2020 election, but he is also announcing — at an international conference — that his administration will soon prosecute his political opponen...

Not only is Trump repeating a lie about the conduct of the 2020 election, but he is also announcing — at an international conference — that his administration will soon prosecute his political opponents for having defeated him in an election. www.democracydocket.com/opinion/dona...

Integrated graphics for now, but an Nvidia GTX 5070 is coming!

Fun project last night, building a video editing PC for my wife!

Police chief: "If it is happening to our officers, it pains me to think about how many of our community members are falling victim to this every day. It has to stop."

Good question, I don't know. Will put it on my list of questions to ask!

Yes, I know they have gotten feedback on the header page. In addition to the typesetting, there are problems with its accessibility.

This will not happen immediately, partly for technical reasons and partly to preserve a value proposition for institutional subscribers, but one change was made yesterday and more later this month, etc. Once realized, it appears to me that Yannis's goal would address the recent petition.

A follow-up: today in the SIGCHI town hall, ACM President Yannis Ioannidis expressed the long term goal that in general, things that were in the DL before ACM OPEN would be made available in the Basic Edition, with new features in the Premium Edition.

FYI--many ACM members may be interested in this, I was told that you can participate even if you are not a SIGCHI member.

The @acm.org has listened to feedback and is making changes to the Digital Library. Some things are still under discussion. But:
* Citation counts will be added to the Basic library
* Authors will be able to create a "authorizer"-style link to the complete list of their pubs

Security Reasoning via Substructural Dependency Tracking | Proceedings of the ACM on Programming Languages Substructural type systems provide the ability to speak about resources. By enforcing usage restrictions on inputs to computations they allow programmers to reify limited system units—such as memory—i...

Security Reasoning via Substructural Dependency Tracking. Hemant Gouni, Frank Pfenning, and Jonathan Aldrich. Proc. ACM Program. Lang. 10, POPL, 2026.

dl.acm.org/doi/10.1145/...

I seriously think this is going to revolutionize language-based security! The foundation is logically motivated, clean, powerful, and general. Meanwhile the types are simpler and (we believe, going to test this soon) more usable than prior information flow type systems.

Distinguished paper at POPL'25 today! Hemant Gouni presents our work Security Reasoning via Substructural Dependency Tracking at 16:45 in Réfectoire. See how a new kind of *substructural* information flow types can be used for capabilities, leakage, sandboxing, authorization etc.

Last call--submit paper to HotSoS! Three cool tracks:
* Get more visibility for Already Published Papers!
* Get feedback on Works-in-Progress papers!
* Share a Poster or Demo!
Focus is foundations of cyber security & privacy. Deadline Friday 1/16 AoE

sos-vo.org/group/hotsos...

Hmm, interesting idea. My worry: LLMs can easily do a bad job that *seems* good enough, but can they actually do a job good enough to trust?

Implement your new language/type system either as a beautiful new language / language extension, or as a super clunky library that fits fully within an existing language.

Inevitable tradeoff? Sigh....

The American Historical Association Divided The annual meeting of the American Historical Association used to be a pretty staid affair.

Great example of why academic institutions should stay focused on their mission and avoid taking tangentially-relevant political positions (on Israel, in this case as in so many others)

davidabell.substack.com/p/the-americ...

YouTube video by Jonathan Aldrich PLP 10.1: Object-Oriented Programming

PLP 10.1: Object-Oriented Programming - youtu.be/Wl15JIJDyk8

Also check out the whole Programming Language Pragmatics playlist: tinyurl.com/PLP5vids

And as always, there's more details in the book! amzn.to/4kuKSY2 (Amazon affiliate link)