0:00 – Intro 1:15 – Puzzle (by Kiran Kedlaya) 15:05 – Commentary *I think this is a really fun puzzle, so I recommend you do it …
source
0:00 – Intro 1:15 – Puzzle (by Kiran Kedlaya) 15:05 – Commentary *I think this is a really fun puzzle, so I recommend you do it …
source
Lorem ipsum dolor sit amet, consectetur.
