gloomybob.bsky.social
gloomybob.bsky.social
@gloomybob.bsky.social
Reposted by gloomybob.bsky.social
Great to see this workflow. Just my style!

Not only is it great to see somebody so confident and comfortable in their editor, but also to explain what's going on so eloquently.

Essential viewing!

youtu.be/qjWkNZ0SXfo
One Formula That Demystifies 3D Graphics
YouTube video by Tsoding
youtu.be
December 31, 2025 at 8:27 AM
Reposted by gloomybob.bsky.social
Systems don't pause between retries

If action a was applied at step i, then replaying a at any future step j is a no-op

Idempotence is a property of traces
December 30, 2025 at 5:00 PM
Reposted by gloomybob.bsky.social
By this day in 2002 all Russian soldiers in Moldova and Georgia were promised to be removed.

They were not. But please believe us when we negotiate now about our soldiers in Ukraine.
December 31, 2025 at 10:42 AM
Reposted by gloomybob.bsky.social
Future historians will wonder why the victims of colonialism sided so cheaply with a white coloniser who rules 1/3 of the Asian land mass from a city in Europe.
December 30, 2025 at 12:26 PM
Reposted by gloomybob.bsky.social
The Ukrainian delegation on the left

Putin’s delegation on the right-by all rights, the US flag s/b removed….
December 29, 2025 at 1:26 AM
Reposted by gloomybob.bsky.social
In today’s Vatnik Soup, we’ll introduce an American billionaire, real estate developer, and wannabe diplomat, Steve Witkoff. He’s best known for trying to sell Ukraine to Putin and for helping Trump sell this treason and encouragement of genocidal war as “peace”.

1/20
December 27, 2025 at 5:48 PM
Reposted by gloomybob.bsky.social
I hate it when my trolls claim Ukraine was killing Russian speakers in Donbass. It means I have to post this video of Prigozhin saying it's rubbish.
December 26, 2025 at 6:54 PM
Reposted by gloomybob.bsky.social
Russia violates:
UN Charter
Nuclear NPT
Helsinki Accords
Belovezha Accords
Paris Charter
Budapest Memo
Black Sea Fleet Treaty
Ukr-Ru Friendship Treaty
Treaty on Azov Sea & Kerch Strait
Karkiv pact
Etc

But Russia we will sign a legal document that we won't attack EU...
December 22, 2025 at 4:40 PM
Reposted by gloomybob.bsky.social
President Clinton is right. This is not getting as much attnetion as it should. The USA under Trumpstein is betraying this promise, which means any agreement involving Russia and the USA is not worth the paper it’s written on 🤷‍♂️ en.wikipedia.org/wiki/Budapes...
December 20, 2025 at 12:25 PM
Reposted by gloomybob.bsky.social
Trump has begun lifting American sanctions on companies that sell weapons to the Russian military. The Russians have finally offered enough money to the Trump family and Trump is 100% on Russia's side now.
December 21, 2025 at 12:54 AM
Reposted by gloomybob.bsky.social
██████████████, ██████████████.

Thank you for your attention to this matter. MAKE AMERICA GREAT AGAIN! ███████████
December 21, 2025 at 12:44 AM
Reposted by gloomybob.bsky.social
Incredible operation: The Ukrainian Security Service (SSU) attacked a Russian Kilo-class submarine in the Novorossiysk seaport using an underwater drone known as “Sub Sea Baby.” According to the official SSU statement, the submarine sustained critical damage.
December 15, 2025 at 4:26 PM
Reposted by gloomybob.bsky.social
Have you noticed how “corruption” is a constant media buzzword in articles about Ukraine, yet rarely comes up when discussing the current administration? Many things the Trump administration did would be considered exorbitant even by today’s Ukrainian “corruption standards”.
December 14, 2025 at 12:58 AM
Reposted by gloomybob.bsky.social
Our focus is specifically on getting *CS* people into formal verification, hence the name, "Logic for Systems" (as opposed to "Logic for philosophical syllogisms", say). There's a book accompanied by a verification tool specifically designed for education (not a lot are!).
forge-fm.github.io/book/
How to Read this book - Logic for Systems: Lightweight Formal Methods for Everybody
forge-fm.github.io
December 13, 2025 at 12:25 PM
Reposted by gloomybob.bsky.social
In today’s Vatnik Soup, our first on a non-human vatnik, we’ll talk about… Grok. It’s best known for turning into Mecha-Hitler and Mecha-Putler and for defending its vatnik master, Elon Musk, at all costs, up to being willing to sacrifice the rest of mankind for him.

1/24
December 12, 2025 at 4:59 PM
Reposted by gloomybob.bsky.social
Look at the latest DeepState map. Now look at what I said last month. Then look at the map again. Many people were shocked by my assessment at the time, but as often happens, it turned out to be correct.
December 12, 2025 at 12:41 PM
Reposted by gloomybob.bsky.social
Last newsletter of the year! This one's light and just covers a few of the Fun Facts I know about software. Happy holidays and enjoy!

buttondown.com/hillelwayne/...
Some Fun Software Facts
Last newsletter of the year! First some news on Logic for Programmers. Thanks to everyone who donated to the feedchicago charity drive! In total we raised...
buttondown.com
December 10, 2025 at 6:49 PM
Reposted by gloomybob.bsky.social
Sadly I’m inclined to agree — Europe needs to get its act together, strongly support Ukraine and become able to defend itself, as America is not going to come and help this time www.noahpinion.blog/p/europe-is-...
Europe is under siege
Menaced by Russia and China, abandoned by America.
www.noahpinion.blog
December 7, 2025 at 11:24 AM
Reposted by gloomybob.bsky.social
Considering that I was largely correct about how the war in Ukraine would develop and where Europe would eventually find itself, I will allow myself to share a few thoughts on how I see things unfolding for us in the future:
December 6, 2025 at 4:49 PM
Reposted by gloomybob.bsky.social
After reading the 2025 U.S. National Security Strategy, seeing Scott Bessent say that the US remains an ally of China, and reading Musk call for dismantling the EU, I just want to scream into the void, because it feels like we are sliding back into late 19th century imperialism led by a kakistocrats
December 6, 2025 at 1:01 PM
Reposted by gloomybob.bsky.social
this fall I worked with the core Git folks on writing an official data model for Git and it just got merged! I learned a few new things from writing it. github.com/git/git/blob...
git/Documentation/gitdatamodel.adoc at master · git/git
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen...
github.com
December 2, 2025 at 5:01 PM
Reposted by gloomybob.bsky.social
In the research for Computing, my multi-part documentary that examines the intersection of computing and what it means to be human, I've collected almost 6,000 books to help inform my storytelling. You can browse my entire collection here
t.co/fw6RXUYR2l
https://www.librarycat.org/lib/gbooch
t.co
October 31, 2025 at 11:23 PM
Reposted by gloomybob.bsky.social
Russia attacked kindergarten in Kharkiv. Russia’s daily terror across Ukraine continues.
October 22, 2025 at 8:53 AM