Tom Magrino, PhD
banner
tommagrino.com
Tom Magrino, PhD
@tommagrino.com
My day job is making arbitrary sequences of bits others told a computer reappear on command, quickly and at scale.

@tmagrino@discuss.systems
https://threads.net/t.magrino
It will always trip me up that the c++ standard library heap routines are defined for *max* heaps but are specified using a *less than* operation 🙃
November 20, 2025 at 10:10 PM
Reposted by Tom Magrino, PhD
ASKING OUR REPRESENTATIVES TO ACTUALLY REPRESENT US IS NOT FIGHTING IT’S JUST ASKING YOU TO DO THE FUCKING JOB WE PAY YOU FOR
But there are real dangers out there that must be fought; and energy spent fighting each other is energy lost to that bigger fight.
November 10, 2025 at 11:35 PM
Reposted by Tom Magrino, PhD
I hope future generations recognize how quickly and strangely the contours of what counts as a political scandal changed for this president.
O'DONNELL: Why did you pardon Changpeng Zhao?

TRUMP: Are you ready? I don't know who he is

O'DONNELL: His crypto exchange Binance helped facilitate a $2b purchase of World Liberty Financial's stablecoin. And they you pardoned him.

TRUMP: Here's the thing -- I know nothing about it
November 3, 2025 at 1:37 AM
What. A. Game.
November 2, 2025 at 4:19 AM
Justin's uglier brother Shane.
November 2, 2025 at 4:05 AM
Jays just need four guys to jump in front of pitches, right? There's no tomorrow, I hear.
November 2, 2025 at 4:02 AM
It's in the commissioner's powers to declare a tie, I'm sure.
November 2, 2025 at 4:00 AM
Nearly saw why first base is a trickier position than people tend to think: gotta know where the bag is.
November 2, 2025 at 3:55 AM
Here I was thinking, "oh an extra hour tonight, maybe I'll fix my sleep" 🙃
November 2, 2025 at 3:47 AM
At this point I hope this ends with position players pitching in the 21st.
November 2, 2025 at 3:45 AM
One walk and we could've all gone to bed, just saying.
November 2, 2025 at 3:40 AM
Walk to end the series, c'mon let's go. Let's end this in an absurd way, it's what this series deserves.
November 2, 2025 at 3:35 AM
Gutsy as hell not swinging at that
November 2, 2025 at 3:30 AM
Oof that looked painful
November 2, 2025 at 3:26 AM
What if it ends in a tie /s
November 2, 2025 at 3:20 AM
Buddy you gotta swing at that, what are you doing??
November 2, 2025 at 3:19 AM
This fucking series. Wow.
November 2, 2025 at 3:16 AM
Ohtani swinging at anything I guess?
November 2, 2025 at 1:46 AM
Bold move leaving Scherzer in.
November 2, 2025 at 1:40 AM
FWIW, obviously it wasn't an intentional bean ball but responding "Fuck you" when someone is mad you hit them with a pitch is risking a fight when emotions are running this high
"What the fuck man?"
"Fuck you, motherfucker"
November 2, 2025 at 1:36 AM
Man this series has had everything now, including a bullpen clearing HBP scuffle.
November 2, 2025 at 1:26 AM
Reposted by Tom Magrino, PhD
I will aggressively ignore all changes to the timeline until they pry the following feed from my cold dead hands

give me reverse chronological or give me death
“As users ‘dislike’ posts, the system will learn what sort of content they want to see less of. This will help to inform more than just how content is ranked in feeds, but also reply rankings.”
Bluesky hits 40 million users, introduces 'dislikes' beta | TechCrunch
As users "dislike" posts, the system will learn what sort of content they want to see less of. This will help to inform more than just how content is ranked in feeds, but also reply rankings.
techcrunch.com
October 31, 2025 at 10:45 PM
13 innings?? In this economy??
October 28, 2025 at 4:53 AM
At what point are we going to get into a position player pitching duel?
October 28, 2025 at 4:50 AM