Posts

Michael Stone, February 6, 2012, (permalink), (src)

Thoughts for Jan. 30 — Feb. 5. (m:February 6, 2012 ← c:February 5, 2012)
Equations vs. Definitions (m:February 6, 2012 ← c:February 5, 2012)
Thoughts for January 22–29, 2012 (m:January 30, 2012 ← c:January 29, 2012)
Thoughts for January 15–22, 2012 (m:January 22, 2012 ← c:January 22, 2012)
Thoughts for January 8–15, 2012 (m:January 16, 2012 ← c:January 14, 2012)
Klee: a poor man’s QuickCheck… (m:January 2, 2012 ← c:January 1, 2012)
Links for December 18–25, 2011 (m:December 26, 2011 ← c:December 25, 2011)
Security Features vs. Security Guarantees (m:December 19, 2011 ← c:December 18, 2011)
Links for December 4–11, 2011 (m:December 12, 2011 ← c:December 11, 2011)
klee + microclimates (m:December 5, 2011 ← c:December 4, 2011)
On bug-tracking… (draft) (m:November 26, 2011 ← c:November 19, 2011)
Photos for November, 2011 (m:November 26, 2011 ← c:November 26, 2011)
Virtio, AOP, social currencies, and primitive media (m:November 19, 2011 ← c:November 18, 2011)
Technique (m:September 5, 2011 ← c:September 5, 2011)
Public Goods (m:July 24, 2011 ← c:July 24, 2011)
2011 Travel Photos (m:July 17, 2011 ← c:July 16, 2011)
Scheduling Medical Residents (m:June 5, 2011 ← c:June 4, 2011)
Comment Systems (m:April 23, 2011 ← c:April 10, 2011)
Convergence (draft) (m:April 10, 2011 ← c:March 29, 2011)
AfD Discussions (draft) (m:April 9, 2011 ← c:March 16, 2011)
Keeping Secrets (notes) (m:April 9, 2011 ← c:April 8, 2011)
OpenKey.cc (m:April 9, 2011 ← c:June 6, 2010)
Irrefutability (m:March 28, 2011 ← c:February 15, 2009)
The Joy of TeX (m:March 28, 2011 ← c:January 22, 2009)
Safe(r) Phones (draft) (m:March 28, 2011 ← c:March 20, 2011)