Barry Jay
@barryjay.bsky.social
A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
Oops! Will fix in half-an-hour
January 4, 2025 at 9:28 PM
Oops! Will fix in half-an-hour
Right! You can also check out my book “Reflective Programs in Tree Calculus” and a type theory for it “Typed Program Analysis without Encodings” at GitHub.com/barry-jay-personal
December 10, 2024 at 5:14 AM
Right! You can also check out my book “Reflective Programs in Tree Calculus” and a type theory for it “Typed Program Analysis without Encodings” at GitHub.com/barry-jay-personal
The interesting meaning of “blatant” is “open and shameless”. Since “blatant” is degraded, perhaps we just use “open and shameless” instead, or “shameless” where “open” is understood.
December 9, 2024 at 11:16 PM
The interesting meaning of “blatant” is “open and shameless”. Since “blatant” is degraded, perhaps we just use “open and shameless” instead, or “shameless” where “open” is understood.
It’s like a simmering pot of water: the hotter it gets, the more it roils
November 21, 2024 at 3:00 AM
It’s like a simmering pot of water: the hotter it gets, the more it roils
