Reposted by buxl
January 17, 2026 at 2:33 PM
Reposted by buxl
Art by • Jean deMers
January 15, 2026 at 11:24 PM
Art by • Jean deMers
Reposted by buxl
Art by • Philippe Druillet
June 17, 2025 at 8:29 PM
Art by • Philippe Druillet
Reposted by buxl
New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a...
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog
martin.kleppmann.com
December 8, 2025 at 10:48 PM
New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a...
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Reposted by buxl
January 1, 2026 at 9:17 AM
Reposted by buxl
It’s a cliche now, but techbros never seem to get the message of any of the sci-fi/fantasy they claim to love. They seem to just scan the cover, maybe the blurb on the back, and go with the cool names. It’s that old tweet: “We made the TerrorNexus from that book called Don’t Make The TerrorNexus.”
December 29, 2025 at 2:38 AM
It’s a cliche now, but techbros never seem to get the message of any of the sci-fi/fantasy they claim to love. They seem to just scan the cover, maybe the blurb on the back, and go with the cool names. It’s that old tweet: “We made the TerrorNexus from that book called Don’t Make The TerrorNexus.”
Reposted by buxl
The Seattle Times is piloting pnpm’s client-side defenses—blocked lifecycle scripts, release cooldowns, and trust policy—to stop worms like Shai-Hulud 2.0 before they land.
Read their story:
pnpm.io/blog/2025/12...
Read their story:
pnpm.io/blog/2025/12...
How We're Protecting Our Newsroom from npm Supply Chain Attacks | pnpm
We got lucky with Shai-Hulud 2.0.
pnpm.io
December 8, 2025 at 1:48 PM
The Seattle Times is piloting pnpm’s client-side defenses—blocked lifecycle scripts, release cooldowns, and trust policy—to stop worms like Shai-Hulud 2.0 before they land.
Read their story:
pnpm.io/blog/2025/12...
Read their story:
pnpm.io/blog/2025/12...
Reposted by buxl
Pilgrims of the Murk Dome stuff
November 21, 2025 at 8:09 PM
Pilgrims of the Murk Dome stuff
Reposted by buxl
Art by • Stephen Fabian
November 22, 2025 at 6:06 PM
Art by • Stephen Fabian
Reposted by buxl
Reposted by buxl
Sitting at a campfire staring at another campfire. 5”x5” oil
November 13, 2025 at 2:54 PM
Sitting at a campfire staring at another campfire. 5”x5” oil
Reposted by buxl
CTB-1. Medulla Nebula. A supernova remnant in Cassiopeia.
Data from September 2024.
65X300s
#astronomy #astrophotography
Data from September 2024.
65X300s
#astronomy #astrophotography
November 9, 2025 at 3:52 PM
CTB-1. Medulla Nebula. A supernova remnant in Cassiopeia.
Data from September 2024.
65X300s
#astronomy #astrophotography
Data from September 2024.
65X300s
#astronomy #astrophotography
Reposted by buxl
In the infinity of possible universes there is one in which I don't have to scroll through social media for a good 10 minutes every time I place a pixel.
November 9, 2025 at 2:41 PM
In the infinity of possible universes there is one in which I don't have to scroll through social media for a good 10 minutes every time I place a pixel.
Reposted by buxl
Halloween Haunted House
October 31, 2025 at 6:33 PM
Halloween Haunted House
Reposted by buxl
Super Castlevania IV (1991) | SNES
October 31, 2025 at 6:38 AM
Super Castlevania IV (1991) | SNES
Reposted by buxl
as a condition of funding, we were asked to affirm that we wouldn’t undertake any diversity, equity, and inclusion work, whether or not we used the government funds to do so. The PSF simply couldn’t agree to that statement,
October 27, 2025 at 2:47 PM
as a condition of funding, we were asked to affirm that we wouldn’t undertake any diversity, equity, and inclusion work, whether or not we used the government funds to do so. The PSF simply couldn’t agree to that statement,
Reposted by buxl
engineers everywhere pretending to “monitor the situation” while refreshing the aws status page
October 20, 2025 at 11:00 AM
engineers everywhere pretending to “monitor the situation” while refreshing the aws status page
Reposted by buxl
I did another one for spooky season, I am not painting trees ever again by the way
Oil painting on panel 18"x14"
Oil painting on panel 18"x14"
October 15, 2025 at 5:57 PM
I did another one for spooky season, I am not painting trees ever again by the way
Oil painting on panel 18"x14"
Oil painting on panel 18"x14"
Reposted by buxl
October 13, 2025 at 4:51 PM
Reposted by buxl
Bethesda RPG protagonist trying to fuck, but every time they stick it in the game engine detects that two physics objects have intersected and ragdolls them into the ceiling.
October 11, 2025 at 5:39 PM
Bethesda RPG protagonist trying to fuck, but every time they stick it in the game engine detects that two physics objects have intersected and ragdolls them into the ceiling.
Reposted by buxl
"While [Luigi Mangione] was clearly expressing an animus toward [UnitedHealthcare], and the health care industry generally, it does not follow that his goal was to 'intimidate and coerce a civilian population' ... [T]here was no evidence presented of such a goal."
The judge did not throw out the entirety of the murder charges against Luigi Mangione, but said two of the most serious charges — murder in the first degree as a crime of terrorism and a second-degree charge related to terrorism — were not proven by the prosecution’s case presented to a grand jury.
Judge Dismisses Terrorism Charges Against Luigi Mangione
Mangione is still facing murder charges, with federal prosecutors seeking the death penalty.
truthout.org
September 16, 2025 at 7:19 PM
"While [Luigi Mangione] was clearly expressing an animus toward [UnitedHealthcare], and the health care industry generally, it does not follow that his goal was to 'intimidate and coerce a civilian population' ... [T]here was no evidence presented of such a goal."
Reposted by buxl
Can we get a HELL YEAH for developer, Mephiles, who was just able to host a #Minecraft server on his Sega #Dreamcast (right) and connect to it successfully using a PC client (left)!?
#retrogaming #gamedev #retrocomputing
#retrogaming #gamedev #retrocomputing
September 13, 2025 at 7:36 PM
Can we get a HELL YEAH for developer, Mephiles, who was just able to host a #Minecraft server on his Sega #Dreamcast (right) and connect to it successfully using a PC client (left)!?
#retrogaming #gamedev #retrocomputing
#retrogaming #gamedev #retrocomputing
Reposted by buxl
hey google play thong song but in the harmonic minor scale or else i cant get turned on
September 14, 2025 at 2:52 AM
hey google play thong song but in the harmonic minor scale or else i cant get turned on
Reposted by buxl
Just got the confirmation from my sources. The Nintendo Direct will feature a game from a much-beloved franchise. Let's just say fans of that one guy will be very happy. Keep it on the down low
September 11, 2025 at 11:47 PM
Just got the confirmation from my sources. The Nintendo Direct will feature a game from a much-beloved franchise. Let's just say fans of that one guy will be very happy. Keep it on the down low