Update white.txt

1 files changed, 35 insertions, 4 deletions

diff --git a/white.txt b/white.txt
index 8a8df17..369fca8 100644
--- a/white.txt
+++ b/white.txt
@@ -19,7 +19,8 @@ the Vim vs Emacs dilemma
 the fear of side effects 
 error reporting 
 readable type errors 
-Haskell wins at icfp programming contest
+Haskell wins at ICFP programming contest
+C++ wins at ICFP programming contest
 a cryptocurrency developed using Coq 
 monads are like burritos 
 the egg of Coq 
@@ -28,20 +29,50 @@ HoTT getting cold
 the lambdaman  
 a presentation without a joke 
 a french paper not formalized in Coq 
+a non-poultry themed Coq library
+ICFP
+POPL
+PLDI
+OOPSLA
+cabal hell
+Category Theory
+executing Agda code
+a job talk starting with Heartbleed
+a type system that prevents planes from crashing
+pLdI iS bEtTeR tHaN iCfP
+a time when ML did not mean machine learning
+# SML and formal semantics
+that CSmith found 0* bugs in CompCert
+well-typed programs don't go wrong
+a complete type system
+division by zero
+a Brief, Incomplete, and Mostly Wrong History of Programming Languages
+# no class, no state
+# soundy
+an abstract domain for neural networks
 
 # paper titles 
 do be do be do
 the marriage of effects and monads 
+Coq Coq Correct!
+# gradual typing is dead
 
 # Cards including comminity people's names that we should ask for permission 
 Conor's high tech presentation
 an ICFP with 0 SPJ accepted papers 
-
+Ranjit's Lambda Style
+# Asking Annabelle
+# HIcks
+# a climate change talk by Benjamin Pierce
+# Stephanie
+# Adam
+# Phil Wadler
+# Ron + Tander
 
 # 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
+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
@@ -127,4 +158,4 @@ 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
+Starting a conversation with ``When did you fly in?'', because I have nothing interesting to say