mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.8K
active users

#CFGS

0 posts0 participants0 posts today
Universitat Politècnica de Catalunya - BarcelonaTech (UPC)<p>💥 <a class="hashtag" href="https://bsky.app/search?q=%23SabiesQue" rel="nofollow noopener noreferrer" target="_blank">#SabiesQue</a> amb el teu projecte de <a class="hashtag" href="https://bsky.app/search?q=%23CFGS" rel="nofollow noopener noreferrer" target="_blank">#CFGS</a> pots guanyar una beca de gratuïtat per al 1r curs de <a class="hashtag" href="https://bsky.app/search?q=%23grau" rel="nofollow noopener noreferrer" target="_blank">#grau</a> UPC? ‼️ Presenta'l al <a class="hashtag" href="https://bsky.app/search?q=%23Premi" rel="nofollow noopener noreferrer" target="_blank">#Premi</a> <a class="hashtag" href="https://bsky.app/search?q=%23UPC" rel="nofollow noopener noreferrer" target="_blank">#UPC</a> Arquitectura, Enginyeria, Ciències i Tecnologia! ⏰ Abans del 16/5!&nbsp; 🔗 Bases i terminis: <a href="https://www.upc.edu/premi-secundaria" rel="nofollow noopener noreferrer" target="_blank">https://www.upc.edu/premi-secundaria</a></p>
José Manuel (Chema) Solís<p>He integrado mi timeline de Mastodon en la web de MiniBoy Color con la librería Mastodon Embed Time disponible en:</p><p> <a href="https://gitlab.com/idotj/mastodon-embed-timeline" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">gitlab.com/idotj/mastodon-embe</span><span class="invisible">d-timeline</span></a> </p><p>La librería está muy bien documentada y el proceso es muy sencillo. Se agradecen especialmente los ejemplos que ha incluido el autor.</p><p>El resultado puede verse en:</p><p><a href="https://chemasre.github.io/miniboycolor/machine/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">chemasre.github.io/miniboycolo</span><span class="invisible">r/machine/</span></a></p><p><a href="https://mastodon.social/tags/MiniBoyColor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MiniBoyColor</span></a> <a href="https://mastodon.social/tags/CFGS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CFGS</span></a> <a href="https://mastodon.social/tags/RecursosEducativos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RecursosEducativos</span></a> <a href="https://mastodon.social/tags/FP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FP</span></a> <a href="https://mastodon.social/tags/Programaci%C3%B3n" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programación</span></a> <a href="https://mastodon.social/tags/Ensamblador" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Ensamblador</span></a></p>
Jan :rust: :ferris:<p>Left Recursion in Parsing Expression Grammars:</p><p><a href="https://arxiv.org/pdf/1207.0443v1.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/pdf/1207.0443v1.pdf</span><span class="invisible"></span></a></p><p>"A frequently missed feature of PEGs is left <a href="https://floss.social/tags/recursion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>recursion</span></a>, which is commonly used in Context-Free Grammars (<a href="https://floss.social/tags/CFGs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CFGs</span></a>) to encode left-associative operations. We present a simple conservative extension to the semantics of <a href="https://floss.social/tags/PEGs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PEGs</span></a> that gives useful meaning to direct and indirect left-recursive rules, and show that our extensions make it easy to express left-recursive idioms from CFGs in PEGs, with similar results."</p><p><a href="https://floss.social/tags/Parser" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Parser</span></a> <a href="https://floss.social/tags/PEG" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PEG</span></a></p>