cool, does this means it works on Windows now?

Can they do this for vscode?

A left handed robot!

some say it never started

How abstract is this book? Are there many examples of things that are relevant at meta today, especially on the web and developer front?

Maybe depends on if by relevant you mean, "I'm working on airflow surface turbulence" vs "am I making a cruise missile?"

Does it account for "pit stops"

Where?

Does tech crunch actually report tech stuff or is it all “X raises Y” type posts?

They’re pretty well focused on startup news and most of that is raising, acquisitions, folding, and fire sales.

Lowercase f is very visually similar to t. Hopefully no bugs occur from a typo

How many of these are there?

The main ones are Verus, Prusti and Creusot, but they take quite different approaches. This isn't redundant.