diff options
Diffstat (limited to '')
| -rw-r--r-- | black.txt | 15 | ||||
| -rw-r--r-- | white.txt | 49 |
2 files changed, 60 insertions, 4 deletions
@@ -1,5 +1,14 @@ # ICFP2020 Cards \BLANK is just \BLANK in the Category of \BLANK. +My next paper title? The next 700 \BLANK. +Procrastinating on my paper by working on \BLANK. +\BLANK and \BLANK. A match made in heaven. +Without \BLANK we wouldn't have \BLANK. +Reviewer 2 found my paper guilty of \BLANK. +\BLANK is just a special case of \BLANK. +Listen, if you want to get involved with \BLANK, just stay clear of \BLANK. +\BLANK would be woefully incomplete without \BLANK. +\BLANK: Hours of fun. Easy to use. Perfect for \BLANK! # Some cards taken from: # https://github.com/CardsAgainstCryptography/CAC/blob/master/src/white.txt @@ -43,3 +52,9 @@ When all this is over, I'm not looking forward to \BLANK. What's a programmer's best friend? \BLANK What's my secret power? \BLANK +# CaH with minor edits +\BLANK + \BLANK = \BLANK +Step 1: \BLANK. Step 2: \BLANK. Step 3: Profit. +\BLANK is a slippery slope that leads to \BLANK. +\BLANK & \BLANK: The Musical. +I got 99 problems but \BLANK ain’t one. @@ -19,7 +19,8 @@ the Vim vs Emacs dilemma the fear of side effects error reporting readable type errors -Haskell wins at icfp programming contest +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 @@ -28,20 +29,60 @@ 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 +100% talks, 0% human interaction 16-bit AES Thinking I'm so clever for using pictures of Alice (Cooper) and Bob (Marley) a career-limiting card game @@ -127,4 +168,4 @@ 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 -Starting a conversation with ``When did you fly in?'', because I have nothing interesting to say
\ No newline at end of file +Starting a conversation with ``When did you fly in?'', because I have nothing interesting to say |