Foy Savas
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
- Juanpe Bolívar3 talks
- Chelsea Troy9 talks
- Andrea Magnorsky7 talks
- Einar W. Høst30 talks
- Marianne Bellotti10 talks
- Avdi Grimm18 talks
| title | conference | date |
|---|---|---|
| Temporal Modal Logic: The Time is Now | LambdaConf 2025 | 2025-05-12 |
Claims that temporal modal logics enable practical, automated verification: LTL and CTL become executable specs, model checking produces concrete… | ||
| Closing Keynote | Wicked Good Ruby 2013 | 2013-10-12 |
Claims that programming is a distinct, durable profession and not automatable, backed by a surprising number: 20 million programmers today versus under 10,000… | ||
| nothing matches | ||