This article primarily focuses on formalisation and model checking of Function Block Diagram (FBD) algorithms. However, the presented methods can also be extended to other programming languages.

In addition to being a runnable CLI tool, D2 can also be used to produce diagrams from Go programs. For examples, see ./docs/examples/lib. This blog post also demos a complete, runnable example of ...

The U.S. Navy’s podded Infrared Search And Track System, or IRST, planned for its F/A-18E/F Super Hornet fighters, has “demonstrated significant reliability problems during operational testing,” ...

Unlike other AI agents, which are typically closed-source and designed for specific functions, Block created Goose with the capability to interact with different LLMs and expand beyond its ...

Ken Block's "Hoonitruck," a heavily modified 1977 Ford F-150 used in the late rally driver and viral-video star's "Gymkhana" series, was up for grabs at Barrett-Jackson's annual Scottsdale ...

Yet another piece of Ken Block’s Hoonigan empire was auctioned off over the weekend, with the motorsport icon’s highly modified 1977 Ford F-150 “Hoonitruck” selling for a handsome $990,000 ...

The IEC 61131-3 languages Function Block Diagram (FBD) and the corresponding ST (Structure Text) has been used as vehicles for this tour. Programmable Controllers (PLC) are the backbone of most ...