Hacker News new | ask | show | jobs
user: taocp
created: 2012-01-16
karma: 223

Who cares?

submissions:

Aardvark: OpenAI's agent security researcher
1 points | 1 comments
0 points | 0 comments
0 points | 0 comments
Premature abstraction
1 points | 0 comments
Demystifying the Secure Enclave Processor [pdf]
124 points | 32 comments
0 points | 0 comments
The Z3 theorem prover is now open source
137 points | 74 comments
0 points | 0 comments
Webkit bugs and machine learning
3 points | 0 comments