techhub.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A hub primarily for passionate technologists, but everyone is welcome

Administered by:

Server stats:

4.6K
active users

#math

236 posts79 participants6 posts today
Sir Rochard 'Dock' Bunson<p>New math dad joke pickup line just dropped:</p><p>"I bet you always carry the one, because you're a 10."</p><p>BTW, fuck new math. 😅 </p><p><a href="https://universeodon.com/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://universeodon.com/tags/DadJoke" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DadJoke</span></a></p>
LeRoy Miller<p>mini nerdlegame 1284 4/6</p><p>⬛🟩🟩🟩🟩⬛<br>⬛🟩🟩🟩🟩⬛<br>🟪🟩🟩🟩🟩⬛<br>🟩🟩🟩🟩🟩🟩</p><p>mini binerdle 1171 3&amp;4/7</p><p>⬛⬛⬛🟪🟪🟪<br>🟩🟩🟩⬛🟩⬛<br>🟩🟩🟩🟩🟩🟩</p><p>⬛⬛🟪🟪⬛⬛<br>⬛⬛⬛🟩🟩⬛<br>⬛⬛⬛⬛🟩⬛<br>🟩🟩🟩🟩🟩🟩</p><p>micro nerdlegame 1057 4/6</p><p>⬛🟩🟩🟩⬛<br>⬛🟩🟩🟩⬛<br>⬛🟩🟩🟩⬛<br>🟩🟩🟩🟩🟩</p><p><a href="https://mastodon.social/tags/nerdle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nerdle</span></a> <a href="https://mastodon.social/tags/nerdlegame" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nerdlegame</span></a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mastodon.social/tags/game" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>game</span></a> <a href="https://mastodon.social/tags/puzzle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>puzzle</span></a> <a href="https://mastodon.social/tags/fun" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fun</span></a> <a href="https://mastodon.social/tags/nerdle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nerdle</span></a> <a href="https://mastodon.social/tags/miniNerdle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>miniNerdle</span></a> <a href="https://mastodon.social/tags/microNerdle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>microNerdle</span></a> <a href="https://mastodon.social/tags/binerdle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>binerdle</span></a> <a href="https://mastodon.social/tags/mini" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mini</span></a> <a href="https://mastodon.social/tags/micro" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>micro</span></a></p>
LeRoy Miller<p>speed nerdlegame 1284 solved in 1m 58s!</p><p>⬛⬛⬛⬛⬛🟪🟪⬛<br>🟪🟪⬛⬛🟩🟩🟪⬛<br>🟩🟩🟩🟩🟩🟩🟩🟩⏱️</p><p>🟩 🟪 ⬛️ Instant Nerdle 1270 solved in 0m 32s!</p><p>nerdlegame 1284 4/6</p><p>🟪⬛🟪⬛⬛🟩🟪🟪<br>🟪🟪🟩🟩⬛🟩🟪⬛<br>🟪🟪🟩🟩🟪🟩⬛🟪<br>🟩🟩🟩🟩🟩🟩🟩🟩</p><p>binerdle 1171 3&amp;4/7</p><p>🟪🟪⬛🟪⬛🟩🟩⬛<br>🟩🟩🟪🟩⬛🟩🟩⬛<br>🟩🟩🟩🟩🟩🟩🟩🟩</p><p>🟪⬛⬛⬛⬛🟩🟩⬛<br>🟪⬛🟪⬛🟩🟩🟩⬛<br>🟪⬛⬛⬛🟪🟩🟩⬛<br>🟩🟩🟩🟩🟩🟩🟩🟩</p><p><a href="https://mastodon.social/tags/nerdle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nerdle</span></a> <a href="https://mastodon.social/tags/nerdlegame" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nerdlegame</span></a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mastodon.social/tags/game" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>game</span></a> <a href="https://mastodon.social/tags/puzzle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>puzzle</span></a> <a href="https://mastodon.social/tags/fun" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fun</span></a> <a href="https://mastodon.social/tags/nerdle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nerdle</span></a> <a href="https://mastodon.social/tags/miniNerdle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>miniNerdle</span></a> <a href="https://mastodon.social/tags/microNerdle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>microNerdle</span></a> <a href="https://mastodon.social/tags/binerdle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>binerdle</span></a> <a href="https://mastodon.social/tags/mini" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mini</span></a> <a href="https://mastodon.social/tags/micro" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>micro</span></a></p>
LeRoy Miller<p>Mathle 1279 2/5<br>⬜🟨⬜🟨⬜⬜🟩🟨<br>🟩🟩🟩🟩🟩🟩🟩🟩</p><p>mathlegame.com</p><p><a href="https://mastodon.social/tags/mathle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathle</span></a> <a href="https://mastodon.social/tags/mathlegame" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathlegame</span></a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mastodon.social/tags/game" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>game</span></a> <a href="https://mastodon.social/tags/puzzle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>puzzle</span></a></p>
LeRoy Miller<p>targets #534<br>Score 1/10 *⭐⭐⭐ <br>Upto 10 points (30⭐) from 4 daily Targets @nerdlegame.com</p><p>targets #534<br>Score 3/10 *⭐⭐⭐ <br>Upto 10 points (30⭐) from 4 daily Targets @nerdlegame.com</p><p>targets #534<br>Score 6/10 *⭐⭐⭐ <br>Upto 10 points (30⭐) from 4 daily Targets @nerdlegame.com</p><p>targets #534<br>Score 10/10 *⭐⭐⭐ <br>Upto 10 points (30⭐) from 4 daily Targets @nerdlegame.com</p><p><a href="https://mastodon.social/tags/nerdle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nerdle</span></a> <a href="https://mastodon.social/tags/nerdlegame" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nerdlegame</span></a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mastodon.social/tags/game" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>game</span></a> <a href="https://mastodon.social/tags/puzzle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>puzzle</span></a> <a href="https://mastodon.social/tags/fun" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fun</span></a> <a href="https://mastodon.social/tags/targets" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>targets</span></a></p>
Education & Knowledge<p><strong>The Russian Math Feud Behind Google's Trillion Dollar Algorithm</strong></p> <p><a href="https://tube.blueben.net/w/bEN8vM7ewk3WZtrxfFEBVq" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">tube.blueben.net/w/bEN8vM7ewk3</span><span class="invisible">WZtrxfFEBVq</span></a></p>
grizzly-8<p> <a class="hashtag" href="https://juick.com/tag/math" rel="nofollow noopener" target="_blank">#math</a> <a class="hashtag" href="https://juick.com/tag/%D0%BA%D0%B0%D1%80%D1%82%D0%B8%D0%BD%D0%BA%D0%B8" rel="nofollow noopener" target="_blank">#картинки</a></p>
LeRoy Miller<p>hard mathler 1270 3/6</p><p>⬜⬜⬜🟩⬜🟨⬜🟨<br>🟩⬜🟨🟩⬜🟩⬜🟨<br>🟩🟩🟩🟩🟩🟩🟩🟩</p><p>mathler.com</p><p>mathler 1270 2/6</p><p>🟩🟩⬜🟨⬜⬜<br>🟩🟩🟩🟩🟩🟩</p><p>mathler.com</p><p>easy mathler 1270 1/6</p><p>🟩🟩🟩🟩🟩</p><p>mathler.com</p><p>killer mathler 1270 4/6</p><p>⬜🟩⬜⬜⬜⬜<br>⬜🟩⬜⬜⬜⬜<br>⬜🟩⬜⬜⬜🟩<br>🟩🟩🟩🟩🟩🟩</p><p>mathler.com</p><p><a href="https://mastodon.social/tags/mathler" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathler</span></a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mastodon.social/tags/game" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>game</span></a> <a href="https://mastodon.social/tags/puzzle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>puzzle</span></a> <a href="https://mastodon.social/tags/hardMathler" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>hardMathler</span></a> <a href="https://mastodon.social/tags/hard" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>hard</span></a> <a href="https://mastodon.social/tags/easyMathler" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>easyMathler</span></a> <a href="https://mastodon.social/tags/easy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>easy</span></a> <a href="https://mastodon.social/tags/KillerMathler" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KillerMathler</span></a> <a href="https://mastodon.social/tags/killer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>killer</span></a></p>
LeRoy Miller<p>Numbword #1079 100/100</p><p>⬜⬜⬜🟦⬜ <br>🟦🟦⬜⬜⬜ <br>🟦🟦🟦🟦🟦</p><p>"For those who make the rules, there are no rules."<br>- Tommy Shelby, Peaky Blinders</p><p><a href="https://numbword.com/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">numbword.com/</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/numbword" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>numbword</span></a> <a href="https://mastodon.social/tags/puzzle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>puzzle</span></a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mastodon.social/tags/wordgame" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>wordgame</span></a> <a href="https://mastodon.social/tags/game" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>game</span></a> <a href="https://mastodon.social/tags/word" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>word</span></a> <a href="https://mastodon.social/tags/wordgames" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>wordgames</span></a></p>
LeRoy Miller<p>🙂Save a par🙂<br>calcule.heavymoons.net?20250725<br>(🟨−⬛)+🟩+⬛=🟨<br>(🟨−🟩)+🟩+🟨=🟩<br>(🟩−🟩)+🟩+🟩=🟩</p><p><a href="https://mastodon.social/tags/calcule" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>calcule</span></a> <a href="https://mastodon.social/tags/puzzle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>puzzle</span></a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mastodon.social/tags/game" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>game</span></a></p>
Paysages Mathématiques<p>"If there is one thing in mathematics that fascinates me more than any other (and undoubtedly always has), it's neither "number" nor "magnitude", but always shape. And among the thousand and one faces that shape chooses to reveal itself to us, the one that has fascinated me more than any other, and continues to fascinate me, is the structure hidden in mathematical things." – Alexandre Grothendieck (1928-2014)<br><a href="https://mathstodon.xyz/tags/quote" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quote</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a></p>
Paysages Mathématiques<p>"S’il y a une chose en mathématique qui (depuis toujours sans doute) me fascine plus que toute autre, ce n’est ni "le nombre", ni "la grandeur", mais toujours la forme. Et parmi les mille et un visages que choisit la forme pour se révéler à nous, celui qui m’a fasciné plus que tout autre et continue à me fasciner, c’est la structure cachée dans les choses mathématiques." – Alexandre Grothendieck (1928-2014)<br><a href="https://mathstodon.xyz/tags/citation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>citation</span></a> <a href="https://mathstodon.xyz/tags/math%C3%A9matiques" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathématiques</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a></p>
HoldMyType<p>T: Subsets of finite sets re also finite <br><a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a></p>
José A. Alonso<p>A proof of the Schröder-Bernstein theorem in ACL2. ~ Grant Jurgensen. <a href="https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACL2in2025.3" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">cgi.cse.unsw.edu.au/~eptcs/pap</span><span class="invisible">er.cgi?ACL2in2025.3</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>A formalization of elementary linear algebra: Part II. ~ David Russinoff. <a href="https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACL2in2025.2.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">cgi.cse.unsw.edu.au/~eptcs/pap</span><span class="invisible">er.cgi?ACL2in2025.2.pdf</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>A formalization of elementary linear algebra: Part I. ~ David Russinoff. <a href="https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACL2in2025.1.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">cgi.cse.unsw.edu.au/~eptcs/pap</span><span class="invisible">er.cgi?ACL2in2025.1.pdf</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
Rasmus<p>Here the final cleaned printed surface. (5/n)</p><p><a href="https://mathstodon.xyz/tags/Tiling" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tiling</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/geometry" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>geometry</span></a> <a href="https://mathstodon.xyz/tags/3d" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>3d</span></a> <a href="https://mathstodon.xyz/tags/3dprinting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>3dprinting</span></a></p>
Rasmus<p>Even the supports "randomly" created by the slicer are quite beautiful to look at. (4/n)</p><p><a href="https://mathstodon.xyz/tags/Tiling" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tiling</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/geometry" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>geometry</span></a> <a href="https://mathstodon.xyz/tags/3d" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>3d</span></a> <a href="https://mathstodon.xyz/tags/3dprinting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>3dprinting</span></a></p>
Rasmus<p>When smoothed and printed this surface (especially the hyperbolic versions) takes on a very organic character. (3/n)</p><p><a href="https://mathstodon.xyz/tags/Tiling" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tiling</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/geometry" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>geometry</span></a> <a href="https://mathstodon.xyz/tags/3d" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>3d</span></a> <a href="https://mathstodon.xyz/tags/3dprinting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>3dprinting</span></a></p>
Alameda Post<p>Jeff Smith's Math Puzzle for July 25, 2025 - Given our political climate, any serious discussion is at risk of going off on a tangent. <a href="https://alamedapost.com/features/puzzles/math-puzzle-for-july-25-2025/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">alamedapost.com/features/puzzl</span><span class="invisible">es/math-puzzle-for-july-25-2025/</span></a></p><p><a href="https://newsie.social/tags/alameda" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>alameda</span></a> <a href="https://newsie.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://newsie.social/tags/MathPuzzle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MathPuzzle</span></a> <a href="https://newsie.social/tags/puzzle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>puzzle</span></a></p>