devwithjev
β€” reading nowβ€” views
Submit a build

Generates Symbolic State Machines

Dorian Smiley says his team uses Jev to generate symbolic programs (state machines) through an iterative process.

View on X costdropped by an order of magnitudetime~0.3–2 seconds
Dorian SmileyDorian Smiley@dsmiley411𝕏
I wanted to post a preview of our Jev benchmark dropping tomorrow. We are using Jev to generate symbolic programs (state machines) through an iterative process. The results so far have been amazing! The old process took ~2–10 seconds. With Jev, it’s ~0.3–2 seconds. The costs have also dropped by an order of magnitude. Jev is also used in control flow, removing the need for brittle heuristics.
Sep 20, 2026X postsView on X
The team also uses Jev in control flow, removing the need for brittle heuristics. Smiley reports that the process is faster and costs less with Jev.

Also filed under Tools & apps