Create accountLogin

Recent searches

No recent searches

Search options

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

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#statemachines

0 posts0 participants0 posts today
LMS Solution<p>Stateflow in Simulink enables modeling of complex logic and control systems<br><a href="https://zurl.co/zmnTO" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">zurl.co/zmnTO</span><span class="invisible"></span></a><br><a href="https://zurl.co/OKaWN" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">zurl.co/OKaWN</span><span class="invisible"></span></a><br><a href="https://mastodon.social/tags/Stateflow" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Stateflow</span></a> <a href="https://mastodon.social/tags/Simulink" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Simulink</span></a> <a href="https://mastodon.social/tags/Modeling" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Modeling</span></a> <a href="https://mastodon.social/tags/ControlSystems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ControlSystems</span></a> <a href="https://mastodon.social/tags/StateMachines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StateMachines</span></a> <a href="https://mastodon.social/tags/Flowcharts" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Flowcharts</span></a> <a href="https://mastodon.social/tags/EmbeddedSystems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EmbeddedSystems</span></a> <a href="https://mastodon.social/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SoftwareEngineering</span></a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming</span></a> <a href="https://mastodon.social/tags/Simulation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Simulation</span></a></p>
vy<p>Rabina Scott Finite Automat and Their Decision Problems</p><p><a href="https://www.yodaiken.com/2025/01/30/rabina-scott-finite-automat-and-their-decision-problems/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">yodaiken.com/2025/01/30/rabina</span><span class="invisible">-scott-finite-automat-and-their-decision-problems/</span></a><br><a href="https://sciencemastodon.com/tags/academics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>academics</span></a> <a href="https://sciencemastodon.com/tags/theory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theory</span></a> <a href="https://sciencemastodon.com/tags/AutomataTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AutomataTheory</span></a> <a href="https://sciencemastodon.com/tags/FiniteAutomate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FiniteAutomate</span></a> <a href="https://sciencemastodon.com/tags/Rabin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Rabin</span></a> <a href="https://sciencemastodon.com/tags/Scott" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scott</span></a> <a href="https://sciencemastodon.com/tags/StateMachines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StateMachines</span></a></p>
C++Now<p>We have just released a new C++Now 2024 Conference Video! </p><p>Modernizing Finite State Machines Implementation in C++ – Empower Simplicity and Boost Performance With std::variant – Amandeep Chawla – C++Now 2024</p><p><a href="https://youtu.be/1jbLzupBus4" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/1jbLzupBus4</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/cplusplus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cplusplus</span></a> <a href="https://mastodon.social/tags/cpp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cpp</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/statemachines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>statemachines</span></a></p>
James King<p>continuing my graph-based-tool journey</p><p><a href="https://mastodon.gamedev.place/tags/sboxgame" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sboxgame</span></a> <a href="https://mastodon.gamedev.place/tags/source2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>source2</span></a> <a href="https://mastodon.gamedev.place/tags/csharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>csharp</span></a> <a href="https://mastodon.gamedev.place/tags/gamedev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>gamedev</span></a> <a href="https://mastodon.gamedev.place/tags/statemachines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>statemachines</span></a></p>
Am I?<p>Just wow!</p><p>Macros all over, just to make an FSM?</p><p>Just use Khris Jusiaks [boost::ext].SML already ( <a href="https://boost-ext.github.io/sml/index.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">boost-ext.github.io/sml/index.</span><span class="invisible">html</span></a> )</p><p><a href="https://floss.social/tags/StateMachines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StateMachines</span></a> <a href="https://floss.social/tags/embedded" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>embedded</span></a> <a href="https://floss.social/tags/CPP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CPP</span></a></p><p><a href="https://www.embeddedrelated.com/showarticle/1645.php" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">embeddedrelated.com/showarticl</span><span class="invisible">e/1645.php</span></a></p>
CppCon<p>We have released a new CppCon 2023 Video!</p><p>Lightning Talk: Detecting Constant Folding to Prevent Substitution Failure – Patrick Roberts – CppCon 2023<br><a href="https://youtu.be/Hoo9H9z-0VM" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/Hoo9H9z-0VM</span><span class="invisible"></span></a><br><a href="https://mastodon.social/tags/Clang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Clang</span></a> <a href="https://mastodon.social/tags/Compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Compilers</span></a> <a href="https://mastodon.social/tags/HowTo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HowTo</span></a> <a href="https://mastodon.social/tags/StateMachines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StateMachines</span></a></p>
Michal Bryxí 🌱<p>- What did we tell you?<br>- To not build "state machines by hand"...<br>- And what did you do?<br>- I build a state machine by hand ...<br>- And what is the outcome?<br>- Pain and frustration in trying to hunt down hard to debug edge cases...<br>- So what do you do next time?<br>- If it's really really small can I ...<br>- No! No! Nooooo!</p><p><a href="https://veganism.social/tags/xstate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>xstate</span></a> <a href="https://veganism.social/tags/stateMachines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>stateMachines</span></a> <a href="https://veganism.social/tags/sourceCode" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sourceCode</span></a> <a href="https://veganism.social/tags/devsLife" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>devsLife</span></a></p>
marcosh<p>The paper on <a href="https://functional.cafe/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functional</span></a> <a href="https://functional.cafe/tags/statemachines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>statemachines</span></a> and <a href="https://functional.cafe/tags/DDD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DDD</span></a> I wrote with my friend George was accepted at <span class="h-card" translate="no"><a href="https://discuss.systems/@funarch" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>funarch</span></a></span> <a href="https://icfp23.sigplan.org/details/funarch-2023/3/Cr-me-de-la-Crem-Composable-Representable-Executable-Machines" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">icfp23.sigplan.org/details/fun</span><span class="invisible">arch-2023/3/Cr-me-de-la-Crem-Composable-Representable-Executable-Machines</span></a>! You can find a pre-print version at <a href="https://arxiv.org/abs/2307.09090" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2307.09090</span><span class="invisible"></span></a></p>
Marco "Ocramius" Pivetta<p><span class="h-card"><a href="https://functional.cafe/@marcosh" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>marcosh</span></a></span> I'm watching your state machine talk @ <a href="https://www.youtube.com/watch?v=UBnHpnss8Fg" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=UBnHpnss8F</span><span class="invisible">g</span></a></p><p>Really cool stuff :-) <a href="https://mastodon.social/tags/statemachines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>statemachines</span></a> <a href="https://mastodon.social/tags/eventsourcing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>eventsourcing</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fp</span></a></p>
marcosh<p>Tomorrow I'll mix a bunch of ideas <a href="https://functional.cafe/tags/domaindrivendesign" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>domaindrivendesign</span></a> <a href="https://functional.cafe/tags/stateMachines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>stateMachines</span></a> <a href="https://functional.cafe/tags/functionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalProgramming</span></a> <a href="https://functional.cafe/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://functional.cafe/tags/dependentTypes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dependentTypes</span></a> in my talk for Avanscoperta If you're interested in one or more of them, join at <a href="https://www.meetup.com/avanscoperta-meetups-workshops-courses/events/293464842/attendees/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">meetup.com/avanscoperta-meetup</span><span class="invisible">s-workshops-courses/events/293464842/attendees/</span></a></p>
Gers<p>Really good video from <span class="h-card"><a href="https://tech.lgbt/@noboilerplate" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>noboilerplate</span></a></span> </p><p>I haven't seen many people talk about state machines outside the game dev world</p><p><a href="https://mastodon.social/tags/stateMachines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>stateMachines</span></a> <a href="https://mastodon.social/tags/rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rust</span></a> <a href="https://mastodon.social/tags/rustEnums" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rustEnums</span></a> <a href="https://mastodon.social/tags/diesel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>diesel</span></a> <a href="https://mastodon.social/tags/sql" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sql</span></a> <a href="https://mastodon.social/tags/oop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>oop</span></a> <a href="https://mastodon.social/tags/relational" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>relational</span></a></p><p><a href="https://www.youtube.com/watch?v=z-0-bbc80JM" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=z-0-bbc80J</span><span class="invisible">M</span></a></p>
Matt York | stackdump.eth<p>last one <a href="https://fosstodon.org/tags/stateMachines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>stateMachines</span></a> <a href="https://fosstodon.org/tags/birdsite" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>birdsite</span></a> </p><p>Steve is the author Tldraw and David wrote Xstate &lt;3</p>
Joey de Villa 🪗<p>Tomorrow at the ECC in Ybor City: Tampa Devs’ meetup featuring presentations on state machines, AI, and Stable Diffusion! (In this post, I explain what state machines are.)</p><p><a href="https://mastodon.cloud/tags/Tampa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Tampa</span></a> <a href="https://mastodon.cloud/tags/TampaBay" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TampaBay</span></a> <a href="https://mastodon.cloud/tags/meetup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>meetup</span></a> <a href="https://mastodon.cloud/tags/meetups" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>meetups</span></a> <a href="https://mastodon.cloud/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://mastodon.cloud/tags/StateMachine" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StateMachine</span></a> <a href="https://mastodon.cloud/tags/StateMachines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StateMachines</span></a> <a href="https://mastodon.cloud/tags/StableDiffusion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StableDiffusion</span></a> <a href="https://mastodon.cloud/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p><p><a href="https://www.globalnerdy.com/2023/04/04/tampa-devs-this-wednesday-state-machines-ai-and-stable-diffusion/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">globalnerdy.com/2023/04/04/tam</span><span class="invisible">pa-devs-this-wednesday-state-machines-ai-and-stable-diffusion/</span></a></p>
mj<p><span class="h-card"><a href="https://pleroma.microblog.se/users/jan" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>jan</span></a></span> </p><p>Wow, this is the 20th anniversary edition of the book. 👴 </p><p>It's great that he put it online where anyone can read it. TBH, I thought there would be a more visible effect of this work by now.</p><p>The fact that it hasn't is evidence of how compartmentalized &amp; isolated the specialized fields of knowledge have become. Each prefers their own jargon &amp; narrative, and is built on the shoulders of *their* giants, blurring the distinction between communities of religion &amp; science. Newcomers are outsiders, and often ostracized from the in-group.</p><p><a href="https://c.im/tags/Wolfram" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Wolfram</span></a> <a href="https://c.im/tags/NKS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NKS</span></a> <a href="https://c.im/tags/Complexity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Complexity</span></a> <a href="https://c.im/tags/Science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Science</span></a> <a href="https://c.im/tags/Automata" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Automata</span></a> <a href="https://c.im/tags/StateMachines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StateMachines</span></a></p>
SoftwareMill<p>You’ll see how easy it is to use <a href="https://softwaremill.social/tags/RxJS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RxJS</span></a> primitives to create a declarative solution that is both readable and generic...</p><p><a href="https://softwaremill.com/implement-onclick-ondoubleclick-and-onhold-streams-with-rxjs/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">softwaremill.com/implement-onc</span><span class="invisible">lick-ondoubleclick-and-onhold-streams-with-rxjs/</span></a></p><p><a href="https://softwaremill.social/tags/StateMachines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>StateMachines</span></a> <a href="https://softwaremill.social/tags/EventStreaming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EventStreaming</span></a> <a href="https://softwaremill.social/tags/Asynchronous" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Asynchronous</span></a></p>
vy<p><a href="https://sciencemastodon.com/tags/Statemachines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Statemachines</span></a>, <a href="https://sciencemastodon.com/tags/Recursive" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Recursive</span></a> Functions, validating <a href="https://sciencemastodon.com/tags/Paxos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Paxos</span></a>, hints at validating discrete real-time <a href="https://sciencemastodon.com/tags/PIDcontrollers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PIDcontrollers</span></a>, <a href="https://sciencemastodon.com/tags/monoids" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>monoids</span></a> (not monads) - what more could you want? <br><a href="https://www.yodaiken.com/current-draft-of-the-recursive-functions-and-state-machine-paper-paxos-edition/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">yodaiken.com/current-draft-of-</span><span class="invisible">the-recursive-functions-and-state-machine-paper-paxos-edition/</span></a></p>
SearchLive feeds
About