soaproot
@soaproot2000.bsky.social
I'm more active at @soaproot.sfba.social.ap.brid.gy (enable the bridge by following @ap.brid.gy to more fully interact).
612nd best crossword solver in the US (as of 2025).
Jim Kingdon.
gay 🏳️🌈
612nd best crossword solver in the US (as of 2025).
Jim Kingdon.
gay 🏳️🌈
Downtown Sheraton in Philadelphia. Seems to be walkable from Amtrak's 30th street station and also near SEPTA.
December 3, 2025 at 11:15 PM
Downtown Sheraton in Philadelphia. Seems to be walkable from Amtrak's 30th street station and also near SEPTA.
In particular, assuming not p, deriving a contradiction, and thus concluding p, is indeed not constructive. But constructive proofs can assume p, derive a contradiction, and thus conclude not p. The placement of the negations matters.
December 3, 2025 at 11:11 PM
In particular, assuming not p, deriving a contradiction, and thus concluding p, is indeed not constructive. But constructive proofs can assume p, derive a contradiction, and thus conclude not p. The placement of the negations matters.
For a (only slightly) more technical introduction (which covers the theorem about two irrational numbers a and b such that a^b is rational, proof by contradiction, etc), see "Five stages of accepting constructive mathematics" by Andrej Bauer at www.ams.org/journals/bul...
www.ams.org
December 3, 2025 at 11:09 PM
For a (only slightly) more technical introduction (which covers the theorem about two irrational numbers a and b such that a^b is rational, proof by contradiction, etc), see "Five stages of accepting constructive mathematics" by Andrej Bauer at www.ams.org/journals/bul...
As long as the ACPT 2027 venue is easy to get to via Amtrak or SEPTA I'm down with it.
December 3, 2025 at 4:07 PM
As long as the ACPT 2027 venue is easy to get to via Amtrak or SEPTA I'm down with it.
Have any sleuths figured out the manufacturer for the old peanut butter and whether it is sold under other brands in other locations?
November 30, 2025 at 9:22 PM
Have any sleuths figured out the manufacturer for the old peanut butter and whether it is sold under other brands in other locations?
What percentage of social media in Europe is now on open platforms? (Is there even yet a mechanism to measure this?)
November 30, 2025 at 9:10 PM
What percentage of social media in Europe is now on open platforms? (Is there even yet a mechanism to measure this?)
Are any of the crosswords aimed at kids any good? I see your point about spelling so maybe I mean in a year or a few, but we gotta recruit the next generation of solvers somehow.
November 26, 2025 at 7:45 PM
Are any of the crosswords aimed at kids any good? I see your point about spelling so maybe I mean in a year or a few, but we gotta recruit the next generation of solvers somehow.
I wasn't thinking you needed one but that was before I heard about the mashed potato bar and now my resolve is weakening.
November 26, 2025 at 7:01 PM
I wasn't thinking you needed one but that was before I heard about the mashed potato bar and now my resolve is weakening.
My experience on fedi has been that some moderators very much fuel or are drawn into squabbles and some moderators very much try to work quietly, stay out of fights they can stay out of, etc. I would agree that the language in the NorthSky guidelines is encouraging.
November 5, 2025 at 4:03 AM
My experience on fedi has been that some moderators very much fuel or are drawn into squabbles and some moderators very much try to work quietly, stay out of fights they can stay out of, etc. I would agree that the language in the NorthSky guidelines is encouraging.
This is a nice summary of where we are on a few fronts. The difference between a theorem (which can be mechanically verified) and a definition (which cannot, at least not directly) is an interesting one.
October 22, 2025 at 4:47 PM
This is a nice summary of where we are on a few fronts. The difference between a theorem (which can be mechanically verified) and a definition (which cannot, at least not directly) is an interesting one.
I'm afraid you have summed up in one post the situation we find ourselves in these days (like, in general).
October 21, 2025 at 3:07 PM
I'm afraid you have summed up in one post the situation we find ourselves in these days (like, in general).
Well, since I'm in trouble anyway (no doubt) I'll say out loud what the (implied) joke here is: that "thicknesses of a human hair" is the airline unit of distance for small distances. (and yes to contrast airlines from engine makers)
October 13, 2025 at 3:10 PM
Well, since I'm in trouble anyway (no doubt) I'll say out loud what the (implied) joke here is: that "thicknesses of a human hair" is the airline unit of distance for small distances. (and yes to contrast airlines from engine makers)
Context is everything.... so use your judgement. I'm just saying I don't expect to be spoon fed all the time even though I'm the intended audience for such explanations (and sometimes benefit from them).
October 13, 2025 at 3:09 PM
Context is everything.... so use your judgement. I'm just saying I don't expect to be spoon fed all the time even though I'm the intended audience for such explanations (and sometimes benefit from them).
Oh and at the risk of stating the obvious, please don't start defining RASM, CASM, ancillary, etc. Even people who didn't know what they were to start can pick them up (assuming enough interest to, y'know, listen to a podcast like this in the first place).
October 13, 2025 at 3:02 PM
Oh and at the risk of stating the obvious, please don't start defining RASM, CASM, ancillary, etc. Even people who didn't know what they were to start can pick them up (assuming enough interest to, y'know, listen to a podcast like this in the first place).
ROFL uh...... er...... I ..... as a non-airline person will say nothing further to avoid getting myself into even more trouble.
October 13, 2025 at 2:59 PM
ROFL uh...... er...... I ..... as a non-airline person will say nothing further to avoid getting myself into even more trouble.
October 13, 2025 at 2:32 PM
I'm an outside observer too but based on what Northsky has been posting, it would appear they are volunteers, there is a lot of interest, they are trying to get good governance set up, and they have been working on migration tools.
October 8, 2025 at 10:51 PM
I'm an outside observer too but based on what Northsky has been posting, it would appear they are volunteers, there is a lot of interest, they are trying to get good governance set up, and they have been working on migration tools.
For me it was one where I didn't know either answer but managed to guess/deduce what made sense. (correctly, as it turned out)
September 29, 2025 at 10:17 PM
For me it was one where I didn't know either answer but managed to guess/deduce what made sense. (correctly, as it turned out)
I wasn't there on a match day, but I made a point of seeing where it was on one of my trips to Honolulu.
September 7, 2025 at 2:57 AM
I wasn't there on a match day, but I made a point of seeing where it was on one of my trips to Honolulu.
Took me 0:30 (felt like faster, as I got it using across only clues, but apparently that is no guarantee of blinding speed)
September 2, 2025 at 5:53 PM
Took me 0:30 (felt like faster, as I got it using across only clues, but apparently that is no guarantee of blinding speed)
Lovely episode. I especially loved the discussion of culturing microbes and bulk DNA sequencing. Our techniques can seem like magic (and they sorta are) but is great to hear more about what you do and don't learn depending on what you measure.
August 30, 2025 at 6:05 PM
Lovely episode. I especially loved the discussion of culturing microbes and bulk DNA sequencing. Our techniques can seem like magic (and they sorta are) but is great to hear more about what you do and don't learn depending on what you measure.