brycewang-stanford/awesome-journal-skills/acm-ieee-symposium-on-logic-in-computer-scienceskill versions