David Van Horn (@lambda_calculus) 's Twitter Profile
David Van Horn

@lambda_calculus

Prof at @umdcs and @umiacs. Co-director of @plumlab.

BlueSky: bsky.app/profile/dvanho…
Mastodon: @[email protected]

ID: 223923566

linkhttp://ter.ps/dvanhorn calendar_today07-12-2010 18:00:17

15,15K Tweet

5,5K Followers

1,1K Following

Fix 11th and G St SE (@cleanmlk) 's Twitter Profile Photo

DC is the only place where you can be riding your bike home through Navy Yard, yell at someone for flying through multiple stops signs and it's Marjorie Taylor Greene.

Brianne K. Nadeau (@brianneknadeau) 's Twitter Profile Photo

.DC Department of Public Works will be able to immediately tow & impound vehicles with counterfeit or obscured license plates following passage of my fake tags bill by the Council today. Parking enforcement is a critical tool to address traffic safety & hence public safety. brianneknadeau.com/bills-to-enfor…

.<a href="/DCDPW/">DC Department of Public Works</a> will be able to immediately tow &amp; impound vehicles with counterfeit or obscured license plates following passage of my fake tags bill by the Council today. Parking enforcement is a critical tool to address traffic safety &amp; hence public safety. brianneknadeau.com/bills-to-enfor…
Evan Yeats (@evan_yeats) 's Twitter Profile Photo

A little-discussed aspect of the Bowser administration's legacy is the destruction of local transit service. Supporting Jack Evans's attempted destruction of Metro, gutting the ambitious Gray plans for a real streetcar network and, finally, killing the Circulator.

DC Car Violence (@dccarviolence) 's Twitter Profile Photo

NYC is 12x DC’s population (8.2m to 700k) yet only had 7x more bikeshare rides than we did (44m to 6m). DC bikes more per person that NYC!!! That is incredible despite how much we still have to go with regard to safe and efficient biking!

Zach Israel (@zachbisrael) 's Twitter Profile Photo

The GOP bill prohibiting non-U.S. citizens from voting in all DC elections & repealing Brianne K. Nadeau’s “Local Resident Voting Rights Amendment Act of 2022” (enacted in Feb. ‘23) was reintroduced yesterday (H.R. 884). *52 House Democrats* voted for this bill on May 23 2024…

The GOP bill prohibiting non-U.S. citizens from voting in all DC elections &amp; repealing <a href="/BrianneKNadeau/">Brianne K. Nadeau</a>’s “Local Resident Voting Rights Amendment Act of 2022” (enacted in Feb. ‘23) was reintroduced yesterday (H.R. 884). *52 House Democrats* voted for this bill on May 23 2024…
Nina Turner (@ninaturner) 's Twitter Profile Photo

Stop listening to your corporate lobbyists and donors. Kick them out. Support Medicare for All. Be anti-war. It’s really that simple.

Stop listening to your corporate lobbyists and donors. Kick them out. 

Support Medicare for All. Be anti-war. 

It’s really that simple.
Senator Chris Coons (@chriscoons) 's Twitter Profile Photo

According to Chapter 18 of the U.S. Code, attempting to access classified documents without proper security clearance is a federal felony punishable by up to 10 years in prison. The rule of law should apply to everyone.

Public Citizen (@public_citizen) 's Twitter Profile Photo

BREAKING: We are suing Treasury Department for its unlawful disclosure of personal & financial information to Elon Musk’s DOGE.   This violation puts sensitive information about millions of Americans at risk.

Zach Israel (@zachbisrael) 's Twitter Profile Photo

"The 'Bringing Oversight to Washington and Safety to Every Resident (BOWSER) Act' repeals the District of Columbia Home Rule Act one year after passage of the bill." lee.senate.gov/2025/2/lee-ogl…

"The 'Bringing Oversight to Washington and Safety to Every Resident (BOWSER) Act' repeals the District of Columbia Home Rule Act one year after passage of the bill." lee.senate.gov/2025/2/lee-ogl…
UAM-UMD (@uam_umd) 's Twitter Profile Photo

We are in full swing of our push for our collective bargaining bill in the Maryland legislature. More on that here: x.com/UAM_UMD/status… But let's also do a greatest hits of our past op-eds on this issue over the last few years 🧵 Some new 🔥 ones coming soon too!

Zach Israel (@zachbisrael) 's Twitter Profile Photo

Interestingly, there’s not a single mention of Vision Zero in DDOT DC Director Sharon Kershbaum’s testimony to the DC Council’s Committee on Transportation. Seems a bit odd when that’s been the explicit goal in the District for over a decade now. Has DDOT just given up on this?

Interestingly, there’s not a single mention of Vision Zero in <a href="/DDOTDC/">DDOT DC</a> Director Sharon Kershbaum’s testimony to the DC Council’s Committee on Transportation. Seems a bit odd when that’s been the explicit goal in the District for over a decade now. Has DDOT just given up on this?
UMD Graduate Labor Union (@umd_glu) 's Twitter Profile Photo

We followed UMD's advice and made 2500+ friends!🥰 Our common hobby to boost job satisfaction is organizing for better working conditions Pledge to be at our Practice Picket TOMORROW with all of our friends at noon: forms.gle/1xNgELYXftBhu3… + tag 3 besties you're picketing with!

We followed UMD's advice and made 2500+ friends!🥰 Our common hobby to boost job satisfaction is organizing for better working conditions

Pledge to be at our Practice Picket TOMORROW with all of our friends at noon: forms.gle/1xNgELYXftBhu3… + tag 3 besties you're picketing with!