Also known.as: Jim Kingdon. Interested in: formal mathematics, software development, dance (especially country-western and #MorrisDancing, but many kinds), plants.
Public Key
npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz Profile Code
nprofile1qqsd6srmldhtgy3n9ncfkresltlpsfhk6mxanp359td62sajtd4tz8gpz4mhxue69uhhyetvv9ujuerfw36x7tnsw43qlzf80f
Show more details
Published at
2026-05-26T16:09:16Z Event JSON
{
"id": "fbb40ae61c79a89ee3cdc7cec6aaf52e43ec7a05a8935a4f7bf01cb88b206ec8" ,
"pubkey": "dd407bfb6eb412332cf09b0f30fafe1826f6d6cdd986342adba543b25b6ab11d" ,
"created_at": 1779811756 ,
"kind": 0 ,
"tags": [
[
"proxy",
"https://sfba.social/users/soaproot",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "{\"name\":\"soaproot\",\"about\":\"Also known.as: Jim Kingdon. Interested in: formal mathematics, software development, dance (especially country-western and #MorrisDancing, but many kinds), plants.\\n\\n🏳️🌈 gay\\n\\nPronoun: he\\nSan Francisco, CA, USA\\n\\nI'm on Bookwyrm at @soaproot (disclaimer: I'm a pretty light user there).\",\"picture\":\"https://files.sfba.social/accounts/avatars/109/837/822/980/827/614/original/50e9144219a9ccba.jpeg\",\"nip05\":\"[email protected] \",\"fields\":[[\"github\",\"https://github.com/jkingdon\"],[\"software blog\",\"https://jkingdon2000.blogspot.com\"],[\"metamath\",\"https://us.metamath.org/ileuni/mmil.html\"],[\"wikipedia\",\"https://en.wikipedia.org/wiki/User:Kingdon\"]]}" ,
"sig": "8dee4fa485c79369bf8066f1011f308a09fd5111dc28d65f910e2d293f0cf4daa6efd55578a410f600728249c96fe60d3d4ada793b4478e8da54ecb780113433"
}
Last Notes npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…0zw6 Of finished chocolate? Or of beans? npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…0zw6 Viet Nam is perhaps the leader in vertically integrated chocolate (I'm thinking especially of the Marou brand). I've seen it on a very small scale in the Dominican Republic and on a larger scale in Hawaii. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…vf35 Oh interesting and, although I fully admit I'm asking this out of curiosity rather than as a likely user, is there a concise way to describe the interoperability with #threadiverse platforms like PieFed, MBin, etc? (Or other nodeBB's, or whatever it federates with) @nprofile…cnh4 @nprofile…kzhu npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…uyu7 I so wanted to grow this in my garden in Maryland. But apparently I didn't have a location which was wet enough. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…uyu7 This is a really good article. Lots of discussion of clover lawns, "beneficial weeds" (OK I would have called them forbs but I don't want to quibble over terminology) vs invasive plants found in lawns, etc. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…0hgz You quite likely know more about this than me, but because I was curious I tried to learn about drying green wood and found https://extension.oregonstate.edu/catalog/em-8612-air-shed-drying-lumber which goes into some of the considerations (it mentions the thing about coating the ends, for example). npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…yhwf @nprofile…hfh9 Very nice. One additional thing to say about this theorem: in #constructiveMathematics the Cantor–Bernstein–Schröder Theorem is equivalent to the law of the excluded middle (see https://arxiv.org/abs/1904.09193 or formalizations in, at least, TypeTopology or Metamath). npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…w8t5 For my edification, I will attempt a mini-thread translating the start of this thread to Metamath notation. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…u6hy You're allowed to have as many summands (of the specified form) as you want? npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…2jkd @nprofile…jljv Ouch. I'll be curious to hear how this (and other things coming out of the meeting of the US Conference of Catholic Bishops meeting) get covered by the Catholic podcasts I listen to. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…dand @nprofile…99up Ooh this looks like a very nice deck if I decide to dig into that paper more deeply. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…w8t5 I often say (to myself or collaborators) that I don't fully believe a result until I've formalized something. But now I see this happens to Real Mathematicians(TM) too. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…g35v Didn't really occur to me to go to this show. Are you going to #SFRuby on November 19–21 by any chance? npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…6cfc @nprofile…m2ru @nprofile…yu7x Apparently I'm not a mathematician then. Now if he had asked something about ℕ∞ I would have more of a chance. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…6cfc Let me guess? Vandalism/linkspan by an IP address within the last, we'll call it a month or so? npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…su6u @nprofile…q8c7 Hmm, I've generally seen "positive integers" as excluding zero and "nonnegative integers" as including zero. "positive real number" also excludes zero at least in the proof library I work with. Perhaps this convention is not quite as universal as I thought. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…pmdx My uncle studied Geneva during the reformation. He went to study the judicial records and after trying to figure it out on his own eventually had to admit to the archivist that he couldn't read the handwriting. Fortunately, they knew how and taught him. Apparently that was a bigger challenge than the language (an old form of French although I can't remember whether it is called Old French or has another name). npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…hr6z If a polyfill is available, 🤷 I guess it is fine? npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…hr6z @nprofile…8v9a Oh, oh. When I saw the announcement I was wondering how many people were doing XSLT in the browser (as opposed to either no XSLT or XSLT on the server). Well this is at least one well known package. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…mjf8 @nprofile…g5vt Overall project page: https://www.sfmta.com/projects/cesar-chavezpotrero-avebayshore-blvd-intersection-improvements-hairball npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…qwgu As for whether the Pinguicula makes a meaningful difference in pests, to be honest I don't know. If there are studies on this I haven't seen them. I can report that we do see small black animals trapped on their leaves (I don't have the insect knowledge to confirm/refute "fungus gnat" in a precise sense), but that doesn't by itself confirm an impact on their numbers. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…qwgu Nice thread! There is at least one Pinguicula species which is common in greenhouses and homes and in fact I recommend growing them because they are pretty and can help keep fungus gnats under control. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…hr6z Interesting. Would you recommend WordPress with the MathJax plugin for math blogging? Would you use ActivityPub for comments/replies or some other system? (I am thinking of someone who was thinking of replacing a bit rotted Jekyll setup but I didn't have enough firsthand experience to make a confident recommendation) npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…saev I was wondering if you had mastered the technique of industrial scale production of toots in this format. Like toot at a bot and it replies something like "my reply to the post starting xyz qrs contains..." But I have no idea whether it could be automated to that degree (much less whether people would quickly bore of it if it could). npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…qwgu So you are saying that not only do I need to grow this tasty species of melon in my garden, I also need a pet aardvark to help me with the harvest? npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…hszg @nprofile…ktwk My anti superpower is to take things seriously, including things not meant to be taken seriously. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…6kk0 Can't speak for everyone but at least for me the fallacy is thinking that reading is learning. I need to draw my own diagrams, formalize the mathematics (in my case in metamath, but pick Lean or rocq or your favorite), etc. Although I guess I shouldn't be so harsh about trying to get a feel for a field even when you aren't aiming for full, deep understanding. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…psd8 There are a few blocks of the financial district in San Francisco which a little bit remind me of walking in New York (for example, you have to decide which lane of the sidewalk you are in). But outside that, yeah totally different activity. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…d92l @nprofile…cjz4 16 years ago you went out into nature, eh? You'll be due for another time soon, you think? npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…0lh9 @nprofile…08q5 Well you have a lot more experience than me. I'm going to stop before I end up moosesplaining based (mostly) on what one Yellowstone tour guide told me about getting charged. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…0lh9 @nprofile…08q5 Ooh that's closer than I would want to be (I mean for moose specifically, each animal is a bit different). Glad to hear they were in a chill mood though. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…nu7u Nice. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…2slc Hope it isn't too nit picky to comment on the alt text, but a bald cypress is not evergreen (the "bald" refers to the seasonal loss of leaves). "Deciduous conifer" would be one way to describe it. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…0sg6 Image description: a flat rock face with a dinosaur fossil. One can see bones of the limbs and other features. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…48vs Well Square, WeWork, and Uber were within a block and none of them are any more. Whether you liked or hated Market on Market it was very much aimed at tech workers. As for the neighborhood more broadly I was walking down the street and noticing the businesses which are still there or reopened and I don't know if I can summarize them in a toot but I'll say not aimed at tech workers nearly the same way. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…qmju I'm probably going to regret asking this (because I won't necessarily have time to read the answer), but any relatively elementary places to start on what restriction theory even is? One I found is https://en.wikipedia.org/wiki/Kakeya_set but I have no idea whether that gives a feel for the field as a whole. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…6hkn @nprofile…28nl Typography nerds the world over are excited about your use of the word "egregious" here. It is like me and dashes: once I learned the Wikipedia style guide concerning hyphen, en dash, em dash, and minus, I found it very hard to unsee. (Disclaimer: this style guide is one among many and they don't fully agree with each other). npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @nprofile…svd4 Does it use rel=me like GitHub, Wikipedia, etc? npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub19cy…l06z That sounds like an amazing book group. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1t7d…pqpp I'm a little surprised it took this long for these kinds of issues to reach this point, but I hate to be right about this. Here's to hoping that the new approach will work out. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1g7j…7unj Ooh nice lupine photo #BloomScrolling npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1wmr…g240 Now you've nerd sniped me into looking up how old the sexual meaning of that word is (1798, if you must know, according to https://www.etymonline.com/word/intercourse ). npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1t7d…pqpp Wait you're saying she's the L1 to your L2? Aren't these things supposed to rotate LOL? npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub17hj…7a0r The color of mono lake tufa is so clear in my head (I've never been there in moonlight, for example) that black and white is like I'm seeing a whole new feature. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1my5…t9j5 @npub1jpp…u59l @npub1xkg…gph9 I love the part about using ChapGPT to write documents which were supposedly from before ChatGPT existed. Crypto is just the gift that keeps giving. @npub1xkg…gph9 couldn't make up anything this good. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1t7d…pqpp You, on the other hand, get points for not just reading your old email, but being able to find it three years later. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1j0e…nhrj My favorite is partly the result of habitat restoration but is pretty nice. Don Edwards National Wildlife Refuge near Fremont. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1t7d…pqpp This is so funny because it is an amusing mismatch between an ordinary room and a data center (or something functioning as some flavor of a data center). npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1ema…z20p Very cute. Buy now and you can get many years of usage before the BART system expands (:cry:) npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1t7d…pqpp Hopefully if they ask you for information about how snac2 works they'll be easier to deal with than your clients. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1n70…qpfe Not sure I have a lot of reaction about whether this is good or bad, but it was nice to see laid out an account of various companies who have done it and how. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1t7d…pqpp Sorry to hear that your dad's co-op is like that. I'm in a bit of a conundrum, because I'm not exactly in the "we don't need management" camp, but how do we just get back to postwar levels of executive compensation? npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1t7d…pqpp At the risk of getting too deep into various details, but OK I guess I've been nerd sniped: (1) do you not have/use at-home antigen tests there? (2) sadly infection following a previous infection or vaccination is possible even during the first few months. (Vaccines still do a lot to prevent serious disease and death, but that's different than preventing infection altogether). (3) maybe because of asymptomatic infections, or for whatever reason, this virus seems to have a way of making its way around. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1t7d…pqpp Here's hoping for a full recovery for both of you. As Daniel Griffin (of This Week in Virology fame) is fond of saying: "the way to find out if it is COVID is to do a COVID test". npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1kc8…j65c @npub1ecp…pr53 The logic is counterintuitive to me too but I try to listen to people who are more often on the receiving end of behaviors like mansplaining. I'm not saying I want to be hyper concerned about everything I write but just to realize that something might come across differently to someone else than it would to me. There's a fair bit of subtlety but questions I ask myself include "if I am providing information, was it requested and/or on-topic?" npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1kc8…j65c @npub1ecp…pr53 Depends mostly on your overconfidence level, or similar apparently well intentioned but not so great dynamics. I suppose the sheer quantity of replies is a bit of a signal but also look for how the replies are received (for example do you get likes or boosts sometimes? especially from the person you are replying to). npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1t7d…pqpp Ah yes, in this day and age if we want to play the uptime game we need to include the "not publicly accessible" disclaimer. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1upk…tcwy @npub1xqm…85zq @npub1zs5…mwjw For me I've never understood how knowing about how things are stored is supposed to help me with whether a particular command operates on a diff or a snapshot or other concepts exposed at the level of (I guess we still call it porcelain although "any git command I've typed" would also do). Either the implementation is less important to the behavior than is sometimes claimed (my suspicion), or there a missing piece in terms of explaining the connection. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1slp…4xfq Where I work it is the overall policy that teams have to be required reviewers on code they own. The result is sort of similar to the dynamic you describe except that the teams (often) are trying to get out of reviewing code just as much as code authors are (sometimes). trying to get out of attempting to get reviews out of people. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1te6…zc4l What's the constraint here? That the cuts have to be perpendicular? If I get four cuts of a 2-tomato in any orientation I can make 10 pieces, not just 9, right? npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1upk…tcwy Very curious if you will end up where I did (filesystems are the wrong place to put a network, put the network more at the level of transferring a whole file, a la HTTP/S3/etc) but whether you even are worried about that question or not, I'm sure you will help us all understand NFS better. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1t7d…pqpp I guess you let him make the video? I mean, he's already saying "OK, Boomer" which I suppose isn't really avoidable but I guess we can wait for future him, or others, to notice how hard it is to get information from a video (assuming you and I are right that it is, which I sort of assume must be true). npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1ztx…t572 @npub1t7d…pqpp Someone, in some twisted way, thinks this is making them more secure (or rather there is a chain of events from one person/audit to the next to the next which leads back to "more secure" and everyone is only looking at their local part of it, and the question of whether this situation, overall, makes them more secure, isn't even being asked because they aren't set up to ask that question). npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1t7d…pqpp This is a nice article. It is understandable even if you don't know anything about Rails, sidekiq, etc, but also has enough Mastodon specific information that it is informative even if you do. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1rgy…fpgz @npub1m4p…yvy8 Are you familiar with nostr? That's what he's posting on and yes there is some flavor of relay between that and ActivityPub but in broad terms they are both federated networks. npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub14ha…pqf0 @npub1p9h…n3uq Like to, YES! Unfortunately our local huckleberry species here in California (Vaccinium ovatum) and thimbleberry (Rubus parviflorus) seem to have other ideas. Oh well, the native grape has tons of foliage and I suppose it will fruit in another year or two (no idea what it is like for eating, though). npub1m4q8h7mwksfrxt8snv8np7h7rqn0d4kdmxrrg2km54pmykm2kywstfymzz soaproot @npub1a4t…q9yj Uh, congratulations?
