Sign in

soaproot

@soaproot.sfba.social.ap.brid.gy
36 followers 41 following 1.1K posts

Also known.as: Jim Kingdon. Interested in: formal mathematics, software development, dance (especially country-western and #MorrisDancing, but many kinds), plants […] [bridged from sfba.social/@soaproot on the fediverse by fed.brid.gy ]

PostsRepliesMedia
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]
zeta(5) not in Q
126
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
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
Reposted by soaproot
Dr. Dan Killam @dantheclamman.scicomm.xyz.ap.brid.gy · 14/09/2026
Yesterday I noticed a swarm of tiny water striders next to a boat dock on the Sacramento River. They move so fast that they are mostly a blur! I had seen them before but never had stopped to ID them. I learned from iNaturalist they are Rhagovelia distincta. I wondered if they are a river-adapted […]
scicomm.xyz
Original post on scicomm.xyz
000
Reposted by soaproot
Sebastian Ullrich @kha.functional.cafe.ap.brid.gy · 05/09/2026
Let's do some performance exploration of the Anthropic FLT proof (github.com/anthropics/fermats-last-…) To set the scene, we are talking about 60,475 Lean modules in FLT on top of 8,312 already part of Mathlib. However, these two file sets are not of quite the same shape: the […]
functional.cafe
Original post on functional.cafe
102
Reposted by soaproot
Christian Lawson-Perfect @christianp.mathstodon.xyz.ap.brid.gy · 18/08/2026
Today I successfully used Shamos's catalog of the real numbers! (euro.ecom.cmu.edu/people/faculty/ms…) but the number I was looking up was 𝑒 − 2, which I really should have recognised...
023
Reposted by soaproot
Brett Snyder @crankyflier.com · 18/08/2026
Nobody can replace Alitalia
112
soaproot @soaproot.sfba.social.ap.brid.gy · 18/08/2026
When dealing with how to navigate a software development job (promotions, approaching coworkers to get things done, etc), the topic calls for a combination of serious advice and humor (yes, even snark at times because how else can you cope with some of the absurdity). I say this as a description […]
sfba.social
Original post on sfba.social
011
Reposted by soaproot
soaproot @soaproot.sfba.social.ap.brid.gy · 27/07/2026
I'm going to write a mini-thread on finite sets in #constructiveMathematics (mostly to pass along some intuition from a friend who is new to this material shared with me). Classical intuition works poorly on constructive finite sets, but once you adapt your intuition, constructive finite sets […]
sfba.social
Original post on sfba.social
100
Reposted by soaproot
Jakob @jdw.mathstodon.xyz.ap.brid.gy · 09/08/2026
The alternative fields medalists have been decided: esander1789.github.io/afm
esander1789.github.io
The Alternative Fields Medals
101
Reposted by soaproot
Gro-Tsen @gro-tsen.bsky.social · 07/08/2026
I asked a long question on MathOverflow about which topos best represents L. E. J. Brouwer's ideas on intuitionism (some of which I have tried to summarize): mathoverflow.net/q/514026/17064
mathoverflow.net
Which topos (or topoi) most accurately reflect Brouwer's ideas on intuitionism?
Let me first clarify that I am not expecting the titular question to have a single well-defined answer (or it would probably have to be a useless one like “the topos freely generated by the followi...
143
Reposted by soaproot
Colin Beveridge @icecolbeveridge.mathstodon.xyz.ap.brid.gy · 02/08/2026
Just stumbled on this delightful exchange from several years ago. @christianp is an excellent human being who does sterling work keeping the nonsense levels around here just right. mathstodon.xyz/@christianp/11113762…
An exchange from several years ago where I torment CLP by suggesting a Tale of Two Cities number theory course would start "It was the best of \times" and I remain unbanned.
002
soaproot @soaproot.sfba.social.ap.brid.gy · 27/07/2026
I'm going to write a mini-thread on finite sets in #constructiveMathematics (mostly to pass along some intuition from a friend who is new to this material shared with me). Classical intuition works poorly on constructive finite sets, but once you adapt your intuition, constructive finite sets […]
sfba.social
Original post on sfba.social
100
Reposted by soaproot
robinhouston @robinhouston.mathstodon.xyz.ap.brid.gy · 26/07/2026
RE: mastoxiv.page/@arXiv_csLO_bot/11691… It looks as though one of my favourite problems has been solved! It's related to both Petri nets and linear logic. BVAS are more general than VAS – which are more or less the same as Petri nets. The reachability problem for VAS was […]
mathstodon.xyz
Original post on mathstodon.xyz
013
Reposted by soaproot
Jean Abou Samra (new account) @jeanas.mathstodon.xyz.ap.brid.gy · 20/07/2026
I hope you are sitting down… mathoverflow.net/a/513385
mathoverflow.net
Could the Jacobian conjecture be undecidable?
Most of us know the Jacobian conjecture. Here's a version below for fixed positive integers $d$ and $n$: $J(d,n)$: If $f: C^n \rightarrow C^n$ is a polynomial map of degree $d$, and if the Jacob...
102
Reposted by soaproot
Andrej Bauer @andrejbauer.mathstodon.xyz.ap.brid.gy · 15/07/2026
I was invited to speak at the Summer Conference on Topology 2026and its Applications in Split, Croatia. This is how I tried to explain the topos of countable reals to ordinary topologists: www.andrej.com/assets/slides/topolo… I did get a bunch of […]
mathstodon.xyz
Original post on mathstodon.xyz
010
Reposted by soaproot
robinhouston @robinhouston.mathstodon.xyz.ap.brid.gy · 13/07/2026
The regular dodecahedron is rigid (but the truncated dodecahedron might not be): mathoverflow.net/a/513195/8217
mathoverflow.net
Is the dodecahedron flexible (as a polytope with fixed edge-lengths)?
Consider the (regular) dodecahedron $D\subset\Bbb R^3$. I want to continuously deform it so that throughout the deformation it stays a convex polytope, it stays a combinatorial dodecahedron (i.e. ...
021
Reposted by soaproot
History Walks in Venice @info.historywalksvenice.com.ap.brid.gy · 12/07/2026
**The first doges — John the Deacon** The elections of the first doges of Venice are shrouded in mystery, both as to who they were, and why, how and by whom they were chosen. The Istoria Veneticorum by _John the Deacon_ is our earliest source for […] [Original post on historywalksvenice.com]
Page of a medieval manuscript, black ink on parchment, Vat.lat.5269, foglio 1r, incipit Istoria Veneticorum by John the Deacon
034
Reposted by soaproot
John D. Cook @johndcook.mathstodon.xyz.ap.brid.gy · 30/06/2026
Find a function whose derivative equals its inverse. Solution: www.johndcook.com/blog/2026/06/29/d…
johndcook.com
Derivative equals inverse
Here’s kind of a strange problem with an interesting solution: find a function _f_ such that the derivative of _f_ equals the inverse of _f_ for all positive _x_. _f_ ′(_x_) = _f_ −1(_x_) This is a differential equation, but a very unusual one, one that cannot be solved using any of the techniques taught in a class on differential equations. The unique solution is _f_(_x_) = φ(_x_ / φ)φ where φ is the golden ratio. What an unexpected appearance of the golden ratio! The problem was proposed by H. L. Nelson and solved by A. C. Hindmarsh. See The American Mathematical Monthly, Vol. 76, No. 6 p. 696.
001
Reposted by soaproot
robinhouston @robinhouston.mathstodon.xyz.ap.brid.gy · 23/06/2026
Here is one! Traditionally a caltrop is a cluster of four spikes, arranged like the vertices of a regular tetrahedron. It's a defensive weapon. A defending army can litter the ground with these spikes, which will slow down any attacking force. The caltrop […] [Original post on mathstodon.xyz]
103
Reposted by soaproot
Mike Brown @plutokiller.com · 23/06/2026
Excited at our paper just out in PNAS. We used JWST to detect frozen deuterated water ("heavy water") on the moons of Uranus. There is **much more** on the moons than on Uranus itself, showing that Uranus and the moons formed from separate reservoirs of water. Fun lab work in the supplement, too.🔭🪐
pnas.org
Deuterated water and the formation of the satellites of Uranus | PNAS
The satellites of Uranus orbit in a low-eccentricity, equatorial plane that is tilted by 98° relative to the solar system—a geometry that mirrors U...
47618
Reposted by soaproot
DougMerritt (log😅 = 💧log😄) @dougmerritt.mathstodon.xyz.ap.brid.gy · 27/05/2026
RE: mathstodon.xyz/@mc/1166475991325856… I have to quote this to add confirming context: (A) there is, and needs to be, an encyclopedia of definitions of the center of triangles, and (B) it has over 71,000 definitions. As Jeremy eloquently puts it, wtf?!
mathstodon.xyz
102
Reposted by soaproot
Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 24/05/2026
Woah, a geometric topology paper with 31 authors! It's titled "Algorithms in 4-Manifold Topology", and they show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not the manifolds are homeomorphic […]
mathstodon.xyz
Original post on mathstodon.xyz
013
Reposted by soaproot
Dr. Dan Killam @dantheclamman.scicomm.xyz.ap.brid.gy · 05/05/2026
@soaproot galleomatids are famously cryptic. For example, one species in Southern CA tidepools, an extremely well-studied setting, was thought to be extinct, only known from fossils until 2022! They are good at hiding, tiny and hard to ID even for experts […]
scicomm.xyz
Original post on scicomm.xyz
101
soaproot @soaproot.sfba.social.ap.brid.gy · 26/04/2026
Earthquake!
100
Reposted by soaproot
Tommaths (he/him) @teakayb.mathstodon.xyz.ap.brid.gy · 18/04/2026
Reading ancient languages takes a lot of time, effort, experience, & other things involved in learning so it's *really* difficult for kids (or most adults) to engage with ancient texts on historical objects in museums... ... Except there's a relatively quick win, if a little infrastructure is […]
mathstodon.xyz
Original post on mathstodon.xyz
003
Reposted by soaproot
Gro-Tsen @gro-tsen.bsky.social · 10/04/2026
The question “is it possible that there exists a set X and a bijection 𝒫(X)→ℕ” asked by the ever prolific Dominic van der Zypen on MathOverflow has an easy answer for classical ZF, but I now wonder what happens in constructive math (say, IZF). mathoverflow.net/q/510100/17064
mathoverflow.net
$\omega$ as a power
Background. A set $X$ is Dedekind-finite, or D-finite, if every injection $\iota:X\to X$ is surjective. In ${\sf ZF}$, if $X$ is a D-finite set, its powerset ${\cal P}(X)$ is not necessarily D-fin...
121
Reposted by soaproot
theHigherGeometer @highergeometer.mathstodon.xyz.ap.brid.gy · 24/03/2026
New from @DavidKButler davidkbutler.xyz/2026/03/24/three-t… David includes a disclaimer to ward off people complaining, but I see nothing to complain about. Here's some thoughts it gave me. The use of ∞ to refer to the location at the (positive) end of the number line […]
mathstodon.xyz
Original post on mathstodon.xyz
103
Reposted by soaproot
Jakob @jdw.mathstodon.xyz.ap.brid.gy · 23/03/2026
A monomial ordering is a total order on ℕ^r making ℕ^r into an ordered monoid, i.e. 0 <= m and m <= m' implies m + n <= m' + n. Classically, every monomial ordering is a well-ordering (algebra people like to deduce this from Hilbert's basis theorem). Is it true constructively that every […]
mathstodon.xyz
Original post on mathstodon.xyz
000
Reposted by soaproot
Our Kingdom @kingtor.frontrange.co.ap.brid.gy · 14/03/2026
Happy τ/2 day to those who celebrate.
001
soaproot @soaproot.sfba.social.ap.brid.gy · 14/03/2026
The smallest positive real whose cosine is one is two times the smallest positive real whose sine is zero. Proved from axioms of IZF set theory via constructing reals, convergence and notation for infinite series, the exponential function, continuity, and the monotone intermediate value theorem. […]
sfba.social
Original post on sfba.social
010
Reposted by soaproot
Omar Antolín @oantolin.mathstodon.xyz.ap.brid.gy · 21/02/2026
You've probably heard of the Birthday Paradox, that among 23 people the probability that two share a birthday is more than 50%. This is easy to prove by calculating the complementary that no two of the 23 share a birthday. There are 365 options for the first birthday, then only 364 for the […]
mathstodon.xyz
Original post on mathstodon.xyz
201
Reposted by soaproot
Dr. Dan Killam @dantheclamman.scicomm.xyz.ap.brid.gy · 21/02/2026
New paper out! We used toxin measurements in mussels to identify a threshold of abundance for a harmful plankton, Alexandrium, associated with toxin rising above background levels. We then used that threshold to look at other harmful algae in SF Bay and what […] [Original post on scicomm.xyz]
Graphical abstract from the paper. We used mussels as a biomonitor of their food, including Alexandrium, a harmful plankton. We related that to genetic measures of their abundance to see what level the toxin, saxitoxin was accumulating in mussel tissue. We identified a threshold when the toxin was above baseline and then used that threshold to investigate a bunch of other plankton that cause harmful algal blooms, finding other types like Dinophysis (that gives people diarrhea), Heterocapsa (kills fish) and Heterosigma (caused a huge bloom that killed fish in 2022) increase above their baseline abundance at higher chlorophyll levels in fall
004
soaproot @soaproot.sfba.social.ap.brid.gy · 15/02/2026
RE: mas.to/@xshay/116065312653387518 Ooh I don't know enough about straightedge-and-compass constructions, or analyzing the number of steps needed, to say whether making any integer taking O(log n) steps is new and correct, but looks interesting. Maybe someone knows on #mathstodon […]
sfba.social
Original post on sfba.social
102
soaproot @soaproot.sfba.social.ap.brid.gy · 02/02/2026
Earthquake! earthquake.usgs.gov/earthquakes/eve…
100
soaproot @soaproot.sfba.social.ap.brid.gy · 31/12/2025
This is a 🧵 about the Dedekind cut construction of real numbers in #constructiveMathematics , particularly two technical details. The first has to do with defining additive inverse and multiplication, when we can't use excluded middle for things like "is a real number positive or not?". The […]
sfba.social
Original post on sfba.social
100
Reposted by soaproot
soaproot @soaproot.sfba.social.ap.brid.gy · 19/12/2025
@williampietri If you want one thing to read, go for Andrej Bauer's "Five stages of accepting constructive mathematics," Bulletin (New Series) of the American Mathematical Society, 54:481-498 (2017), dx.doi.org/10.1090/bull/1556 (open access). There's one or two sections you (or even me […]
sfba.social
Original post on sfba.social
001
Reposted by soaproot
soaproot @soaproot.sfba.social.ap.brid.gy · 18/12/2025
@williampietri This one might be a bit hard to explain except in a certain mathematical niche, but the last few months have been great for my constructive set theory proofs and webpages. See us.metamath.org/ileuni/mmil.html#fl… and the following two sections ("A note on existence" […]
sfba.social
Original post on sfba.social
000
Reposted by soaproot
John D. Cook @johndcook.mathstodon.xyz.ap.brid.gy · 16/12/2025
Take an integer N which is not a multiple of 10. There is some multiple of N containing only the digits 1, 2, 3, 4, and 5. www.johndcook.com/blog/2025/12/16/m…
johndcook.com
Multiples with no large digits
Here’s a curious theorem I stumbled across recently [1]. Take an integer _N_ which is not a multiple of 10. Then there is some multiple of _N_ which only contains the digits 1, 2, 3, 4, and 5. For example, my business phone number 8324228646 has a couple 8s and a couple 6s. But 6312 × 8324228646 = 52542531213552 which contains only digits 1 through 5. For a general base _b_ , let _p_ be the smallest prime factor of _b_. Then for every integer _N_ that is not a multiple of _b_ , there is some multiple of _N_ whose base _b_ representation contains only the digits 1, 2, 3, …, _b_ /_p_. This means that for every number _N_ that is not a multiple of 16, there is some _k_ such that the hex representation of _kN_ contains only the digits 1 through 8. For example, if we take the magic number at the beginning of every Java class file, 0xCAFEBABE, we find 1341 × CAFEBABEhex = 42758583546hex. In the examples above, we’re looking for multiple containing only half the possible digits. If the largest prime dividing the base is larger than 2 then we can find a multiples with digits in a smaller range. For example, in base 35 we can find a multiple containing only the digits 1 through 7. [1] Daniel Sitaru and Leonard Giugiuc. Sum of powers of the sides of a triangle. The American Mathematical Monthly, Vol. 126, No. 2 (February 2019), p. 188
012
soaproot @soaproot.sfba.social.ap.brid.gy · 16/12/2025
Sleigh bells ring, are you listening? In the lane, snow is glistening A beautiful sight We're happy tonight Tooting on a winter Mastodon Gone away is the bluebird Here to stay is a pachyderm To sing a love song While we stroll along Tooting on a winter Mastodon In the meadow, we can build a […]
sfba.social
Original post on sfba.social
003
soaproot @soaproot.sfba.social.ap.brid.gy · 26/11/2025
RE: tech.lgbt/@libsteve/115611585076070… Anyone on #librarians or #bookstodon who knows something about Library of Congress classification willing to take a few questions from @libsteve ?
tech.lgbt
001
Reposted by soaproot
IFTAS @iftas.mastodon.iftas.org.ap.brid.gy · 04/11/2025
Fediverse admin, moderator and community manager efforts resolve the overwhelming majority of issues before most are even aware of them. Let's hold moderation to high standards, while also extending the respect and support these volunteers deserve. Send your mod team some love today. They’ve […]
mastodon.iftas.org
Original post on mastodon.iftas.org
208
soaproot @soaproot.sfba.social.ap.brid.gy · 24/10/2025
🐮 Animal #816 🦃 I figured it out in 3 guesses! 🟨🟩🟩 🔥 1 | Avg. Guesses: 3 metazooa.com #metazooa
metazooa.com
Metazooa
Become an evolutionary detective to find the Mystery Animal!
000
soaproot @soaproot.sfba.social.ap.brid.gy · 14/09/2025
🐗 Animal #776 🐃 I figured it out in 5 guesses! 🟥🟧🟩🟩🟩 🔥 2 | Avg. Guesses: 5.8 metazooa.com #metazooa
metazooa.com
Metazooa
Become an evolutionary detective to find the Mystery Animal!
010
Reposted by soaproot
Dr. Dan Killam @dantheclamman.scicomm.xyz.ap.brid.gy · 06/09/2025
@llewelly @soaproot important to note that fossil pseudofeces is very different from the equally entertaining topic of pseudo fossil feces theplosblog.plos.org/2014/07/pseudo…
theplosblog.plos.org
102
soaproot @soaproot.sfba.social.ap.brid.gy · 21/08/2025
At the California Science Center museum and just found some new (to me) #clamFacts . According to Wikipedia this species lives at thousands of meters below the ocean's surface and gets nutrition from bacteria on its gills which can process hydrogen sulfide from deep sea vents.
A museum display of a large white clam shell. The tag says "Giant vent clam (shell only). Calyptogena magnifica"
214
Reposted by soaproot
Dan Drake 🦆 @ddrake.mathstodon.xyz.ap.brid.gy · 19/08/2025
@soaproot my little bit of subversive culture jamming...actual one-sided paper...
A box of Mobius strips next to a sign advertising notebooks made with "one-sided paper".
101