Halfwitz comments on MIRI’s Winter 2013 Matching Challenge

[Halfwitz]

0.1 BTC. Had some left over in a hot wallet, and I have a vague recollection of precommitting to donate around 50 bucks if MIRI impressed me with their attempts to improve the productivity of their organization.

[lukeprog]

Thanks!