Injecting a Chess Engine into Amazon Redshift
http://www.michaelburge.us/2017/09/10/injecting-shellcode-to-speed-up-amazon-redshift.html [www.michaelburge.us]
2017-09-14 05:34
By loading shellcode into python. And then things get weird.
source: L
site: www.michaelburge.us
Injecting a Chess Engine into Amazon Redshift
http://www.michaelburge.us/2017/09/10/injecting-shellcode-to-speed-up-amazon-redshift.html [www.michaelburge.us]
2017-09-14 05:34
By loading shellcode into python. And then things get weird.
source: L
Writing a Formally-Verified Porn Browser in Coq and Haskell
http://www.michaelburge.us/2017/08/25/writing-a-formally-verified-porn-browser-in-coq.html [www.michaelburge.us]
2017-08-27 01:12
Hopefully this example shows that there’s nothing really stopping anyone from using Coq in their Haskell programs today.
source: L