Create accountLogin

Recent searches

No recent searches

Search options

Not available on lingo.lol.
lingo.lol is one of the many independent Mastodon servers you can use to participate in the fediverse.
A place for linguists, philologists, and other lovers of languages.

Administered by:

Server stats:

70
active users

lingo.lol: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#math

68 posts34 participants1 post today
Adam Coffman<p>Seen in the Mathematical Art display room at the tri-section <a href="https://mathstodon.xyz/tags/MAA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MAA</span></a> meeting: a long exact scarf!?! 🧣 <br><a href="https://mathstodon.xyz/tags/FiberArt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FiberArt</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/MathArt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MathArt</span></a></p>
José A. Alonso<p>Demostraciones con Lean4 y con Isabelle/HOL de "f(s ∪ t) = f(s) ∪ f(t)". <a href="https://jaalonso.github.io/calculemus/posts/2021/06/06-imagen_de_la_union/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/calculemus/</span><span class="invisible">posts/2021/06/06-imagen_de_la_union/</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Calculemus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Calculemus</span></a></p>
Prof. Bholanath Dutta<p>Can you SOLVE this? <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> 👉🙋</p>
Prof. Bholanath Dutta<p>Can you SOLVE this? <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> 👉🙋</p>
Prof. Bholanath Dutta<p>Can you SOLVE this? <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> 👉🙋</p>
Journeys In Film<p>Teach Math with film for Mathematics &amp; Statistics Month in April! We have film guides with math lesson suitable for grade 4 all the way to grade 12!</p><p>Get your free math lesson plans and liven up your math classes today! 1/2</p><p><a href="https://journeysinfilm.org/articles/teach-math-with-film-for-math-and-stats-month/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">journeysinfilm.org/articles/te</span><span class="invisible">ach-math-with-film-for-math-and-stats-month/</span></a> </p><p> <a href="https://hcommons.social/tags/MathAndStatsMonth" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MathAndStatsMonth</span></a> <a href="https://hcommons.social/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://hcommons.social/tags/Maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Maths</span></a> <a href="https://hcommons.social/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mathematics</span></a> <a href="https://hcommons.social/tags/StemEd" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StemEd</span></a> <a href="https://hcommons.social/tags/Education" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Education</span></a> <a href="https://hcommons.social/tags/Homeschooling" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Homeschooling</span></a> <span class="h-card" translate="no"><a href="https://a.gup.pe/u/education" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>education</span></a></span> <span class="h-card" translate="no"><a href="https://a.gup.pe/u/edutooters" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>edutooters</span></a></span> <span class="h-card" translate="no"><a href="https://a.gup.pe/u/stemed" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>stemed</span></a></span></p>
Abie<p>"With the possible exception of a few lost tribes somewhere in the Amazon or Andaman Islands, career mathematicians are the last true animists in this world."<br><a href="https://davidbessis.substack.com/p/the-real-mathematics-is-the-one-that" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">davidbessis.substack.com/p/the</span><span class="invisible">-real-mathematics-is-the-one-that</span></a><br><a href="https://eldritch.cafe/tags/phisci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>phisci</span></a> <a href="https://eldritch.cafe/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a></p>
José A. Alonso<p>Building AI for mathematical reasoning. ~ Chris Garcia. <a href="https://ai.gopubby.com/building-ai-for-mathematical-reasoning-996a81eb8b72" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ai.gopubby.com/building-ai-for</span><span class="invisible">-mathematical-reasoning-996a81eb8b72</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>Readings shared April 4, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/04-readings_shared_04-04-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/04-readings_shared_04-04-25</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Maxima" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Maxima</span></a></p>
🌈 ☯️Teresita🐧👭<p><a href="https://techhub.social/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> #61</p>
🌈 ☯️Teresita🐧👭<p><a href="https://techhub.social/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> #44</p>
🌈 ☯️Teresita🐧👭<p><a href="https://techhub.social/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> #42</p>
Prof. Bholanath Dutta<p>Can you SOLVE this? <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> 👉🙋</p>
José A. Alonso<p>Demostraciones con Lean4 y con Isabelle/HOL de "f⁻¹(u ∩ v) = f⁻¹(u) ∩ f⁻¹(v)". <a href="https://jaalonso.github.io/calculemus/posts/2021/06/05-imagen_inversa_de_la_interseccion/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/calculemus/</span><span class="invisible">posts/2021/06/05-imagen_inversa_de_la_interseccion/</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Calculemus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Calculemus</span></a></p>
Mina<p><a href="https://berlin.social/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a>⁣ematicians never run out of <a href="https://berlin.social/tags/chocolate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>chocolate</span></a></p>
José A. Alonso<p>Readings shared April 3, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/03-readings_shared_04-03-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/03-readings_shared_04-03-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/AlphaProof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AlphaProof</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a></p>
Fractal Kitty<p>I have posted the 238th Carnival of Mathematics!</p><p><a href="https://www.fractalkitty.com/238th-carnival-of-mathematic/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">fractalkitty.com/238th-carniva</span><span class="invisible">l-of-mathematic/</span></a></p><p>If I missed something please let me know. </p><p>There is an extremely slow bit of javascript for untouchable numbers that hopefully won't make the post untouchable. </p><p>Thank you <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@aperiodical" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>aperiodical</span></a></span> for organizing this.</p><p>This month we have posts from <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@mjd" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>mjd</span></a></span> Peter Cameron, <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@two_star" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>two_star</span></a></span>, <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@j2kun" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>j2kun</span></a></span>, Brian Clegg, <span class="h-card" translate="no"><a href="https://fediscience.org/@fortnow" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>fortnow</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@KarenCampe" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>KarenCampe</span></a></span>, Amédée d'Aboville, Ed Vogel, <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@standupmaths" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>standupmaths</span></a></span> </p><p>There was also an amazing amount of math and art being shared on blueSky with <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@Ayliean" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Ayliean</span></a></span> 's math art March prompts</p><p><a href="https://mathstodon.xyz/tags/carnivalOfMathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>carnivalOfMathematics</span></a> <a href="https://mathstodon.xyz/tags/indieweb" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>indieweb</span></a> <a href="https://mathstodon.xyz/tags/blogCarnival" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>blogCarnival</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a></p>
Pat<p>I've made a fraction-based calculator, for simplifying rational expressions (written in ANSI-C using vi)</p><p>I was aiming to merge a scientific calculator with "bc", because I often need to simplify various fractions and whatnot. Quite happy with the result!</p><p>Uses shunting yard algorithm to evaluate the expressions, and a naive descent parser (I think?) to tokenise</p><p>Aside: OpenBSD's "editline" is very easy to use</p><p>Please ask any questions :)</p><p><a href="http://patpatpat.xyz/data/frac" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">http://</span><span class="">patpatpat.xyz/data/frac</span><span class="invisible"></span></a></p><p><a href="https://mastodon.sdf.org/tags/c" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>c</span></a> <a href="https://mastodon.sdf.org/tags/bsd" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bsd</span></a> <a href="https://mastodon.sdf.org/tags/unix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>unix</span></a> <a href="https://mastodon.sdf.org/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a></p>
paigerduty<p>last night I went on a wiki walk starting with Donald Knuth's impressive body of work and the title of his novelette "Surreal Numbers" piqued my interest</p><p>this led me down a delightfully confusing but fascinating peek into the weird side of math ft. The Monster, Baby Monster, magic squares and phrases that cracked me up like "weakly inaccessible cardinal"</p><p>def gave me a new perspective on cardinality which I mostly deal with in the practical sense with system telemetry 😅 </p><p><a href="https://hachyderm.io/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://hachyderm.io/tags/mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathematics</span></a></p>
ExploreLive feeds
About