aboutsummaryrefslogtreecommitdiff
path: root/cards.yaml
blob: f9784d82cebff44b7ff63abf93c03793b0c3b880 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
generic:
  enabled: false
  black:
    - _ and _. A match made in heaven.
    - _ is just a special case of _.
    - "_: Hours of fun. Easy to use. Perfect for _!"
    - I can't believe I got away with _.
    - I can't concentrate without _.
    - I drink to forget _.
    - I get by with a little help from _.
    - I got 99 problems but _ ain't one.
    - I hope no one finds out about _.
    - I woke up drenched in sweat from a nightmare about _.
    - I woke up filled with shame about _.
    - Remembering _, then immediately vomiting.
    - When I am President of the United States, I will create the Department of _.
    - _ kept me up all night.
    - _ is a path to many abilities many consider... unnatural
    - _ + _ = _
    - "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

popl2021:
  default: true
  include:
    - generic
    - covid19
    - icfp2020

  black:
    - 'My award-winning POPL paper: F-ing _'
    - 'The critical feature that LaTeX is missing is _'
    - 'The next version of Excel must include _ as a killer-feature.'
    - 'In C++ you can compute _ at compile time.'
    - '_ is the only thing that can prevent software crisis.'
    - 'I like my _ gradually-typed.'
    - 'Relying on _ is against the spirit of functional programming.'
    - '_ is a dish best served cold.'
    - 'I am sure one can find _ somewhere in the Clowdr code.'
    - 'One should definitely become an expert in _ before starting a PhD in PL.'
    - 'How can you call yourself a "PL researcher" without any experience with _?'
    - 'It is 2021 and I still have to explain _ to people around me.'
    - '_ is the most under-appreciated feature of _.'
    - 'I do not always use _, but when I do, I prefer it with _.'
    - '_ is the opium of the people.'
    - 'There are three kinds of lies: lies, damned lies, and _.'
    - "If you're not suffering, you're doing your _ wrong!"
    - 'Using _ was the biggest disappointment since the last Game of Thrones season.'
    - 'At POPL, no one will judge you for your attraction to _.'
    - 'I will call my PhD thesis "Fifty Shades of _".'
    - "'Harry Potter and _' is the best fan fiction I've ever read!"
    - 'A Logic for _'

  white:
    - yet another type of equality
    - THE BLIND SPOT 
    - UIP
    - type theory
    - classical logic 
    - the law of excluded middle
    - double negation
    - Haskell Is Not Not ML
    - Kripke semantics
    - covfefe
    - natural deduction
    - logical relations
    - Z3
    - probabilistic programming
    - Scott domains
    - Program Synthesis
    - antitonic functions
    - zonotopes
    - Higher-Order Concurrent Separation Logic
    - verified machine learning
    - yet another Haskell extension
    - Do Be Do Be Do
    - purely functional smart contracts
    - provably correct blockchain protocols
    - proofs of False in Coq
    - the Science of Deep Specification
    - Hasochism

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 _.
    - Reviewer 2 found my paper guilty of _.
    - _ would be woefully incomplete without _.

    # 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 _.
    - I always include _ in my reviewer feedback.
    - I can't believe my grant application for _ was denied!
    - I find that _ relieves pre-submission stress.
    - 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'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 _.
    - 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 _.
    - What's a programmer's best friend? _
    - What's my secret power? _
    - _ for free!
    - _ considered harmful.
    - A monadic approach to _.

  white:
    - adding inconsistent axioms to Agda (again)
    - an angry type theorist
    - non-SIGPLAN conferences
    - full abstraction
    - installing Agda for its input mode
    - presheaves
    - a definitional interpreter in Common Lisp
    - a self-promotional comment phrased as a question
    - just a corollary of the fundamental theorem
    - Agda's failure in unifying the terms
    - theorems for free
    - using the acmart class
    - the later modality
    - writing code with paper and pencil
    - progress and preservation
    - going to the bathroom for the second time in 5 minutes to avoid an awkward conversation
    # 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!
    - theorems for free!
    - 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
    # - Frank Pfenning's proof theory
    # - 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 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
    - 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%
    - 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 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
    - social sciences
    - 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 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"
    - 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 _.
    - I hate to go back to _ after a Hackathon.
    - 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
    - Spending the first two days trying to get the project to build
    - 1253 dependencies
    - a 9 year old GHC ticket
    - Darcs
    - a hangover
    - 'GHC: out of memory'
    - complaining about compile times
    - unsafePerformIO
    - unsafeInterleaveIO
    - a monad tutorial
    - sneakily writing JavaScript
    - broken builds
    - weird behaviour on Mac OS X
    - lens
    - not writing any documentation
    - lazy IO
    - pretending to understand what a Monad is
    - Haskell2030
    - a Template Haskell splice that steals firefox cookies at compile time
    - using Hugs in production in 2020
    - attending MuniHac mostly for the beer
    - actually finishing a Hackathon project
    - the 8th coffee of the day
    - zygohistomorphic prepromorphisms
    - the Haskell subreddit
    - extremely lame Category Theory puns
    - bashing other languages on Twitter
    - using nix because that's what the cool kids are doing

    # 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

cspapers:
  black:
    - 'CS paper: _ is morally correct'
    - 'CS paper: _ a la carte'
    - 'CS paper: A quick look at _'
    - 'CS paper: Compiling without _'
    - 'CS paper: Scrap your _  A practical approach to _'
    - 'CS paper: The history of _: being lazy with _'
    - 'CS paper: Faster laziness using _'
    - 'CS paper: Towards _ for Haskell'
    - 'CS paper: Asynchronous _ in Haskell'
    - 'CS paper: Sound and Decidable Type Inference for _'
    - 'CS paper: A monadic framework for _'
    - 'CS paper: Associated types for _'
    - 'CS paper: _ for arbitrary-rank types'
    - 'CS paper: practical type inference for _'
    - 'CS paper: _: a fast evaluation strategy for _'
    - 'CS paper: _: a retrospective on Haskell'
    - 'CS paper: Lexically scoped _'
    - 'CS paper: _ for Haskell'
    - 'CS paper: Tackling the awkward squad: _ in Haskell'
    - 'CS paper: Composing contracts: an adventure in _'
    - 'CS paper: A Semantics for _'
    - 'CS paper: Algorithm + Strategy = _'
    - 'CS paper: Generational garbage collection for _'
    - 'CS paper: A static semantics for _'
    - 'CS paper: _ as first class citizens'
    - 'CS paper: Arbitrary precision arithmetic using _'
    - 'CS paper: _ using continued fractions'
    - 'CS paper: An investigation of the relative efficiencies of _ and _'
    - 'CS paper: Kind inference for _'
    - 'CS paper: A role for dependent types in _'
    - 'CS paper: Type variables in _'
    - 'CS paper: Safe, zero-cost coercions for _'
    - 'CS paper: A reflection on _'

  white:
    - fast and loose reasoning
    - build systems
    - a Hoare triple
    - GOTO
    - impredicativity
    - boilerplate
    - generic programming with Haskell
    - practical type inference
    - arbitrary-rank types
    - delimited continuations
    - functional dependencies
    - optimistic evaluation
    - non-strict programs
    - wearing the hair shirt
    - template meta-programming
    - type variables
    - first class modules
    - object-oriented style overloading
    - monadic input/output
    - concurrency
    - exceptions
    - foreign-language calls
    - financial engineering
    - imprecise exceptions
    - parallelism
    - unboxed values
    - continued fractions
    - arbitrary precision arithmetic
    - combinators
    - lambda expressions
    - datatypes

plclub:
  black:
    - 'Practical Foundations for _'
    - "I am sorry Harry, but I can't write a blog post because I am too busy with _"
    - 'I am pretty sure _ is the reason there are so many vegetarians in PLClub'
    - '_ are just monoids in the category of _'
    - "_ is the reason we don't have free food at PLClub"
    - 'The proof of _ is trivial provided you already understand _'
    - "I don't understand why you used _ instead of emacs"
    - 'The Science of Deep _'
    - 'The Science of _ Specification'
    - 'The _ of Deep Specification'
    - '_ should be sold as an NFT'
    - 'The Levine Hall basement is full of _'
    - 'The first years may have windows but at least my office has _'
    - 'Certified _ with Dependent Types'
    - '_ types'
    - '_ : _'
    - 'Anomaly _ Please report at http://coq.inria.fr/bugs/.'
    - 'The best feature of Rust is not the type system, it is _'
    - '"_ is ~one~ reason you are wrong" - Lucas Silver'
    - '"_ is the C. elegans of programming languages" - Stephanie Weirich - Steve Zdancewic'
    - '"_ is the E. coli of programming languages" - Stephanie Weirich - Steve Zdancewic'
    - 'Applications of _ to _'
    - 'Jean Gallier sent us all an email about _'
    - Benjamin's next textbook is going to be on _
    - This week's PLclub talk is going to be on _
    - '"It is not just _ that I bully" - Irene Yoon'
  white:
    - burritos
    - Steve at Pottruck
    - Magic Carpet
    - TGIF
    - stolen GRASP pizza
    - inductive types
    - coinductive types
    - arguments about not having meat at TGIF
    - ITrees
    - QuickChick
    - QuickCheck
    - property based testing
    - Software Foundations
    - Coq
    - board-game night
    - "gather.town's Levine Hall simulation"
    - Zoom
    - emacs
    - "Calvin's 1800 line .emacs file"
    - Groundhog Day
    - "Levine 307's door"
    - Ltac
    - Coq StdLib 2
    - Notation change in ext-lib
    - Makefile
    - Universe Inconsistency Error
    - Coq bug reports
    - Coq reference manual
    - TGIF food line
    - Han Dynasty
    - "Steve's loud cats"
    - ':confused-lucas:'