taocp's submissions | Hacker News

1.		Aardvark: OpenAI's agent security researcher (openai.com)
		1 point by taocp 89 days ago \| past \| 1 comment
2.		Premature abstraction (billgyang.blogspot.com)
		1 point by taocp on Feb 11, 2017 \| past
3.		Demystifying the Secure Enclave Processor [pdf] (blackhat.com)
		124 points by taocp on Aug 5, 2016 \| past \| 32 comments
4.		The Z3 theorem prover is now open source (research.microsoft.com)
		137 points by taocp on Oct 3, 2012 \| past \| 74 comments
5.		Webkit bugs and machine learning (docs.google.com)
		3 points by taocp on Jan 16, 2012 \| past