snabelen.no er en av mange uavhengige Mastodon-servere du kan bruke for å delta i det desentraliserte sosiale nettet.
Ein norsk heimstad for den desentraliserte mikroblogge-plattformen.

Administrert av:

Serverstatistikk:

363
aktive brukere

#math

111 innlegg85 deltakere12 innlegg i dag
Preston MacDougall<p><span class="h-card" translate="no"><a href="https://sauropods.win/@futurebird" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>futurebird</span></a></span> The center *is* being lost. But <a href="https://mstdn.science/tags/Americans" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Americans</span></a> have always had the ability to hold it. They just have to break old (bad) habits that the Founding Fathers told us to, and <a href="https://mstdn.science/tags/PrimaryFromTheCenter" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PrimaryFromTheCenter</span></a>.<br>“Chemical Eye on Independent’s Day” <a href="http://www.sitnews.us/MacDougall/070306_macdougall.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">http://www.</span><span class="ellipsis">sitnews.us/MacDougall/070306_m</span><span class="invisible">acdougall.html</span></a></p><p>Note: <a href="https://mstdn.science/tags/Fascists" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Fascists</span></a> in <a href="https://mstdn.science/tags/USpol" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>USpol</span></a> know this obstacle to their <a href="https://mstdn.science/tags/Project2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Project2025</span></a> and have been trying to ban <a href="https://mstdn.science/tags/OpenPrimaries" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OpenPrimaries</span></a> in <a href="https://mstdn.science/tags/RedStates" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RedStates</span></a>.</p><p><a href="https://mstdn.science/tags/Resist" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Resist</span></a> intelligently. Use <a href="https://mstdn.science/tags/MATH" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MATH</span></a>.</p>
Rémi Eismann<p>Generation of four sequences decomposed into weight × level + jump (log(weight), log(level), log(jump)) - three.js animation:<br>🧵⬇️</p><p>1: The natural numbers (A000027) ➡️ <a href="https://decompwlj.com/3DgraphGen/Natural_numbers.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/3DgraphGen/Natur</span><span class="invisible">al_numbers.html</span></a></p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decompwlj</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/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</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/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaScript</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>php</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graph</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/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>webGL</span></a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>triangular</span></a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>primes</span></a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PrimeNumbers</span></a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>palindromes</span></a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>animation</span></a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FundamentalTheoremOfArithmetic</span></a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequences</span></a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NumberTheory</span></a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>classification</span></a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>integer</span></a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decomposition</span></a> <a href="https://mathstodon.xyz/tags/number" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>number</span></a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theory</span></a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>equation</span></a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graphs</span></a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sieve</span></a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fundamental</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theorem</span></a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arithmetic</span></a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>research</span></a></p>
José A. Alonso<p>Readings shared July 25, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/26-readings_shared_07-25-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/07/26-readings_shared_07-25-25</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/AI4Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI4Math</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</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/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
Rémi Eismann<p>One day, one decomposition<br>A001481: Numbers that are the sum of 2 squares</p><p>3D graph, threejs - webGL ➡️ <a href="https://decompwlj.com/3Dgraph/A001481.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/3Dgraph/A001481.</span><span class="invisible">html</span></a><br>3D graph Gen, threejs animation ➡️ <a href="https://decompwlj.com/3DgraphGen/A001481.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/3DgraphGen/A0014</span><span class="invisible">81.html</span></a><br>2D graph, first 500 terms ➡️ <a href="https://decompwlj.com/2Dgraph500terms/A001481.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/2Dgraph500terms/</span><span class="invisible">A001481.html</span></a></p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decompwlj</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/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/javascript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>javascript</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>php</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/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/sum" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sum</span></a> <a href="https://mathstodon.xyz/tags/squares" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>squares</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graph</span></a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>webGL</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>
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>
Rémi Eismann<p>Generation of four sequences decomposed into weight × level + jump (log(weight), log(level), log(jump)) - three.js animation:<br>🧵⬇️</p><p>1: The natural numbers (A000027) ➡️ <a href="https://decompwlj.com/3DgraphGen/Natural_numbers.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/3DgraphGen/Natur</span><span class="invisible">al_numbers.html</span></a></p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decompwlj</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/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</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/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaScript</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>php</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graph</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/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>webGL</span></a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>triangular</span></a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>primes</span></a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PrimeNumbers</span></a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>palindromes</span></a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>animation</span></a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FundamentalTheoremOfArithmetic</span></a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequences</span></a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NumberTheory</span></a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>classification</span></a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>integer</span></a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decomposition</span></a> <a href="https://mathstodon.xyz/tags/number" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>number</span></a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theory</span></a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>equation</span></a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graphs</span></a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sieve</span></a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fundamental</span></a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theorem</span></a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arithmetic</span></a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>research</span></a></p>
Paysages Mathématiques<p>Theorem of the Day (July 25, 2025) : The Analyst’s Travelling Salesman Theorem<br>Source : Theorem of the Day / Robin Whitty<br>pdf : <a href="https://www.theoremoftheday.org/GeometryAndTrigonometry/ATST/TotDATST.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/GeometryAn</span><span class="invisible">dTrigonometry/ATST/TotDATST.pdf</span></a><br>notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#108" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Resources/</span><span class="invisible">TheoremNotes.htm#108</span></a> </p><p><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/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> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theorem</span></a> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>Theoremoftheday</span></a></span></p>
José A. Alonso<p>Lean FRO and Mathlib receive $10M from XTX Markets founder Alex Gerko to further advance the use of AI for mathematical research. <a href="https://www.renaissancephilanthropy.org/news-and-insights/lean-fro-and-mathlib-receive-10m-from-xtx-markets-founder-alex-gerko-to-further-advance-the-use-of-ai-for-mathematical-research" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">renaissancephilanthropy.org/ne</span><span class="invisible">ws-and-insights/lean-fro-and-mathlib-receive-10m-from-xtx-markets-founder-alex-gerko-to-further-advance-the-use-of-ai-for-mathematical-research</span></a> <a href="https://mathstodon.xyz/tags/AI4Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI4Math</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/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</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>Readings shared July 24, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/25-readings_shared_07-24-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/07/25-readings_shared_07-24-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</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/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
𝕂𝚞𝚋𝚒𝚔ℙ𝚒𝚡𝚎𝚕<p>Mathematik Rätsel: Was ist die Lösung? 🤔</p><p>a × b = 15<br>+ +<br>c - d = 5<br>= =<br>3 12</p><p>a = ?<br>b = ?<br>c = ?<br>d = ?</p><p><a href="https://chaos.social/tags/mathemathik" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathemathik</span></a> <a href="https://chaos.social/tags/aufgabe" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>aufgabe</span></a> <a href="https://chaos.social/tags/ratsellosung" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ratsellosung</span></a> <a href="https://chaos.social/tags/mathe" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathe</span></a> <a href="https://chaos.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> <a href="https://chaos.social/tags/mathart" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathart</span></a> <a href="https://chaos.social/tags/ratsel" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ratsel</span></a> <a href="https://chaos.social/tags/losung" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>losung</span></a> <a href="https://chaos.social/tags/plusminus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plusminus</span></a> <a href="https://chaos.social/tags/variablen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>variablen</span></a></p>
Rémi Eismann<p>One day, one decomposition<br>A001463: Partial sums of A001462; also a(n) is the last occurrence of n in A001462</p><p>3D graph, threejs - webGL ➡️ <a href="https://decompwlj.com/3Dgraph/A001463.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/3Dgraph/A001463.</span><span class="invisible">html</span></a><br>3D graph Gen, threejs animation ➡️ <a href="https://decompwlj.com/3DgraphGen/A001463.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/3DgraphGen/A0014</span><span class="invisible">63.html</span></a><br>2D graph, first 500 terms ➡️ <a href="https://decompwlj.com/2Dgraph500terms/A001463.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/2Dgraph500terms/</span><span class="invisible">A001463.html</span></a></p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decompwlj</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/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/javascript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>javascript</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>php</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/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/partial" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>partial</span></a> <a href="https://mathstodon.xyz/tags/sums" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sums</span></a> <a href="https://mathstodon.xyz/tags/occurrence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>occurrence</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graph</span></a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>webGL</span></a></p>
Aaron In Minnesota<p>Happy Pythagorean Triangle Day**!**</p><p>Celebrate out in the sun 'cos it's a sin to not get a tan on this day. </p><p>Try not to think about this 24-7</p><p><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/puns" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>puns</span></a> <a href="https://mastodon.social/tags/holidays" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>holidays</span></a></p>
Alfonso Gonzalez<p>Deepening Students' Mathematical Reasoning in Science When Working With Data – Digital Promise <br><a href="https://techhub.social/tags/SciChat" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SciChat</span></a> <a href="https://techhub.social/tags/Science" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Science</span></a> <a href="https://techhub.social/tags/iTeachScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>iTeachScience</span></a> <a href="https://techhub.social/tags/MathChat" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MathChat</span></a> <a href="https://techhub.social/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://techhub.social/tags/iTeachMath" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>iTeachMath</span></a> <br><a href="https://digitalpromise.org/2025/07/22/deepening-students-mathematical-reasoning-in-science-when-working-with-data/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">digitalpromise.org/2025/07/22/</span><span class="invisible">deepening-students-mathematical-reasoning-in-science-when-working-with-data/</span></a></p>
José A. Alonso<p>DeepMind and OpenAI achieve IMO Gold. What does it all mean? (What we know, what we would like to know, and what it may take years to know). ~ Ernest Davis, Gary Marcus. <a href="https://garymarcus.substack.com/p/deepmind-and-openai-achieve-imo-gold" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">garymarcus.substack.com/p/deep</span><span class="invisible">mind-and-openai-achieve-imo-gold</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</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/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a></p>
José A. Alonso<p>Readings shared July 23, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/24-readings_shared_07-23-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/07/24-readings_shared_07-23-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</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/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
HoldMyType<p><a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a> is antithesis of mutation<br>/ hot take</p>
Rémi Eismann<p>One day, one decomposition<br>A001359: Lesser of twin primes</p><p>3D graph, threejs - webGL ➡️ <a href="https://decompwlj.com/3Dgraph/Lesser_twin_primes.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/3Dgraph/Lesser_t</span><span class="invisible">win_primes.html</span></a><br>3D graph Gen, threejs animation ➡️ <a href="https://decompwlj.com/3DgraphGen/Lesser_twin_primes.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/3DgraphGen/Lesse</span><span class="invisible">r_twin_primes.html</span></a><br>2D graph, first 500 terms ➡️ <a href="https://decompwlj.com/2Dgraph500terms/Lesser_twin_primes.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/2Dgraph500terms/</span><span class="invisible">Lesser_twin_primes.html</span></a></p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>decompwlj</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/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/javascript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>javascript</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>php</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/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/lesser" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lesser</span></a> <a href="https://mathstodon.xyz/tags/twin" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>twin</span></a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>primes</span></a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PrimeNumbers</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>graph</span></a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>webGL</span></a></p>