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