David Van Horn

15.8K posts

David Van Horn banner
David Van Horn

David Van Horn

@lambda_calculus

Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: https://t.co/Bwck1H9fXK Mastodon: @[email protected]

District of Columbia Katılım Aralık 2010
1.2K Takip Edilen5K Takipçiler
Sabitlenmiş Tweet
David Van Horn
David Van Horn@lambda_calculus·
ACM: We keep your research on the DL.
English
2
11
75
0
heihachi
heihachi@samlakig·
next 4 days, my special interest will be control flow analysis. prof told me to read the nice paper by van Horn et al. for the more FP side of CFA, also gonna read up more on codeql and how static analyers use these techniques
heihachi tweet mediaheihachi tweet media
English
2
0
25
1.1K
Mayor Muriel Bowser
Mayor Muriel Bowser@MayorBowser·
Today, I issued Mayor's Order 2025-090 to provide the pathway forward beyond the Presidential emergency. Full text:
Mayor Muriel Bowser tweet mediaMayor Muriel Bowser tweet mediaMayor Muriel Bowser tweet mediaMayor Muriel Bowser tweet media
English
275
176
835
229.3K
David Van Horn
David Van Horn@lambda_calculus·
@CMZParker5 @WangariGardens When everyone's wringing their hands about the next Michigan Ave victim, please explain to their loved ones how nothing was done because the money was "swept." I'm sure that will ease their grief.
English
0
0
1
47
Councilmember Zachary Parker
Councilmember Zachary Parker@CMZParker5·
My questions for Director Kershbaum today started with an update on the South Dakota Ave Safety Study, along with discussions about Michigan Ave, the Metropolitan Branch Trail (MBT), @WangariGardens, and more.
English
2
0
3
932
Councilmember Zachary Parker
Councilmember Zachary Parker@CMZParker5·
I've been in back-to-back budget oversight hearings the past few days and I want to be sure neighbors are aware of the important discussions taking place. Today, I joined @DDOTDC's hearing to ask about a number of Ward 5 projects 👇🏾🧵
English
1
1
3
926
David Van Horn retweetledi
Ward5FamilyBiking
Ward5FamilyBiking@Ward5FamilyBike·
Join us for: 🚲-> 🍕🍻 ⏰ Gather at 10:30am Sat May 17th 📍N Michigan Park Rec Ctr 📍metrobar
Ward5FamilyBiking tweet media
English
0
1
5
551
Mayor Muriel Bowser
Mayor Muriel Bowser@MayorBowser·
Crime is down this year and last year in DC. These aren't just statistics. These are saved lives. But there's more work to do, especially for our young people. Today, we launched the new Juvenile Investigative Unit, designed to stop youth-involved crime before it happens.
English
36
14
72
18.6K
Martin Austermuhle
Martin Austermuhle@maustermuhle·
NEWS: The D.C. Council just approved an emergency bill that gives the body more flexibility to close meetings to the press and public. Only @charlesallen and @CMLewisGeorgeW4 voted against.
English
5
16
47
12.8K
David Van Horn retweetledi
UMD Graduate Labor Union
UMD Graduate Labor Union@UMD_GLU·
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!
UMD Graduate Labor Union tweet media
English
0
1
24
1.2K
David Van Horn retweetledi
Zach Israel
Zach Israel@ZachBIsrael·
Interestingly, there’s not a single mention of Vision Zero in @DDOTDC 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?
Zach Israel tweet mediaZach Israel tweet media
English
5
6
34
3.1K
David Van Horn retweetledi
derek guy
derek guy@dieworkwear·
the modern american mind can't imagine a life where stores are closer to each other and we don't depend on giant chains
derek guy tweet media
English
371
1.8K
36.5K
996.3K
David Van Horn retweetledi
UAM-UMD
UAM-UMD@UAM_UMD·
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!
UAM-UMD@UAM_UMD

Ready everyone?!? Our bill—done w/ @AAUP, @AFTunion, @AFTHigherEd, @AFT_Maryland—for collective bargaining for ALL faculty & librarians in the USM system just dropped: Its here: mgaleg.maryland.gov/2025RS/bills/h… What is it & why is it important? 🧵

English
1
1
3
967
David Van Horn retweetledi
Zach Israel
Zach Israel@ZachBIsrael·
"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…
Zach Israel tweet media
English
5
11
17
7.9K
David Van Horn retweetledi
Nina Turner
Nina Turner@ninaturner·
Stop listening to your corporate lobbyists and donors. Kick them out. Support Medicare for All. Be anti-war. It’s really that simple.
Nina Turner tweet media
English
176
864
5.5K
92.5K
David Van Horn retweetledi
Senator Chris Coons
Senator Chris Coons@ChrisCoons·
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.
Kyle Griffin@kylegriffin1

The USAID systems that Elon Musk's DOGE team tried to access included personnel files and security systems — including on classified systems beyond the security level of at least some of the DOGE employees. The systems also included security clearance information for agency employees. nbcnews.com/politics/natio…

English
6.7K
12.1K
51.5K
2.2M
David Van Horn retweetledi
Public Citizen
Public Citizen@Public_Citizen·
BREAKING: We are suing @USTreasury for its unlawful disclosure of personal & financial information to Elon Musk’s DOGE.   This violation puts sensitive information about millions of Americans at risk.
English
4.1K
11.8K
82K
2.3M
David Van Horn retweetledi
Zach Israel
Zach Israel@ZachBIsrael·
The GOP bill prohibiting non-U.S. citizens from voting in all DC elections & repealing @BrianneKNadeau’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…
Zach Israel tweet mediaZach Israel tweet mediaZach Israel tweet mediaZach Israel tweet media
English
1
1
3
1.1K