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 🏳️🌈
Why am I just now learning of the existence of crosshare? I could quibble with some of how it works but I love the idea of a community driven crossword platform.
Please support Crosshare. It's a great platform for crosswords that is getting better every year.
crosshare.org/donate
crosshare.org/donate
December 3, 2025 at 4:17 PM
Why am I just now learning of the existence of crosshare? I could quibble with some of how it works but I love the idea of a community driven crossword platform.
Reposted by soaproot
With the disappointing news out of Amuse Labs this week that they have built an AI agent for creating crossword puzzles, we want to reiterate: there is no AI at Crosswordr. We do not train models on your content.
We're about supporting and empowering constructors, and have been since day one.
We're about supporting and empowering constructors, and have been since day one.
November 13, 2025 at 7:35 PM
With the disappointing news out of Amuse Labs this week that they have built an AI agent for creating crossword puzzles, we want to reiterate: there is no AI at Crosswordr. We do not train models on your content.
We're about supporting and empowering constructors, and have been since day one.
We're about supporting and empowering constructors, and have been since day one.
Reposted by soaproot
Fermat's Last Theorem is a famous example of a question which can be stated using only naturals and whose proof requires a lot of machinery.
But in fact the AM-GM inequality, just for ℕ, can be stated purely using ℕ (clear denoms, raise everything to n'th power). Is there a simple proof avoiding ℝ?
But in fact the AM-GM inequality, just for ℕ, can be stated purely using ℕ (clear denoms, raise everything to n'th power). Is there a simple proof avoiding ℝ?
October 26, 2025 at 10:59 AM
Fermat's Last Theorem is a famous example of a question which can be stated using only naturals and whose proof requires a lot of machinery.
But in fact the AM-GM inequality, just for ℕ, can be stated purely using ℕ (clear denoms, raise everything to n'th power). Is there a simple proof avoiding ℝ?
But in fact the AM-GM inequality, just for ℕ, can be stated purely using ℕ (clear denoms, raise everything to n'th power). Is there a simple proof avoiding ℝ?
Just listened to the 10 Oct 2025 episode of @theairshowpodcast.com and it cracks me up that they don't talk down to us by defining RASM, CASM, etc. but they do think micrometers are too scary ("half a millimeter" would also work, depending on what thickness of human hair you use)
October 13, 2025 at 2:31 PM
Just listened to the 10 Oct 2025 episode of @theairshowpodcast.com and it cracks me up that they don't talk down to us by defining RASM, CASM, etc. but they do think micrometers are too scary ("half a millimeter" would also work, depending on what thickness of human hair you use)
Reposted by soaproot
I'm writing about nonincreasing sequences of zeroes and ones. So you could have all zeroes, all ones, a one followed by zeroes, two ones followed by zeroes, etc. (Here a sequence is a function from ω, the set of natural numbers, to { 0 , 1 }). How many such sequences are there?
1/n
1/n
July 17, 2025 at 10:57 PM
I'm writing about nonincreasing sequences of zeroes and ones. So you could have all zeroes, all ones, a one followed by zeroes, two ones followed by zeroes, etc. (Here a sequence is a function from ω, the set of natural numbers, to { 0 , 1 }). How many such sequences are there?
1/n
1/n
Reposted by soaproot
I just love short green milkweed (Asclepias viridiflora), which has been a part of the native flora in all but one of the states I've lived (IA, KS, AZ, and WI, but not OR). I saw it in all of those states (in AZ, the Flagstaff area). It's a slow plant, a conservative plant, and old-growth plant. 1/
June 26, 2025 at 2:14 AM
I just love short green milkweed (Asclepias viridiflora), which has been a part of the native flora in all but one of the states I've lived (IA, KS, AZ, and WI, but not OR). I saw it in all of those states (in AZ, the Flagstaff area). It's a slow plant, a conservative plant, and old-growth plant. 1/
Reposted by soaproot
May 1, 2025 at 1:11 PM
Reposted by soaproot
I don't have a dog in the "who's gonna be the new pope" fight but for crosswording purposes, some cardinals whose names have very valuable letter combinations but haven't appeared in crosswords yet include ERDO (that's a big one), TAGLE, OUELLET, and PAROLIN. www.huffpost.com/entry/next-p...
These Cardinals Are Seen As Contenders To Be The Next Pope
Even though cardinals don’t campaign for the job, there are always front-runners going into a conclave to choose the next pope.
www.huffpost.com
April 21, 2025 at 6:06 PM
I don't have a dog in the "who's gonna be the new pope" fight but for crosswording purposes, some cardinals whose names have very valuable letter combinations but haven't appeared in crosswords yet include ERDO (that's a big one), TAGLE, OUELLET, and PAROLIN. www.huffpost.com/entry/next-p...
Reposted by soaproot
Reposted by soaproot
The final proof in Tao's "Equational theories" Lean project has just been formalized! See Tao's blog post here github.com/teorth/equat... . All 22,028,942 theorems are now formally verified in Lean.
A place to start reading about the project is here teorth.github.io/equational_t... .
A place to start reading about the project is here teorth.github.io/equational_t... .
Terence Tao's personal log
A project to map out the relations between different equational theories of Magmas. - teorth/equational_theories
github.com
April 14, 2025 at 7:29 PM
The final proof in Tao's "Equational theories" Lean project has just been formalized! See Tao's blog post here github.com/teorth/equat... . All 22,028,942 theorems are now formally verified in Lean.
A place to start reading about the project is here teorth.github.io/equational_t... .
A place to start reading about the project is here teorth.github.io/equational_t... .
Reposted by soaproot
Reposted by soaproot
When I started making crosswords in 2003 it was a community of a certain kind of weirdo. Since then there have been several waves of new kinds of weirdo and now it’s a special intergenerational weirdo community. Truly just a big win for humanity.
April 6, 2025 at 1:32 PM
When I started making crosswords in 2003 it was a community of a certain kind of weirdo. Since then there have been several waves of new kinds of weirdo and now it’s a special intergenerational weirdo community. Truly just a big win for humanity.
Reposted by soaproot
Good morning! The #acpt continues today! Are you competing??
Today's grid might be a smidge challenging for some, but not for you. ;) Click below for direct access to "Smidge" and have a super Sunday Funday!
tinyurl.com/48c8ddxn
#crossword #puzzle
Today's grid might be a smidge challenging for some, but not for you. ;) Click below for direct access to "Smidge" and have a super Sunday Funday!
tinyurl.com/48c8ddxn
#crossword #puzzle
Play this Crossword - Smidge
Smidge
tinyurl.com
April 6, 2025 at 7:24 AM
Good morning! The #acpt continues today! Are you competing??
Today's grid might be a smidge challenging for some, but not for you. ;) Click below for direct access to "Smidge" and have a super Sunday Funday!
tinyurl.com/48c8ddxn
#crossword #puzzle
Today's grid might be a smidge challenging for some, but not for you. ;) Click below for direct access to "Smidge" and have a super Sunday Funday!
tinyurl.com/48c8ddxn
#crossword #puzzle
Reposted by soaproot
On-brand succulent pencils at the ready at the American #Crossword Puzzle Tournament! Happy solving, everyone ✍️ #ACPT
April 5, 2025 at 2:37 PM
On-brand succulent pencils at the ready at the American #Crossword Puzzle Tournament! Happy solving, everyone ✍️ #ACPT
Reposted by soaproot
Saw some scaffolding in New York and all I could think of is <a href="https://bsky.app/profile/did:plc:orw2ozs2ujhagv7jp4iv5552" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky-mention">@marklevinenyc.bsky.social @marklevinenyc and his efforts to keep scaffolding from being permascaffolding. Of note: there seems to be some work going on here!
April 1, 2025 at 7:34 PM
Saw some scaffolding in New York and all I could think of is <a href="https://bsky.app/profile/did:plc:orw2ozs2ujhagv7jp4iv5552" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky-mention">@marklevinenyc.bsky.social @marklevinenyc and his efforts to keep scaffolding from being permascaffolding. Of note: there seems to be some work going on here!
