Mathstodon

0 posts0 participants0 posts today

Andreas ZellerWhat do you get if you combine <a href="https://mastodon.social/tags/grammars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#grammars</a>, <a href="https://mastodon.social/tags/constraints" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#constraints</a>, <a href="https://mastodon.social/tags/evolutionary" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#evolutionary</a> algorithms, and <a href="https://mastodon.social/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Python</a> in one? A mighty fuzzer! Check out our latest <a href="https://mastodon.social/tags/FANDANGO" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FANDANGO</a> work, to appear at <a href="https://mastodon.social/tags/ISSTA2025" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ISSTA2025</a>: <a href="https://publications.cispa.de/articles/standard/FANDANGO_Evolving_Language-Based_Testing/28769252?file=53591066" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://publications.cispa.de/articles/standard/FANDANGO_Evolving_Language-Based_Testing/28769252?file=53591066</a> To try out Fandango yourself, check out its home page: <a href="https://fandango-fuzzer.github.io/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://fandango-fuzzer.github.io/</a>

screwlisp<a href="https://mastodon.sdf.org/tags/lispyGopherClimate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lispyGopherClimate</a> <a href="https://mastodon.sdf.org/tags/podcast" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#podcast</a> <a href="https://mastodon.sdf.org/tags/archive" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#archive</a> <a href="https://archives.anonradio.net/202501150000_screwtape.mp3" rel="nofollow noopener noreferrer" target="_blank">https://archives.anonradio.net/202501150000_screwtape.mp3</a> 0UTC Wed <a href="https://mastodon.sdf.org/tags/interview" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#interview</a> ing <a href="https://ciberlandia.pt/@shizamura" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@shizamura</a> author of the popular <a href="https://mastodon.sdf.org/tags/scifi" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#scifi</a> <a href="https://sarilho.net/en/" rel="nofollow noopener noreferrer" target="_blank">https://sarilho.net/en/</a> <a href="https://mastodon.sdf.org/tags/comic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#comic</a> <a href="https://mastodon.sdf.org/tags/climateCrisis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#climateCrisis</a> <a href="https://mastodon.sdf.org/tags/haiku" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haiku</a> by <a href="https://climatejustice.social/@kentpitman" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@kentpitman</a> <a href="https://mastodon.sdf.org/tags/liveChat" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#liveChat</a> in <a href="https://mastodon.sdf.org/tags/lambdaMOO" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lambdaMOO</a> as always telnet lambda.moo.mud.org 8888 co guest @join screwtape<a href="https://mastodon.sdf.org/tags/Questions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Questions</a> for <a href="https://ciberlandia.pt/@shizamura" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@shizamura</a> please!<a href="https://mastodon.sdf.org/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lisp</a>, <a href="https://mastodon.sdf.org/tags/fortran" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fortran</a>, <a href="https://mastodon.sdf.org/tags/grammars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#grammars</a>, oh my.<a href="https://mastodon.sdf.org/tags/Murderbots" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Murderbots</a> <a href="https://mastodon.sdf.org/tags/bookstodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#bookstodon</a> <a href="https://hachyderm.io/@nosrednayduj" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@nosrednayduj</a> <a href="https://mathstodon.xyz/@dougmerritt" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@dougmerritt</a> @ratxue <a href="https://appdot.net/@mdhughes" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@mdhughes</a> I finally read 90% of it (no spoilers please)

रञ्जित (Ranjit Mathew)“LL And LR In Context: Why Parsing Tools Are Hard” [2013], Josh Haberman (<a href="https://blog.reverberate.org/2013/09/ll-and-lr-in-context-why-parsing-tools.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://blog.reverberate.org/2013/09/ll-and-lr-in-context-why-parsing-tools.html</a>).On Lobsters [2016]: <a href="https://lobste.rs/s/llaqr3/ll_lr_context_why_parsing_tools_are_hard" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://lobste.rs/s/llaqr3/ll_lr_context_why_parsing_tools_are_hard</a><a href="https://mastodon.social/tags/Parsing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Parsing</a> <a href="https://mastodon.social/tags/Parsers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Parsers</a> <a href="https://mastodon.social/tags/Bison" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Bison</a> <a href="https://mastodon.social/tags/CFG" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CFG</a> <a href="https://mastodon.social/tags/Compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Compilers</a> <a href="https://mastodon.social/tags/Grammars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Grammars</a> <a href="https://mastodon.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguages</a> <a href="https://mastodon.social/tags/Syntax" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Syntax</a>

रञ्जित (Ranjit Mathew)The best explanation 👌🏽 of LL & LR <a href="https://mastodon.social/tags/parsing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#parsing</a> techniques for non-theorists that I’ve seen so far:“LL and LR Parsing Demystified” [2013], Josh Haberman (<a href="https://blog.reverberate.org/2013/07/ll-and-lr-parsing-demystified.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://blog.reverberate.org/2013/07/ll-and-lr-parsing-demystified.html</a>).On HN [2016]: <a href="https://news.ycombinator.com/item?id=12552298" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://news.ycombinator.com/item?id=12552298</a><a href="https://mastodon.social/tags/Parsers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Parsers</a> <a href="https://mastodon.social/tags/Compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Compilers</a> <a href="https://mastodon.social/tags/Grammars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Grammars</a> <a href="https://mastodon.social/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ComputerScience</a> <a href="https://mastodon.social/tags/DFA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DFA</a>

Profoundly NerdyWhat are some underappreciated superpowers that <a href="https://bitbang.social/tags/Perl" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Perl</a> and/or <a href="https://bitbang.social/tags/rakulang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rakulang</a> has EXCLUDING <a href="https://bitbang.social/tags/regex" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#regex</a> and <a href="https://bitbang.social/tags/grammars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#grammars</a>?<a href="https://bitbang.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://bitbang.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#compsci</a>

Mark DingemanseLatest addition to Grammar Watch: Terhart's A Grammar of Paunaka, a revised version of a dissertation that won the annual Research Award at the Europa-Universität Flensburg, now published :OpenAccess: by <a href="https://openbiblio.social/@langscipress" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@langscipress</a> (ht <a href="https://fediscience.org/@haspelmath" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@haspelmath</a> ) <a href="https://linguistic-typology.org/grammarwatch/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://linguistic-typology.org/grammarwatch/</a> <a href="https://scholar.social/tags/linguistics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#linguistics</a> <a href="https://scholar.social/tags/grammars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#grammars</a>

Jan :rust: :ferris:<a href="https://fosstodon.org/@dpom" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@dpom</a> Great article! Thank you for sharing. ❤️ If you want to go _really_ deep into <a href="https://floss.social/tags/parsing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#parsing</a> and <a href="https://floss.social/tags/grammars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#grammars</a> (without being Rust-specific), I can highly recommend Strumenta<a href="https://tomassetti.me/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tomassetti.me/</a>It is such a treasure trove of articles deeply explaining all there is to parsing and grammars. I absolutely love it!💖 See e.g. this oneA <a href="https://floss.social/tags/Guide" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Guide</a> to Parsing: Algorithms and Terminology<a href="https://tomassetti.me/guide-parsing-algorithms-terminology/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://tomassetti.me/guide-parsing-algorithms-terminology/</a>Urgh, it is just so good!🥰 <a href="https://floss.social/tags/Parser" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Parser</a> <a href="https://floss.social/tags/Algorithms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Algorithms</a> <a href="https://floss.social/tags/Grammar" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Grammar</a>

SanTaNext time a recruiter asks me what my special skills are, I'll answer: I can tell the difference between affect and effect; I know what "there", "they're" and "their" are; and I know that it's espresso, not expresso, also it's et cetera and not eccetera (or ekcetera) <a href="https://mastodonapp.uk/tags/grammar" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#grammar</a> <a href="https://mastodonapp.uk/tags/grammars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#grammars</a>

MarkThe documentation for Calyx is *sloooowly* coming together. Made this gas giant exoplanet generator for people to poke around with the grammar API (and hopefully get some creative ideas). I’ll throw this up on Glitch as as a starter pack to remix... <a href="https://cloudisland.nz/tags/calyx" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#calyx</a> <a href="https://cloudisland.nz/tags/grammars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#grammars</a> <a href="https://cloudisland.nz/tags/GenerativeArt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#GenerativeArt</a>

Colin S. GordonJust moved over from scholar.social, so I suppose a new <a href="https://lingo.lol/tags/introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#introduction</a> is in order. I'm a <a href="https://lingo.lol/tags/computerscience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#computerscience</a> professor at <a href="https://lingo.lol/tags/Drexel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Drexel</a> university. Mostly I work in programming languages and logic, but lately I've been branching out into aspects of <a href="https://lingo.lol/tags/linguistics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#linguistics</a> that dovetail nicely with that background, namely formal <a href="https://lingo.lol/tags/syntax" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#syntax</a> and compositional <a href="https://lingo.lol/tags/semantics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#semantics</a> (mostly categorial <a href="https://lingo.lol/tags/grammars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#grammars</a>), applied to software specifications.

Recent searches

Search options

Administered by:

Server stats:

#grammars