Pinned
David Hagerty (spooky edition)
David Hagerty (spooky edition)
@dathagerty.com
I write C# and Rust to make restaurant do smart and be CRDT I've been paid to productionize k8s crimes They/them Husband, dad, hobby desirer
271 followers829 following718 posts
Yeah, formal methods are great and a tool I’m happy it’s becoming easier to use. But they’re just that: a tool. They’re not a silver bullet that will suddenly make your code bug-free.
Reminder that "formally proved program X" is a meaningless statement. You formally prove that some program or a reduced model of it upholds some kind of property or invariant
David Hagerty (spooky edition) reposted
David Hagerty (spooky edition) reposted
Meanwhile the Engineers are just lighting themselves on fire to see what happens. COMIC ◆ www.smbc-comics.com/comic/reacti... PATREON ◆ www.patreon.com/ZachWeinersm... STORE ◆ smbc-store.myshopify.com
David Hagerty (spooky edition) reposted
This is silly, of course they’re meaningfully different. One is a cyberpunk-ish sci-fi story and the other is progression fantasy.
I'm not opposed at all to guilty pleasure reading. I do it a lot. I just don't understand the desire to say there's no meaningful difference between, like, Do Androids Dream of Electric Sheep, and Dungeon Crawler Carl, because after all you might like both.
David Hagerty (spooky edition) reposted
I would just like to highlight some personal growth and my ability to change my opinion on things. I would also like to apologize to Mike Bobo, because I never realized all he was missing was a mustache.
Man, it feels like I'm in college again 'cause I'm begging UGA to fire Mike Bobo again. #cfb #uga #collegefootball
David Hagerty (spooky edition) reposted
i mean, just look at how the populists talked about the railroad barons and others like them. "The fruits of the toil of millions are boldly stolen to build up colossal fortunes, unprecedented in the history of the world, while their possessors despise the republic and endanger liberty."
plenty of 20th century examples by my 19th century-pilled mind goes immediately to the railroads, which were HUGELY DISRUPTIVE and deeply enmeshed in politics in ways quite analogous to silicon valley and AI
David Hagerty (spooky edition) reposted
David Hagerty (spooky edition) reposted
My latest newsletter is a friendly bit of political advice for Democrats.
David Hagerty (spooky edition) reposted
Replying to @swtch.com
Also worth remembering that people are responsible for running these AI systems. They choose how to train them, how to run them, how to let them interact with their environments, how to use their outputs. Claims by AI companies that "AI will kill us all" are passive voice on steroids.
David Hagerty (spooky edition) reposted
David Hagerty (spooky edition) reposted
Independent of policy debates about existential risk, it is worth noting that even if AI development stopped today with the models we have right now, we would still have at least a decade of roiling change throughout much of work, education, and social life as harnesses improve & AI diffuses further
David Hagerty (spooky edition) reposted
Hi, I didn't wanna make this video but I need to come clean about something. This whole time I've been a p-zombie with no phenomenal experience or interiority. I've been getting messages asking whether there's anything it's like to be me, and the answer is no. I'd say I'm sorry, but, well, you know.
David Hagerty (spooky edition) reposted