From f5fba7a6c629a40215c1622f72e50828648fc6f7 Mon Sep 17 00:00:00 2001 From: Niki Vazou Date: Mon, 10 Aug 2020 15:12:23 +0300 Subject: add some cards --- black.txt | 6 ++++++ white.txt | 28 ++++++++++++++++++++++++++++ 2 files changed, 34 insertions(+) diff --git a/black.txt b/black.txt index 61b6087..a0c34e5 100644 --- a/black.txt +++ b/black.txt @@ -39,3 +39,9 @@ The talk that had the most influence on my personal life was \BLANK. When I am President of the United States, I will create the Department of \BLANK. Why can't I sleep at night? \BLANK \BLANK kept me up all night. +When all this is over, I'm not looking forward to \BLANK. +What's a programmer's best friend? +What's my secret power? + + + diff --git a/white.txt b/white.txt index 4df97c2..8a8df17 100644 --- a/white.txt +++ b/white.txt @@ -12,12 +12,38 @@ abstract nonsense mutability type theory pointers +a proof left as an exercise to the reader +the independence of depedent 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 +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 + +# paper titles +do be do be do +the marriage of effects and monads + +# Cards including comminity people's names that we should ask for permission +Conor's high tech presentation +an ICFP with 0 SPJ accepted papers + # 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 16-bit AES +Thinking I'm so clever for using pictures of Alice (Cooper) and Bob (Marley) a career-limiting card game a hand wavy argument a proof that appears in the "full version" @@ -100,3 +126,5 @@ 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 +Starting a conversation with ``When did you fly in?'', because I have nothing interesting to say \ No newline at end of file -- cgit v1.2.3 From f775d97f3fef44507f5b5ffdad512056189e956b Mon Sep 17 00:00:00 2001 From: Niki Vazou Date: Mon, 10 Aug 2020 15:48:06 +0300 Subject: Update black.txt Co-authored-by: Jasper Van der Jeugt --- black.txt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/black.txt b/black.txt index a0c34e5..8fd5411 100644 --- a/black.txt +++ b/black.txt @@ -41,7 +41,6 @@ Why can't I sleep at night? \BLANK \BLANK kept me up all night. When all this is over, I'm not looking forward to \BLANK. What's a programmer's best friend? -What's my secret power? - +What's my secret power? \BLANK -- cgit v1.2.3 From eefc467ca9f6eb3f9bcec176878dfc42e43660a7 Mon Sep 17 00:00:00 2001 From: Niki Vazou Date: Mon, 10 Aug 2020 15:48:19 +0300 Subject: Update black.txt Co-authored-by: Jasper Van der Jeugt --- black.txt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/black.txt b/black.txt index 8fd5411..7c91439 100644 --- a/black.txt +++ b/black.txt @@ -40,7 +40,6 @@ When I am President of the United States, I will create the Department of \BLANK Why can't I sleep at night? \BLANK \BLANK kept me up all night. When all this is over, I'm not looking forward to \BLANK. -What's a programmer's best friend? +What's a programmer's best friend? \BLANK What's my secret power? \BLANK - -- cgit v1.2.3