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

Ooh, devpods, great, so now we can all have the same build environment and we know everything just works!

Hmm, what is that you are saying? Obscure compilation errors? What #devcontainer are you using? Oh, no, that's yesterday's #container, you need the one from today! Unless you're in this special branch, then you need the one from two weeks ago. Possibly. Maybe. Just delete all devpods, purge your image cache and rebuild everything from scratch, that'll fix it! You know what, I don't know either, let's just quit and take up gardening.

#EmbeddedDevelopment #SoftwareEngineering #SoftwareSucks

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