David Van Horn's Avatar

David Van Horn

@lambda-calcul.us.bsky.social

Prof at UMD CS.

812 Followers  |  171 Following  |  184 Posts  |  Joined: 25.05.2023  |  1.9382

Latest posts by lambda-calcul.us on Bluesky

it's pretty frustrating how republicans can just spew endless lies about city life with zero repercussions but the moment a dem disparages a pickup truck it's open season

11.08.2025 17:59 β€” πŸ‘ 7382    πŸ” 1290    πŸ’¬ 136    πŸ“Œ 87

Alright I'm angry and it's a travel day (bye Chicago). So one like = one awesome thing about DC that has little or nothing to do with the feds.

11.08.2025 17:12 β€” πŸ‘ 73    πŸ” 3    πŸ’¬ 3    πŸ“Œ 0
Post image

The vote goes down today for the RFK stadium. This is literally what the DC Council is voting for.

01.08.2025 12:44 β€” πŸ‘ 10    πŸ” 5    πŸ’¬ 0    πŸ“Œ 1

"When the first of August came round, the Professor realized he had pleasantly trifled away nearly two months at a task which should have taken little more than a week."

--Willa Cather, 1925 and timeless

01.08.2025 12:17 β€” πŸ‘ 726    πŸ” 199    πŸ’¬ 15    πŸ“Œ 35
Preview
I spent decades at Columbia. I’m withdrawing my fall course due to its deal with Trump | Rashid Khalidi The university’s draconian policies and new definition of antisemitism make much teaching impossible

rashid khalidi, preeminent scholar of palestine: www.theguardian.com/commentisfre...

01.08.2025 11:27 β€” πŸ‘ 110    πŸ” 40    πŸ’¬ 7    πŸ“Œ 5

the trump administration is destroying ALL higher education but we only hear about the ivies because that's where the rich and powerful went or where their kids go. the obsession with them is missing the bigger picture.

31.07.2025 16:19 β€” πŸ‘ 608    πŸ” 92    πŸ’¬ 21    πŸ“Œ 7

Mayor Muriel Bowser Presentsℒ️: Bad Fucking Deal

31.07.2025 18:46 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Thank you!

31.07.2025 18:41 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
American Economic Association 2024-2025 Universal Academic Questionnaire Summary Statistics (May 2025)

It appears to be for asst. profs only and "[i]ncludes guaranteed summer compensation (over all years) and other compensation of cash value to employees, such as a signing bonus." www.aeaweb.org/articles?id=...

28.07.2025 17:49 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Asphalt trail alongside a massive car viaduct.

Asphalt trail alongside a massive car viaduct.

Bike investment vs. car investment.

27.07.2025 01:30 β€” πŸ‘ 378    πŸ” 75    πŸ’¬ 14    πŸ“Œ 11

Columbia University’s agreement with the Trump administration is a disaster for academic freedom, freedom of speech, & the independence of American higher education. Never in the history of our nation has an educational institution so thoroughly bent to the will of an autocrat.

1/

24.07.2025 18:08 β€” πŸ‘ 546    πŸ” 223    πŸ’¬ 8    πŸ“Œ 20
Preview
UMD residents cannot bring personal electric scooters to campus this fall (edited) Effective Aug. 1, resident students will not be able to register their electric micromobility vehicles with DOTS. Vehicles that aren’t registered could be booted or impounded.

UMD forbidding student residents from having electric bikes and scooters. Fecklessly forward! dbknews.com/2025/07/02/n...

09.07.2025 15:40 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Estonia’s capital made mass transit free a decade ago. Car traffic went up It's a poignant lesson for U.S. cities that are considering going fare-free.

Note to NYC:

Tallinn, Estonia was the first global city go fare-free. My conclusion after visiting two years ago: The policy has ben a bust.

"Transit’s share of Tallinn commutes has fallen from over 40% in 2013, the year fares were eliminated for residents, to under 30% last year."

26.06.2025 17:47 β€” πŸ‘ 77    πŸ” 17    πŸ’¬ 12    πŸ“Œ 8
Post image

​The next NYC DOT commissioner will have the most exciting job in US transportation

25.06.2025 13:08 β€” πŸ‘ 444    πŸ” 61    πŸ’¬ 10    πŸ“Œ 22

This is your 41th monthly reminder that critical mass has been reached and the reaction continues. We must not back down from projects that give us safe infrastructure for mode choice. #BikeDC

ggwash.org/view/99877/b...

24.06.2025 17:52 β€” πŸ‘ 9    πŸ” 3    πŸ’¬ 0    πŸ“Œ 1

I think a big part of the reason some people love bikes and other people hate bikes is this shared understanding that the bicycle itself is a symbol of rebellion and anti-establishment independence.

09.06.2025 23:47 β€” πŸ‘ 483    πŸ” 80    πŸ’¬ 11    πŸ“Œ 3

It truly befuddles me how any protected micro-mobility infra can be axed when all of the data clearly shows demand. I mean this is *only* CaBi! DC should be putting down 3x whatever it did the year before over and over and over. #BikeDC

04.06.2025 14:33 β€” πŸ‘ 5    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0
Preview
There’s a Nuclear Option to Fight Trump’s War Against Colleges. You Aren’t Going to Like It. Like watching NCAA basketball? What if you couldn’t, because schools went on strike?

thinking about this article for no reason

28.05.2025 23:38 β€” πŸ‘ 5    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Post image Post image

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

29.05.2025 00:53 β€” πŸ‘ 37    πŸ” 27    πŸ’¬ 2    πŸ“Œ 0

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...

27.05.2025 13:02 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
changed in hh income from Republican budget bill: more than 380k for the top 0.1%, 20k for the top 95-99%, negative for the first and second quintiles.

changed in hh income from Republican budget bill: more than 380k for the top 0.1%, 20k for the top 95-99%, negative for the first and second quintiles.

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

23.05.2025 15:36 β€” πŸ‘ 86    πŸ” 56    πŸ’¬ 0    πŸ“Œ 2

βˆ€x. international students β‰₯ x

23.05.2025 15:47 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
DC Bilingual bike bus crossing N Capitol.

DC Bilingual bike bus crossing N Capitol.

Mundo Verde bike bus waiting to cross Taylor.

Mundo Verde bike bus waiting to cross Taylor.

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

23.05.2025 13:04 β€” πŸ‘ 7    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

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.

22.05.2025 15:59 β€” πŸ‘ 6554    πŸ” 1340    πŸ’¬ 46    πŸ“Œ 89

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.

21.05.2025 19:45 β€” πŸ‘ 4550    πŸ” 1653    πŸ’¬ 104    πŸ“Œ 33

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.

21.05.2025 17:33 β€” πŸ‘ 39    πŸ” 9    πŸ’¬ 1    πŸ“Œ 2
E1: Ranjit Jhala (UCSD)
YouTube video by current continuation E1: Ranjit Jhala (UCSD)

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...

21.05.2025 15:20 β€” πŸ‘ 24    πŸ” 9    πŸ’¬ 1    πŸ“Œ 1

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!

19.05.2025 17:50 β€” πŸ‘ 74    πŸ” 32    πŸ’¬ 1    πŸ“Œ 2

@lambda-calcul.us is following 20 prominent accounts