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
she too may hope one day to be played by David Schwimmer in a TV adaptation of a famous court case
what are we doing here
October 24, 2025 at 8:05 PM
what are we doing here
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
(A cool flyover, watch at 10x 😅) strava.app.link/lImUDx6McXb
October 5, 2025 at 1:14 AM
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
(A cool flyover, watch at 10x 😅) strava.app.link/lImUDx6McXb
what stage of capitalism is this
August 21, 2025 at 9:33 PM
what stage of capitalism is this
upper east side and upper west side went for Cuomo, a totally unpredictable outcome there 🙄
June 25, 2025 at 2:52 AM
upper east side and upper west side went for Cuomo, a totally unpredictable outcome there 🙄
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).
(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
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).
(Also you should reading Turing's Cathedral it's a very good book that is only partly about Alan Turing).
That place is _incredible_
June 11, 2025 at 10:56 PM
That place is _incredible_
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
Gotta be one of the most beautiful places to ride a bike on the planet along with the Alps and Pyrenees!
*nods sagely*
April 2, 2025 at 6:10 PM
*nods sagely*
have you tried
February 28, 2025 at 10:34 PM
have you tried
a presentation I gave a while back 😅
January 26, 2025 at 7:13 PM
a presentation I gave a while back 😅
“Pie? Rat? Sea? It’s a crime.”
December 10, 2024 at 2:57 AM
“Pie? Rat? Sea? It’s a crime.”
always struck by the fact that whoever drew this had no idea where UCLA was/is
November 15, 2024 at 2:09 PM
always struck by the fact that whoever drew this had no idea where UCLA was/is