Marianne Bellotti
where else to find them
what they talk about
all 6 in the filters
where they keep going back
- Strange Loop3 editions2017–2023
all 6 in the filters
on a stage with
- James Lewisonce
- Tomer Gabelonce
who talks about the same things
- Einar W. Høst30 talks
- Aaron Bedra14 talks
- Chris Riley15 talks
- Dylan Beattie81 talks
- Darren Richardson4 talks
- Dom Davis20 talks
| title | conference | date |
|---|---|---|
| Improving Software Architecture Through Murder | Craft Conference 2024 | 2024-05-30 |
A murder board is a NASA‑born panel that vets truly high‑risk plans by having senior engineers, security/compliance or business leaders depending on whether… | ||
| Triage with Mental Models | SREcon24 Americas | 2024-03-18 |
Explains why experts triage by matching observations to a large library of small, testable mental models and gives concrete exercises: build process maps to… | ||
| Can a Programming Language Reason About Systems? | Strange Loop 2023 | 2023-09-21 |
Fault is a domain-specific language that compiles to SMT‑LIB2 and targets SMT solvers such as Z3 and other SMT backends, converting C‑style… | ||
| Keynote: Formal Verification? No, Formal Reasoning! | Code BEAM America 2022 | 2022-11-03 |
Argues that formal methods are more useful as formal reasoning than full verification and shows practical tactics: pick one transaction, model states as Mealy… | ||
| Let's Bring System Dynamics Back to CS! | SREcon21 | 2021-10-12 |
Argues that outages come from feedback loops and coupling, not impossible states, and uses the AWS Kinesis 2019 outage as a concrete example of memory/map… | ||
| Panel: Architecture | Øredev 2019 | 2019-11-06 |
Panel argues specific tradeoffs: start with a monolith because it’s easier for small teams and split only when uneven growth forces independent scaling… | ||
| We Killed These Things With Fire | Øredev 2019 | 2019-11-06 |
Argues technology moves in cycles not a straight line, with concrete examples: mainframe patterns reappearing as cloud architectures, the 2010 shift to larger… | ||
| Formal Specification and Taming Other People's Tech | Strange Loop 2019 | 2019-09-12 |
Formal specifications model a production email service with a small shared provider that uses Redis-backed token bucket rate limits and a retry queue. Model… | ||
| Death of the Trusted Internet | Strange Loop 2017 | 2017-09-28 |
USDS attempts to kill the Trusted Internet Connection by replacing physical chokepoints with a cloud-aware architecture that actually moves packets not policy… | ||
| nothing matches | ||