lambda-calcul.us - Profile | ThreadSky | a Reddit-style client for Bluesky

thinking about this article for no reason

submitted 22 hours ago • 0 comments

Muriel Bowser to DC’s immigrant community in two parts:

submitted 21 hours ago • 2 comments

This is an important point. International students matter for campus diversity, they sometimes matter for the bottom line, but they are essential for the academic research enterprises and the attack on them should be understood as another attack on research.

submitted 2 days ago • 8 comments

Bruce Sherman and ANC 3/4G oppose the end to reversible lanes on Rock Creek Parkway. They'd rather people die than have commutes that might slightly longer (which of course is taken on faith). anc3g.org/wp-content/u...

submitted 2 days ago • 1 comment

now that's a Chart of the Week (from @gelliottmorris.com):

submitted 6 days ago • 0 comments

∀x. international students ≥ x

submitted 6 days ago • 0 comments

TFW you get held up by another bike bus on your way to bike bus.

submitted 6 days ago • 1 comment

A HAPPY UPDATE! Mahmoud Khalil was allowed a "contact" visit—without plexiglass divider—with his wife and newborn son this morning before his immigration hearing, ACLU tells me, so I think we can safely assume that he was finally able to hold his child for the first time.

submitted 7 days ago • 47 comments

This is—it bears repeating—ethnic cleansing and a war crime. It feels utterly pointless to say, and roughly equivalent to screaming into the void, but the United States should not be supporting or providing any aid to a state that has ethnic cleansing as a policy position.

submitted 8 days ago • 107 comments

Today is the National Ride of Silence — a day where people across the nation gather to honor the many cyclists who have been injured or killed by road violence.

submitted 8 days ago • 1 comment

As part of SIGPLAN blog, @samps.phd (Cornell) and I started an interview series where we talk to luminaries in the field of Programming Languages. Our first one is a super fun conversation with Ranjit Jhala (UCSD). 1h26m of goodness. www.youtube.com/watch?v=goUZ...

submitted 8 days ago • 1 comment

All @acm.org publications will be 100% Open Access as of January 2026. When we announced this at POPL and CHI this year, conference participants spontaneously erupted in applause. The CS community is excited about ACM's move to OA!

submitted 10 days ago • 1 comment

WaPo gift links require an email address to access. I don't think that's always been the case. And it sucks.

submitted 10 days ago • 0 comments

Psst. Did you know that cities could just paint extra sidewalk space? 👀

submitted 11 days ago • 11 comments

NSF just cancelled ALL grants to Harvard researchers. That’s right - physics, astronomy, bio, CAREER - ALL. Professors won’t get paid. Postdocs won’t get paid. PhD students won’t get paid. This is insane! If they can do this to Harvard, they can do this to your school.

submitted 13 days ago • 21 comments

Join us for: 🚲-> 🍕🍻 ⏰ Gather at 10:30am Sat May 17th 📍N Michigan Park Rec Ctr 📍metrobar Ride : 3.2 miles. See you there #bikedc!

submitted 50 days ago • 0 comments

I'm a member of AAUP-AFT because my dues fund the lawsuits that fight the fash in court, they fund the staff and the training that help us fight the fash at work and in the streets, and they fund our locals so that we can build power where we are strongest--at work. If you're in higher ed, join!

submitted 14 days ago • 0 comments

Imagine the numbers if Bowser and Kershbaum didn't pull the plug on Connecticut Avenue, on Michigan Avenue, on K Street, etc. etc. etc.

submitted 15 days ago • 0 comments

"why wouldn't I use a car to get there?"

submitted 15 days ago • 2 comments

Your monthly reminder that people use the bike lanes—especially the protected ones!

submitted 15 days ago • 1 comment

Congestion pricing was designed to finance more than $15 billion in critical transit upgrades in New York City. Those investments will take years. But the parallel changes at street level are already apparent. Here’s what we know so far. nyti.ms/4mbuGg0

submitted 17 days ago • 93 comments

Reminder that the Ride of Silence is next week on Wednesday, May 21. Join me in remembering Allie and other cyclists that were killed or injured in dc. More details here: ggwash.org/calendar/eve...

submitted 16 days ago • 2 comments

RFK Jr submerged himself in an open sewer on Sunday. Excellent use of free will.

submitted 17 days ago • 0 comments

Just reminded of this letter I wrote for folks on the academic job market in 2020. Reading back over it, I can't help but think that "weathering the storm" might not work out this time around. Instead of life jackets, the US Gov't is throwing out cinderblocks. blog.sigplan.org/2020/09/10/l...

submitted 17 days ago • 0 comments

The first Democratic governor who sends their state troopers into an ICE field office to free someone ICE has kidnapped is going to be president in four years.

submitted 20 days ago • 481 comments

Happy Birthday Objective Caml 🎂🐫 First announced 9 May 1996 web.archive.org/web/20210509... ocaml.org

submitted 20 days ago • 1 comment

Folks, this wasn't a protest. It was elected officials trying to do oversight of a PRIVATE ICE PRISON. The ICE Gestapo apparently went for the Mayor after receiving a phone call.

submitted 20 days ago • 11 comments

What's the point of having large-scale computing failures if there's no functioning government funding agency around? Waste of a motivating example if you ask me.

submitted 20 days ago • 0 comments

When we talk about the "golden age of America," places like the St. Louis metro area used to have dozens of local, regional, and national rail lines. In 2025, we have 3.

submitted 20 days ago • 7 comments

I am so damn sick of loaded coverage of stadium subsidies. "The man who could tank the RFK Stadium deal"? There is no deal to tank. That's not how democracy works. He's not tanking it, he doesn't support the proposal because it's a terrible idea. www.axios.com/local/washin...

submitted 21 days ago • 1 comment

🚨 ICE activity reports for 5/9: Activity reported at - Fort Totten Dr & Gallatin St NE at 8:00AM - 5 officers - 3 ATF, others federal police - 4 unmarked black cars with VA tags - At least one person detained

submitted 20 days ago • 80 comments

This is outside of a community health center (Mary's Center) and bilingual public charter schools (Briya and DC Bilingual); also a major metro stop (Ft Totten).

submitted 20 days ago • 0 comments

🚨 Actividad de ICE/la migra de 9 de mayo - Fort Totten Dr y Gallatin St NE a las 8:00AM - 5 oficiales - 3 ATF, otros agentes federales - 4 carros negros sin marca, con placas de Virginia - Al menos una persona fue detenida

submitted 20 days ago • 3 comments

Exclusive: National Science Foundation staff were told today that the agency’s 37 divisions—across all eight directorates—are being abolished and the number of programs within those divisions will be drastically reduced.

submitted 20 days ago • 161 comments

Hearing from a friend how ICE on Tues was hanging out near both campuses of Mundo Verde in DC, a bilingual public elementary school, but never attempted entry. Why? In part bc "10 parents at each campus" offered to take shifts of working outside the school all day. That's community right there.

submitted 21 days ago • 13 comments

Read my latest:

submitted 21 days ago • 43 comments

I'm incredibly excited to announce that I've accepted a tenure-track position as an assistant professor at the University at Buffalo! The PL/SE group at UB is already really impressive, and I am honored to be part of its continued growth

submitted 22 days ago • 13 comments

In light of the DC raids we want to reshare our ICE watch 101 graphics. Reminder to verify, document, and then report to our hotline.

submitted 23 days ago • 14 comments

Join me and others for the Ride of Silence on May 21 at 6:30pm at Freedom Plaza to honor and remember cyclists who have been killed or injured. More info here: ggwash.org/calendar/eve...

submitted 23 days ago • 1 comment

Friends in and around DC, please follow and support @dcmigrantmutualaid.org for updates on local ICE activity. Remain alert, please video record video when you can, and call the migrant solidarity hotline if you see anything: (202) 335-1183.

submitted 23 days ago • 0 comments

I've spoken with multiple Mundo Verde parents who tell me they're taking turns camping outside the school to observe, another likely deterrent.

submitted 23 days ago • 7 comments