Sign in

asker the gauche, glycojohn destroyer of carbs

@johnbender.bsky.social
184 followers 96 following 536 posts

Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.

PostsRepliesMedia
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 24/06/2026
Shout out the folks who correctly identified that it was a dumb idea after seeing that it was a dumb idea first hand:
020
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 31/05/2026
gonna take a break tomorrow 🫠
050
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 11/05/2026
It was new bike day last week! After about 7 hours worth of ripping around the sandy, loose roads and trails of LA and SD I can say I’m quite happy with the build! (my only gripe is the 11th grade marketing homework level quality of the “exaero gr” branding on the fork, fix incoming 😆)
230
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 24/04/2026
😅
240
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 01/04/2026
I do feel bad for this person but the apology to Claude has launched me directly into the sun. I can’t tell if they are repeating the same mistake by assigning too much agency to the LLM or if they are a genius for deflecting responsibility through said assignment of agency? 🫠🫠🫠
010
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 20/03/2026
000
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 15/03/2026
search your camera roll for “hell”
120
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 09/01/2026
you do have a strong moral compass @steveklabnik.com
000
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 09/01/2026
😳
1230
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 05/01/2026
010
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 01/01/2026
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
010
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 26/12/2025
🎄🎄🎄
110
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 13/12/2025
my reviews of the Precision Fuel 60g Chew Bar: all the fragrant charm of a urinal cake in a gummy that will take you at least 5 actual minutes to chew through resulting in a glucose spike second only Everest in its height and rate of ascent (they work real good on rides though)
gummy wrapped in package, mint lemon flavor gummy outside the package, yellow
110
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 10/12/2025
lazy with side-effects
110
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 24/11/2025
being on both sides this picture is a pretty normal part of self-reflection
110
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 12/11/2025
she too may hope one day to be played by David Schwimmer in a TV adaptation of a famous court case
020
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 06/11/2025
010
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 29/10/2025
010
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 24/10/2025
what are we doing here
010
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 05/10/2025
There are a lot of rather awful things going on in the world just now but fwiw I had a nice bike ride today. (A cool flyover, watch at 10x 😅) strava.app.link/lImUDx6McXb
020
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 21/08/2025
what stage of capitalism is this
100
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 08/08/2025
216022
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 31/07/2025
111
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 28/06/2025
000
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 25/06/2025
upper east side and upper west side went for Cuomo, a totally unpredictable outcome there 🙄
000
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 22/06/2025
I don't know that it means overmuch since people who seem disenchanted with AI aren't, afaict, arguing that we can't be rivaled in intellectual power but I found this interesting. (Also you should reading Turing's Cathedral it's a very good book that is only partly about Alan Turing).
000
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 11/06/2025
That place is _incredible_
020
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 09/06/2025
010
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 28/05/2025
160
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 27/05/2025
Gotta be one of the most beautiful places to ride a bike on the planet along with the Alps and Pyrenees!
010
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 10/05/2025
010
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 02/04/2025
*nods sagely*
060
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 28/02/2025
have you tried
100
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 26/01/2025
a presentation I gave a while back 😅
030
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 09/01/2025
preview.redd.it/tonights-los...
010
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 10/12/2024
“Pie? Rat? Sea? It’s a crime.”
020
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 15/11/2024
always struck by the fact that whoever drew this had no idea where UCLA was/is
Map of the original configuration of the internet connecting the universities of Utah, UC Santa Barbara and UC Los Angeles with SRI
010