@soaproot@sfba.social

· 1mo ago

Replying to

@jesper@agda.club I mean @erpu@eupolicy.social is on the case and deserves our support to make train ticket booking better. Of course even if better booking happens in the future, we have to figure out how to travel in the present. @mei@donotsta.re

3

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@Meanwhile_on_earth_One@sfba.social Ooh nice. I was with #GoatHillMorris this #MayDay morning #MorrisDancing but didn't take any photos. I'm hoping we see a post later from @berkeleymorris@sfba.social (at least once a year!) but I shouldn't make promises on their behalf. #DeerCreekMorris was also dancing at dawn.

5

4

5

0

soaproot @soaproot@sfba.social

· 4mo ago

Replying to

@richlv@mastodon.social I think the big concern is with link shorteners that the person posting (or the website being linked to) doesn't control. This link shortener seems like a benign one. @thibaultmol@en.osm.town @nikthechampiongr@ohai.social @EUCommission@ec.social-network.europa.eu

4

0

soaproot @soaproot@sfba.social

· 2mo ago

Replying to

@adapalmer@wandering.shop I tried to find out how it is for aquatic/marine environments, but I'm afraid I don't know what a reliable source on this topic is (for example, https://www.montereybayaquarium.org/animals-the-ocean/how-to-protect-marine-wildlife would be but they don't cover sunscreens as far as I noticed).

montereybayaquarium.org

1

0

soaproot @soaproot@sfba.social

· 2mo ago

Replying to

@phreakmonkey@infosec.exchange I believe it is an annual migration. As far as I could tell from https://www.nps.gov/articles/000/california-tortoiseshell.htm anyway. It does also seem to vary from year to year, so I guess both can be true.

nps.gov

California Tortoiseshell (U.S. National Park Service)

California Tortoiseshell

1

0

soaproot @soaproot@sfba.social

· 4mo ago

Replying to

@henryseg@mathstodon.xyz My reaction was to say "No way! The top and bottom of the cube are squares, 8 edges, the top and bottom of the octahedron are triangles, 6 edges, and the edges connecting the the top and bottom are.... oh wait, there are two of them from each vertex, hmm let me count". @robinhouston@mathstodon.xyz

2

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@TeaKayB Opticks: or, A Treatise of the Reflexions, Refractions, Inflexions and Colours of Light" by Isaac Newton (1704). More readable than some of Newton's other works, this is a look at topics like prisms and colors. Especially interesting from the point of view of the history of science, in terms of what was known then and what came only later. There's a Project Gutenberg edition (although I read a paper copy years ago and have no firsthand experience of electronic editions).

3

2

1

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@MartinEscardo@mathstodon.xyz I'm not sure there is anything about error reporting and/or recovery which inherently makes an implementation slow, but for what it is worth I typically use two implementations of the metamath proof verifier. One is fast, and the other gives better error messages (particularly in one commonly encountered situation). As far as I know this is an accident of history and the error messages I'm looking for may eventually get added to the fast verifier. @olynch@mathstodon.xyz

2

4

0

soaproot @soaproot@sfba.social

· 3mo ago

Replying to

@jalefkowit@hachyderm.io Last time I was there this building (and exhibit) were being built but quite closed off. So I posted about a clam at the museum instead. https://sfba.social/@soaproot/115068586004484167

sfba.social

soaproot: "At the California Science Center museum and just …" - SFBA.social

1

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@atif I'm reluctant to try to give a lot of detailed advice here, but definitely second the general idea of recommending some flavor of prevention. @jdw

2

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@_patmurray Yes, I celebrated #MayDay with #MorrisDancing this morning at dawn! The #MayPole is two days from now for me.

2

0

1

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@MartinEscardo Apparently I did the right thing when I answered a question about whether to work in neutral mathematics by saying "assuming that neutral mathematics means . . ." @jonmsterling

2

0

soaproot @soaproot@sfba.social

· 4mo ago

Replying to

@scott@carfree.city Ooh nice buckeye photo. I was walking along Stevens Creek in Mountain View yesterday where there are a bunch of buckeyes which are in flower now.

1

0

soaproot @soaproot@sfba.social

· 4mo ago

Replying to

@JensJot@mas.to See https://eupolicy.social/@hpod16/116568215596446293 (and that account in general) for more on how the official account is run. @Tuuktuuk@piipitin.fi @AngelaCarstensen@norden.social @EUCommission@ec.social-network.europa.eu

eupolicy.social

Hannah Grace: "@ladupla@mastodon.social They / we do, but there…" - EUpolicy.social - A Mastodon server for the EU bubble

1

0

soaproot @soaproot@sfba.social

· 4mo ago

Replying to

@CoMaps@floss.social Ooh love all of this especially https://www.comaps.app/news/2026-01-05/comaps-focuses-privacy/ . Can't wait to see how many more privacy improvements get done in the next year.

comaps.app

How CoMaps focuses on Privacy

Some technical changes CoMaps made to protect your privacy

1

0

soaproot @soaproot@sfba.social

· 4mo ago

Replying to

@modinmetro@mastodonapp.uk Ooh the round structure reminds me of the 1973 BART entrance in Berkeley, California, USA. That entrance has since been replaced with one which is also cool (containing a lot more glass) but I'm still a bit nostalgic for the rounder design. https://commons.wikimedia.org/wiki/File:Berkeley_BART_Station_1973_Postcard.jpg

commons.wikimedia.org

1

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@olynch@mathstodon.xyz @MartinEscardo@mathstodon.xyz I do, but I'm not sure how relevant it is to your interest in parsing. The verifier I'm calling the slow one is https://github.com/metamath/metamath-exe and the one I'm calling the fast one is https://github.com/metamath/metamath-knife . The number one reason for the difference in speed, as I understand it, is that metamath-exe is single threaded (having been written before typical users had more than one processor) and metamath-knife is multi threaded.

GitHub

GitHub - metamath/metamath-exe: Metamath program - source code for the Metamath executable

Metamath program - source code for the Metamath executable - metamath/metamath-exe

1

2

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@sliminality@types.pl When people told me this holds for real numbers in #constructiveMathematics (in fact is often the definition of ≤), I didn't believe them at first. But not only did my collaborators tell me this was a good definition and I read it in the HoTT Book, but I also found it allowed me to prove the expected theorems about ≤

1

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@mergesort@macaw.social @kyleve@mastodon.online Melting pots gonna melt

1

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@atif The reluctance is mostly just that it would be too long of a treatise to try to write. Plus there is nuance about professional advice (doctors, occupational therapists, etc) vs figuring it out yourself. @jdw

1

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@ofc1996 @emilyriehl Gerry Hutch was the example which first came to mind with respect to your point (c). For those not, familiar, this is a crime boss who came somewhat close to being elected to the Irish parliament in 2024 in the Dublin Central constituency. Not sure exactly how many lessons to draw about electoral systems, but you'd think he'd have a tougher time under a different system.

1

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@Meanwhile_on_earth_One@sfba.social That displays an impressive amount of local knowledge. Yes the team is named after that goat hill, although we rehearse elsewhere in San Francisco these days, and perform in various bay area locations.

1

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@econetwork@mas.to Bananas can grow so fast!

1

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@standefer@fediscience.org Clearly this means I need to read the other two (which I have now done, portions thereof anyway). @andrejbauer@mathstodon.xyz @rrrichardzach@mathstodon.xyz

1

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@TeaKayB The Opticks is one of the cases where you can read primary sources without a huge investment in learning old notation/concepts.

1

0

soaproot @soaproot@sfba.social

· 4mo ago

Replying to

@scott@carfree.city Oh I assumed that was an anti D mailer.

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@christianp @skewray Australia has the reputation for the simplest system. Here in California, USA, there was a lot of paperwork and delay, but our rooftop solar system did eventually go live and I'm glad to have it.

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@yawnbox@disobey.net Most Mastodon servers will have a public Server Rules section on their About page. For example yours are at https://disobey.net/about .

disobey.net

About - disobey.net

0

1

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@olynch@mathstodon.xyz @MartinEscardo@mathstodon.xyz The error handling which is different is that if I take any theorem and remove the distinct variable constraint ($d), metamath-knife says 'Disjoint variable constraint violated' and no further details. metamath-exe gives 'Variables "A" and "f" do not have a disjoint variable requirement in the assertion being proved' (and likewise for every pair of variables missing the constraint).

0

1

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@ddrake@mathstodon.xyz Rail there seems like a good idea. I don't know so much about the politics or how the expenditures/construction would be phased, so it might be hard to make it happen, but that doesn't mean not to try. The article does a good job of discussing the different styles of rail and why something faster than light rail on the I-94 corridor would be helpful.

0

soaproot @soaproot@sfba.social

· 3mo ago

Replying to

@GovTrack@mastodon.social This time range was during the runup to his primary (which he lost), so doesn't necessarily speak to whether he'll vote for the rest of his term.

0

1

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@_patmurray LOL I want my image to be extra good so I better ask my work for the permission to use the more resource intensive model rather than the default model.

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@ombialik A lot of the others are more in the vein of "can you informalize this agda proof so I can understand it?" That's beyond the scope of a mere question. Another question I've sometimes asked is "what are the prerequisites to understanding this? What would I study?" I'm not sure I'm wrong to be quicker to post here or on math overflow or something, rather than writing an author directly.

0

1

0

soaproot @soaproot@sfba.social

· 2mo ago

Replying to

@starlily@mastodon.social The politics of Juneteenth have confused me a bit. When Congress made it a national holiday in 2020, there was no significant opposition. Anyway, as for this latest resolution, "The vote was by Unanimous Consent so no record of individual votes was made." from the page linked in this thread. @GovTrack@mastodon.social

0

3

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@feijoa@mastodon.org.uk This is a thing (largely COVID induced) which started under the Tories (because the railway companies were no longer viable). Other people could comment in much more detail than me (I think I heard about it from David Frankal on YouTube, and I see those videos are still up).

0

soaproot @soaproot@sfba.social

· 4mo ago

Replying to

@CoMaps@floss.social There's probably some way the display and download functionality could better handle both of those kinds of users, but I don't have a proposal in mind and I don't think the current situation (in which maps show out of date soon after being downloaded) is an especially big problem. @doc75@pouet.chapril.org

0

3

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@jeanas Despite the fact that so much of my work is.... well sort of adjacent... to this topic, I don't think of myself as knowledgeable enough (either in general, or on the contents of those Wikipedia articles) to comment myself. But I encourage people to comment.

0

soaproot @soaproot@sfba.social

· 2w ago

Replying to

@GovTrack@mastodon.social In the lame duck session, you are saying?

0

1

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@mc Depending on how cutting edge you are looking for, @servo is one I have my eye on (not as practical for everyday use, yet, as the others on this thread, however, I suspect)

0

soaproot @soaproot@sfba.social

· 4mo ago

Replying to

@benleis@mathstodon.xyz Probably some kind of Mastodon setting but to be honest I'm not sure.

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@ltchen@mathstodon.xyz I'm apparently the sort of person who would pick up a book and immediately look for my name in the index, at least in the sense that my first reaction as I was reading this post was to see whether Metamath was in the list of systems discussed. (It is not.)

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@kingtor@frontrange.co And I guess these are more desirable than weak sauce?

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@emilyriehl Versions of proportional ranked choice are used in Ireland and I think Australia. It is a good system.

0

2

0

soaproot @soaproot@sfba.social

· 4mo ago

Replying to

@CoMaps@floss.social @doc75@pouet.chapril.org I generally like that constraint around internet connections for various reasons but you are correct that it is another thing to consider with respect to map update.

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@kfogel@kfogel.org I'm amazed when I see someone doing "wrap up . . . quickly while still making all counterparties feel respected and heard" well. On a good day maybe I can even do it myself, but I also admire it when I notice it.

0

1

0

soaproot @soaproot@sfba.social

· 1mo ago

Replying to

@Starry@oulipo.social #3GoodThings

#MorrisDancing
Walking along a pond
proving primality facts for math hobby

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@olynch@mathstodon.xyz @MartinEscardo@mathstodon.xyz I realize that I might have made it sound like I was talking about parse errors. But as far as I've noticed both of these two verifiers lose their minds in roughly similar ways if I do something like omit a "$}" (the ${ and $} syntaxes form nested pairs and so making them unbalanced is similar to unbalanced pairs in a lot of syntaxes - the scopes get all mixed up and so on).

0

soaproot @soaproot@sfba.social

· 3mo ago

Replying to

@niv@mastodon.ie @owlsintowels@mas.to Hmm, if true this seems worth removing or swapping out. I did find an owl image on the website of the rehab org itself: https://currumbinwildlifehospital.org.au/hospital-news/8-barn-owls-receiving-treatment/ (along with lots and lots of koalas, an echidna, and some other birds).

Currumbin Wildlife Hospital

Eight Barn Owls Admitted for Care | Currumbin Wildlife Hospital

Eight barn owls were rescued and admitted to Currumbin Wildlife Hospital. Learn about their journey to recovery and how you can help support wildlife!

0

soaproot @soaproot@sfba.social

· 5mo ago

Replying to

@Girgias@phpc.social Thank you! As for me, I did make an OpenStreetMap account specifically so I could fix this sort of thing rather than vaguely think "oh, why don't 'they' improve the map?" Turns out the edit I was most interested in was made by someone else and I just needed to download new maps, but I did make a more minor edit and am a tiny bit up the learning curve if I need to make more.

0