13:24
<littledan>
bradleymeck: yes, now it's run by bkardell and Jory, and the meetings tend to be shorter or sometimes cancelled. They are focusing on producing introductory content for TC39
13:25
<littledan>
I hope that we can get back to "reviewing proposals from an educational perspective" at some point, but this does not seem to be the focus of the current attendees
23:30
<Bakkot>
I like the C++ committee's description of how their consensus process works: https://isocpp.org/std/standing-documents/sd-4-wg21-practices-and-procedures#consensus