MastodonTech.de

RasmusThe "Maximum Entropy Stress"-algorithm for graph layouts, just keeps blowing my mind. It lays out a graph by trying to keep Euclidean distance between nodes close to their graph-theoretic distances (shortest paths between the nodes along the edges). When laying out bigger graphs one can limit the computational load by introducing a cutoff to the paths walked. So for example, a cutoff of 4 reduces the neighbourhood of a node to other nodes reachable in 4 steps along edges. When using a cutoff the algorithm thus acts locally.Now have a look at the example below where we build a graph made up of 7-cycles. We start with one 7-cycle, then grow the graph step by step adding rings of 7-cycles along the boundary. Occasionally, the graph will loop and the boundary will self-connect based on rules defined by a group with exponential growth. The frames in the animation below show the addition of rings and the subsequent layout proposed by the layout algorithm.While the first ring additions lead to fairly chaotic layouts with denser and denser boundaries, a clear break occurs after the addition of ring 8. Suddenly a new order emerges due to the symmetries of the underlying group and the local action of the "MaxEnt Stress"-Algorithm. The transition is so drastic that it appears not as a shift in layout, but rather as a fundamental change in the underlying structure.A boundary materializes that seems to pull the inside apart. All of a sudden there is a marked difference in the area occupied by 7-cycles of inner rings, as opposed to the ones further towards the boundary. (1/2) <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/geometry" class="mention hashtag" rel="nofollow noopener" target="_blank">#geometry</a>

Paysages Mathématiques"Quand on étudie l'histoire des mathématiques, on ne trouve pas une simple accumulation de nouvelles définitions, de nouvelles techniques et de nouveaux théorèmes. Au lieu de cela, on trouve des améliorations répétées d'anciens concepts et d'anciennes formulations, une hausse progressive de la rigueur, et une impressionnante et séculaire croissance du niveau de généralité et de profondeur." – Nicolas D. Goodman <a href="https://mathstodon.xyz/tags/citation" class="mention hashtag" rel="nofollow noopener" target="_blank">#citation</a> <a href="https://mathstodon.xyz/tags/math%C3%A9matiques" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathématiques</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a>

Paysages Mathématiques"When we study the history of mathematics, we do not find a mere accumulation of new definitions, new techniques, and new theorems. Instead, we find a repeated refinement and sharpening of old concepts and old formulations, a gradually rising standard of rigor, and an impressive secular increase in generality and depth." – Nicolas D. Goodman <a href="https://mathstodon.xyz/tags/quote" class="mention hashtag" rel="nofollow noopener" target="_blank">#quote</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a>

Paysages MathématiquesA simple equation that behaves weirdly Source : YouTube (via Invidious) / Numberphile<a href="https://yewtu.be/watch?v=a7BVL1MOCl4" rel="nofollow noopener" translate="no" target="_blank">https://yewtu.be/watch?v=a7BVL1MOCl4</a><a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/Invidious" class="mention hashtag" rel="nofollow noopener" target="_blank">#Invidious</a>

José A. AlonsoTheorems about abelian categories (in Lean). ~ Markus Himmel, Joël Riou. <a href="https://leanprover-community.github.io/blog/posts/abelian-categories/" rel="nofollow noopener" translate="no" target="_blank">https://leanprover-community.github.io/blog/posts/abelian-categories/</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a>

José A. AlonsoReadings shared June 19, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/06/20-readings_shared_06-19-25" rel="nofollow noopener" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/06/20-readings_shared_06-19-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/AIforMath" class="mention hashtag" rel="nofollow noopener" target="_blank">#AIforMath</a> <a href="https://mathstodon.xyz/tags/CoqProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#CoqProver</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rocq</a>

Marcus GreenI work for Catalyst-eu who offer STACK (<a href="https://fosstodon.org/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a>) hosting for <a href="https://fosstodon.org/tags/Moodle" class="mention hashtag" rel="nofollow noopener" target="_blank">#Moodle</a>. One way is through LTIThere is an interesting fork of enrol_lti to allow the use of a template course which is duplicated automatically "behind the scenes". It can be used to link between different sorts of LMS, e.g. providing STACK (or any content) to people using Blackboard or Canvas.Find out more at <a href="https://github.com/maths/enrol_lticoursetemplate" rel="nofollow noopener" translate="no" target="_blank">https://github.com/maths/enrol_lticoursetemplate</a>And for our hosting<a href="https://www.catalyst-eu.net/service/moodle-stack-hosting" rel="nofollow noopener" translate="no" target="_blank">https://www.catalyst-eu.net/service/moodle-stack-hosting</a><a href="https://fosstodon.org/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://fosstodon.org/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a>

Paysages MathématiquesTheorem of the Day (June 20, 2025) : Euler’s Partition Identity Source : Theorem of the Day / Robin Whitty pdf : <a href="https://www.theoremoftheday.org/CombinatorialTheory/EulerPartition/TotDEulerPartition.pdf" rel="nofollow noopener" translate="no" target="_blank">https://www.theoremoftheday.org/CombinatorialTheory/EulerPartition/TotDEulerPartition.pdf</a> notes : <a href="https://www.theoremoftheday.org/Resources/TheoremNotes.htm#153" rel="nofollow noopener" translate="no" target="_blank">https://www.theoremoftheday.org/Resources/TheoremNotes.htm#153</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#theorem</a> <a href="https://mathstodon.xyz/@Theoremoftheday" class="u-url mention" rel="nofollow noopener" target="_blank">@Theoremoftheday</a>

Rémi EismannGeneration of four sequences decomposed into weight × level + jump (log(weight), log(level), log(jump)) - three.js animation: 🧵⬇️1: The natural numbers (A000027) ➡️ <a href="https://decompwlj.com/3DgraphGen/Natural_numbers.html" rel="nofollow noopener" translate="no" target="_blank">https://decompwlj.com/3DgraphGen/Natural_numbers.html</a><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#decompwlj</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#sequence</a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#OEIS</a> <a href="https://mathstodon.xyz/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#JavaScript</a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#php</a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#graph</a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener" target="_blank">#3D</a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#threejs</a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#webGL</a> <a href="https://mathstodon.xyz/tags/triangular" class="mention hashtag" rel="nofollow noopener" target="_blank">#triangular</a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#numbers</a> <a href="https://mathstodon.xyz/tags/primes" class="mention hashtag" rel="nofollow noopener" target="_blank">#primes</a> <a href="https://mathstodon.xyz/tags/PrimeNumbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#PrimeNumbers</a> <a href="https://mathstodon.xyz/tags/palindromes" class="mention hashtag" rel="nofollow noopener" target="_blank">#palindromes</a> <a href="https://mathstodon.xyz/tags/animation" class="mention hashtag" rel="nofollow noopener" target="_blank">#animation</a> <a href="https://mathstodon.xyz/tags/FundamentalTheoremOfArithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#FundamentalTheoremOfArithmetic</a> <a href="https://mathstodon.xyz/tags/sequences" class="mention hashtag" rel="nofollow noopener" target="_blank">#sequences</a> <a href="https://mathstodon.xyz/tags/NumberTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#NumberTheory</a> <a href="https://mathstodon.xyz/tags/classification" class="mention hashtag" rel="nofollow noopener" target="_blank">#classification</a> <a href="https://mathstodon.xyz/tags/integer" class="mention hashtag" rel="nofollow noopener" target="_blank">#integer</a> <a href="https://mathstodon.xyz/tags/decomposition" class="mention hashtag" rel="nofollow noopener" target="_blank">#decomposition</a> <a href="https://mathstodon.xyz/tags/number" class="mention hashtag" rel="nofollow noopener" target="_blank">#number</a> <a href="https://mathstodon.xyz/tags/theory" class="mention hashtag" rel="nofollow noopener" target="_blank">#theory</a> <a href="https://mathstodon.xyz/tags/equation" class="mention hashtag" rel="nofollow noopener" target="_blank">#equation</a> <a href="https://mathstodon.xyz/tags/graphs" class="mention hashtag" rel="nofollow noopener" target="_blank">#graphs</a> <a href="https://mathstodon.xyz/tags/sieve" class="mention hashtag" rel="nofollow noopener" target="_blank">#sieve</a> <a href="https://mathstodon.xyz/tags/fundamental" class="mention hashtag" rel="nofollow noopener" target="_blank">#fundamental</a> <a href="https://mathstodon.xyz/tags/theorem" class="mention hashtag" rel="nofollow noopener" target="_blank">#theorem</a> <a href="https://mathstodon.xyz/tags/arithmetic" class="mention hashtag" rel="nofollow noopener" target="_blank">#arithmetic</a> <a href="https://mathstodon.xyz/tags/academia" class="mention hashtag" rel="nofollow noopener" target="_blank">#academia</a> <a href="https://mathstodon.xyz/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#research</a>

Hourly Hectoc BotHi <a href="https://infosec.exchange/@seism0saurus" class="u-url mention" rel="nofollow noopener" target="_blank">@seism0saurus</a>Great solution.<a href="https://mastodon.seism0saurus.de/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mastodon.seism0saurus.de/tags/mentalcalculator" class="mention hashtag" rel="nofollow noopener" target="_blank">#mentalcalculator</a> <a href="https://mastodon.seism0saurus.de/tags/hectoc" class="mention hashtag" rel="nofollow noopener" target="_blank">#hectoc</a>

Hourly Hectoc BotDear mental calculators, Here is a new hectoc challenge for you:252916The 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" translate="no" target="_blank">https://hectoc.seism0saurus.de</a> for an example. Please use CW "solution".Have fun! Your hourly hectoc bot by <a href="https://infosec.exchange/@seism0saurus" class="u-url mention" rel="nofollow noopener" target="_blank">@seism0saurus</a><a href="https://mastodon.seism0saurus.de/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mastodon.seism0saurus.de/tags/mentalcalculator" class="mention hashtag" rel="nofollow noopener" target="_blank">#mentalcalculator</a> <a href="https://mastodon.seism0saurus.de/tags/hectoc" class="mention hashtag" rel="nofollow noopener" target="_blank">#hectoc</a>

MartinicImagine telling Bhāskara I, a 7th-century Indian mathematician, that his work would one day help keep your CPU cool while using the Martinic Pianet T plugin. 🤯 <a href="https://mastodon.social/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a> <a href="https://mastodon.social/tags/MusicProduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#MusicProduction</a> <a href="https://mastodon.social/tags/History" class="mention hashtag" rel="nofollow noopener" target="_blank">#History</a><a href="https://www.youtube.com/watch?v=MWltmKRDDpA" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=MWltmKRDDpA</a>

Suat AyözHere's the question for June 20th from the AMS Daily Epsilon of Math Calendar <a href="https://hachyderm.io/@DailyEpsilon" class="u-url mention" rel="nofollow noopener" target="_blank">@DailyEpsilon</a> <a href="https://mathstodon.xyz/tags/mathstodon" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathstodon</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#maths</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/MathsToday" class="mention hashtag" rel="nofollow noopener" target="_blank">#MathsToday</a>

Hourly Hectoc BotHi <a href="https://infosec.exchange/@seism0saurus" class="u-url mention" rel="nofollow noopener" target="_blank">@seism0saurus</a>Good solution.<a href="https://mastodon.seism0saurus.de/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mastodon.seism0saurus.de/tags/mentalcalculator" class="mention hashtag" rel="nofollow noopener" target="_blank">#mentalcalculator</a> <a href="https://mastodon.seism0saurus.de/tags/hectoc" class="mention hashtag" rel="nofollow noopener" target="_blank">#hectoc</a>

Fractal Kitty8.67mi run tonight, so 8.67 math thoughts while running:- When I tied my shoes, is the shoe itself part of the braid? What would that diagram look like?- My lunch was an unknot, I think I'll turn here and go for one big unknotted run.- I think the vibe of the music is proportional to the pep in my step.- The polyrhythm of my breath and cadence would make a sick beat - I think it's 1:7, no 1:5, wait, 1:7. - I wonder if the drag from this headwind will cancel out when I run north for a bit?- That blackberry just made parallel line segment scratches on the the cylinder of my upper arm. Thank god it's thorns and not ticks in Oregon. - If this run was a cycle graph what would I choose to be my vertices - trees - the old cotton wood, the pileated tree, the hazelnut,...- I think that orange crown warbler flew a low amplitude sine wave.- I could run a bit more for 15k, but then it wouldn't be a...<a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/running" class="mention hashtag" rel="nofollow noopener" target="_blank">#running</a> <a href="https://mathstodon.xyz/tags/mathThoughtsWhileRunning" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathThoughtsWhileRunning</a>

Hourly Hectoc BotHello math fans, A new hectoc for you:899611The 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" translate="no" target="_blank">https://hectoc.seism0saurus.de</a> for an example. Please use CW "solution".Have fun! Your hourly hectoc bot by <a href="https://infosec.exchange/@seism0saurus" class="u-url mention" rel="nofollow noopener" target="_blank">@seism0saurus</a><a href="https://mastodon.seism0saurus.de/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mastodon.seism0saurus.de/tags/mentalcalculator" class="mention hashtag" rel="nofollow noopener" target="_blank">#mentalcalculator</a> <a href="https://mastodon.seism0saurus.de/tags/hectoc" class="mention hashtag" rel="nofollow noopener" target="_blank">#hectoc</a>

Rémi EismannOne day, one decomposition A277593: Numbers k such that k/10^m == 6 mod 10, where 10^m is the greatest power of 10 that divides n3D graph, threejs - webGL ➡️ <a href="https://decompwlj.com/3Dgraph/A277593.html" rel="nofollow noopener" translate="no" target="_blank">https://decompwlj.com/3Dgraph/A277593.html</a> 3D graph Gen, threejs animation ➡️ <a href="https://decompwlj.com/3DgraphGen/A277593.html" rel="nofollow noopener" translate="no" target="_blank">https://decompwlj.com/3DgraphGen/A277593.html</a> 2D graph, first 500 terms ➡️ <a href="https://decompwlj.com/2Dgraph500terms/A277593.html" rel="nofollow noopener" translate="no" target="_blank">https://decompwlj.com/2Dgraph500terms/A277593.html</a><a href="https://mathstodon.xyz/tags/decompwlj" class="mention hashtag" rel="nofollow noopener" target="_blank">#decompwlj</a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/sequence" class="mention hashtag" rel="nofollow noopener" target="_blank">#sequence</a> <a href="https://mathstodon.xyz/tags/OEIS" class="mention hashtag" rel="nofollow noopener" target="_blank">#OEIS</a> <a href="https://mathstodon.xyz/tags/javascript" class="mention hashtag" rel="nofollow noopener" target="_blank">#javascript</a> <a href="https://mathstodon.xyz/tags/php" class="mention hashtag" rel="nofollow noopener" target="_blank">#php</a> <a href="https://mathstodon.xyz/tags/3D" class="mention hashtag" rel="nofollow noopener" target="_blank">#3D</a> <a href="https://mathstodon.xyz/tags/numbers" class="mention hashtag" rel="nofollow noopener" target="_blank">#numbers</a> <a href="https://mathstodon.xyz/tags/graph" class="mention hashtag" rel="nofollow noopener" target="_blank">#graph</a> <a href="https://mathstodon.xyz/tags/threejs" class="mention hashtag" rel="nofollow noopener" target="_blank">#threejs</a> <a href="https://mathstodon.xyz/tags/webGL" class="mention hashtag" rel="nofollow noopener" target="_blank">#webGL</a>

Embedded Podcast...Support Embedded( <a href="https://embedded.fm/support" rel="nofollow noopener" translate="no" target="_blank">https://embedded.fm/support</a> ) and get an invite to join the slack.<a href="https://mstdn.social/tags/embedded" class="mention hashtag" rel="nofollow noopener" target="_blank">#embedded</a> <a href="https://mstdn.social/tags/engineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#engineering</a> <a href="https://mstdn.social/tags/machinelearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#machinelearning</a> <a href="https://mstdn.social/tags/ml" class="mention hashtag" rel="nofollow noopener" target="_blank">#ml</a> <a href="https://mstdn.social/tags/datascience" class="mention hashtag" rel="nofollow noopener" target="_blank">#datascience</a> <a href="https://mstdn.social/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#ai</a> <a href="https://mstdn.social/tags/bookclub" class="mention hashtag" rel="nofollow noopener" target="_blank">#bookclub</a> <a href="https://mstdn.social/tags/reading" class="mention hashtag" rel="nofollow noopener" target="_blank">#reading</a> <a href="https://mstdn.social/tags/signalprocessing" class="mention hashtag" rel="nofollow noopener" target="_blank">#signalprocessing</a> <a href="https://mstdn.social/tags/slack" class="mention hashtag" rel="nofollow noopener" target="_blank">#slack</a> <a href="https://mstdn.social/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mstdn.social/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mstdn.social/tags/computerscience" class="mention hashtag" rel="nofollow noopener" target="_blank">#computerscience</a> <a href="https://mstdn.social/tags/embeddedengineer" class="mention hashtag" rel="nofollow noopener" target="_blank">#embeddedengineer</a> <a href="https://mstdn.social/tags/stemeducation" class="mention hashtag" rel="nofollow noopener" target="_blank">#stemeducation</a> <a href="https://mstdn.social/tags/slack" class="mention hashtag" rel="nofollow noopener" target="_blank">#slack</a>2/2

foliumcreationsLets make a record stand! <a href="https://vid.northbound.online/w/eEjsXvNxdAoMofn3Q8GJPH" rel="nofollow noopener" translate="no" target="_blank">https://vid.northbound.online/w/eEjsXvNxdAoMofn3Q8GJPH</a>

José A. AlonsoReviving DSP for advanced theorem proving in the era of reasoning models. ~ Chenrui Cao, Liangcheng Song, Zenan Li, Xinyi Le, Xian Zhang, Hui Xue, Fan Yang. <a href="https://arxiv.org/abs/2506.11487v1" rel="nofollow noopener" translate="no" target="_blank">https://arxiv.org/abs/2506.11487v1</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/AIforMath" class="mention hashtag" rel="nofollow noopener" target="_blank">#AIforMath</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#LeanProver</a>

Frühere Suchanfragen

Suchoptionen

Verwaltet von:

Serverstatistik:

#math