"Can a Programming Language Reason About Systems?" by Marianne Bellotti (Strange Loop 2023) | Strange Loop Conference | Podwise