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.
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
😳
January 9, 2026 at 1:03 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
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
🎄🎄🎄
December 26, 2025 at 4:08 AM
🎄🎄🎄
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)
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)
December 13, 2025 at 1:11 AM
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)
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)
lazy with side-effects
December 10, 2025 at 1:33 AM
lazy with side-effects
being on both sides this picture is a pretty normal part of self-reflection
November 24, 2025 at 8:31 PM
being on both sides this picture is a pretty normal part of self-reflection
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*