Where did you move if it's not too much to ask?
20 karma · joined September 21, 2020
I know for example Ithaca, NY, might qualify. Other examples in the South, Midwest, etc?
Also stroads are not just an American problem. I have found horrible stroads in places where you would never expect them such as Oxford or Copenhagen.
The Airbus fly-by-wire code (~100 KLOC) can be statically verified in about an hour with a modern PC.
This is not a formal proof, but it excludes entire classes of runtime errors such as de-referencing a null pointer.
However, I would prefer to execute it in the US as I prefer how the startup ecosystem looks over there. Is it worth the trouble / doable in terms of immigration laws to move there and bring my cofounder and some employees?