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

---
 white.txt | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

(limited to 'white.txt')

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