Jonathan Aldrich
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Sorting by race and ethnicity. Remind you of anything? Maybe from World War II?
More than 400 people, including hundreds of citizens, were “sorted” at gun point into racial and ethnic groups by 200 ICE agents who fired flash-bang grenades into cars with people inside, pointed guns at children & demanded their zip tied parents not comfort them. apple.news/Ausdx6kWtT0e...
Idaho families sue over immigration raid that swept up hundreds, including U.S. citizens — NBC News
About 400 people, including children and U.S. citizens, were detained for four hours while they were denied food and water in the raid, according to the lawsuit.
apple.news
February 12, 2026 at 4:35 AM
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....
February 12, 2026 at 4:29 AM
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....
Reposted by Jonathan Aldrich
A note from our editors:
February 1, 2026 at 9:10 PM
A note from our editors:
Reposted by Jonathan Aldrich
Reposted by Jonathan Aldrich
On Don Lemon and Georgia Fort
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.
www.theatlantic.com
January 30, 2026 at 11:29 PM
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...
Security Reasoning via Substructural Dependency Tracking
www.youtube.com/watch?v=iN3J...
www.youtube.com
January 29, 2026 at 2:01 AM
Also watch Hemant's POPL'26 talk here!
Security Reasoning via Substructural Dependency Tracking
www.youtube.com/watch?v=iN3J...
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.
Rest in peace, Vicki.
ACM mourns the loss of former CEO and President Vicki L. Hanson.
Vicki was a pioneer in accessibility research and a tireless advocate for inclusion in computing. From her over 25 years as a volunteer to her leadership as CEO, her impact on our community is immeasurable. She will be greatly missed.
Vicki was a pioneer in accessibility research and a tireless advocate for inclusion in computing. From her over 25 years as a volunteer to her leadership as CEO, her impact on our community is immeasurable. She will be greatly missed.
January 23, 2026 at 2:52 AM
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.
Rest in peace, Vicki.
Reposted by Jonathan Aldrich
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
I know people keep saying this but it’s hard to communicate the depth of active resistance here. Like, I’m on random cafes and people are checking in for observation shifts. Signs everywhere. Folks in visibility vests on the corners. It’s wild. Absolutely wild.
January 22, 2026 at 6:18 PM
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
Reposted by Jonathan Aldrich
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...
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...
www.democracydocket.com
January 22, 2026 at 12:17 AM
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!
January 21, 2026 at 11:10 PM
Integrated graphics for now, but an Nvidia GTX 5070 is coming!
Fun project last night, building a video editing PC for my wife!
January 21, 2026 at 2:33 PM
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."
Brooklyn Park police chief Mark Bruley: "We're hearing people being stopped with no cause & being demanded to show paperwork to determine if they're here legally. We started hearing from our police officers the same complaints. Every one of these individuals is a person of color... it has to stop"
January 20, 2026 at 9:22 PM
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!
January 17, 2026 at 2:25 PM
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.
January 16, 2026 at 2:40 PM
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.
January 16, 2026 at 2:17 PM
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.
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
* 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
January 16, 2026 at 2:17 PM
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.
Please attend our upcoming SIGCHI Town Hall, on Jan 16, 1:30pm UTC, where we will discuss the recent changes to the ACM Digital Library—the Basic and Premium versions—that were launched just prior to the launch of ACM Open on Jan 1. Full details: sigchi.org/events/sigch...
SIGCHI Town Hall - Jan 2026
ACM SIGCHI is the leading international community of students and professionals interested in research, education, and practical applications of Human Computer Interaction.
sigchi.org
January 15, 2026 at 10:17 PM
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
* 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
January 15, 2026 at 5:58 PM
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
* 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. Hemant Gouni, Frank Pfenning, and Jonathan Aldrich. Proc. ACM Program. Lang. 10, POPL, 2026.
dl.acm.org/doi/10.1145/...
dl.acm.org/doi/10.1145/...
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...
dl.acm.org
January 15, 2026 at 3:03 PM
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/...
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.
January 15, 2026 at 3:03 PM
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.
January 15, 2026 at 2:56 PM
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...
* 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...
HotSoS 2026 Call for Papers | Science of Security Virtual Organization
sos-vo.org
January 13, 2026 at 7:25 PM
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...
* 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?
January 13, 2026 at 6:03 PM
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....
Inevitable tradeoff? Sigh....
January 11, 2026 at 8:22 PM
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....
Inevitable tradeoff? Sigh....
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...
davidabell.substack.com/p/the-americ...
The American Historical Association Divided
The annual meeting of the American Historical Association used to be a pretty staid affair.
davidabell.substack.com
January 9, 2026 at 8:53 PM
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...
davidabell.substack.com/p/the-americ...