Sign in

Derek Dreyer

@herrdreyer.bsky.social
682 followers 106 following 68 posts

Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)

PostsRepliesMedia
Reposted by Derek Dreyer
David Simon @audacityofdespair.bsky.social · 07/04/2026
I actually fear the worst. I think he's entirely capable of using nuclear weapons. And I fear that Hegseth has removed those who might question the order. These men are unfit, if not insane. So much so I will be perversely relieved if conventional ordnance merely murders thousands. It's so sick.
23628104
Reposted by Derek Dreyer
David Simon @audacityofdespair.bsky.social · 31/03/2026
Daughter, 15, is home from school today with a stomach bug. Mid-day attempt to rise from bed, shower, dress, and cover some homework for class tomorrow. And then the following:
2940038
Reposted by Derek Dreyer
David Simon @audacityofdespair.bsky.social · 22/03/2026
Damn. Credit to this poster, who has paid attention to all of the pieces. And indeed, as we were prepping the pilot, Mueller's FBI was going all in on counter-terror and Squad 5 (Narcotics) of the Baltimore field office was dumping casework. We had to report, write and film that in real time.
7604132
Reposted by Derek Dreyer
David Simon @audacityofdespair.bsky.social · 25/02/2026
There were few winners at last night's shitfest of lies and carny spectacle. But count every last member of the U.S. women's hockey team among them.
555959
Reposted by Derek Dreyer
Saarland Informatics Campus @saarland-informatics-campus.de · 22/01/2026
🏆 Saarbrücken now houses 11 ACM Fellows — about 1/3 of all ACM Fellows in Germany — highest of any location nationwide. This year, only 3 new Fellows in Germany were named, and Saarland University software engineering professor Sven Apel was one! Congrats, Prof. Apel! 👏 🔗 Read more: sic.link/apel
Photo of Prof. Dr. Sven Apel wearing glasses and a maroon polo shirt, standing with arms crossed against a light wall with sunlight casting striped shadows. Saarland Informatics Campus logo rests at the top left, while the Saarland University logo rests on the top right. A banner at the bottom reads: “Sven Apel becomes the 11th ACM Fellow of Saarbrücken.”
0115
Reposted by Derek Dreyer
David Simon @audacityofdespair.bsky.social · 23/01/2026
A hideous, unbelievable insult to our allies, who suffered a full third of the war dead in Afghanistan. And this from a soulless swine who knows everything about using his bone spurs to stay all the way back, entirely off the front lines. Every day, he shames the United States as a nation.
892879680
Reposted by Derek Dreyer
David Simon @audacityofdespair.bsky.social · 19/01/2026
Simply put: I am in control of the world's largest and most powerful military. And because I didn't get a prize for making peace, I feel entitled to consider going to war with a longtime ally. This man is mentally ill. That is not hyperbole. He's sick. He must be removed from power immediately.
13429103
Reposted by Derek Dreyer
David Simon @audacityofdespair.bsky.social · 19/01/2026
This is the precise mentality of a toddler preparing to throw a plate of food because it isn't candy. Or an abusive husband preparing to beat his wife. Except the President of the United States has the singular authority to call for and launch a nuclear attack. 25th Amendment Now.
740086
Reposted by Derek Dreyer
Isa Yusibov @isayusibov.bsky.social · 30/11/2025
Putin said earlier this week that Russia has no plans to invade Europe. I had a deja vu moment when I was listening to his crap:
311835
Derek Dreyer @herrdreyer.bsky.social · 04/11/2025
If something goes wrong with this update, I can't really say I wasn't warned.
050
Derek Dreyer @herrdreyer.bsky.social · 19/10/2025
After triumphantly proclaiming the return of Herr Dreyer over two months ago, I finally managed to push out a proper blog post. Enjoy. herrdreyer.wordpress.com/2025/10/19/o...
herrdreyer.wordpress.com
On Being Receptive to Criticism
Ah, the best-laid plans. Over two months ago, I triumphantly proclaimed that Herr Dreyer was back from the grave. I said I was going to try to push out shorter posts at a higher frequency, perfecti…
180
Derek Dreyer @herrdreyer.bsky.social · 16/10/2025
Lia Schütze, a student at MPI-SWS, presented this poster at our recent retreat. I was blown away. Not only is it a work of art (which she designed herself), but the visuals actually made sense as a structural device for explaining the work.
0152
Reposted by Derek Dreyer
Mike Dodds @m-dodds.bsky.social · 16/09/2025
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...
galois.com
Claude Can (Sometimes) Prove It
1165
Reposted by Derek Dreyer
Governor JB Pritzker @govpritzker.illinois.gov · 06/09/2025
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.
20193562410927
Reposted by Derek Dreyer
Mariya Toneva @mtoneva.bsky.social · 04/09/2025
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!
4505
Derek Dreyer @herrdreyer.bsky.social · 04/08/2025
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!
0143
Derek Dreyer @herrdreyer.bsky.social · 03/08/2025
I'm back. herrdreyer.wordpress.com/2025/08/03/h...
herrdreyer.wordpress.com
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…
1332
Derek Dreyer @herrdreyer.bsky.social · 09/07/2025
Look, ma, I'm a hacker! 🤣
2300
Derek Dreyer @herrdreyer.bsky.social · 23/05/2025
I appreciated them asking me about classical music, one of my primary sources of renewable energy in life.
0101
Reposted by Derek Dreyer
Michael Wong @miquai.bsky.social · 29/03/2025
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.
10934311712000
Reposted by Derek Dreyer
Steve Klabnik @steveklabnik.com · 19/03/2025
Does unsafe undermine #rustlang 's guarantees? steveklabnik.com/writing/does...
steveklabnik.com
Does unsafe undermine Rust's guarantees?
1713836
Derek Dreyer @herrdreyer.bsky.social · 14/03/2025
Based on the responses to this post, it would seem Bluesky is not a significant improvement on X.
200
Reposted by Derek Dreyer
KC Sivaramakrishnan @kcsrk.info · 25/02/2025
Is it possible to build a formally verified GC for OCaml that can be plugged into the compiler? We should how to in: "A Mechanically Verified GC for OCaml" kcsrk.info/papers/verif... This has been accepted to the Journal of Automated Reasoning. Code: github.com/prismlab/ver...
kcsrk.info
77323
Derek Dreyer @herrdreyer.bsky.social · 06/02/2025
Showed "8 1/2", my favorite film, to colleagues at MPI last night. Despite not being Italian, a Catholic, a filmmaker, a creative genius, or having a mistress (!), I find I relate to this film like no other. It captures how I experience the world and myself, and offers therapy for the impostor.
theguardian.com
Fellini’s 8½ – a masterpiece by cinema’s ultimate dreamer
Federico Fellini never stuck to the facts. At his best, his films strike a perfect balance between fantasy and reality – and nowhere is this more evident than in his autobiographical classic, 8½
160
Derek Dreyer @herrdreyer.bsky.social · 28/01/2025
Are there not more than a handful of Republicans willing to stand up to Trump's assault on science? This kind of politicization of science is a disaster for science in America, and thus for science in general.
160
Reposted by Derek Dreyer
Rachit Nigam @notypes.bsky.social · 27/01/2025
Well-deserved! Iris is also a really great example of how well-engineered artifacts make it dramatically easier to pursue technically deep research.
0182
Derek Dreyer @herrdreyer.bsky.social · 26/01/2025
Very proud to announce that the first Iris paper received the 2025 Most Influential POPL Paper Award this week. This is a testament to the amazing contributions of a wonderful international network of collaborators. www.youtube.com/live/ZKwpY0g...
4599
Reposted by Derek Dreyer
Satnam Singh @satnam6502.bsky.social · 24/01/2025
I am very happy for @herrdreyer.bsky.social and @natefoster.bsky.social who have become ACM Fellows! Well deserved!
04410
Derek Dreyer @herrdreyer.bsky.social · 06/01/2025
My father was an amazing person, so brilliant and funny, so passionate yet pragmatic, so caring and nurturing of others. I am so sad to have lost him, but I am also so happy when I think of all the people he touched and who carry a piece of him in their souls. May we all keep his spirit alive.
publications.aap.org
Dr. Dreyer, former AAP president, remembered as advocate for child health equity
Benard P. Dreyer, M.D., FAAP, who served as AAP president in 2016 and received the 2024 Joseph St. Geme Leadership Award, died Jan. 1 at age 78.
0200
Reposted by Derek Dreyer
Ilya Sergey @ilyasergey.bsky.social · 04/01/2025
Delighted to learn that the Faculty Mentoring workshop (RTFM@PLDI'24), organised by Amal Ahmed, @herrdreyer.bsky.social, and myself, was appreciated by the PLDI community: blog.sigplan.org/2025/01/02/s... If you'd like to help with organising the 2025 edition of RTFM, please, get in touch!
0123
Derek Dreyer @herrdreyer.bsky.social · 04/01/2025
The idea for the paper came to Dr. Woodcock during a lunchtime discussion with Jay Falletta...The two were working on a project about washing machines, which strain Australia’s extremely limited water resources. They were “a little bit bored” by the task, Dr. Woodcock acknowledged.
nytimes.com
Could Monkeys Really Type All of Shakespeare?
Not in this universe, a new study concludes.
031
Derek Dreyer @herrdreyer.bsky.social · 01/01/2025
I finally watched "Torn Curtain", a late Hitchcock film that is generally considered a failure. Much to my surprise, I thought it was a lot of fun! Paul Newman and Julie Andrews were clearly miscast and have zero chemistry, but... en.wikipedia.org/wiki/Torn_Cu...
en.wikipedia.org
Torn Curtain - Wikipedia
120
Derek Dreyer @herrdreyer.bsky.social · 29/12/2024
I wonder if I am the only person on earth who celebrated Christmas/New Year’s by watching both Squid Game 2 and Wanda (a classic depressing 1970 film by Barbara Loden, which Pamela Anderson recommended on her Criterion Closet picks). www.criterion.com/films/29450-...
criterion.com
Wanda
With her first and only feature film—a hard-luck drama she wrote, directed, and starred in—Barbara Loden turned in a groundbreaking work of American independent cinema, bringing to life a kind of char...
130
Derek Dreyer @herrdreyer.bsky.social · 18/12/2024
I love this. And good call on snagging the entire Bergman set, Pamela -- it cost me a couple hundred bucks! www.youtube.com/watch?v=tyo_...
youtube.com
Pamela Anderson’s Closet Picks
YouTube video by CRITERION
000
Derek Dreyer @herrdreyer.bsky.social · 18/12/2024
I'm only here because a bunch of interesting people moved here. I have no expectation that people will behave better here. www.politico.com/news/magazin...
politico.com
I Was Canceled by Bluesky. And I Still Don’t Know Why.
The liberal alternative to Elon Musk’s X platform reinstated me but never explained what my original offense was. That’s a bad message.
030
Derek Dreyer @herrdreyer.bsky.social · 03/12/2024
New rule: Authoritarians don't get to win just because it's the first Tuesday of the month.
nytimes.com
South Korea's President Says He Will Lift Martial Law, After Protests: Live Updates
President Yoon Suk Yeol said he would pull the order hours after South Korea’s National Assembly voted to halt it. Thousands of protesters took to the streets in Seoul, demanding that the president re...
040
Reposted by Derek Dreyer
Yaron Minsky @yminsky.bsky.social · 24/11/2024
The paper on data-race-free OCaml is out! If you want to learn more about the zoo of new mode axes (contention, uniqueness, portability, ...) and cool new abstractions like capsules, it's all there! iris-project.org/pdfs/2025-po...
iris-project.org
17121
Reposted by Derek Dreyer
JMCT @jmct.bsky.social · 21/11/2024
I keep trying to migrate this one and the video gets corrupted. It’s just that powerful! #FunctionalProgramming #Haskell #OCamel #Programming
35316
Reposted by Derek Dreyer
Satnam Singh @satnam6502.bsky.social · 20/11/2024
Post you from a different era 1983, my University of Glasgow matriculation card.
3321
Reposted by Derek Dreyer
Emery Berger @emeryberger.bsky.social · 20/11/2024
If you are looking for a quick way to follow everyone you used to follow on the vile site, there’s a solution! “Sky Follower Bridge” - works like a charm. Make sure to give some monetary love to the developer! lifehacker.com/tech/use-thi...
lifehacker.com
Use This Extension to Find All Your X Followers on Bluesky
If you're looking to finally leave Elon Musk's X, Bluesky is one of your best alternatives—and Sky Follower Bridge is a web extension that will easily help you find all of your X followers there.
02110