HNHacker News
TopNewBestAskShowJobs

madpata

69 karma · joined January 19, 2021

submissionscomments
madpata··on Proof of X
https://journals.sagepub.com/doi/pdf/10.1177/001872088302500...
madpata··on Forever chemicals are widespread in U.S. drinking water
PFAs get absorbed into the human body, stay there without being broken down and can cause harm.

https://www.epa.gov/pfas/basic-information-pfas

madpata··on The State of State Machines
I think your answer boils down to "pick the right tool for the job". Of course state machines are cumbersome for systems with loads of different states and transitions.

But state machines are really useful when designing safety-critical systemsfor aeronautical, automotive or train components, especially if one uses timed automata for modelling.

It's possible to either generate the code from the model or use the model to automatically generate a complete test suite for the modelled system. Very useful for verification purposes.

← PreviousPage 2 of 2