Lightnews — Scholar-powered news

Derek Dreyer @herrdreyer.bsky.social · 2d

I guess technically a top hat is somewhat stiff, but I wouldn't know, as I do only mechanized proofs these days and thus only wear robot outfits. My non-mechanized tuxedo doesn't fit anymore.

1 3

Derek Dreyer @herrdreyer.bsky.social · 2d

Shouldn’t an architecture hat be a hard hat?

2 4

Derek Dreyer @herrdreyer.bsky.social · 14d

Shit, I missed it. Still learning to use Google Calendar notifications…

2

Reposted by Derek Dreyer

Mike Dodds @m-dodds.bsky.social · 22d

I wrote about Claude Code, which to my absolute astonishment is quite good at theorem proving. For people who don't know theorem proving, this is like spending your whole life building F1 engines and getting lapped by a Tesco's shopping trolley www.galois.com/articles/cla...

Claude Can (Sometimes) Prove It

www.galois.com

1 5 15

Reposted by Derek Dreyer

Governor JB Pritzker @govpritzker.illinois.gov · Sep 6

The President of the United States is threatening to go to war with an American city.

This is not a joke. This is not normal.

Donald Trump isn't a strongman, he's a scared man. Illinois won’t be intimidated by a wannabe dictator.

2.1K 11K 36K

Reposted by Derek Dreyer

Mariya Toneva @mtoneva.bsky.social · Sep 4

So excited and honored to receive an ERC Starting Grant for the project BrainAlign!! BrainAlign will bring LLMs closer to human understanding by directly aligning them with the human brain.

Stay tuned for our findings, and multiple postdoc and PhD openings in the coming years!

4 5 44

Derek Dreyer @herrdreyer.bsky.social · Aug 22

You’ve stumped me, but you’ll have to rip my Deutschland ticket from my cold, dead, predictably 1 hour late hand.

1

Derek Dreyer @herrdreyer.bsky.social · Aug 18

Did it start with whisky?

1 1

Derek Dreyer @herrdreyer.bsky.social · Aug 4

It's official: RTFM, the faculty mentoring workshop, is happening again, this time at POPL 2026 in Rennes. The one we had at PLDI 2024 in Copenhagen was well received, so I'm looking forward to the next edition. Stay tuned!

3 14

Derek Dreyer @herrdreyer.bsky.social · Aug 3

I don't want to overdramatize. My problems have been addressed with just therapy -- other people have much more serious problems. But I bet I'm not the only one who could benefit from therapy.

1 2

Derek Dreyer @herrdreyer.bsky.social · Aug 3

I'm back.

herrdreyer.wordpress.com/2025/08/03/h...

Herr Dreyer Returns

It has been 9 years since I last blogged. That’s one year less than it took for Odysseus to get home from the Trojan War, and I think I have better excuses than him anyway. First of all, I ha…

herrdreyer.wordpress.com

1 2 33

Derek Dreyer @herrdreyer.bsky.social · Jul 9

That's understandable. But my sense of your worth (not to mention your identity) is completely unrelated to your job. You are worthy of love and respect, full stop.

6

Derek Dreyer @herrdreyer.bsky.social · Jul 9

Look, ma, I'm a hacker! 🤣

2 30

Derek Dreyer @herrdreyer.bsky.social · Jul 3

Fucking fascist motherfuckers.

5

Derek Dreyer @herrdreyer.bsky.social · May 23

I appreciated them asking me about classical music, one of my primary sources of renewable energy in life.

Association for Computing Machinery @acm.org · May 22

This week's People of ACM profile features Derek Dreyer, Scientific Director @mpi_sws_ Among other topics, Dreyer discusses the Rust programming language, Iris separation logic, and his interest in classical music. Read here: bit.ly/3SMAuyY

People of ACM - Derek Dreyer

Derek Dreyer is a Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany. At MPI-SWS, he leads the Foundations of Programming Group. His broad range of…

bit.ly

1 10

Derek Dreyer @herrdreyer.bsky.social · Apr 12

What’s the notion of equality?

1 1

Reposted by Derek Dreyer

Michael Wong @miquai.bsky.social · Mar 29

I received a heartbreaking email today: A paper in a special issue I’m editing is being retracted because one of its authors is afraid of losing their job and their legal status in the U.S. if they publish a scientific study on evolution. Yes, on evolution, nature's engine of diversity.