@kentpitman@climatejustice.social
Post #3209117
2026-06-03 03:48 UTC
@dougmerritt@mathstodon.xyz @screwlisp@gamerplus.org
OK, well, I did just make a repo public but it's not the one we're discussing here and is in fact of no interesting value at all (which I suppose I can't say without risking some people will rush to check anyway, but really...not worth your time).. I'm just dusting of my github space a little.
The repo that IS relevant to here (not yet public) has working title for now of "netsettlement", just so you'll recognize it when it does appear.
Replies (1)
-
@screwlisp@gamerplus.org 2026-06-03 03:52
@kentpitman@climatejustice.social @dougmerritt@mathstodon.xyz This was the Mastodon toot | note | interview by Baez I was refering to. https://mathstodon.xyz/@johncarlosbaez/116679500222984155 Sorry for needing to be strongly corrected on your name @johncarlosbaez@mathstodon.xyz <- obviously an interesting mathstodon to read.