[gwern]

One would think he'd use the hotel time to fix Pinboard: https://news.ycombinator.com/item?id=31183419 https://news.ycombinator.com/item?id=30628375 https://news.ycombinator.com/item?id=30365253