David Van Horn
@lambda-calcul.us
820 followers 180 following 200 posts
Prof at UMD CS.
Posts Media Videos Starter Packs
lambda-calcul.us
Sadly no, I'm in the land of no bidets or beignets.
lambda-calcul.us
I first read this as beignets, which also works.
lambda-calcul.us
The headline and lede is pretty misleading. They're not opposed to the deposit; they're opposed to the labelling requirement which means they have to manufacture and distribute different cans for DC vs other jurisdictions. That seems a much more reasonable objection.
Reposted by David Van Horn
masontransport.bsky.social
Fascinating data & maps from NRDC. In DC,
67% of adults live in car-lite or car-free households
32% live in completely car-free households

This is entirely the result of density, transit, walkability, and bikeability.

www.nrdc.org/resources/wh...
Map showing in dark blue, the areas with low car ownership. DC, Baltimore, NYC + suburbs, & Philadelphia stand out in dark blue.
Reposted by David Van Horn
jacksapoch.bsky.social
NEW: Since October 2023, the IDF Spokesperson's Unit has released dozens of 3D animations illustrating alleged Hamas, Hezbollah, and Iranian sites

The style is now unmistakable: satellite zoom-ins, black & white wireframes, and red-textured houses - a new visual language of war
lambda-calcul.us
"This test is worse than Milhouse's exam!"
Reposted by David Van Horn
nicholasgrossman.bsky.social
If U.S. states have any degree of sovereignty, if there’s any states’ rights at all, it is the right not to be invaded by the armed forces of another U.S. state.
Reposted by David Van Horn
brandonfriedman.bsky.social
Sending troops from Texas to forcefully occupy and suppress cities in Illinois and Oregon IN OPPOSITION TO THOSE STATES' GOVERNORS is literally a civil war and it's cooking my brain that Democrats are simply pretending it isn't happening
kyledcheney.bsky.social
UPDATE: Hegseth today called up 400 members of the Texas National Guard, with Gov. Abbott's apparent permission, to be deployed "where needed, including in the cities of Portland and Chicago." www.politico.com/news/2025/10...
lambda-calcul.us
I have in fact noticed that the hospitals are full of immigrants.
Reposted by David Van Horn
dmgreene.bsky.social
The @aaup.org beat Marco Rubio in court, with a Reagan-appointed judge ruling that ideological deportations obviously violate the first amendment.

These cases cost money. And we need millions of people moving together to make them stick. If you're faculty in the US, join AAUP and join the fight.
Join
Joining the AAUP says that you’re concerned about academic freedom, and about the way that basic freedom protects your teaching and research. Join today.
www.aaup.org
Reposted by David Van Horn
bikepedantic.bsky.social
Federalized DC cops newly-empowered to do high speed chases in the District are gonna kill people.
freedcproject.bsky.social
On Monday on Alabama Avenue SE, an MPD SUV was racing southbound with sirens blaring when the officer driving smashed into a private vehicle and then a tree (1/3)
A Metropolitan Police Department car is crumpled against a tree. Airbags are deployed and the car's doors are all open. The car is totaled and pieces of debris are scattered across the street. The back of a light blue Nissan Altima with its bumper on the ground and doors open. Firefighters are in the foreground looking away from the camera. The forward part of a light blue Nissan Altima. Its front bumper has been ripped off the car and hangs at an angle on the ground. A firefighter in the foreground has their back to the camera.
Reposted by David Van Horn
stano.bsky.social
Blue cities should tear up the roads in front of ICE facilities and then start decades of community engagement and input sessions to rebuild them. Let's harness our core competencies.
Reposted by David Van Horn
olufemiotaiwo.bsky.social
I fully understand how difficult it is to remain focused on any one particular atrocity but this really ought to be a serious scandal and people need to pay heavy prices for this
mpaarlberg.bsky.social
I think the Trump admin assumed no one would try to find out who the people on the boats they blew up really were
Reposted by David Van Horn
thewaroncars.bsky.social
This machine fights fascists.
wutangforchildren.bsky.social
ICE Nazis in Chicago tried to kidnap a food delivery worker but my man was too fast for those slow bastards
Reposted by David Van Horn
mims.bsky.social
*The AI boom = one of the costliest building sprees in world history

* Past 3 years' commitments are greater than the cost of building the U.S. interstate highway system

* Consumers must spend $800 billion on AI within a few years, to justify investment from 2023-24

www.wsj.com/tech/ai/ai-b...
This week, consultants at Bain & Co. estimated the wave of AI infrastructure spending will require $2 trillion in annual AI revenue by 2030. By comparison, that is more than the combined 2024 revenue of Amazon, Apple, Alphabet, Microsoft, Meta and Nvidia, and more than five times the size of the entire global subscription software market.

Morgan Stanley estimates that last year there was around $45 billion of revenue for AI products. The sector makes money from a combination of subscription fees for chatbots such as ChatGPT and money paid to use these companies’ data centers.

How the tech sector will cover the gap is “the trillion dollar question,” said Mark Moerdler, an analyst at Bernstein.
Reposted by David Van Horn
jjoque.bsky.social
I think one of the biggest mistakes we’ve made in academia over the last few years was treating tenure and academic freedom as a guaranteed right and not a labor relation. Had more understood it as the latter perhaps we would have been better prepared to protect it
jonathancohn.bsky.social
“I’m emotionally shellshocked right now,” said one professor in the Texas Tech system. “What does it say about academic freedom? It says we don’t have it.”

www.nytimes.com/2025/09/26/u...
Texas Tech Moves to Limit Academic Discussion to 2 Genders
www.nytimes.com
lambda-calcul.us
tfw INTERNAL PANIC: Nat.pow exponent is too big
lambda-calcul.us
Can we get some tips on what to wear to avoid getting raped next?
lambda-calcul.us
Can't help but think of all the university presidents who have either negotiated or fecklessly tried to fly under the radar while the research enterprise is being dismantled. Each of them embarrassed by their own marketing slogans like "Fearlessly Forward™️."
adamserwer.bsky.social
Kimmel’s defiant return highlights one of the most disturbing dynamics of Trump II, that so many people in positions of leadership are chickenshit frauds who would rather fold in advance than put up anything resembling a fight www.theatlantic.com/ideas/archiv...
Kimmel’s refusal to capitulate stands out because so many other well-situated people—those with the resources, platform, and power to stand up to the president, including, initially, the leaders of ABC—have surrendered, withdrawn, or become Trump sycophants themselves. One by one, American leaders supposedly committed to principles of free speech, due process, democracy, and equality have abandoned those ideals when menaced by the Trump administration. These cascading acts of cowardice from the people best positioned to resist Trump’s authoritarian power grabs have made Trump seem exponentially more powerful than he actually is, sapping strength from others who might have discovered the courage to stand up. Defending democracy requires a collective refusal to acquiesce to lawless behavior from many different sectors of society. All of these powerful people trying to save their own skin have effectively multiplied Trump’s attacks on constitutional government, by enhancing a false sense of inevitability and invincibility.
Reposted by David Van Horn
adamserwer.bsky.social
Kimmel’s defiant return highlights one of the most disturbing dynamics of Trump II, that so many people in positions of leadership are chickenshit frauds who would rather fold in advance than put up anything resembling a fight www.theatlantic.com/ideas/archiv...
Kimmel’s refusal to capitulate stands out because so many other well-situated people—those with the resources, platform, and power to stand up to the president, including, initially, the leaders of ABC—have surrendered, withdrawn, or become Trump sycophants themselves. One by one, American leaders supposedly committed to principles of free speech, due process, democracy, and equality have abandoned those ideals when menaced by the Trump administration. These cascading acts of cowardice from the people best positioned to resist Trump’s authoritarian power grabs have made Trump seem exponentially more powerful than he actually is, sapping strength from others who might have discovered the courage to stand up. Defending democracy requires a collective refusal to acquiesce to lawless behavior from many different sectors of society. All of these powerful people trying to save their own skin have effectively multiplied Trump’s attacks on constitutional government, by enhancing a false sense of inevitability and invincibility.
Reposted by David Van Horn
karl-jacoby.bsky.social
Every time another university wins a case against the Trump administration, I am reminded yet again of the folly of Columbia's effort to strike a "deal."
blakeprof.bsky.social
UCLA’s funds reinstated after yesterday’s court order! Thanks to the brave researchers and their amazing counsel, including Dean Chemerinsky, who brought suit. This is just another turn in the ongoing fight, but a great result for now.
Reposted by David Van Horn
guntoucher.bsky.social
TRUMP ON TRUTH SOCIAL: we NEED to put TURDS in BABY FORMULA! IMMEDIATELY

NPR: with the science not yet settled, some parent groups sing the praises of therapeutic turd supplements