asker the gauche, glycojohn destroyer of carbs
banner
johnbender.bsky.social
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.
she too may hope one day to be played by David Schwimmer in a TV adaptation of a famous court case
November 12, 2025 at 2:26 AM
November 6, 2025 at 9:25 PM
October 29, 2025 at 12:16 AM
what are we doing here
October 24, 2025 at 8:05 PM
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
October 5, 2025 at 1:14 AM
what stage of capitalism is this
August 21, 2025 at 9:33 PM
August 8, 2025 at 3:56 AM
July 31, 2025 at 5:52 PM
June 28, 2025 at 8:45 PM
upper east side and upper west side went for Cuomo, a totally unpredictable outcome there 🙄
June 25, 2025 at 2:52 AM
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).
June 22, 2025 at 6:34 PM
That place is _incredible_
June 11, 2025 at 10:56 PM
June 9, 2025 at 6:56 PM
May 28, 2025 at 8:59 PM
Gotta be one of the most beautiful places to ride a bike on the planet along with the Alps and Pyrenees!
May 27, 2025 at 9:20 PM
May 9, 2025 at 11:49 PM
*nods sagely*
April 2, 2025 at 6:10 PM
have you tried
February 28, 2025 at 10:34 PM
a presentation I gave a while back 😅
January 26, 2025 at 7:13 PM
January 9, 2025 at 3:56 AM
“Pie? Rat? Sea? It’s a crime.”
December 10, 2024 at 2:57 AM
always struck by the fact that whoever drew this had no idea where UCLA was/is
November 15, 2024 at 2:09 PM