SAT solving - An alternative to brute force bitcoin mining http://jheusser.github.io/2013/02/03/satcoin.html SATソルバでBitCoin採掘という話。 確かにこれまでにも暗号のアタック等への応用はあったので、なるほどという感じで、面白そう。 まあ、現実的にはなかなか難しそうではあるけれど……