Thoughts for January 8-15, 2012

Some fun things/questions I encountered this week:

• seccomp_filter
  • 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
• “Computationally Sound Proofs”
• “Topology, morphisms, and randomness in the space of formal languages”