@geofflangdale.bsky.social
SMTLIB2 folks: is there a good way of mechanically estimating the cost of a doing an assert ahead of time based on some sort of mechanical trick? In the theory of bit-vectors, we have everything from bvand (easy) to bvmul (!) and bvdiv (!!?). Quantifier-free answer OK.
November 7, 2025 at 11:54 PM
SMTLIB2 folks: is there a good way of mechanically estimating the cost of a doing an assert ahead of time based on some sort of mechanical trick? In the theory of bit-vectors, we have everything from bvand (easy) to bvmul (!) and bvdiv (!!?). Quantifier-free answer OK.
“The junk merchant doesn't sell his product to the consumer, he sells the consumer to his product. He does not improve and simplify his merchandise. He degrades and simplifies the client.”
― William S. Burroughs, Naked Lunch: The Restored Text
― William S. Burroughs, Naked Lunch: The Restored Text
October 15, 2025 at 10:25 PM
“The junk merchant doesn't sell his product to the consumer, he sells the consumer to his product. He does not improve and simplify his merchandise. He degrades and simplifies the client.”
― William S. Burroughs, Naked Lunch: The Restored Text
― William S. Burroughs, Naked Lunch: The Restored Text
Reposted
Once again, this perfect @zeboydgames.bsky.social post comes to mind:
September 30, 2025 at 9:12 PM
Once again, this perfect @zeboydgames.bsky.social post comes to mind:
Reposted
Doctorow on the impending economic collapse when the AI bubble bursts. pluralistic.net/2025/09/27/e...
Pluralistic: The real (economic) AI apocalypse is nigh (27 Sep 2025) – Pluralistic: Daily links from Cory Doctorow
pluralistic.net
September 28, 2025 at 5:59 PM
Doctorow on the impending economic collapse when the AI bubble bursts. pluralistic.net/2025/09/27/e...
badgers > beavers > claude code, as I predicted in 2008 at Sensory Networks (sadly management disappeared my little art installation almost immediately, the bastards):
September 23, 2025 at 11:55 PM
badgers > beavers > claude code, as I predicted in 2008 at Sensory Networks (sadly management disappeared my little art installation almost immediately, the bastards):
Reposted
September 10, 2025 at 4:27 PM
Reposted
Vance follows a coterie of online Nazis on X, has described Curtis Yarvin as a major intellectual influence, and openly attacks immigrants in blood and soil terms. The response of most of the political press? "Doesn't look like anything to me."
For the last couple of years much of the media has had the most incredible unwillingness to learn literally anything about JD Vance. Never seen anything like it. Active resistance to learning anything about his ideas.
jesus man, tell me you have no idea who Claremont is or JD Vance's record as a postliberal
September 2, 2025 at 3:20 PM
Vance follows a coterie of online Nazis on X, has described Curtis Yarvin as a major intellectual influence, and openly attacks immigrants in blood and soil terms. The response of most of the political press? "Doesn't look like anything to me."
Reposted
bluesky is like being stranded on an island with a bunch of cool people and pretty views and we built a little tiki bar and have campfires every night but you better fuckin like coconuts because that’s all we got
March 3, 2024 at 7:21 PM
bluesky is like being stranded on an island with a bunch of cool people and pretty views and we built a little tiki bar and have campfires every night but you better fuckin like coconuts because that’s all we got
Reposted
I love this post by Todd Austin equating running a kitchen to a modern out of order microprocessor, especially with the inclusion of precise interrupts, prefetch, and power gating.
August 24, 2025 at 7:15 PM
I love this post by Todd Austin equating running a kitchen to a modern out of order microprocessor, especially with the inclusion of precise interrupts, prefetch, and power gating.
August 22, 2025 at 2:33 AM
Reposted
As if this week were not bizarre enough: Mount Pleasant residents tell me a group of federal agents gathered for a photo-op near a pro-immigrant banner, pictured below, then tore it down.
In its place, they left a dildo. A neighbor's Ring camera captured the whole thing...
In its place, they left a dildo. A neighbor's Ring camera captured the whole thing...
August 15, 2025 at 6:03 PM
As if this week were not bizarre enough: Mount Pleasant residents tell me a group of federal agents gathered for a photo-op near a pro-immigrant banner, pictured below, then tore it down.
In its place, they left a dildo. A neighbor's Ring camera captured the whole thing...
In its place, they left a dildo. A neighbor's Ring camera captured the whole thing...
Reposted
@gralefrit.bsky.social You have to see these! A friend of mine has been collating a series of images entitled "Things my students have written turned into Philomena Cunk quotes" and they're just glorious.
August 11, 2025 at 11:12 AM
@gralefrit.bsky.social You have to see these! A friend of mine has been collating a series of images entitled "Things my students have written turned into Philomena Cunk quotes" and they're just glorious.
Reposted
I’m either too high for this or not high enough
August 9, 2025 at 5:07 AM
I’m either too high for this or not high enough
This is the *5th* generation of this system. How many gigabytes of training data and how much relentless GPU use was needed to produce this absolute gibberish?
My goto is to ask LLMs how many states have R in their name. They always fail. GPT 5 included Indiana, Illinois, and Texas in its list. It then asked me if I wanted an alphabetical highlighted map. Sure, why not.
August 8, 2025 at 10:36 PM
This is the *5th* generation of this system. How many gigabytes of training data and how much relentless GPU use was needed to produce this absolute gibberish?
Reposted
I honestly can’t believe there are still any AI skeptics out there. This tech is obviously revolutionary
August 8, 2025 at 12:51 AM
I honestly can’t believe there are still any AI skeptics out there. This tech is obviously revolutionary
Reposted
Earlier this year, a 17-year-old high school student named Hannah Cairo solved a 40-year-old mystery about how waves behave, surprising and exciting mathematicians. @kevinhartnett.bsky.social reports: www.quantamagazine.org/at-17-hannah...
At 17, Hannah Cairo Solved a Major Math Mystery | Quanta Magazine
After finding the homeschooling life confining, the teen petitioned her way into a graduate class at Berkeley, where she ended up disproving a 40-year-old conjecture.
www.quantamagazine.org
August 1, 2025 at 2:14 PM
Earlier this year, a 17-year-old high school student named Hannah Cairo solved a 40-year-old mystery about how waves behave, surprising and exciting mathematicians. @kevinhartnett.bsky.social reports: www.quantamagazine.org/at-17-hannah...
Reposted
I want to talk to you about Palantir and its expanding footprint in Australia. TLDR: You should be worried.
This US surveillance tech company has secured multiple Defence contracts worth over $11 million. We need transparency about what data they're accessing & why. 🧵
This US surveillance tech company has secured multiple Defence contracts worth over $11 million. We need transparency about what data they're accessing & why. 🧵
July 7, 2025 at 1:09 AM
I want to talk to you about Palantir and its expanding footprint in Australia. TLDR: You should be worried.
This US surveillance tech company has secured multiple Defence contracts worth over $11 million. We need transparency about what data they're accessing & why. 🧵
This US surveillance tech company has secured multiple Defence contracts worth over $11 million. We need transparency about what data they're accessing & why. 🧵
So if you want to start training Muay Thai, I recommend going to a place with an excellent dog (Tupac!) and excellent merch and even better excellent merch *of* the dog:
(model is me, unfortunately)
(model is me, unfortunately)
July 22, 2025 at 11:55 AM
So if you want to start training Muay Thai, I recommend going to a place with an excellent dog (Tupac!) and excellent merch and even better excellent merch *of* the dog:
(model is me, unfortunately)
(model is me, unfortunately)
My youngest, when he was little, proposed a movie called "3 Days Without God", which would open in a church where everyone is fighting with broken bottles, and cut to the image of a priest, victorious, standing over a pile of subdued bodies. Still sounds like an art movie banger.
July 18, 2025 at 12:21 AM
My youngest, when he was little, proposed a movie called "3 Days Without God", which would open in a church where everyone is fighting with broken bottles, and cut to the image of a priest, victorious, standing over a pile of subdued bodies. Still sounds like an art movie banger.
wantrepreneur-in-residence
July 1, 2025 at 6:57 AM
wantrepreneur-in-residence
If you have invertible functions p and q with inv(p) and inv(q) (we could have more or less functions), and '.' is function application, and 'X' is some clever trick (say, some cute SIMD operations)
p.q.X.inv(q).inv(p)
... often does cool stuff.
p.q.X.inv(q).inv(p)
... often does cool stuff.
June 27, 2025 at 11:26 AM
If you have invertible functions p and q with inv(p) and inv(q) (we could have more or less functions), and '.' is function application, and 'X' is some clever trick (say, some cute SIMD operations)
p.q.X.inv(q).inv(p)
... often does cool stuff.
p.q.X.inv(q).inv(p)
... often does cool stuff.
No lies detected. That was a magnificent kicker, Hall of Fame "final paragraph swerve" there. 10/10, would read entire article again.
June 27, 2025 at 12:43 AM
No lies detected. That was a magnificent kicker, Hall of Fame "final paragraph swerve" there. 10/10, would read entire article again.
Reposted
I for one need to see this turtle. Thanks in advance
Literally begging you to post about Just Some Stuff. We will see the news I absolutely promise. Twenty people will repost the same exact thing about the news. Only you can post about a turtle you saw
i don't mean to come off as rude but we cannot sustain ourselves on outrage and anger forever. i think it's even more important now to post about other things too. even if it gets less engagement. you never know who will find it cool and interesting.
June 21, 2025 at 1:54 PM
I for one need to see this turtle. Thanks in advance
Reposted
I've lost quite a bit of weight recently, and I find that I can now get into pants that I was previously unable to.
Including some of my own.
Including some of my own.
June 20, 2025 at 8:48 PM
I've lost quite a bit of weight recently, and I find that I can now get into pants that I was previously unable to.
Including some of my own.
Including some of my own.