diff options
Diffstat (limited to 'cards.yaml')
| -rw-r--r-- | cards.yaml | 234 |
1 files changed, 234 insertions, 0 deletions
diff --git a/cards.yaml b/cards.yaml new file mode 100644 index 0000000..4b3d5cb --- /dev/null +++ b/cards.yaml @@ -0,0 +1,234 @@ +icfp2020: + black: + # ICFP2020 Cards + - _ is just _ in the Category of _. + - My next paper title? The next 700 _. + - Procrastinating on my paper by working on _. + - _ and _. A match made in heaven. + - Without _ we wouldn't have _. + - Reviewer 2 found my paper guilty of _. + - _ is just a special case of _. + - Listen, if you want to get involved with _, just stay clear of _. + - _ would be woefully incomplete without _. + - "_: Hours of fun. Easy to use. Perfect for _!" + + # Some cards taken from: + # https://github.com/CardsAgainstCryptography/CAC/blob/master/src/white.txt + # Slightly modified to take out most sexist / racist / ... stuff and comply + # with the uplcg format. Added more _s to a few because we can. + - A PL conference is never complete without _. + - Both Microsoft and Apple have concerns with _. + - Did you hear that _ is the new hot topic? + - Due to the Covid crisis, I have rekindled my enthusiasm for _. + - I always include _ in my reviewer feedback. + - I can't believe I got away with _. + - I can't believe my grant application for _ was denied! + - I can't concentrate without _. + - I drink to forget _. + - I find that _ relieves pre-submission stress. + - I get by with a little help from _. + - I got 99 problems but _ ain't one. + - I hope no one finds out about _. + - I just got out of an incomprehensible talk on _ and _. + - I just hope the reviewers don't notice _. + - I only got through my PhD because of a long-winded explanation of _. + - I think I will skip the session on _ this year. + - I was surprised to get no questions about _ the end of my presentation on _. + - I woke up drenched in sweat from a nightmare about _. + - I woke up filled with shame about _. + - I'm hoping to avoid 2/3 of the program committee, because my paper is on _. + - I'm sorry, Professor, but I couldn't complete my homework because of _. + - My academic CV says I'm an expert on _. + - My career started with _. + - My favourite thing about online conferences is _. + - One regret I have from my PhD is _. + - Putting _ in my application helped me immensely. + - Remembering _, then immediately vomiting. + - Self-isolation is fantastic for _. + - The next big thing will almost certainly be _. + - The talk that had the most influence on my personal life was _. + - When I am President of the United States, I will create the Department of _. + - Why can't I sleep at night? _ + - _ kept me up all night. + - When all this is over, I'm not looking forward to _. + - What's a programmer's best friend? _ + - What's my secret power? _ + + # CaH with minor edits + - _ + _ = _ + - "Step 1: _. Step 2: _. Step 3: Profit." + - _ is a slippery slope that leads to _. + - "_ & _: The Musical." + - I got 99 problems but _ ain’t one. + + white: + # ICFP2020 Cards + - a Monad + - a Monoid + - Endofunctors + - JavaScript + - Haskell + - Scheme + - Racket + - C + - C++ + - abstract nonsense + - mutability + - type theory + - pointers + - a proof left as an exercise to the reader + - the independence of dependent types + - 100 pages of proof appendix + - the Vim vs Emacs dilemma + - the fear of side effects + - error reporting + - readable type errors + - Haskell wins at ICFP programming contest + - C++ wins at ICFP programming contest + - a cryptocurrency developed using Coq + - monads are like burritos + - the egg of Coq + - the real origin of the Coq name + - HoTT getting cold + - the lambdaman + - a presentation without a joke + - a french paper not formalized in Coq + - a non-poultry themed Coq library + - ICFP + - POPL + - PLDI + - OOPSLA + - cabal hell + - Category Theory + - executing Agda code + - a job talk starting with Heartbleed + - a type system that prevents planes from crashing + - pLdI iS bEtTeR tHaN iCfP + - a time when ML did not mean machine learning + + # SML and formal semantics + - that CSmith found 0* bugs in CompCert + - well-typed programs don't go wrong + - a complete type system + - division by zero + - a Brief, Incomplete, and Mostly Wrong History of Programming Languages + # - no class, no state + # - soundy + - an abstract domain for neural networks + - a PhD office with windows + - a profile picture from 20 years ago + - an academic website powered by Hakyll + - continuations + - liberally adding axioms + - unironically using Windows + - my parents asking when I’ll get a real job + - PL memes + - not really caring about OOP + - endless discussions about syntax + + # paper titles + - do be do be do + - the marriage of effects and monads + - Coq Coq Correct! + # - gradual typing is dead + + # Cards including comminity people's names that we should ask for permission + - Conor's high tech presentation + - an ICFP with 0 SPJ accepted papers + - Ranjit's Lambda Style + # - Asking Annabelle + # - HIcks + # - a climate change talk by Benjamin Pierce + # - Stephanie + # - Adam + # - Phil Wadler + # - Ron + Tander + + # Cards taken from + # https://github.com/CardsAgainstCryptography/CAC/blob/master/src/white.txt + # Filtered down to remove some sexism / racism / ... and irrelevant cards. + - 100% talks, 0% human interaction + - Thinking I'm so clever for using pictures of Alice (Cooper) and Bob (Marley) + - a career-limiting card game + - a hand wavy argument + - a proof that appears in the "full version" + - a violent and bloody PhD defence + - academic integrity + - actually being "sorry for the late reply" + - an "anonymous" reviewer insisting I cite 6 papers by the same author + - an overfull hbox + - arriving 13 minutes late to a 15 minute talk and having the gall to ask a question + - being the only smartly dressed person in the room + - best rejected paper award + - checking my Google Scholar profile daily + - citing personal communication. + - conferences with 5 submissions at 11:59pm + - crippling student debt + - day drinking + - deadline day flatulence + - deliberately hiding inefficiencies inside the big O + - deliberately not referencing a superior paper + - doing Facebook maths puzzles to show I am better than those idiot 97%. + - drinking alone + - explaining what my job is at a family reunion + - falling asleep in a 5-person meeting + - feeling flattered because a conference spam email addressed me as Professor + - fighting over LaTeX syntax + - forgetting my VGA adapter + - frantically taking notes during every talk + - getting a fourth cookie during a coffee break because I have no one to talk to + - getting stuck at the French-speaking banquet table + - getting tenure, then chilling out + - having time to catch up on my reading, then not doing it + - having to write a polite rebuttal to the reviewer who clearly didn't read past page 2 + - hiding my conflict of interest + - ignoring reviewer comments and resubmitting immediately + - ignoring the session chair flashing 5 minutes left because I've got 23 slides to go + - including an XKCD comic in my slides because I'm so original + - making claims in the submission that you hope you can achieve before the rebuttal + - my dear friend the Program Chair overruling 3 borderline rejects on my paper + - my successful career at a patent troll company + - my supervisor's morning breath + - not feeling guilty about falling asleep during the keynote + - not having to wear pants + - not needing to pretend to listen to the other speakers in my session + - overselling it hard in the introduction + - politely starting an answer with "That's a good question...", when the question is actually idiotic + - preparing for two weeks to give a 15-minute presentation to a room of 7 people all on their laptops + - pretending to understand + - publishing anyway + - putting an outdoors-y photo on my academic webpage to look well-rounded + - quickly trying to peek at someone's badge as I shake their hand, but it's flipped backwards + - relatives who ask me to help them install their printer on Windows + - remembering when "working from home" meant a day off + - sending an email at 11pm so people think I work hard + - Zoom dropping out every 10 to 15 seconds + - social sciences + - someone less senior than me signing off with "Thanks in advance" + - starting a conversation with "When did you fly in?", because I have nothing interesting to say + - telling anyone who'll listen quite how busy I am + - thanking the anonymous reviewers for their "useful" comments + - the awkward question the chair asks when nobody understood the talk + - the awkward silence of 8 people standing in a circle during the afternoon coffee break + - the great paywall of IEEE + - the intoxicating aroma of 12 PhD students in one office + - the one suit I own for meetings with industry + - the person in the front row taking photos of every slide + - the sound of 50 people on a Zoom call all trying to speak at once + - the student body + - throwing a party for my next citation milestone + - turning up to one meeting and claiming co-authorship + - tweeting about my paper acceptance + - undergrads + - using Beamer because it's social suicide to use PowerPoint + - using "it clearly follows" when the implied following is anything but clear + - using "we should talk about this offline" because the question exposes holes in my paper + - using indecipherable, non-standard notation to hide a dodgy proof + - wearing a T-shirt with a Linux joke + - wearing a conference t-shirt... in public + - wistfully looking out of the window of my overly-cramped PhD office + - writing a reference for someone I can't remember meeting + - Ctrl+F'ing to see how many times I'm cited and finding "0 results" + - '"Working" remotely' + - a slide deck entirely in Comic Sans + - a shepherd that won't budge |