taocp

Aardvark: OpenAI's agent security researcher

Posted by taocp on Friday October 31, 2025 @02:15AM
from the openai.com dept.

https://openai.com/index/introducing-aardvark/

( Read More... | 1 comment | on HN )

Re:Statically Recompiling NES Games into Native Executables with LLVM ... on Friday September 15, 2017 @09:17AM (#15256858)

http://mp2.dk/blog/blog/2014/04/14/practical-and-portable-bi...

Re:Low-Level Programming University – A roadmap to becoming a low-leve... on Thursday April 13, 2017 @10:40AM (#14107321)

low level programming knowledge is fundamental if you want to work with security research (software vulnerabilities, reverse engineering and exploits) and the job market at the moment is quite big.

Premature abstraction

Posted by taocp on Saturday February 11, 2017 @06:01AM
from the billgyang.blogspot.com dept.

http://billgyang.blogspot.com/2010/08/premature-abstraction.html?m=1

( Read More... | no comments | on HN )

Demystifying the Secure Enclave Processor [pdf]

Posted by taocp on Friday August 05, 2016 @08:35AM
from the blackhat.com dept.

https://www.blackhat.com/docs/us-16/materials/us-16-Mandt-Demystifying-The-Secure-Enclave-Processor.pdf

( Read More... | 32 comments | 124 points | on HN )

Re:Intel releases open source GraphBuilder for big data on Saturday December 08, 2012 @06:51AM (#4891438)

Link of the project: https://01.org/graphbuilder/

The Z3 theorem prover is now open source

Posted by taocp on Wednesday October 03, 2012 @03:11AM
from the research.microsoft.com dept.

http://research.microsoft.com/en-us/um/people/leonardo/blog/2012/10/02/open-z3.html

( Read More... | 74 comments | 137 points | on HN )

Re:Hastebin on Monday January 23, 2012 @08:33PM (#3503044)

source: https://github.com/seejohnrun/haste-server

Webkit bugs and machine learning

Posted by taocp on Monday January 16, 2012 @09:14AM
from the docs.google.com dept.

https://docs.google.com/open?id=0BxZoFCCxl7lfNGVkZjhmZWMtZTNkOS00MzIzLWIzMDctYTM0YTUwMTExZWZh

( Read More... | no comments | 3 points | on HN )