aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--cards.yaml115
1 files changed, 102 insertions, 13 deletions
diff --git a/cards.yaml b/cards.yaml
index 7fb1ea4..e04a458 100644
--- a/cards.yaml
+++ b/cards.yaml
@@ -20,22 +20,39 @@ generic:
- "Step 1: _. Step 2: _. Step 3: Profit."
- _ is a slippery slope that leads to _.
- "_ & _: The Musical."
+ - Without _ we wouldn't have _.
+ - Listen, if you want to get involved with _, just stay clear of _.
+ - Did you hear that _ is the new hot topic?
white:
- a career-limiting card game
- day drinking
+ - sending an email at 11pm so people think I work hard
+ - someone less senior than me signing off with "Thanks in advance"
+
+covid19:
+ enabled: false
+ black:
+ - Due to the Covid crisis, I have rekindled my enthusiasm for _.
+ - My favourite thing about online conferences is _.
+ - When all this is over, I'm not looking forward to _.
+ white:
+ - not having to wear pants
+ - the sound of 50 people on a Zoom call all trying to speak at once
+ - '"working" remotely'
+ - remembering when "working from home" meant a day off
+ - Zoom dropping out every 10 to 15 seconds
icfp2020:
include:
- generic
+ - covid19
black:
# ICFP2020 Cards
- _ is just _ in the Category of _.
- My next paper title? The next 700 _.
- Procrastinating on my paper by working on _.
- - Without _ we wouldn't have _.
- Reviewer 2 found my paper guilty of _.
- - Listen, if you want to get involved with _, just stay clear of _.
- _ would be woefully incomplete without _.
# Some cards taken from:
@@ -44,8 +61,6 @@ icfp2020:
# 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 my grant application for _ was denied!
- I find that _ relieves pre-submission stress.
@@ -58,13 +73,11 @@ icfp2020:
- 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.
- 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 all this is over, I'm not looking forward to _.
- What's a programmer's best friend? _
- What's my secret power? _
- _ for free!
@@ -215,7 +228,6 @@ icfp2020:
- 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
@@ -225,11 +237,7 @@ icfp2020:
- 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
@@ -239,7 +247,6 @@ icfp2020:
- 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
@@ -254,15 +261,17 @@ icfp2020:
- 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
munihac2020:
include:
- generic
+ - covid19
black:
+ - A Haskell Hackathon conference is never complete without _.
+ - _ is just _ in the Category of _.
- My Hackathon project will be _.
- This Hackathon I will work on integrating _ and _.
- Hackathons are great because you can openly talk about _.
@@ -270,6 +279,15 @@ munihac2020:
- My project was sponsored by _ and _.
- 'GHC proposal 2354: _.'
- '{-# LANGUAGE _ #-}'
+ - Both Microsoft and Apple have concerns with _.
+ - I just got out of an incomprehensible talk on _ and _.
+ - My career started with _.
+ - I'm sorry, Professor, but I couldn't complete my homework because of _.
+ - What's a programmer's best friend? _
+ - What's my secret power? _
+ - _ for free!
+ - _ considered harmful.
+ - A monadic approach to _.
white:
- Edward Kmett's hallway track
@@ -297,3 +315,74 @@ munihac2020:
- actually finishing a Hackathon project
- the 8th coffee of the day
- zygohistomorphic prepromorphisms
+
+ # Adaptions from icfp2020
+ - adding inconsistent axioms to Agda (again)
+ - an angry type theorist
+ - writing code with paper and pencil
+ - 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
+ - going to the bathroom for the second time in 5 minutes to avoid an awkward conversation
+ - a self-promotional comment phrased as a question
+ - the Vim vs Emacs dilemma
+ - the fear of side effects
+ - error reporting
+ - readable type errors
+ - monads are like burritos
+ - the lambdaman
+ - a presentation without a joke
+ - Category Theory
+ - a type system that prevents planes from crashing
+ - a time when ML did not mean machine learning
+ - well-typed programs don't go wrong
+ - a complete type system
+ - division by zero
+ - a profile picture from 20 years ago
+ - an academic website powered by Hakyll
+ - continuations
+ - liberally adding axioms
+ - unironically using Windows
+ - PL memes
+ - not really caring about OOP
+ - endless discussions about syntax
+ - 100% talks, 0% human interaction
+ - actually being "sorry for the late reply"
+ - an overfull hbox
+ - deliberately hiding inefficiencies inside the big O
+ - doing Facebook maths puzzles to show I am better than those idiot 97%
+ - explaining what my job is at a family reunion
+ - falling asleep in a 5-person meeting
+ - frantically taking notes during every talk
+ - getting a fourth cookie during a coffee break because I have no one to talk to
+ - getting stuck in the French-speaking group
+ - having time to catch up on my reading, then not doing it
+ - hiding my conflict of interest
+ - including an XKCD comic in my slides because I'm so original
+ - my successful career at a patent troll company
+ - not feeling guilty about falling asleep during the keynote
+ - not needing to pretend to listen to the other speakers in my session
+ - overselling it hard on twitter
+ - politely starting an answer with "That's a good question...", when the question is actually idiotic
+ - putting an outdoors-y photo on my nerdy 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
+ - 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
+ - the awkward question the organizer 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
+ - using indecipherable, non-standard notation to hide a dodgy proof
+ - wearing a T-shirt with a Linux joke
+ - a slide deck entirely in Comic Sans