diff options
| -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 |