“Can a Programming Language Reason About Systems?“ by Marianne Bellotti (Strange Loop 2023)

We have lots of languages that apply logic to verifying, simulating, or generating systems, but they all use the syntax of mathematical proofs which many programmers find difficult to learn. Fault is a new language developed to help people model systems and reason about their behavior and limitations. These systems can be technical, they can be organizational, regulatory or they can be hybrids. This talk will cover the basic styles of logic programming—model checking, simulation, symbolic execution—and how Fault converts a programmer friendly syntax into logic friendly models. Watch Fault do things like give advice about 5,000 page export regulations, tell you when your micro services architecture is going to start breaking down, and solve sudoku puzzles. Marianne Bellotti Rebellion Defense @bellmar Marianne Bellotti is the author of Kill It With Fire, Building Safety Critical Systems, and Hiring Engineers, as well as a popular column on technology and system safety. She has built data infrastructure for the United Nations to help humanitarian organizations share crisis data and tackled some of the oldest and most complicated computer systems in the world as part of United States Digital Service. At Auth0 she ran Platform Services, a portfolio that included shared services, untrusted code execution, and developer tools. Currently she runs engineering teams at Rebellion Defense. She can be found on most social networks under the handle bellmar. ---- Recorded Sept 22, 2023 at Strange Loop 2023 in St. Louis, MO.