Communications engineer and mathematician. Inventor of corecursive queues, postgresql-simple, an aggregate theory of concrete mathematics, and self-documenting cryptography. Currently aspiring to become an Epistemic Frame Engineer.
Joined: 2023-09-29
────
2024-12-23 leon_p_smith ┃ RE: futurebird
@futurebird Most of our cats just sort of appear. Our most recent cat was likely a feral, I saw him once or twice; then I saw him peeking in the window, then he disappeared for about two […]
────
2024-12-22 leon_p_smith ┃ edited ┃ 2🔗 1👤 ┃ RE: futurebird
@futurebird @VaylLarkinPoet
Incidentally, I listened to Behind the Bastards on Curtis Yarvin, Part I. That podcast claims Yarvin was radicalized in part by the "Eternal September" of 1993, […]
────
2024-12-21 leon_p_smith ┃ 1👤 ┃ RE: futurebird
@futurebird @villares
Haskell actually. The paper's not so different in spirit from your expression of the Euclidean Algorithm in the math-extra file.
[…]
2024-12-21 leon_p_smith ┃ 1🔗 1👤 1💬 ┃ RE: futurebird
@futurebird @villares The Stern-Brocot tree is suprisingly simple! One way of looking at it is that it "undoes" the gcf function.
So if you start with an "ideal" ratio that you want your gears […]
2024-12-21 leon_p_smith ┃ 1👤 1💬 ┃ RE: futurebird
@futurebird @villares I didn't analyze your code in depth, but at a glance it seems pretty reasonable for this kind of thing.
The use of gcf though does suggest that there probably is a […]
────
2024-12-14 leon_p_smith ┃ edited ┃ 4👤 ┃ RE: ?
@FediThing @mattmcirvin @DamonWakes @futurebird
Well I'm not sure it was easier to call out the big lie, but you are admittedly taking a lot of degrees of freedom away from a liar if you […]
────