iiinova — where your digital self keeps evolving

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:

2939938

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

Derek Dreyer @herrdreyer.bsky.social · 08/02/2026

How else do you refer to the thing that was mentioned earlier?

000

Derek Dreyer @herrdreyer.bsky.social · 08/02/2026

“Aforementioned” is totes useful, as I am told the humans say.

100

Derek Dreyer @herrdreyer.bsky.social · 08/02/2026

Sounds like my kind of paragraph!!

100

Derek Dreyer @herrdreyer.bsky.social · 26/01/2026

It would be one thing if the Dems were failing to unite over a genuinely controversial position. But what ICE is doing here is extremely unpopular and losing Trump support rapidly. It is a win-win for the Dems to unite against fascism right now and I am puzzled by these dissenting votes.

110

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

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.

892879681

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

Derek Dreyer @herrdreyer.bsky.social · 17/01/2026

What is the point of adding the annoying header page in the first place? Who thought this was a good idea?

120

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 · 29/11/2025

You *can* say no. Anyone who makes a deadline like that must have budgeted for it not to be met by a significant number of reviewers.

230

Derek Dreyer @herrdreyer.bsky.social · 11/11/2025

I’m confused: aren’t the captions only visible if you turn on CC? It should just be a choice. In general, I use captioning for nearly everything these days and don’t find it distracting.

130

Derek Dreyer @herrdreyer.bsky.social · 07/11/2025

Can’t you just add it manually?

100

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 · 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

Derek Dreyer @herrdreyer.bsky.social · 07/10/2025

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.

130

Derek Dreyer @herrdreyer.bsky.social · 07/10/2025

Shouldn’t an architecture hat be a hard hat?

240

Derek Dreyer @herrdreyer.bsky.social · 25/09/2025

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

020

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.

20183561310924

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 · 22/08/2025

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

010

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 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.

120

Derek Dreyer @herrdreyer.bsky.social · 09/07/2025

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.

060

Derek Dreyer @herrdreyer.bsky.social · 03/07/2025

Fucking fascist motherfuckers.

050

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

Derek Dreyer @herrdreyer.bsky.social · 12/04/2025

What’s the notion of equality?

110

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.

10934310511997

Derek Dreyer @herrdreyer.bsky.social · 24/03/2025