jsph.online
Software is fun. pointers to things I'm interested in: joedaws.github.io
👤 Joined on 25 December 2023
Followers
Following
Total Posts
@joeda.bsky.social@joeda.bsky.social → @joseph-daws.bsky.social@joseph-daws.bsky.social → @josephcaws.bsky.social@josephcaws.bsky.social → @josdaw.bsky.social@josdaw.bsky.social → @jozzef.bsky.social@jozzef.bsky.social → @jsph.onlineI walked, I ran, I did a walk/run. Second week back at it. Hoping to be able to run a 5k by the end of the year. Any time, but preferably closer to 45mins than 50. See how I feel next summer and may aim for a half marathon next December-ish
Show PostThe paradox is that the choice of functor is itself a relation which the resultant graph cannot model.
Show Post