aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNiki Vazou2020-08-10 15:48:27 +0300
committerGitHub2020-08-10 15:48:27 +0300
commitc4938ecf7e6b988bdfeaea56e367c5fbfc9dd858 (patch)
treeb9f39ca5894cef21e15fc2850a7623bcd0ee8f68
parent17bd734240294eb839e45447c34b54849bfef430 (diff)
parenteefc467ca9f6eb3f9bcec176878dfc42e43660a7 (diff)
Merge pull request #1 from jaspervdj/nv
add some cards
Diffstat (limited to '')
-rw-r--r--black.txt4
-rw-r--r--white.txt28
2 files changed, 32 insertions, 0 deletions
diff --git a/black.txt b/black.txt
index 61b6087..7c91439 100644
--- a/black.txt
+++ b/black.txt
@@ -39,3 +39,7 @@ 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? \BLANK
+What's my secret power? \BLANK
+
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