| 01:52 | <bakkot> | just added the following not-very-modest proposal to the agenda: https://docs.google.com/presentation/d/1m5R5J98W6adegghgkAlbSuFgAYJDT52yyFVdAqLjm00/edit |
| 01:52 | <bakkot> | looking forward to arguing this with all of you at 4 in the morning next month |