Ask HN: What to do when bored at work? #1 Post by defnmacro » Fri, Feb 07, 2020, 5:19 PM UTC No post body was provided.