Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
taocp | Better HN
user
taocp
223 karma
Joined January 16, 2012
9 submissions
Who cares?
Recent submissions
1
Aardvark: OpenAI's agent security researcher
(opens in new tab)
openai.com
1
taocp
6mo ago
1
2
Premature abstraction
(opens in new tab)
billgyang.blogspot.com
1
taocp
9y ago
0
3
Demystifying the Secure Enclave Processor [pdf]
(opens in new tab)
blackhat.com
124
taocp
9y ago
32
4
The Z3 theorem prover is now open source
(opens in new tab)
research.microsoft.com
137
taocp
13y ago
74
5
Webkit bugs and machine learning
(opens in new tab)
docs.google.com
3
taocp
14y ago
0
