iiinova — where your digital self keeps evolving

soaproot @soaproot.sfba.social.ap.brid.gy · 40m

@crankyflier.com I was curious about the process of American cutting so much at Los Angeles and went and looked up crankyflier.com/2020/03/31/american… . I didn't get as far as finding what Pacific hub they brought back in, say […]

sfba.social

Original post on sfba.social

000

soaproot @soaproot.sfba.social.ap.brid.gy · 11/10/2026

@adapalmer Good news towards an attainable goal (as we have seen from very encouraging results from Sweden and elsewhere). Most cervical cancer (and some other ailments like head and neck cancers) are caused by the HPV virus and are preventable.

010

soaproot @soaproot.sfba.social.ap.brid.gy · 10/10/2026

@dougmerritt I went the other direction: learned sed first and only later discovered there was an interactive version of sed (that is, ed). @ed1conf

100

soaproot @soaproot.sfba.social.ap.brid.gy · 09/10/2026

@kha Looks like you had about 44 minutes of bliss before the lack of cinnamon powder started brainworming you. (at least it was 44 minutes based on the interval between those two toots)

000

soaproot @soaproot.sfba.social.ap.brid.gy · 09/10/2026

@ameresolicitor.bsky.social Have you not heard of the understanding epidemic?

000

Reposted by soaproot

Dr. Dan Killam @dantheclamman.scicomm.xyz.ap.brid.gy · 08/10/2026

New solar-powered clam just dropped, part of a small club that partner with algae in their bodies for food! Geloina expansa lives in mangroves in South Asia and farms algae called zooxanthellae in its gills, the same type that corals partner with in a process […] [Original post on scicomm.xyz]

photo from the paper (Catherine et al. 2026) showing Geloina gills, which have a brown area that is full of dinoflagellates called Symbiodinium

picture of G. expansa by the legendary Guido Poppe, who literally wrote the book on shells. it has a greenish tinged periostracum. it is shaped quite a bit like a venus clam and is in the same order as them.

2018

soaproot @soaproot.sfba.social.ap.brid.gy · 08/10/2026

@kingtor I don't really know but I would have thought that Match Game would take a well known joke format and riff off that. @wayword

100

soaproot @soaproot.sfba.social.ap.brid.gy · 07/10/2026

@chrisnelder Will offer a bit of a disclaimer for those of limited means (as in, I don't want this network to exclude them). But for those able, totally agree. @waltbaldwin

000

soaproot @soaproot.sfba.social.ap.brid.gy · 07/10/2026

@kingtor The phrase "out of pocket" is covered by @wayword at waywordradio.org/out-of-pocket-thre… and to be honest the whole thing confuses me, probably because I have only heard the "medical expense not covered by insurance" meaning (usually in a very bureaucratic benefits […]

sfba.social

Original post on sfba.social

100

soaproot @soaproot.sfba.social.ap.brid.gy · 07/10/2026

@debamlen.bsky.social I did get one emoji reaction out of them, but, all in all, a pretty muted response.

010

soaproot @soaproot.sfba.social.ap.brid.gy · 06/10/2026

@iftas Surely this will be overrun by spam in 3.....2.....1.... (Actually I'm not curious enough to make a serious effort to check but that's the fate of most internet connected anythings which haven't really thought much about things like rules)

000

soaproot @soaproot.sfba.social.ap.brid.gy · 06/10/2026

@debamlen.bsky.social I passed along your post to the pumpkin spice fan club at work. I am preparing myself for a string of outraged responses but 3 minutes have elapsed and there are none yet.

110

soaproot @soaproot.sfba.social.ap.brid.gy · 06/10/2026

@kangmeister It does seem like a step forward and being done thoughtfully. I especially liked "An emphasis on high-quality expositions"

000

soaproot @soaproot.sfba.social.ap.brid.gy · 05/10/2026

@crankyflier.com Nice to see Circium and flightradar24 data as part of this article.

000

soaproot @soaproot.sfba.social.ap.brid.gy · 03/10/2026

@AquaClaire Ooh let's make sure the #clamFacts hashtag also knows about this structural yellow color in clams.

000

soaproot @soaproot.sfba.social.ap.brid.gy · 03/10/2026

@mudri Yeah, I recently had to do a fresh reinstall of PopOS to repartition my disk (had to restore all data from backups). I mean, fortunately @system76 support was quite helpful (the preinstalled OS on hardware from them was the one with a now-too-small boot partition). But I had some of the […]

sfba.social

Original post on sfba.social

000

soaproot @soaproot.sfba.social.ap.brid.gy · 03/10/2026

@dantheclamman Roses are red Violets are blue Except it is more of a purple Because of the anthocyanins

101

soaproot @soaproot.sfba.social.ap.brid.gy · 02/10/2026

@oantolin I keep waiting for there to be a larger scale migration to the #Threadiverse (PieFed/MBin/etc). But apparently network effects are large (and/or the Threadiverse has its own, different, problems).

000

soaproot @soaproot.sfba.social.ap.brid.gy · 01/10/2026

@TeaKayB The British are slightly perplexed and wondering why you think there would be a connection between the spelling and the pronunciation. The non-British are like "who is Milton and what is a Keynes?"

000

soaproot @soaproot.sfba.social.ap.brid.gy · 30/09/2026

@lane_ass_jenna People ask me why I carry around a huge heavy backpack. The answer is that it contains, among other items, toothpicks.

101

soaproot @soaproot.sfba.social.ap.brid.gy · 28/09/2026

@kboyd @Taffer Hmm, I wonder if I should put in a pull request to add Northsky and Gander to the social networking section. Might require a bit more investigation to confirm they really qualify (I'm pretty sure Northsky aims to, but whether that is true today, or a goal, might get a bit deep in […]

sfba.social

Original post on sfba.social

000

soaproot @soaproot.sfba.social.ap.brid.gy · 26/09/2026

@highergeometer The en.wikipedia.org/wiki/Rank_of_an_el… page seems to be a plausible introduction (not that I'm really able to check whether it has errors or whether there is a better intro)

en.wikipedia.org

Rank of an elliptic curve - Wikipedia

000

soaproot @soaproot.sfba.social.ap.brid.gy · 26/09/2026

@highergeometer I don't know much about elliptic curves, but you are doing a better-than-average job at making me want to learn more.

100

soaproot @soaproot.sfba.social.ap.brid.gy · 25/09/2026

@williampietri Perhaps we'd also see organizational structures which make people like me less likely to run for the exits when someone tries to draft us for positions like tech lead, manager, whatever it is called. A quick search finds things like […]

sfba.social

Original post on sfba.social

100

soaproot @soaproot.sfba.social.ap.brid.gy · 25/09/2026

@williampietri Somehow this reminds me of sortition (randomly selecting people for power) which in the US we mostly have for jury trials. I guess that's based on the idea that emotional capacity to handle power is randomly distributed, and we could do well to stop selecting against it.

221

soaproot @soaproot.sfba.social.ap.brid.gy · 25/09/2026

@crankyflier.com Hmm, OK, I didn't do THAT much research, just heard about it

000

soaproot @soaproot.sfba.social.ap.brid.gy · 25/09/2026

@crankyflier.com Sorry to be a train dork on your airline dork thread, but the big thing I got out of this is article is: ZOMG the Tren Maya train is open!?? Last I heard this was just a gleam in someone's eye! Oh yeah if people want to hear about airplanes the article is good for that too.

100

soaproot @soaproot.sfba.social.ap.brid.gy · 25/09/2026

@andrejbauer I.... don't have much of an answer with respect to undergraduates, but I will say that sometimes I manage to prove something which I didn't get from the literature and may not even know is correct until I prove or disprove it. This seems like a good way of learning even if I'm not […]

sfba.social

Original post on sfba.social

000

Reposted by soaproot

theHigherGeometer @highergeometer.mathstodon.xyz.ap.brid.gy · 24/09/2026

Big news on irrational numbers! Aabir Fauzan from Aalto University released a preprint on Zenodo before it hit the arXiv, and a formalisation has been posted by Moritz Firsching. Since the statement is so elementary, the repo is set up to be checked by the […] [Original post on mathstodon.xyz]

126

soaproot @soaproot.sfba.social.ap.brid.gy · 23/09/2026

@christianp And yes confusing minus signs are all over

000

soaproot @soaproot.sfba.social.ap.brid.gy · 23/09/2026

@christianp Octopus ain't seen nothing yet. For solar customers in San Francisco, we have various state programs and rebates, PG&E (the electricity company) charges, some stuff with Clean Power SF (city owned agency which is sort of my electricity company but not really because PG&E is also […]

sfba.social

Original post on sfba.social

200

soaproot @soaproot.sfba.social.ap.brid.gy · 23/09/2026

@Floppy @mosscap I wish I had more time to help myself but I am willing to encourage people to chip in. I assume the best way for people to get started on that is to join the Matrix chat and see what the tasks are there?

100

soaproot @soaproot.sfba.social.ap.brid.gy · 23/09/2026

@crankyflier.com Good point about not building the west terminal all at once. Still, if you want (a) as many gAAtes as American has in terminal 4, (b) international arrivals, and (c) an Airtrain station, this is, what, a third or a half of the eventual size?

000

soaproot @soaproot.sfba.social.ap.brid.gy · 22/09/2026

@crankyflier.com As for details on the plans described in the article, the airport's web site, especially www.skyharbor.com/about-phx/compreh… is pretty clear and lays out all those projects. The Sept. 21, 2026 news release for the new terminal is at […]

sfba.social

Original post on sfba.social

100

soaproot @soaproot.sfba.social.ap.brid.gy · 22/09/2026

@crankyflier.com Really nice explanation of the history and situation. Some day I'd love to see the roller coaster passenger numbers (from the American–America West merger to the present, I suppose), an analysis of the role of PHX as an international gateway, etc. I did not expect to see this […]

sfba.social

Original post on sfba.social

100

soaproot @soaproot.sfba.social.ap.brid.gy · 22/09/2026

@icecolbeveridge Apparently the key is stealth. From her Wikipedia article: She worked on the problem in her free time and through the 1975 holiday season "by drawing diagrams on the kitchen table when no one was around and hiding them when her husband and children came home, or when friends […]

sfba.social

Original post on sfba.social

100

soaproot @soaproot.sfba.social.ap.brid.gy · 21/09/2026

@mudri The detail about having to use an alternative address is :chefs-kiss:

000

soaproot @soaproot.sfba.social.ap.brid.gy · 20/09/2026

@highergeometer Ah I refrained from asking before you had a chance to check it out but thanks for the update.

000

soaproot @soaproot.sfba.social.ap.brid.gy · 19/09/2026

@crankyflier.com You nicely summed up the last few years with "Airbus can’t deliver enough airplanes, Boeing can also not deliver enough airplanes."

101

soaproot @soaproot.sfba.social.ap.brid.gy · 18/09/2026

@dougmerritt @ColinTheMathmo I don't think "The real numbers that are left over after rational and irrational are excluded is an empty set" means constructively what one might think from classical intuition. Mostly I want to point to the issue github.com/metamath/set.mm/issues/4… One […]

sfba.social

Original post on sfba.social

001

soaproot @soaproot.sfba.social.ap.brid.gy · 18/09/2026

@dougmerritt Ah, I see. I do mean irrationals to include transcendentals but to respond to the rest of your message needs a bit of constructive subtlety. Give me a little time to prove a result or two to make sure I have it right. @ColinTheMathmo

100

soaproot @soaproot.sfba.social.ap.brid.gy · 18/09/2026

@dougmerritt @ColinTheMathmo The parts about square roots and logarithms being either rational or irrational are us.metamath.org/ileuni/sqrtrirr.html and us.metamath.org/ileuni/zprmlogbap.h… (glad I looked that up, the base of the logarithm needs to be prime, at least in this […]

sfba.social

Original post on sfba.social

000

Reposted by soaproot

soaproot @soaproot.sfba.social.ap.brid.gy · 18/09/2026

@dougmerritt @ColinTheMathmo Ooh nice. The part from timestamps 2:42 to 14:15 was nice to listen to, since I just finished a formalization of Bertrand's postulate from IZF axioms in metamath which uses the prime counting function π, the Chebyshev theta function, etc. Seeing them in this talk was […]

sfba.social

Original post on sfba.social

101

soaproot @soaproot.sfba.social.ap.brid.gy · 18/09/2026

@dougmerritt @ColinTheMathmo I suppose the irrational logarithms are transcendental but to get the floor function working, I just needed irrational (greater than or less than any rational number, to be clear about what I, and most constructive mathematicians, mean by irrational). Am I answering […]

sfba.social

Original post on sfba.social

000

soaproot @soaproot.sfba.social.ap.brid.gy · 18/09/2026

@dougmerritt @ColinTheMathmo The proof does indeed follow the general plan shown in the talk, of proving Bertrand's postulate (there is at least one prime between N and 2N for any N) for large N, and then checking small values of N (up to 64 I think it is) separately.

100

soaproot @soaproot.sfba.social.ap.brid.gy · 18/09/2026

@dougmerritt @ColinTheMathmo If you are curious about what was different doing this in #constructiveMathematics , probably the most interesting detail is that the floor function (greatest integer no greater than a given number) can be defined for a number which is rational or irrational, but not […]

sfba.social

Original post on sfba.social

200

Reposted by soaproot

DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 18/09/2026

@ColinTheMathmo FYI not quite what you said, but of high interest IMHO: Terry Tao gave a 30 min. talk on his current project, and the first half is a very breezy overview of analytic number theory in terms of current state of the art theorems proving/improving constants related to primes, such […]

mathstodon.xyz

Original post on mathstodon.xyz

101

soaproot @soaproot.sfba.social.ap.brid.gy · 18/09/2026

sfba.social

Original post on sfba.social

101