diff options
author | Niki Vazou | 2020-08-10 15:48:27 +0300 |
---|---|---|
committer | GitHub | 2020-08-10 15:48:27 +0300 |
commit | c4938ecf7e6b988bdfeaea56e367c5fbfc9dd858 (patch) | |
tree | b9f39ca5894cef21e15fc2850a7623bcd0ee8f68 /white.txt | |
parent | 17bd734240294eb839e45447c34b54849bfef430 (diff) | |
parent | eefc467ca9f6eb3f9bcec176878dfc42e43660a7 (diff) |
Merge pull request #1 from jaspervdj/nv
add some cards
Diffstat (limited to 'white.txt')
-rw-r--r-- | white.txt | 28 |
1 files changed, 28 insertions, 0 deletions
@@ -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 |