I was interested, so went and checked out the filing for this [1], it looks like he only got hit with the possession with intent to distribute, with the other 3 charges (including 'possession of a firearm with an obliterated serial number') being dismissed.
I understand you want to refute/diminish the parent comment on finite automata, but I think you are providing a straw man argument. The parent comment does provide an interesting, factual statement. I don't believe finite state automata are at all close in complexity to real-world self-driving car systems (or even a portion thereof). Your closing statement is also dismissive and unconstructive.
I believe finite state modeling is used at NASA, A google search brings up a few references (that I'm probably not qualified to speak to), and I also remember hearing/reading a lecture on how they use them to make completely verifiable programs but can't find the exact one at the moment.
Thanks for this initial go at the blinking LED script! I went ahead and tried to add some quality-of-life features to this that I wanted. I've never used pyqt before, so I admit I had help from google and copilot figuring out methods. Anyways, here is an updated version that has a few more configurations for background color, circle color, slowdown period, graceful window resizing, and graceful shutdown.
[1] https://www.courtlistener.com/docket/8228342/parties/united-...