% Thoughts for January 8-15, 2012
% Michael Stone
% January 14, 2012

Some fun things/questions I encountered this week:

  * [seccomp_filter](https://lwn.net/Articles/475361/)
      * can it implement disablenetwork?
      * also, are there no races because we don't read through pointers?
  * is there a standard protobuf for log events / errors?
  * ["The s2e Platform: Design, Implementation, and Applications](http://dslab.epfl.ch/pubs/s2e-tocs.pdf)
  * ["Computationally Sound Proofs"](http://projecteuclid.org/euclid.lnl/1235415908)
  * ["Topology, morphisms, and randomness in the space of formal languages"](http://purl.fcla.edu/fcla/etd/SFE0001250)