Update README.md

Actual stuff in the list
fuath · Dec 27, 2017 · 2d677ae · 2d677ae
1 parent 77f6080
commit 2d677ae
Showing 1 changed file with 45 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,2 +1,45 @@
-# awesome-cold-showers
-For when people get too hyped up about things
+# Awesome Cold Showers
+
+It's great when people get excited about things, but sometimes they get a little _too_ excited. This an awesome (rigorous and respectful) and curated (I read every suggestion and make judgement calls) list of cold showers on overhyped topics. Feel free to submit your favorites!
+
+####  [Verification Techniques](http://www.cypherpunks.to/~peter/04_verif_techniques.pdf) (PDF)
+
+* **Hype:** "Formal Verification is a great way to write software. We should prove all of our code correct."
+
+* **Shower:** Extensive literature review showing that formal methods are hard to learn, extremely expensive to apply, and often miss critical bugs.
+
+* **Caveats:** Written in 2000 and doesn't cover modern tools/techniques, such as TLA+ or dependent typing.
+
+* **Notes:** Part of [Peter Gutmann](https://www.cs.auckland.ac.nz/~pgut001/)'s thesis, "The Design and Verification of a Cryptographic Security Architecture".
+
+#### [Static vs Dynamic Typing: a literature review](https://danluu.com/empirical-pl/)
+
+* **Hype:** "Static Typing reduces bugs."
+
+* **Shower:** A review of all the available literature (up to 2014), showing that the solid research is inconclusive, while the conclusive research had methodological issues.
+
+* **Caveats:** Does not cover other possible benefits of static typing, like documentation. Does not address research on gradual type systems, like mypy or Typescript.
+
+#### [Scalability! but at what COST?](http://www.frankmcsherry.org/graph/scalability/cost/2015/01/15/COST.html)
+
+* **Hype:** "We need big data systems to handle big data."
+
+* **Shower:** Benchmarking cutting-edge graph-processing algorithms running on 128-core clusters against a single-threaded 2014 Macbook Pro. The laptop consistently wins, sometimes by an order of magnitude.
+
+* **Caveats:** McSherry is really good at optimizing his algorithms and has skills the average data scientist does not. Big data systems might be better if you have ad-hoc queries and don't want to take the time to optimize them.
+
+* **Notes:** "If you are going to use a big data system for yourself, see if it is faster than your laptop. If you are going to build a big data system for others, see that it is faster than my laptop."
+
+#### [Web Framework Benchmarks](https://www.techempower.com/benchmarks/)
+
+* **Hype:** Anything about performance or scalability of various languages/web frameworks/databases.
+
+* **Shower:** Actual hard data of various combinations of solutions under various tasks.
+
+* **Caveats:** Raw data you have to interpret yourself. Does not provide a complete dump of the raw data for your own analysis.
+
+* **Notes:** Updates with new benchmarks and frameworks once a year. All implementations are public and you can improve them with a PR. 
+
+## Plug
+
+You can find my general ravings on my [website](https://hillelwayne.com) or [twitter](https://twitter.com/Hillelogram).