Conversation

This Tweet was deleted by the Tweet author. Learn more

Brendan Zabarauskas

@brendanzab

I have cut out HN, am now mainly just looking at smaller subreddits (like /r/ProgrammingLanguages, /r/types, /r/dependent_types), twitter, and lobsters…

6:42 AM · Aug 15, 2021·Twitter Web App