aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--white.txt39
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