Our great sponsors
-
gutenberg
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
-
Rflap
Jflap but in the Rust programming language and React framework for Javascript. Made by Misha Ryabko (https://www.github.com/Reisande) and Chris Cortina (https://github.com/heldeo)
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
As for the syntax highlighting, I use Zola's class-based highlighting with a very minimal, hand-crafted colors (see the end of the CSS file of the blog).
Great write up! This is really cool to see because I did a research project where I implemented a few different forms of finite automata and checkers/fuzzers for them as well in college. Here is the github if you're curious: https://github.com/Reisande/Rflap