Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
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:

5.4K
active users

techhub.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.6

#math

319 posts86 participants25 posts today
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>
José A. Alonso<p>Demostraciones con Lean4 y con Isabelle/HOL de "Los primos mayores que 2 son impares". <a href="https://jaalonso.github.io/calculemus/posts/2021/06/01-interseccion_de_los_primos_y_los_mayores_que_dos/" 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/01-interseccion_de_los_primos_y_los_mayores_que_dos/</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>
Paysages Mathématiques<p>Theorem of the Day (March 31, 2025) : Cauchy’s Theorem in Group Theory<br>Source : Theorem of the Day / Robin Whitty<br>pdf : <a href="https://www.theoremoftheday.org/GroupTheory/Cauchy/TotDCauchy.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/GroupTheor</span><span class="invisible">y/Cauchy/TotDCauchy.pdf</span></a><br>notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#227" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theoremoftheday.org/Resources/</span><span class="invisible">TheoremNotes.htm#227</span></a></p><p><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> <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/theorem" class="mention hashtag" rel="nofollow noopener noreferrer" 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 noreferrer" target="_blank">@<span>Theoremoftheday</span></a></span></p>
Hourly Hectoc Bot<p>Hello math fans,<br>A new hectoc for you:</p><p>711927</p><p>The goal is to combine the 6 numbers to a total of 100. You can use the mathematical operations + - * / ^ and the parenthesis ( ). Numbers can be combined, but you have to use all 6 of them and are not allowed to change the order. See <a href="https://hectoc.seism0saurus.de" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">hectoc.seism0saurus.de</span><span class="invisible"></span></a> for an example. Please use CW "solution".</p><p>Have fun! Your hourly hectoc bot<br>by <span class="h-card" translate="no"><a href="https://infosec.exchange/@seism0saurus" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>seism0saurus</span></a></span></p><p><a href="https://mastodon.seism0saurus.de/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mastodon.seism0saurus.de/tags/mentalcalculator" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mentalcalculator</span></a> <a href="https://mastodon.seism0saurus.de/tags/hectoc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hectoc</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>
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>
doboprobodyne<p><span class="h-card" translate="no"><a href="https://libranet.de/profile/clacke" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>clacke</span></a></span> </p><p>Re. Not anthropomorphizing LLMs</p><p>I'm a sucker for this. Thankyou for writing about it. I'll apologise to an inanimate object if I walk into it.</p><p>I find useful practical tips for myself in following this to be:<br>1. Use the verb "I prompted" rather than I told or I asked.<br>2. State that the program "output" rather than it replied.<br>3. I don't discuss "confabulation" because it's an anthropomorphization (the reality is that the computer program is doing exactly what it is instructed to do by the user), but if I was compelled to anthropomorphize, I would use "confabulation" rather than hallucination.</p><p>I would be curious to know if you or any other readers had any more tips!</p><p>The following cartoon is from: <br><a href="https://www.smbc-comics.com/comic/precise" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">smbc-comics.com/comic/precise</span><span class="invisible"></span></a></p><p><a href="https://mathstodon.xyz/tags/LLM" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLM</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/GAN" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GAN</span></a> <a href="https://mathstodon.xyz/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mathstodon.xyz/tags/language" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>language</span></a> <a href="https://mathstodon.xyz/tags/linguistics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>linguistics</span></a> <a href="https://mathstodon.xyz/tags/metacognition" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>metacognition</span></a> <a href="https://mathstodon.xyz/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>philosophy</span></a> <a href="https://mathstodon.xyz/tags/computers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>computers</span></a> <a href="https://mathstodon.xyz/tags/anthropomorphization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>anthropomorphization</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</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/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a></p>
José A. Alonso<p>Readings shared March 30, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/30-readings_shared_03-30-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/03/30-readings_shared_03-30-25</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Coq</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/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>
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>
Paysages Mathématiques<p>31 mars 1730 : <a href="https://mathstodon.xyz/tags/CeJourL%C3%A0" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CeJourLà</span></a> naissance de Étienne Bézout (†27/9/1786), mathématicien français connu pour le th. qui porte son nom (dit aussi identité de Bézout), qu'il prouve pour des polynômes (la version sur ℤ se trouve dans un livre de Bachet de Méziriac).<br><a href="https://fr.wikipedia.org/wiki/%C3%89tienne_B%C3%A9zout" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">fr.wikipedia.org/wiki/%C3%89ti</span><span class="invisible">enne_B%C3%A9zout</span></a> <br><a href="https://mathstodon.xyz/tags/math%C3%A9matiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathématiques</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a></p>
Paysages Mathématiques<p>31 mars 1596 : <a href="https://mathstodon.xyz/tags/CeJourL%C3%A0" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CeJourLà</span></a> naissance de René Descartes (†11/2/1650), mathématicien, philosophe et physicien français. En maths il introduit, avec Fermat (indépendamment), la géométrie analytique. C'est aussi de lui que vient l'usage du x pour l'inconnue.<br><a href="https://fr.wikipedia.org/wiki/Ren%C3%A9_Descartes" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">fr.wikipedia.org/wiki/Ren%C3%A</span><span class="invisible">9_Descartes</span></a> <br><a href="https://mathstodon.xyz/tags/math%C3%A9matiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathématiques</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a></p>
Paysages Mathématiques<p>31 mars 1921 : <a href="https://mathstodon.xyz/tags/CeJourL%C3%A0" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CeJourLà</span></a> naissance de Martin Löb (†21/8/2006), mathématicien allemand spécialisé dans la logique mathématique, connu pour le théorème qui porte son nom.<br><a href="https://fr.wikipedia.org/wiki/Martin_Hugo_L%C3%B6b" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">fr.wikipedia.org/wiki/Martin_H</span><span class="invisible">ugo_L%C3%B6b</span></a> <br><a href="https://mathstodon.xyz/tags/math%C3%A9matiques" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mathématiques</span></a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a></p>
Lobsters<p>Actually drawing some ovals (that are not ellipses) via <span class="h-card" translate="no"><a href="https://mastodon.social/@tgfrerer" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>tgfrerer</span></a></span> <a href="https://lobste.rs/s/jmnpce" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/jmnpce</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/graphics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>graphics</span></a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a><br><a href="https://medium.com/@brunopostle/actually-drawing-some-ovals-that-are-not-ellipses-444ba9fd9cf8" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">medium.com/@brunopostle/actual</span><span class="invisible">ly-drawing-some-ovals-that-are-not-ellipses-444ba9fd9cf8</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>
Rémi Eismann<p>One day, one decomposition<br>A213382: Numbers n such that n^n mod (n + 2) = n</p><p>3D graph, threejs - webGL ➡️ <a href="https://decompwlj.com/3Dgraph/A213382.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/3Dgraph/A213382.</span><span class="invisible">html</span></a><br>2D graph, first 500 terms ➡️ <a href="https://decompwlj.com/2Dgraph500terms/A213382.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">decompwlj.com/2Dgraph500terms/</span><span class="invisible">A213382.html</span></a></p><p><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>decompwlj</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/sequence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sequence</span></a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OEIS</span></a> <a href="https://mathstodon.xyz/tags/javascript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>javascript</span></a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>php</span></a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>3D</span></a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>numbers</span></a> <a href="https://mathstodon.xyz/tags/modulo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>modulo</span></a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>graph</span></a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>threejs</span></a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>webGL</span></a></p>
IllTemperedCaviar<p>I let YouTube play randomly and I learned that the value of an infinite number of sixes followed by one seven to the left of the decimal point is one third. My brain is broken just thinking about it.</p><p>…66666666667.0 == 1/3</p><p>Don’t believe me? Multiply it by 3 and see what you get.</p><p><a href="https://mastodon.online/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> #10-adic</p>
ExploreLive feeds
About