Lmst

Depth-first Unary Degree Sequence via @jevinskie https://lobste.rs/s/kzijnz #compsci
https://bruceediger.com/posts/dfuds/

@mykie

#Brutalism is one of my favorite things, both in architecture (I grew up around a lot of it at UT Austin in the 80s and 90s) and various related minimalist philosophies in #CompSci, like the #smolweb

I'm a big fan of using the #DilloBrowser to reduce webpages to their essentials: html and very basic CSS. It's not my default browser anymore, but I still use it quite a bit, and I enjoy finding sites that work in it (like the one you linked to!)

Gotta say, this is possibly the most beautifully-written #polemics against our current #CompSci state of insanity I've ever read.

📜 A program optimization for automatic database result caching [2017]

By: Ziv Scully, A. Chlipala

📖 https://github.com/papers-we-love/papers-we-love/blob/master/caching/a-program-optimization-for-automatic-database-result-caching.pdf
🔍 https://www.semanticscholar.org/paper/c84e6cc11d1a18d7f792bdefaf064dfe7c734728

#semanticScholar #paperswelove #research #compsci

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

The Nobel Prize is one of the highest honors one in academia can receive. And it has just been reduced down to a cocksucking prize!!! >:( The highest honor in #compsci is the ACM Turing award, and that would be on par with giving the Turing award to a fucking TODDLER who learned how to turn on an iPhone!!! #trump #nobelPeacePrize #news https://apnews.com/article/trump-machado-venezuela-maduro-nobel-peace-prize-ed23992bccabf128b7e849259d3c29a8

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

@mariusor

This is maybe not Graphviz-quality rendering and layout calculation, but it's pretty good for a beta release, without 30 years of Graphviz headstart 🙂

I think I'm ready to integrate native rendering without dot as an optional parameter. Not perfect, but also not risking indignity at this point.

#fsm #golang #compsci #electronics #programming

UPDATE: fsm-toolkit

New in the FSM toolkit:

https://github.com/ha1tch/fsm-toolkit

Code generation — export your state machines to C, Rust, or Go (TinyGo compatible). Zero dependencies, embedded-friendly.
fsm analyse — catches unreachable states, dead ends, non-determinism, and unused symbols before they bite you.
Editor improvements — undo/redo (Ctrl+Z/Y), toggle wires with W, states always visible over arcs, parallel transitions no longer overlap.
Quick image export — fsm png / fsm svg using dot

Still a compact hex format at heart that fits in your head!

#fsm #compsci #rustlang #golang #rust #programming #embedded #electronics