David Van Horn
lambda-calcul.us
David Van Horn
@lambda-calcul.us
Prof at UMD CS.
Reposted by David Van Horn
We live in sad times. While the Mayor was cutting a ribbon on the Takoma section of the Metropolitan Branch Trail, federal law enforcement was abducting someone just down the way on the Trail and by a school.
November 12, 2025 at 5:17 PM
Reposted by David Van Horn
Something absolutely perfect about Larry Summers riffing about the scourge of woke cancel culture being unfair to predatory men in a friendly email to his pal JEFFREY EPSTEIN.
November 13, 2025 at 12:25 AM
Reposted by David Van Horn
The majority of UMD faculty are nontenure researchers on federal funding. Hundreds of our public servants are threatened by MAGA science cuts. We're asking our bosses for simple things to keep people whole or provide dignified exits.

If you work at UMD or have worked with us, please sign and share
Protect PTK Researchers at UMD
Higher education is under attack from a federal administration that seeks to undermine our research infrastructure for political gain. Faculty at UMD conducting crucial research in fields like climate...
actionnetwork.org
November 11, 2025 at 4:17 PM
Reposted by David Van Horn
This point absolutely correct and I will add that Mamdani demonstrates that an insurgency, even one with real moral clarity and anger at the status quo, can still be cheerful and inviting.
November 11, 2025 at 1:22 PM
Reposted by David Van Horn
Keep thinking about the words of wisdom from @bradlander.bsky.social that the divide in Democratic politics right now is between folders and fighters.
November 10, 2025 at 1:24 AM
November 10, 2025 at 2:30 AM
Reposted by David Van Horn
The average SNAP benefit per month is $177 a person.

The average ACA benefit per month is up to $550 a person.

People want us to hold the line for a reason. This is not a matter of appealing to a base. It’s about people’s lives.

And working people want leaders whose word means something to them.
November 10, 2025 at 1:49 AM
Reposted by David Van Horn
Cornell agreed to pay $30m, hand over admissions data with demographic breakdowns, produce annual "campus climate" surveys to check on antisemitism and changes "since October of 2023," and—here's the dumbest part they agreed to—that the govt can open new investigations whenever it wants.

Appeasers.
November 7, 2025 at 5:19 PM
Reposted by David Van Horn
UMD CS is hiring in systems and data science, broadly construed (security definitely counts). Come work with us! www.cs.umd.edu/job/2025/jr1...
Assistant Professor, Associate Professor, Professor
The Department of Computer Science at the University of Maryland, College Park, MD, USA is recruiting to fill multiple tenure-track faculty positions, with starting dates on or after July 1, 2026. The...
www.cs.umd.edu
November 7, 2025 at 5:52 PM
Reposted by David Van Horn
Mayor-elect Zohran Mamdani has the chance to revolutionize the city’s streetscape, as other ambitious mayors did across the globe. Here’s how nyc.streetsblog.org/2025/11/05/a...
AGENDA 2026: The New Mayor Must Revolutionize NYC's Streets - Streetsblog New York City
We've already offered the low-hanging fruit that the new mayor could accomplish on Day 1. Now, it's time to roll up the sleeves for our big list.
nyc.streetsblog.org
November 5, 2025 at 1:21 PM
Reposted by David Van Horn
November 5, 2025 at 2:41 AM
Reposted by David Van Horn
Guys can you imagine getting to see Andrew Cuomo eat shit and concede twice in one year. Fuck me running
November 5, 2025 at 2:13 AM
Reposted by David Van Horn
whatever you think of Spanberger, the fact that her opponent ran a campaign based almost entirely on transphobia and is on track to eat shit in the biggest blowout the state has seen since 2009 is unambiguously a huge win
Earle-Sears ran what felt like 12 billion ads about how much she hated trans kids and I didn’t hear a single pundit say she should stick to real issues that affect real people.
WASHINGTON (AP) — Democrat Abigail Spanberger wins Virginia governor’s race.
November 5, 2025 at 1:27 AM
Reposted by David Van Horn
The Trump regime is East Winging the Goddard Space Flight Center, home to the 10,000 scientists and engineers in NASA science and engineering directorates.
BREAKING: NASA Goddard Space Flight Center is illegally closing 13 campus buildings (including ~100 laboratories).

Report coming from GESTA, the Goddard employee union
November 4, 2025 at 10:44 PM
Reposted by David Van Horn
Have expertise with functional programming, interpreters, and Web technology? Like Rust, wasm, etc.? Looking for a job with a great team (like @adamchalmers.com )? Please see this job ad, and share with others you might know!
zoo.dev/jobs/4619187...
Zoo: Software Engineer, Language Development
A remote position now hiring at Zoo
zoo.dev
November 4, 2025 at 4:11 PM
Reposted by David Van Horn
Wake up, Dick! I want you to see droves of New Yorkers voting in a Muslim socialist as mayor!

Dick?
November 4, 2025 at 11:42 AM
Reposted by David Van Horn
Andrew Cuomo campaigned in bigotry and will lose in disgrace.
“You campaign in poetry,” Mario
Cuomo said after he was first elected governor of New York. “You govern in prose.” Forty years on, Andrew Cuomo has campaigned for mayor in leaden, lazy, ugly prose his father would surely hate. While @ZohranKMamdani.bsky.social campaigned in inspiring poetry.
November 4, 2025 at 2:50 PM
Reposted by David Van Horn
Corrupt insider favor trading continues to be the hallmark of both Kenyan McDuffie's and Anita Bonds's political careers. This craven backdoor maneuver befits them.
November 4, 2025 at 12:38 AM
Reposted by David Van Horn
We created a machine that makes bullshit at scale and have effectively DDOS'd our information environment if not reality itself
This is why we can’t have nice things
arXiv will no longer accept review articles and position papers unless they have been accepted at a journal or a conference and complete successful peer review.

This is due to being overwhelmed by a hundreds of AI generated papers a month.

Yet another open submission process killed by LLMs.
November 2, 2025 at 4:52 PM
Reposted by David Van Horn
Join @safestreetsdc.bsky.social on 11/16 as we walk to remember and honor the lives lost and forever changed by traffic violence and then rally at the Lincoln Memorial with the Ride for Your Life.

RSVP: dcfamiliesforsafestreets.org/2025/10/12/w...
November 2, 2025 at 2:28 PM
Reposted by David Van Horn
arXiv will no longer accept review articles and position papers unless they have been accepted at a journal or a conference and complete successful peer review.

This is due to being overwhelmed by a hundreds of AI generated papers a month.

Yet another open submission process killed by LLMs.
Attention Authors: Updated Practice for Review Articles and Position Papers in arXiv CS Category – arXiv blog
blog.arxiv.org
November 1, 2025 at 5:28 PM
Reposted by David Van Horn
The crowds on 18th street today are as huge as any festival I've ever been to in DC. Perhaps we should consider closing 18th street to cars more regularly! Certainly seems good for business.
November 1, 2025 at 8:58 PM
Reposted by David Van Horn
I was happy to talk with Paul Krugman about GILDED RAGE, the rise of the tech right, and what American oligarchy looks like.
open.substack.com/pub/paulkrug...
Gilded Rage: Talking With Jacob Silverman
Why Silicon Valley went from libertarian to authoritarian
open.substack.com
November 1, 2025 at 12:23 PM
Reposted by David Van Horn
The White House plans to bar hospitals that treat transgender children and youth from getting any Medicare and Medicaid payments. The move would affect trans youth who have private insurance, too. n.pr/4qFa1mY
Trump pushes an end to medical care for transgender youth nationally
The White House plans to bar hospitals that treat transgender children and youth from getting any Medicare and Medicaid payments. The move would affect trans youth who have private insurance, too.
n.pr
October 30, 2025 at 1:44 PM
just got tdap, flu, and covid vaccines in one arm and I feel like the jeb wins meme
October 29, 2025 at 9:05 PM