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:'
