Buggy C++ (including use of == in place of =) enabled an attacker to create Zcoin from thin air: https://makebitcoingreatagain.wordpress.com/2017/02/18/is-the-zcoin-bug-in-checktransaction/ (formal methods?)
miniblog.
Related Posts
Short and very accessible introduction to implementing unification, including Python sample code:
Apple is going to significantly open up iPhones, including allowing third party app stores!
I've released difftastic 0.35! In this release:
* Basic support for Makefile syntax
* Support for UTF-16 files (helpful on Windows)
* Several quality of life improvements, including the ability to see what languages are currently supported
