HN
Hacker News
Top
New
Best
Ask
Show
Jobs
taocp
223 karma · joined January 16, 2012
Who cares?
submissions
comments
Aardvark: OpenAI's agent security researcher
openai.com
·
1 pts
·
taocp
·
1
Premature abstraction
billgyang.blogspot.com
·
1 pts
·
taocp
·
0
Demystifying the Secure Enclave Processor [pdf]
blackhat.com
·
124 pts
·
taocp
·
32
The Z3 theorem prover is now open source
research.microsoft.com
·
137 pts
·
taocp
·
74
Webkit bugs and machine learning
docs.google.com
·
3 pts
·
taocp
·
0