--- Day changed Sun Jan 22 2017
03:28 < gmaxwell> This is a good paper: http://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201606-pldi2016-clanguage.pdf
05:22 -!- jtimon [~quassel@245.30.134.37.dynamic.jazztel.es] has joined #secp256k1     
05:45 -!- afk11 [~user@2a02:a210:301:7980:b1e4:3905:dd7e:dee8] has quit [Quit: Leaving]     
07:31 -!- aalex [~aalex@64.187.177.58] has joined #secp256k1     
07:36 -!- jtimon [~quassel@245.30.134.37.dynamic.jazztel.es] has quit [Ping timeout: 245 seconds]     
07:38 -!- aalex [~aalex@64.187.177.58] has quit [Ping timeout: 252 seconds]     
12:23 -!- jtimon [~quassel@245.30.134.37.dynamic.jazztel.es] has joined #secp256k1     
15:52 -!- jtimon [~quassel@245.30.134.37.dynamic.jazztel.es] has quit [Ping timeout: 256 seconds]     
18:39 -!- aalex [~aalex@64.187.177.58] has joined #secp256k1     
19:14 -!- aalex [~aalex@64.187.177.58] has quit [Ping timeout: 276 seconds]     
21:04 < midnightmagic> gmaxwell: yet another consensus problem, except with much worse implications than the SUS/POSIX.
21:13 -!- adlai [~adlai@unaffiliated/adlai] has quit [Ping timeout: 260 seconds]     
21:18 -!- adlai [~adlai@unaffiliated/adlai] has joined #secp256k1     
22:43 -!- aalex [~aalex@64.187.177.58] has joined #secp256k1     
22:50 -!- aalex [~aalex@64.187.177.58] has quit [Ping timeout: 256 seconds]