#embeddeddevelopment — Public Fediverse posts on home.social

@haitchfive @[email protected] · 2026-01-16 · 11:59 UTC

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 #golang #foss #automata #compsci #tui

@haitchfive @[email protected] · 2026-01-16 · 11:59 UTC

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 #golang #foss #automata #compsci #tui

@haitchfive @[email protected] · 2026-01-16 · 11:59 UTC

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 #golang #foss #automata #compsci #tui

@haitchfive @[email protected] · 2026-01-16 · 11:59 UTC

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

#embeddeddevelopment #embedded #electronics #programming #rust #rustlang

@haitchfive @[email protected] · 2026-01-16 · 11:59 UTC

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 #golang #foss #automata #compsci #tui

@haitchfive @[email protected] · 2026-01-16 · 02:05 UTC

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

#fsm #golang #foss #automata #compsci #tui

@haitchfive @[email protected] · 2026-01-16 · 02:05 UTC

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

#fsm #golang #foss #automata #compsci #tui

@haitchfive @[email protected] · 2026-01-16 · 02:05 UTC

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

#fsm #golang #foss #automata #compsci #tui

@haitchfive @[email protected] · 2026-01-16 · 02:05 UTC

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

#embeddeddevelopment #embedded #electronics #programming #rust #rustlang

@haitchfive @[email protected] · 2026-01-16 · 02:05 UTC

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

#fsm #golang #foss #automata #compsci #tui

Hacker News @[email protected] · 2026-01-11 · 14:30 UTC

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

#hackernews #porting #xv6 #to #hifive #unmatched

Hacker News @[email protected] · 2026-01-11 · 14:30 UTC

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

#hackernews #porting #xv6 #to #hifive #unmatched

Hacker News @[email protected] · 2026-01-11 · 14:30 UTC

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

#hackernews #porting #xv6 #to #hifive #unmatched

Hacker News @[email protected] · 2026-01-11 · 14:30 UTC

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

#embeddeddevelopment #programming #open #risc #hifiveunmatched #board

Hacker News @[email protected] · 2026-01-11 · 14:30 UTC

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

#hackernews #porting #xv6 #to #hifive #unmatched

BLE Voice @[email protected] · 2025-12-29 · 15:14 UTC

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

#embeddedsystems #firmware #audioengineering #ac696n #bluetooth #smartspeaker

Patch Arcana @[email protected] · 2025-10-20 · 17:55 UTC

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

Patch Arcana @[email protected] · 2025-10-20 · 17:55 UTC

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

Patch Arcana @[email protected] · 2025-10-20 · 17:55 UTC

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

Patch Arcana @[email protected] · 2025-10-20 · 17:55 UTC

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

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

Patch Arcana @[email protected] · 2025-10-20 · 17:55 UTC

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

BLE Voice @[email protected] · 2025-10-16 · 12:09 UTC

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

#jieli #firmwareupdate #embeddedsystems #embeddeddevelopment #hardwarehacking #iot

BLE Voice @[email protected] · 2025-10-16 · 12:09 UTC

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

#jieli #firmwareupdate #embeddedsystems #embeddeddevelopment #hardwarehacking #iot

BLE Voice @[email protected] · 2025-10-16 · 12:09 UTC

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

#jieli #firmwareupdate #embeddedsystems #embeddeddevelopment #hardwarehacking #iot

BLE Voice @[email protected] · 2025-10-16 · 12:09 UTC

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

#electronics #openhardware #iot #hardwarehacking #embeddeddevelopment #embeddedsystems

BLE Voice @[email protected] · 2025-10-16 · 12:09 UTC

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

#jieli #firmwareupdate #embeddedsystems #embeddeddevelopment #hardwarehacking #iot

Random Tech Stuff @[email protected] · 2025-09-21 · 11:51 UTC

No, I'm not dead. Just busy.
Got the ESP32 to display and update the current time and date, as well as some info from the BME680, on an LCD with LVGL.
Next step is to get the web interface and NTP going again so that the time displayed can be remotely synced to network time.
#electronics
#embeddeddevelopment

#electronics #embeddeddevelopment

Random Tech Stuff @[email protected] · 2025-09-21 · 11:51 UTC

No, I'm not dead. Just busy.
Got the ESP32 to display and update the current time and date, as well as some info from the BME680, on an LCD with LVGL.
Next step is to get the web interface and NTP going again so that the time displayed can be remotely synced to network time.
#electronics
#embeddeddevelopment

#electronics #embeddeddevelopment

Random Tech Stuff @[email protected] · 2025-09-21 · 11:51 UTC

No, I'm not dead. Just busy.
Got the ESP32 to display and update the current time and date, as well as some info from the BME680, on an LCD with LVGL.
Next step is to get the web interface and NTP going again so that the time displayed can be remotely synced to network time.
#electronics
#embeddeddevelopment

#electronics #embeddeddevelopment

Random Tech Stuff @[email protected] · 2025-09-21 · 11:51 UTC

No, I'm not dead. Just busy.
Got the ESP32 to display and update the current time and date, as well as some info from the BME680, on an LCD with LVGL.
Next step is to get the web interface and NTP going again so that the time displayed can be remotely synced to network time.
#electronics
#embeddeddevelopment

#embeddeddevelopment #electronics

Random Tech Stuff @[email protected] · 2025-09-21 · 11:51 UTC

No, I'm not dead. Just busy.
Got the ESP32 to display and update the current time and date, as well as some info from the BME680, on an LCD with LVGL.
Next step is to get the web interface and NTP going again so that the time displayed can be remotely synced to network time.
#electronics
#embeddeddevelopment

#electronics #embeddeddevelopment

Hacker News @[email protected] · 2025-09-15 · 00:31 UTC

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