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 | |
parent | 17bd734240294eb839e45447c34b54849bfef430 (diff) | |
parent | eefc467ca9f6eb3f9bcec176878dfc42e43660a7 (diff) |
Merge pull request #1 from jaspervdj/nv
add some cards
Diffstat (limited to '')
-rw-r--r-- | black.txt | 4 | ||||
-rw-r--r-- | white.txt | 28 |
2 files changed, 32 insertions, 0 deletions
@@ -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 + @@ -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 |