soaproot
@soaproot.sfba.social.ap.brid.gy
Also known.as: Jim Kingdon. Interested in: formal mathematics, software development, dance (especially country-western and #MorrisDancing, but many kinds), plants […]
[bridged from https://sfba.social/@soaproot on the fediverse by https://fed.brid.gy/ ]
[bridged from https://sfba.social/@soaproot on the fediverse by https://fed.brid.gy/ ]
@williampietri I got offered something (like a voucher for future travel maybe? I forget) when I had a delay (in my case freight train had derailed and blocked both tracks). Fortunately on the return trip there was no delay and the scenery (between Sacramento, CA and Reno, NV) was just as […]
Original post on sfba.social
sfba.social
December 10, 2025 at 7:00 PM
@williampietri I got offered something (like a voucher for future travel maybe? I forget) when I had a delay (in my case freight train had derailed and blocked both tracks). Fortunately on the return trip there was no delay and the scenery (between Sacramento, CA and Reno, NV) was just as […]
@highergeometer I was expecting a touch higher to be honest. As I understand (mostly from Tao's posts) there were a lot of people who contributed to this crowdsourced effort but not enough to be named as author.
December 9, 2025 at 2:19 PM
@highergeometer I was expecting a touch higher to be honest. As I understand (mostly from Tao's posts) there were a lot of people who contributed to this crowdsourced effort but not enough to be named as author.
@highergeometer Not sure I know enough about how MathOverflow is structured to have an opinion. I suppose the ideal long term situation would be something federated but that would require resources, code which doesn't yet exist (as far as I know), and organizational/social aspects to come […]
Original post on sfba.social
sfba.social
December 9, 2025 at 5:06 AM
@highergeometer Not sure I know enough about how MathOverflow is structured to have an opinion. I suppose the ideal long term situation would be something federated but that would require resources, code which doesn't yet exist (as far as I know), and organizational/social aspects to come […]
@adapalmer Does @beep know about this early labor organizing?
December 8, 2025 at 5:41 PM
@adapalmer Does @beep know about this early labor organizing?
@crankyflier.com It was only after I voted that I thought of an alternate strategy, that I could have guessed who has most flights to IND (and ignore the delay part).
December 7, 2025 at 12:20 AM
@crankyflier.com It was only after I voted that I thought of an alternate strategy, that I could have guessed who has most flights to IND (and ignore the delay part).
@crankyflier.com Worked on me. When my favorite aviation podcast does a three part series on how AAwful they are, what can I do?
December 7, 2025 at 12:18 AM
@crankyflier.com Worked on me. When my favorite aviation podcast does a three part series on how AAwful they are, what can I do?
@robinhouston We could quibble about "new class" versus "new subclass of clickjacking" but either way this is really cool.
December 5, 2025 at 11:42 PM
@robinhouston We could quibble about "new class" versus "new subclass of clickjacking" but either way this is really cool.
@Rowena If all room service was delivered via breakfast hatch, I'd be far more tempted. For the charm alone, although it suppose there are practical advantages too.
December 5, 2025 at 9:59 PM
@Rowena If all room service was delivered via breakfast hatch, I'd be far more tempted. For the charm alone, although it suppose there are practical advantages too.
@Liberapay Thanks for the transparency and glad to see this was fixed (relatively) quickly.
December 4, 2025 at 6:33 PM
@Liberapay Thanks for the transparency and glad to see this was fixed (relatively) quickly.
@Eliot_L I've used USB keyboards and they have just worked without any setup (just plug the keyboard into the USB port of the phone). Often a good choice for posting here.
December 4, 2025 at 5:33 PM
@Eliot_L I've used USB keyboards and they have just worked without any setup (just plug the keyboard into the USB port of the phone). Often a good choice for posting here.
@noamzoam The blog post is a delightful read. True the policy change took longer than it should have, but it is a story of perseverance and eventual success (and some great stories of how mathematicians were able to balance career and family).
December 3, 2025 at 7:34 PM
@noamzoam The blog post is a delightful read. True the policy change took longer than it should have, but it is a story of perseverance and eventual success (and some great stories of how mathematicians were able to balance career and family).
@kingtor Even before I got to the end of your post I was thinking "toot TOOT tOoT toOT TOot" (with each one coming from a different part of the room).
December 3, 2025 at 3:45 PM
@kingtor Even before I got to the end of your post I was thinking "toot TOOT tOoT toOT TOot" (with each one coming from a different part of the room).
@crankyflier.com And in addition to the long walks you mention, concourse D is neither demolished nor capable of being un-mothballed because there is parking in the way? I suppose that's the least of their worries, though.
December 2, 2025 at 9:37 PM
@crankyflier.com And in addition to the long walks you mention, concourse D is neither demolished nor capable of being un-mothballed because there is parking in the way? I suppose that's the least of their worries, though.
@highergeometer @DavidKButler Excellent! Followed.
December 1, 2025 at 5:53 AM
@highergeometer @DavidKButler Excellent! Followed.
@christianp Oh, oh, now I see what they mean by "e distinct".
November 28, 2025 at 1:55 PM
@christianp Oh, oh, now I see what they mean by "e distinct".
@christianp You're allowed to have as many summands (of the specified form) as you want?
November 28, 2025 at 1:35 PM
@christianp You're allowed to have as many summands (of the specified form) as you want?
@jdw I'm indexing something else, but I'm glad that (at least for now) I'm indexing by a set which is finite (and thus has decidable equality).
November 27, 2025 at 11:36 PM
@jdw I'm indexing something else, but I'm glad that (at least for now) I'm indexing by a set which is finite (and thus has decidable equality).
@dantheclamman I just generated mine. I was even less active than I would have guessed (by contrast with many of the earlier years) but I did keep up my longstanding goal of having more identifications than observations (in this case, by a 6:1 ratio).
November 27, 2025 at 5:03 AM
@dantheclamman I just generated mine. I was even less active than I would have guessed (by contrast with many of the earlier years) but I did keep up my longstanding goal of having more identifications than observations (in this case, by a 6:1 ratio).
@kingtor Based on personal experiences? My experiences with political scientists..... well I'll go for the understated approach and say "did not involve being kidnapped and blindfolded"
November 26, 2025 at 3:33 PM
@kingtor Based on personal experiences? My experiences with political scientists..... well I'll go for the understated approach and say "did not involve being kidnapped and blindfolded"
@adarsh But REI is co-op so it is OK (I think this is like the do-gooder liberal mindset or something like that - definitely not an immigrant scarcity mindset)
November 25, 2025 at 10:03 PM
@adarsh But REI is co-op so it is OK (I think this is like the do-gooder liberal mindset or something like that - definitely not an immigrant scarcity mindset)
@crankyflier.com Ah, OK, thanks. I did a slight amount of investigation before posting but obviously not enough on the relative sizes of these various aircraft.
November 25, 2025 at 3:10 PM
@crankyflier.com Ah, OK, thanks. I did a slight amount of investigation before posting but obviously not enough on the relative sizes of these various aircraft.
@crankyflier.com Looks like United has 45 A350-900s on order but won't get them for at least another five years? (My apologies if I'm not fully up on what's going on, but surely the 787 isn't their own idea for replacing the United 777s described in this article?)
November 25, 2025 at 1:05 AM
@crankyflier.com Looks like United has 45 A350-900s on order but won't get them for at least another five years? (My apologies if I'm not fully up on what's going on, but surely the 787 isn't their own idea for replacing the United 777s described in this article?)