| 22:15 | <bakkot> | ljharb: 5 minutes for the pattern matching update seems... ambitious |
| 22:19 | <Michael Ficarra> | I dunno, I can say "here's a gist you should read" pretty quick |
| 22:36 | <Michael Ficarra> | 🙏 as someone whose items are all near the bottom of a full agenda, I am just hoping we make haste and avoid waste wherever we can |
| 22:57 | <ljharb> | It’s not going to be any details, just broad strokes |
| 23:43 | <shu> | oh wow we went from a pretty sparse agenda to a really full one |
| 23:43 | <shu> | i count 18+ hours |
| 23:43 | <shu> | how many working hours do we have? |
| 23:49 | <shu> | like 14-15 or so i think? 20 hours - 3 for lunch - 1.5 for coffee breaks - 1 for administrative agenda items |