add some cards

2 files changed, 34 insertions, 0 deletions

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