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
Interesting security research on radio car key fobs. Tesla's model of regular over-the-air updates enabled a much faster fix. An upside of the "update all your appliances" model for consumer software!
It's good to see websites acknowledging the grim irony that you need cookies to remember users' cookie preference.
I'm surprised that there isn't a microformat specification for this yet. If one browser enabled users to blanket hide all of these I think others would follow.
Today I learnt that Arch Linux has a paccache.timer built-in service. This service (you can enable it from systemctl) ensures your package cache doesn't grow excessively.
Really handy, though I wonder why it isn't enabled by default.