This might sound weird but... Are there formal security state machine provers? Or modelers or fuzzers or linters?
Like @jepsen but for a network security protocol's state machine model?
This might sound weird but... Are there formal security state machine provers? Or modelers or fuzzers or linters?
Like @jepsen but for a network security protocol's state machine model?
Little ants, once more.
A turmites variation of Langton's ants.
Friendly reminder: The micromachine gem is still awesome.
https://github.com/soveran/micromachine #ruby #statemachines
State Machines and Wizard Components: A Clean Implementation Approach
#stateMachines #wizardComponents #finiteStateMachines #FSM #UIDevelopment #softwareArchitecture #DevExpress #XAF #CSharp #multiStepForms #userInterfaceDesign #stateManagement #cleanCode #softwareDevelopment #componentDesign #stateTransitions
Rabina Scott Finite Automat and Their Decision Problems
https://www.yodaiken.com/2025/01/30/rabina-scott-finite-automat-and-their-decision-problems/
#academics #theory #AutomataTheory #FiniteAutomate #Rabin #Scott #StateMachines
We have just released a new C++Now 2024 Conference Video!
Modernizing Finite State Machines Implementation in C++ – Empower Simplicity and Boost Performance With std::variant – Amandeep Chawla – C++Now 2024
continuing my graph-based-tool journey
Just wow!
Macros all over, just to make an FSM?
Just use Khris Jusiaks [boost::ext].SML already ( https://boost-ext.github.io/sml/index.html )
We have released a new CppCon 2023 Video!
Lightning Talk: Detecting Constant Folding to Prevent Substitution Failure – Patrick Roberts – CppCon 2023
https://youtu.be/Hoo9H9z-0VM
#Clang #Compilers #HowTo #StateMachines
🆕 Don’t put off migrating from XState v4 to v5 any longer!
Kevin has created a detailed step-by-step guide to walk you through migrating your machines from beginning to end:
https://stately.ai/blog/2024-02-02-migrating-machines-to-xstate-v5
🪄 You can now import a state machine from a GitHub file, make changes in Stately Studio, and make a pull request back to GitHub without touching any code.
Want to find out how? Read @laura’s latest post:
💡 Ever wondered how other teams use state machines?
Gavin spoke to three teams using Stately. Check out the case studies on our blog: https://stately.ai/blog/tags/case-study #Stately #stateMachines #diagrams #visualizations #workflows
TIC-80 State Machine tutorial: https://youtu.be/_kzTnHNEWH4
#tic80 #youtube #youtuber #youtubechannel #statemachines #statemachine #menu #game #gamedev #tutorial #tutorials #programming #programmer #programminglanguages #lua #2d #2dgame #coding #code #creativecoding #creativity #creative #scripting #lua #pixel #pixelart #nerd #geek #Computer #ComputerScience #howto
🆕 Embed Figma designs in Stately states and they’ll stay in sync!
Read all about embedding Figma designs in Nick’s latest blog post:
✏️ How do you name states and events? And what style should you use?
Kevin takes a deep dive into modeling and formatting in our latest blog post…
https://stately.ai/blog/2024-01-23-state-machines-whats-in-a-name
#Stately #stateMachines #statecharts #diagramming #visualization #naming
🆕 Let Gavin guide you through a backend credit checking workflow in our latest video 🎉
Including using parallel states, final states, and guards for conditional logic!
⏮️ Ever wondered how you could build a backend workflow with Stately?
Before Gavin’s next video lands, catch up on his last video:
https://www.youtube.com/watch?v=YRNqFxQjThY
#backend #workflows #stately #stateMachines #statecharts #visualization
- What did we tell you?
- To not build "state machines by hand"...
- And what did you do?
- I build a state machine by hand ...
- And what is the outcome?
- Pain and frustration in trying to hunt down hard to debug edge cases...
- So what do you do next time?
- If it's really really small can I ...
- No! No! Nooooo!
👋 Do you and your team need help with Stately or XState? Our team now offers services to help you get up and running quickly.
Check out our services and contact us to find out more: https://stately.ai/pricing#services
#stately #XState #XStateV5 #stateMachines #diagramming #visualization