The One Who Walks in the Sun
LightNews LightNews
banner
theonewhowalks3.bsky.social
The One Who Walks in the Sun
@theonewhowalks3.bsky.social
770 followers 1.2K following 93 posts
Professional mathematician, amateur classicist and gardener.
Posts Replies Media Videos
theonewhowalks3.bsky.social
Look, it's a sunset!
It is in fact a sunset, though there are some annoying power lines distracting from the prettily colored clouds.
November 9, 2025 at 10:50 PM
theonewhowalks3.bsky.social
Turtle seen at Lullwater Park. Sorry, this is all I am going to post for the foreseeable future.
A turtle, probably a red eared slider? sitting on a log in a moderately sized stream.
September 1, 2025 at 11:26 PM
theonewhowalks3.bsky.social
Okay examine the following from Wikipedia: en.wikipedia.org/wiki/Dialectic. What does it mean?
Wikipedia text stating the following: Mathematician William Lawvere interpreted dialectics in the setting of categorical logic in terms of adjunctions between idempotent monads.[61] This perspective may be useful in the context of theoretical computer science where the duality between syntax and semantics can be interpreted as a dialectic in this sense. For example, the Curry–Howard correspondence is such an adjunction or more generally the duality between closed monoidal categories and their internal logic.[62]
February 24, 2025 at 5:40 PM