Tobin Baker

173 Followers
145 Following
3.2K Posts

database, concurrency nerd

I barely speak for myself, let alone my employer

that said, fuck authoritarians

LocationCascadia
Just rewatched the intro to “Beavis and Butthead Do America” after 30 years and it captures our timeline pretty well
It just occurred to me that all I knew about Utah as a kid was from the Great Brain books. Well, that and “A Study in Scarlet”.

I'd never seen Leslie Lamport's quicksort variant "Lampsort", but in retrospect it's exactly how I'd expect quicksort to be specified in TLA. And the nondeterminism (and recursion-freedom) is cool.

https://bertrandmeyer.com/2014/12/07/lampsort/

Lampsort - Bertrand Meyer's technology+ blog

Is Quicksort inherently recursive?

Bertrand Meyer's technology+ blog
Following the Trump regime's lead, can we start referring to "defense contractors" as "war contractors" and the "defense industry" as the "war industry"?

Next time I click on an HN thread involving any Meta internal drama I'll be sure to bring more popcorn. What a toxic culture

https://news.ycombinator.com/item?id=47404107

> We plan to deliver improvements to [..] purging mechanisms During my time at F... | Hacker News

why does claude code sound like it works at a Starbucks
I would gladly trade all of DC for Isfahan
Does anyone actually use the ACM DL PDF reader, instead of immediately smashing the download button and viewing in the PDF reader of their choice?
I sympathize with all the Iranians both inside and outside Iran who are rejoicing at the destruction of their murderous theocratic government. But please, get it out of your heads that either the US or Israel gives a single solitary fuck about the people of Iran.
Really gonna miss cozy indoor basketball games now that it's rainy outdoor football game season