Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
toad.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
Mastodon server operated by David Troy, a tech pioneer and investigative journalist addressing threats to democracy. Thoughtful participation and discussion welcome.

Administered by:

Server stats:

386
active users

toad.social: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#axiomofchoice

1 post1 participant0 posts today
M. Ní Sídach<p>The Man Who Almost Broke Math (And Himself...)<br><a href="https://sfba.social/tags/Veritasium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Veritasium</span></a> <a href="https://sfba.social/tags/DerekMuller" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DerekMuller</span></a> <a href="https://sfba.social/tags/VideoEssay" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>VideoEssay</span></a> <a href="https://sfba.social/tags/History" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>History</span></a> <a href="https://sfba.social/tags/Culture" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Culture</span></a> <a href="https://sfba.social/tags/Science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Science</span></a> <a href="https://sfba.social/tags/ArtScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ArtScience</span></a> <a href="https://sfba.social/tags/Maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Maths</span></a> <a href="https://sfba.social/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://sfba.social/tags/Infinities" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Infinities</span></a> <a href="https://sfba.social/tags/AC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AC</span></a> <a href="https://sfba.social/tags/AoC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AoC</span></a> <a href="https://sfba.social/tags/AxiomOfChoice" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AxiomOfChoice</span></a> <br><a href="https://www.youtube.com/watch?v=_cr46G2K5Fo" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=_cr46G2K5F</span><span class="invisible">o</span></a></p>
Fullmetal Manager 🌈💖🔥<p>Good news, everyone! Zermelo-Fraenkel File System (ZFS) now supports hot swapping infinitely many hard drives from any arbitrary collection of hard drives!<br><a href="https://infosec.exchange/tags/ZFS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ZFS</span></a> <a href="https://infosec.exchange/tags/AxiomOfChoice" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AxiomOfChoice</span></a><br><a href="https://www.cyberciti.biz/linux-news/zfs-raidz-expansion-finally-here-in-version-2-3-0/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">cyberciti.biz/linux-news/zfs-r</span><span class="invisible">aidz-expansion-finally-here-in-version-2-3-0/</span></a><br><span class="h-card" translate="no"><a href="https://mastodon.social/@nixCraft" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>nixCraft</span></a></span></p>
HoldMyType<p>I don't post on <a href="https://mathstodon.xyz/tags/mathoverflow" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathoverflow</span></a> , but when i do<br><a href="https://mathoverflow.net/questions/434279/two-credible-references-seem-to-differ-on-the-equivalence-of-induction-and-well" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathoverflow.net/questions/434</span><span class="invisible">279/two-credible-references-seem-to-differ-on-the-equivalence-of-induction-and-well</span></a><br><a href="https://mathstodon.xyz/tags/linearorder" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>linearorder</span></a> <a href="https://mathstodon.xyz/tags/newfoundations" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>newfoundations</span></a> <a href="https://mathstodon.xyz/tags/axiomofchoice" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>axiomofchoice</span></a> <a href="https://mathstodon.xyz/tags/zornslemma" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>zornslemma</span></a> <a href="https://mathstodon.xyz/tags/induction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>induction</span></a></p>
ExploreLive feeds
About