| user: | taocp |
| created: | January 16, 2012 |
| karma: | 223 |
| about: | Who cares? |
| 1. | Aardvark: OpenAI's agent security researcher(openai.com) |
| 2. | Premature abstraction(billgyang.blogspot.com) |
| 3. | Demystifying the Secure Enclave Processor [pdf](blackhat.com) |
| 4. | The Z3 theorem prover is now open source(research.microsoft.com) |
| 5. | Webkit bugs and machine learning(docs.google.com) |