Rijndael (@rot13maxi)

TLA+의 작동 원리를 설명하는 트윗입니다. 전체 시스템을 상태 기계로 모델링하고, 변수와 상태를 업데이트하는 액션으로 시스템 동작을 표현한다는 점을 강조합니다. 다음에 취할 수 있는 액션은 현재 상태에 따라 달라지며, TLA+의 흥미로운 기능 중 하나로 액션이 (트윗에서 이어지지 않지만) 특정 선택이나 결정을 할 수 있음을 언급합니다. 형식적 사양 및 검증 관점에서 유용한 설명입니다.

https://x.com/rot13maxi/status/2032794746918252677

#tla+ #formalmethods #statemachine #specification

The new release of #asyncmachine brings #WASM support and browser compat - including #aRPC, #TUI debugging and #REPL. Check out the changelog for v0.18.0 https://github.com/pancsta/asyncmachine-go/releases/tag/v0.18.0 and a dedicated WASM example https://asyncmachine.dev/wasm (with D2 diagrams).

This allows to have a single #statemachine #distributed across n servers and m browsers, using efficient diff-based synchronization.

Looking fwd to #wasmio!

#golang #workflows #rpc #webassembly #d2 #go #wasmio2026

Took me a while to find a balance that I feel comfortable with when using entity component systems, nodes and state-machines concurrently.

Currently updating my older implementations. Already looks cleaner and easier to add systems and features. There is no better metric to know that you learned something 😃

And as usual there are a million ways - just need to find the one that works for you.

#godot #gdscript #ecs #statemachine #gamedev #slyceverse

🔧 Ứng dụng Android Forex: áp dụng quy tắc rủi ro chặt chẽ làm thách thức kiến trúc. Đưa SL/TP, giới hạn rủi ro vào layer domain, mô hình trạng thái không cho trạng thái không hợp lệ, dùng state machine hoặc DDD để bảo toàn invariants, xử lý lifecycle & concurrency mà không bypass quy tắc. Thảo luận cách cấu trúc logic quy tắc, vị trí enforcement, cân bằng usability vs an toàn. #Android #Forex #LậpTrình #KiếnTrúc #DDD #StateMachine #RiskManagement #QuảnLýRủiRo

https://www.reddit.com/r/programmi

I actually did at last update my #sml generator for (state machine library?!?)
#statemachine

I did this long time ago in #ELM but im quite useless doing UI so it looked quite aweful, but this time I let AI help me out.

Anyway, i find it quite useful , maybe someone else need some help with the awful error messages when a "," is misplaced.

https://cocode.se/sm/

Meet Nuqs - an #opensource, type-safe search params state manager for #React!

With Nuqs, developers can share complete app state via URLs - enabling “teleportation” & “time travel.”

Nuqs simplifies state management while ensuring robust performance & type safety.

🔗 Discover more on #InfoQ ⇨ https://bit.ly/3Ncc4zm

#WebDevelopment #StateMachine #Routing #TypeScript

Looks like 3000 words weren't enough to talk about code, so here comes another 1500 words to expand a little bit more on the topic. This time around, the State Machine, and some interesting thoughts and use cases. Interested in you?

https://jeferson.me/blog/2025/09/09/state-machine

#DesignPattern #Dev #Development #Game #GameDesign #GameDevelopment #GDScript #Godot #GodotEngine #Indie #IndieDev #Programming #StateMachine #Design

🎯 #StateMachine Pattern in #PHP: Transform Complex Workflows Into Clean, Predictable Code

⚡ Replace tangled if/else statements with explicit states, events & transition rules for order processing, article workflows & business logic
🔒 Built-in safety: Forbidden transitions (like refund before payment) are blocked by design
🧪 Pure, testable logic: Guards decide transitions, actions handle side effects after state changes

🧵 👇