fsm-toolkit v0.8.0 released

A toolkit for finite state machines: DFA, NFA, Moore, Mealy. Compact binary format, visualisation, code generation, TUI editor.

https://github.com/ha1tch/fsm-toolkit/releases/tag/v0.8.0

What's new in 0.8.0

@ TUI editor (fsmedit) with mouse drag, undo/redo, two-column file browser, persistent config.

@ Code generation for C, Rust, and Go/TinyGo. Interactive runner with state history.

@ Analysis and Validation with detection of various malformed patterns, incompleteness, and valid FSMs of the supported types.

@ Native PNG and SVG renderers — no Graphviz dependency. Sugiyama layered layout algorithm. 4× supersampling for crisp output. Graphviz support still available, this is work in progress, matching Graphviz quality reliably will take time.

@ NFA support with powerset simulation, epsilon closure, and NFA→DFA conversion.

@ Formal specification documenting semantic guarantees.

Binaries: Linux, macOS, Windows, FreeBSD, OpenBSD, NetBSD

https://github.com/ha1tch/fsm-toolkit/releases/tag/v0.8.0

#fsm #golang #foss #automata #compsci #tui #rustlang #rust #programming #electronics #embedded #embeddeddevelopment

fsm-toolkit v0.8.0 released

A toolkit for finite state machines: DFA, NFA, Moore, Mealy. Compact binary format, visualisation, code generation, TUI editor.

https://github.com/ha1tch/fsm-toolkit/releases/tag/v0.8.0

What's new in 0.8.0

@ Native PNG and SVG renderers — no Graphviz dependency. Sugiyama layered layout algorithm. 4× supersampling for crisp output. Graphviz support still available, this is work in progress, matching Graphviz quality reliably will take time.

@ NFA support with powerset simulation, epsilon closure, and NFA→DFA conversion.

@ TUI editor (fsmedit) with mouse drag, undo/redo, two-column file browser, persistent config.

@ Code generation for C, Rust, and Go/TinyGo. Interactive runner with state history.

@ Formal specification documenting semantic guarantees.

Binaries: Linux, macOS, Windows, FreeBSD, OpenBSD, NetBSD

https://github.com/ha1tch/fsm-toolkit/releases/tag/v0.8.0

#fsm #golang #foss #automata #compsci #tui #rustlang #rust #programming #electronics #embedded #embeddeddevelopment

Porting xv6 to HiFive Unmatched board

https://github.com/eyengin/xv6-riscv-unmatched

#HackerNews #Porting #xv6 #to #HiFive #Unmatched #board #xv6 #HiFiveUnmatched #RISC-V #open-source #programming #embeddeddevelopment

Technical blog post: "Jieli Bluetooth Smart Speaker Development: Key Considerations for AC696N SoCs"
Covers practical, experience-based insights for developers.

These details can save significant debugging time on AC696N-based audio projects.

#EmbeddedSystems #Firmware #AudioEngineering #AC696N #Bluetooth #SmartSpeaker #EmbeddedDevelopment #TechBlog

https://lnkd.in/gsUJMfb7

I finally put together my brain's most insipid ramblings about how badly the world needs yet another update on PETI into a coherent blog post.

This is what I'm working on right now in terms of trying to bring my retro-style virtual pet design to life. Mostly, it is to do with changes to the hardware. It's been a while since I've seriously considered major changes to the hardware, but that consideration is exactly why there hasn't been a Tindie restock in like a year.

https://www.arcanalabs.ca/news/labnotes/peti/2025/10/20/peti-updates.html

(For reasons, this mastodon post serves as the anchor to the blogpost's comment system. If you reply publicly here, it will be mirrored there.)

#blog #boostswelcome #tech #maker #embeddeddevelopment #diyelectronics

For developers using JieLi chips: A clear guide on updating the firmware of your JieLi Forced Upgrade Tool hardware.

Stay updated and ensure seamless development workflows for your embedded projects.

Full guide: https://www.linkedin.com/pulse/jieli-jl-forced-upgrade-tool-40-user-manualhow-update-junluan-tsui-73hnc

#JieLi #FirmwareUpdate #EmbeddedSystems #EmbeddedDevelopment #HardwareHacking #IoT #OpenHardware #Electronics

J-Link RTT for the Masses using Semihosting on ARM

https://bogdanthegeek.github.io/blog/insights/jlink-rtt-for-the-masses/

#HackerNews #JLinkRTT #Semihosting #ARM #EmbeddedDevelopment #TechInsights

🚀 New virtual course: Zephyr RTOS Programming (AC6401)
Build skills in drivers, device trees, threading, memory + more with expert-led labs.

👉 Enroll now: https://training.linuxfoundation.org/training/zephyr-rtos-programming-ac6401/

#ZephyrRTOS #IoTFirmware #EmbeddedDevelopment