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