asker the gauche, glycojohn destroyer of carbs
@johnbender.bsky.social
Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
Pinned
Impossible to know for sure without a Coq formalization
pin it
okay I was hoping this was about guaranteed termination
January 15, 2026 at 2:09 AM
okay I was hoping this was about guaranteed termination
One can also delete the account from the web as a matter of data privacy in some states (I did this in CA)
www.hilton.com/en/hilton-ho...
www.hilton.com/en/hilton-ho...
www.hilton.com
January 14, 2026 at 6:06 PM
One can also delete the account from the web as a matter of data privacy in some states (I did this in CA)
www.hilton.com/en/hilton-ho...
www.hilton.com/en/hilton-ho...
slot pulling outdoors is an under explored business opportunity
if you think about it, fishing is the oldest Gacha
January 13, 2026 at 6:34 PM
slot pulling outdoors is an under explored business opportunity
It’s a very weird sign of the times but even a cursory understanding of Fed history makes clear that we are well off the rails if the chair is making public addresses about the pressure campaign from the Whitehouse.
Video message from Federal Reserve Chair Jerome H. Powell:
www.youtube.com/watch?v=KckG...
www.federalreserve.gov/newsevents/s...
www.youtube.com/watch?v=KckG...
www.federalreserve.gov/newsevents/s...
Statement by Federal Reserve Chair Jerome H. Powell
YouTube video by Federal Reserve
www.youtube.com
January 12, 2026 at 1:33 AM
It’s a very weird sign of the times but even a cursory understanding of Fed history makes clear that we are well off the rails if the chair is making public addresses about the pressure campaign from the Whitehouse.
you do have a strong moral compass @steveklabnik.com
January 9, 2026 at 2:22 AM
you do have a strong moral compass @steveklabnik.com
feel like this deserves a dropped ‘g’
January 9, 2026 at 1:04 AM
feel like this deserves a dropped ‘g’
😳
January 9, 2026 at 1:03 AM
😳
Reposted by asker the gauche, glycojohn destroyer of carbs
We've extended the deadline for workshops at SPLASH/ISSTA 2026 to **January 17**! Please submit your proposals (it's just a small HotCRP form this year, easy!), and we're looking forward to seeing you in Oakland!
Link: 2026.splashcon.org/track/splash...
@rohan.padhye.org @issta.bsky.social
Link: 2026.splashcon.org/track/splash...
@rohan.padhye.org @issta.bsky.social
SPLASH/ISSTA 2026 - Workshops - SPLASH 2026
Welcome to the website of the SPLASH 2026 conference. We are working hard to fill the website with all related information. Please check back soon!
In the meantime, please consider this overview of th...
2026.splashcon.org
January 8, 2026 at 8:04 PM
We've extended the deadline for workshops at SPLASH/ISSTA 2026 to **January 17**! Please submit your proposals (it's just a small HotCRP form this year, easy!), and we're looking forward to seeing you in Oakland!
Link: 2026.splashcon.org/track/splash...
@rohan.padhye.org @issta.bsky.social
Link: 2026.splashcon.org/track/splash...
@rohan.padhye.org @issta.bsky.social
Reposted by asker the gauche, glycojohn destroyer of carbs
A friend in Minneapolis just sent me this video. Looks like thousands have come together for a vigil after an ICE agent shot and killed 37-year-old Renee Nicole Good. This was my neighborhood for several years before coming to Portland.
January 8, 2026 at 1:05 AM
A friend in Minneapolis just sent me this video. Looks like thousands have come together for a vigil after an ICE agent shot and killed 37-year-old Renee Nicole Good. This was my neighborhood for several years before coming to Portland.
Grateful for these folks who made the effort and showed up to make it clear that this is not okay.
A friend in Minneapolis just sent me this video. Looks like thousands have come together for a vigil after an ICE agent shot and killed 37-year-old Renee Nicole Good. This was my neighborhood for several years before coming to Portland.
January 8, 2026 at 1:14 AM
Grateful for these folks who made the effort and showed up to make it clear that this is not okay.
The degree to which empty trays are lefty to back up at the end of airport security conveyor belts is simultaneously fascinating and troubling.
January 4, 2026 at 3:45 PM
The degree to which empty trays are lefty to back up at the end of airport security conveyor belts is simultaneously fascinating and troubling.
And the first is crucial for the second so it’s not really possible to do well without them both at exceptionally high levels. Dude is bonkers.
January 2, 2026 at 11:06 PM
And the first is crucial for the second so it’s not really possible to do well without them both at exceptionally high levels. Dude is bonkers.
Reposted by asker the gauche, glycojohn destroyer of carbs
If you are a resident of California, the state now has a portal where you can demand deletion of your personal data from 500+ registered data brokers with a single request form, for free.
consumer.drop.privacy.ca.gov
consumer.drop.privacy.ca.gov
consumer.drop.privacy.ca.gov
January 2, 2026 at 2:26 AM
If you are a resident of California, the state now has a portal where you can demand deletion of your personal data from 500+ registered data brokers with a single request form, for free.
consumer.drop.privacy.ca.gov
consumer.drop.privacy.ca.gov
my luke warm take is that if people knew what it meant for a compiler to be correct the broader idea of “abstraction” would be much clearer since its usually the first example they encounter
note for nerds: this conflates abstraction/refinement with “less detail” which are not necessarily the same
note for nerds: this conflates abstraction/refinement with “less detail” which are not necessarily the same
January 1, 2026 at 3:14 AM
my luke warm take is that if people knew what it meant for a compiler to be correct the broader idea of “abstraction” would be much clearer since its usually the first example they encounter
note for nerds: this conflates abstraction/refinement with “less detail” which are not necessarily the same
note for nerds: this conflates abstraction/refinement with “less detail” which are not necessarily the same
Jokes on you, I had no goals and thus have completed the set of all such goals.
Five hours to accomplish all your 2025 goals
Can you do it? No
Do I believe in you? Also no
Can you do it? No
Do I believe in you? Also no
January 1, 2026 at 1:41 AM
Jokes on you, I had no goals and thus have completed the set of all such goals.
Reposted by asker the gauche, glycojohn destroyer of carbs
The presents have been unwrapped, the candles lit, the big meal eaten... now's a great time to play with Miren!
Whether it's that holiday cookie app you vibe-coded or something more serious, give Miren a spin!
After you've had your fun, come let us know how it went in Discord (miren.dev/discord)!
Whether it's that holiday cookie app you vibe-coded or something more serious, give Miren a spin!
After you've had your fun, come let us know how it went in Discord (miren.dev/discord)!
Miren - Modern Infrastructure Platform
miren.dev
December 30, 2025 at 11:33 PM
The presents have been unwrapped, the candles lit, the big meal eaten... now's a great time to play with Miren!
Whether it's that holiday cookie app you vibe-coded or something more serious, give Miren a spin!
After you've had your fun, come let us know how it went in Discord (miren.dev/discord)!
Whether it's that holiday cookie app you vibe-coded or something more serious, give Miren a spin!
After you've had your fun, come let us know how it went in Discord (miren.dev/discord)!
“… and the setting sun with the last light of Durin's Day will shine upon th- Nah nah man forget all this, my cousin Mikey did that one we good.”
December 30, 2025 at 5:26 PM
“… and the setting sun with the last light of Durin's Day will shine upon th- Nah nah man forget all this, my cousin Mikey did that one we good.”
Reposted by asker the gauche, glycojohn destroyer of carbs
I'm once again politely asking Bluesky developers to allow us to attach multiple photos and videos in one post.
December 26, 2025 at 8:53 PM
I'm once again politely asking Bluesky developers to allow us to attach multiple photos and videos in one post.
🎄🎄🎄
December 26, 2025 at 4:08 AM
🎄🎄🎄
the avoid insulin induced food torpor challenge (impossible)
December 26, 2025 at 1:35 AM
the avoid insulin induced food torpor challenge (impossible)
or GLB’n honestly I’ve been staring at this trying to decide and I just want to make the joke
December 24, 2025 at 9:18 PM
or GLB’n honestly I’ve been staring at this trying to decide and I just want to make the joke
i am also always hungry
Every time I see the mac System Information icon all my brain thinks is: Onigiri
December 23, 2025 at 12:19 AM
i am also always hungry
I believe it was Dave Chappell in his greatest role as Rick James who said (paraphrasing heavily) “They should have never given you people money”
December 21, 2025 at 2:06 AM
I believe it was Dave Chappell in his greatest role as Rick James who said (paraphrasing heavily) “They should have never given you people money”