“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.
1 view
386
116
7 months ago 00:02:01 1
Paranoid: Succubus Neighbor Trailer
7 months ago 00:08:09 1
[FREE] Dark Techno / EBM / Industrial Type Beat ’BURIAL’ | Background Music
7 months ago 00:52:32 1
Disco Elysium ASMR | Cop Interview Roleplay (Binaural Inner Voices)
7 months ago 00:03:01 1
Let’s Do It (Let’s Fall In Love) [Song by Cole Porter] 1928
7 months ago 00:02:04 1
How to Learn English with Movies(New Technique)Innovative Learning Techniques Revealed@HouchStories.
7 months ago 00:03:59 1
BRADY HARRIS - Welcome Me Back (YouTube Rocks)
7 months ago 00:06:28 1
World’s First Flying Car | XPeng X2
7 months ago 00:04:57 1
Summoning of the Muse (Remastered)
7 months ago 00:03:46 1
Solomun - Home (Official Video)
7 months ago 00:06:31 1
Listen to Your Heart (metal cover by Leo Moracchioli feat. Violet Orlandi)
7 months ago 00:02:16 1
Sueco - POS [Music Video]
7 months ago 00:05:34 1
Madonna - Hung Up (Official Video) [HD]
7 months ago 00:18:52 1
Day of the Locust - Nathanael West BOOK REVIEW
7 months ago 00:08:01 1
The man who lives with the 17 tiny kittens he rescued is experiencing an explosion of happiness.
7 months ago 00:08:17 1
Finally! America Tests Its Insane New Supersonic Jet 😱 (The X-59)
7 months ago 00:11:04 1
Lan Zhou Ramen Recipe
7 months ago 02:35:28 1
Poor Boy had no idea His Girlfriend is Yandere and take him to the Abandoned Island | Manhwa Recap
7 months ago 00:04:03 1
ЛЮБЭ - In the Army Now
7 months ago 00:05:39 1
NEW Huge Brush!! / Easy Abstract Acrylic Painting - Birds of Paradise
7 months ago 00:02:41 1
Neco Arc Heartaches By The Number
7 months ago 00:03:04 2
OTYKEN - GENESIS (Official AI Music Video)
7 months ago 00:00:29 1
Opera adds a new set of innovative tools to its browser AI, Aria
7 months ago 00:03:54 1
IMAGINE. (Ultimate Mix, 2020) - John Lennon & The Plastic Ono Band (with the Flux Fiddlers) HD