Skip to content

Top Best Ask Show New Jobs

taocp | Better HN

taocp

223 karmaJoined January 16, 20129 submissions

Who cares?

Recent submissions

1

Aardvark: OpenAI's agent security researcher (opens in new tab)

(openai.com)

1taocp7mo ago1

2

Premature abstraction (opens in new tab)

(billgyang.blogspot.com)

1taocp9y ago0

3

Demystifying the Secure Enclave Processor [pdf] (opens in new tab)

(blackhat.com)PDF

124taocp9y ago32

4

The Z3 theorem prover is now open source (opens in new tab)

(research.microsoft.com)

137taocp13y ago74

5

Webkit bugs and machine learning (opens in new tab)

(docs.google.com)

3taocp14y ago0