--- Log opened Sun Feb 09 00:00:33 2020
02:06 < elichai2> gwillen: it still with us :) they haven't announced yet when exactly will it go down
02:09 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Excess Flood]
02:09 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined #rust-bitcoin
03:06 -!- Lea58Torp [~Lea58Torp@ns334669.ip-5-196-64.eu] has joined #rust-bitcoin
03:13 -!- mryandao [~mryandao@gateway/tor-sasl/mryandao] has quit [Read error: Connection reset by peer]
03:13 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Read error: Connection reset by peer]
03:20 < yancy> dongcarl: hello!
03:21 -!- mryandao [~mryandao@gateway/tor-sasl/mryandao] has joined #rust-bitcoin
03:23 -!- Lea58Torp [~Lea58Torp@ns334669.ip-5-196-64.eu] has quit [Ping timeout: 268 seconds]
03:29 -!- Kiminuo [~mix@141.98.103.206] has quit [Ping timeout: 260 seconds]
03:30 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #rust-bitcoin
03:45 -!- belcher [~belcher@unaffiliated/belcher] has joined #rust-bitcoin
03:58 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection]
03:59 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #rust-bitcoin
05:14 < elichai2> andytoshi: stevenroose, we have a test that aborts if you run it with `external-symbols`. not sure if we care, but https://github.com/rust-bitcoin/rust-secp256k1/blob/master/src/lib.rs#L790 with the default library this will abort (by calling the callback)
05:36 < elichai2> who wants to see something fun? I've transformed libsecp256k1 to rust using c2rust (*for fun only*) https://github.com/elichai/rust-secp256k1/tree/c2rust
05:36 < elichai2> this passes all the tests and actually performs as good as the C impl!
05:36 < elichai2> this is the actual code it produced: https://raw.githubusercontent.com/elichai/rust-secp256k1/c2rust/c2rust_out/src/src/secp256k1.rs
05:48 < icota[m]> not very idiomatic :)
05:48 < icota[m]> but cool nevertheless
05:51 < icota[m]> perhaps autoapply clippy recommendations and see if that makes it underperform
05:51 < elichai2> icota[m]: I think it's somewhat on purpose, it's trying to do C code in rust
05:51 < elichai2> icota[m]: how can I autoapply them?
05:52 < icota[m]> elichai2: https://github.com/rust-lang/rust-clippy#automatically-applying-clippy-suggestions
05:52 < elichai2> Awesome! I really really looked for that a while ago
05:57 < elichai2> I wonder what happens when we run this through miri (after removing the linkage tricks because miri doesn't support "foreign callls" even if they're in rust :( )
05:59 -!- Kiminuo [~mix@141.98.103.206] has joined #rust-bitcoin
06:00 -!- belcher [~belcher@unaffiliated/belcher] has quit [Quit: Leaving]
06:10 -!- rjected [~rjected@natp-128-119-202-46.wireless.umass.edu] has joined #rust-bitcoin
06:10 -!- varioust [~varioust@cpe-108-167-11-88.neb.res.rr.com] has quit [Ping timeout: 256 seconds]
06:10 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection]
06:11 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #rust-bitcoin
06:29 -!- rjected [~rjected@natp-128-119-202-46.wireless.umass.edu] has quit [Quit: WeeChat 2.7]
06:31 -!- varioust [~varioust@rrcs-76-79-17-10.west.biz.rr.com] has joined #rust-bitcoin
06:55 -!- varioust [~varioust@rrcs-76-79-17-10.west.biz.rr.com] has quit [Quit: varioust]
07:27 -!- Kiminuo [~mix@141.98.103.206] has quit [Read error: Connection reset by peer]
07:43 -!- varioust [~varioust@rrcs-76-79-17-10.west.biz.rr.com] has joined #rust-bitcoin
07:59 -!- varioust [~varioust@rrcs-76-79-17-10.west.biz.rr.com] has quit [Quit: varioust]
08:04 -!- varioust [~varioust@rrcs-76-79-17-10.west.biz.rr.com] has joined #rust-bitcoin
08:05 -!- varioust [~varioust@rrcs-76-79-17-10.west.biz.rr.com] has quit [Client Quit]
08:05 -!- varioust [~varioust@72-46-56-102.lnk.ne.static.allophone.net] has joined #rust-bitcoin
08:10 -!- varioust [~varioust@72-46-56-102.lnk.ne.static.allophone.net] has quit [Quit: varioust]
08:10 -!- varioust [~varioust@72-46-56-102.lnk.ne.static.allophone.net] has joined #rust-bitcoin
08:11 -!- varioust [~varioust@72-46-56-102.lnk.ne.static.allophone.net] has quit [Client Quit]
08:11 -!- varioust [~varioust@rrcs-76-79-17-10.west.biz.rr.com] has joined #rust-bitcoin
09:33 -!- varioust [~varioust@rrcs-76-79-17-10.west.biz.rr.com] has quit [Quit: varioust]
09:33 -!- varioust [~varioust@rrcs-76-79-17-10.west.biz.rr.com] has joined #rust-bitcoin
09:38 -!- varioust [~varioust@rrcs-76-79-17-10.west.biz.rr.com] has quit [Ping timeout: 240 seconds]
09:38 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection]
09:40 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #rust-bitcoin
11:18 -!- varioust [~varioust@cpe-108-167-11-88.neb.res.rr.com] has joined #rust-bitcoin
11:44 -!- mauz555 [~mauz555@2a01:e35:8ab1:dea0:4a3:5861:374b:bdaf] has joined #rust-bitcoin
13:24 -!- Netsplit *.net <-> *.split quits: devcarrot, stanimal, ariard_
13:26 -!- Netsplit over, joins: ariard_, stanimal, devcarrot
13:30 -!- Netsplit *.net <-> *.split quits: jamesob, nothingmuch, Aleru, philbw4, raj_, valwal, felixweis
13:30 -!- Netsplit over, joins: nothingmuch, felixweis, raj_, valwal, jamesob, Aleru, philbw4
13:31 -!- Netsplit *.net <-> *.split quits: mauz555, wumpus, BlueMatt, yancy, willcl_ark
13:32 -!- Netsplit over, joins: willcl_ark
13:33 -!- Netsplit over, joins: mauz555, BlueMatt, wumpus, yancy
13:33 -!- Netsplit *.net <-> *.split quits: sgeisler, esotericnonsense, midnight, icota[m]
13:33 -!- sgeisler [sid356034@gateway/web/irccloud.com/x-kpaugyjjvyyxeiqj] has joined #rust-bitcoin
13:33 -!- mauz555 [~mauz555@2a01:e35:8ab1:dea0:4a3:5861:374b:bdaf] has quit [Max SendQ exceeded]
13:34 -!- Netsplit over, joins: esotericnonsense
13:34 -!- mauz555 [~mauz555@2a01:e35:8ab1:dea0:4a3:5861:374b:bdaf] has joined #rust-bitcoin
13:34 -!- midnight [~midnight@unaffiliated/midnightmagic] has joined #rust-bitcoin
13:35 -!- Netsplit *.net <-> *.split quits: warren, neonknight64
13:35 -!- Netsplit *.net <-> *.split quits: kallewoof, harding, fiatjaf, rodarmor
13:35 -!- Netsplit over, joins: neonknight64, warren
13:35 -!- Netsplit over, joins: harding, fiatjaf, rodarmor, kallewoof
13:35 -!- Netsplit *.net <-> *.split quits: instagibbs, CubicEarth, CjS77, vindard, kanzure, Blackwolfsa4, titanbiscuit
13:36 -!- Netsplit *.net <-> *.split quits: nothingmuch, Aleru, jamesob, philbw4, ariard_, fjahr, jkczyz, midnight, harding, justinmoon,  (+37 more, use /NETSPLIT to show all of them)
13:38 -!- Netsplit over, joins: evalr
13:38 -!- instagibbs [~instagibb@pool-71-178-191-230.washdc.fios.verizon.net] has joined #rust-bitcoin
13:38 -!- vindard [~vindard@190.83.165.233] has joined #rust-bitcoin
13:38 -!- kanzure [~kanzure@unaffiliated/kanzure] has joined #rust-bitcoin
13:38 -!- CjS77 [~caylemeis@195.159.29.126] has joined #rust-bitcoin
13:38 -!- Blackwolfsa4 [~Blackwolf@195.159.29.126] has joined #rust-bitcoin
13:38 -!- CubicEarth [~CubicEart@c-67-168-1-172.hsd1.wa.comcast.net] has joined #rust-bitcoin
13:38 -!- titanbiscuit [~tbisk@104.200.131.10] has joined #rust-bitcoin
13:38 -!- Netsplit over, joins: harding, fiatjaf, midnight, BlueMatt, willcl_ark, nothingmuch, ghost43, schmidty, windsok, slimcognito (+31 more)
13:38 -!- dpc [dpcmatrixo@gateway/shell/matrix.org/x-dhmjpnpvarblbbgt] has quit [Ping timeout: 256 seconds]
13:38 -!- Netsplit over, joins: gwillen, drolmer, Ed0, willcl_ark_
13:38 -!- Netsplit *.net <-> *.split quits: real_or_random
13:39 -!- Netsplit *.net <-> *.split quits: moneyball, dmkathayat, fjahr, wallet42, jkczyz, schmidty, slimcognito, takinbo, elichai2, justinmoon,  (+1 more, use /NETSPLIT to show all of them)
13:39 -!- Netsplit over, joins: real_or_random
13:39 -!- Netsplit *.net <-> *.split quits: mryandao, ghost43
13:39 -!- Netsplit over, joins: fjahr, takinbo, schmidty, justinmoon, slimcognito, windsok, elichai2, wallet42, moneyball, jkczyz (+1 more)
13:39 -!- elichai2 [sid212594@gateway/web/irccloud.com/x-cbgzncrypihcnuzr] has quit [Ping timeout: 245 seconds]
13:40 -!- rodarmor [sid210835@gateway/web/irccloud.com/x-wnxojtlfptkdcfih] has quit [Ping timeout: 260 seconds]
13:42 -!- schmidty [sid297174@gateway/web/irccloud.com/x-frphjgyxoixiqfhi] has quit [Ping timeout: 245 seconds]
13:42 -!- gribble [~gribble@unaffiliated/nanotube/bot/gribble] has joined #rust-bitcoin
13:44 -!- schmidty [sid297174@gateway/web/irccloud.com/x-qcozuqvpewfxjjtb] has joined #rust-bitcoin
13:44 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #rust-bitcoin
13:44 -!- mryandao [~mryandao@gateway/tor-sasl/mryandao] has joined #rust-bitcoin
13:45 -!- Netsplit *.net <-> *.split quits: mryandao, ghost43
13:50 -!- Netsplit over, joins: ghost43, mryandao
13:50 -!- elichai2 [sid212594@gateway/web/irccloud.com/x-poaqqqpfoopjpogd] has joined #rust-bitcoin
13:52 -!- rodarmor [sid210835@gateway/web/irccloud.com/session] has joined #rust-bitcoin
13:52 -!- rodarmor [sid210835@gateway/web/irccloud.com/session] has quit [Changing host]
13:52 -!- rodarmor [sid210835@gateway/web/irccloud.com/x-wkfvjktacgyvjtgn] has joined #rust-bitcoin
14:02 -!- Netsplit *.net <-> *.split quits: mryandao, ghost43
14:07 -!- Netsplit over, joins: ghost43, mryandao
14:21 -!- rjected [~rjected@natp-128-119-202-46.wireless.umass.edu] has joined #rust-bitcoin
15:25 -!- varioust [~varioust@cpe-108-167-11-88.neb.res.rr.com] has quit [Ping timeout: 265 seconds]
15:48 -!- varioust [~varioust@rrcs-76-79-17-10.west.biz.rr.com] has joined #rust-bitcoin
15:48 -!- varioust [~varioust@rrcs-76-79-17-10.west.biz.rr.com] has quit [Remote host closed the connection]
15:49 -!- varioust [~varioust@72-46-56-102.lnk.ne.static.allophone.net] has joined #rust-bitcoin
15:56 -!- dongcarl [~dongcarl@unaffiliated/dongcarl] has quit [Quit: Ping timeout (120 seconds)]
15:58 -!- dongcarl8 [~dongcarl@unaffiliated/dongcarl] has joined #rust-bitcoin
15:58 -!- stevenroose [~steven@95.179.221.93] has quit [Quit: ZNC 1.7.4 - https://znc.in]
15:59 -!- stevenro- [~steven@irc.roose.io] has joined #rust-bitcoin
16:00 -!- dongcarl8 is now known as dongcarl
16:38 -!- varioust [~varioust@72-46-56-102.lnk.ne.static.allophone.net] has quit [Quit: varioust]
16:38 -!- varioust [~varioust@rrcs-76-79-17-10.west.biz.rr.com] has joined #rust-bitcoin
17:06 -!- mauz555 [~mauz555@2a01:e35:8ab1:dea0:4a3:5861:374b:bdaf] has quit []
17:08 -!- pkr [~pkr@158.140.254.215] has quit [Quit: Quit]
17:09 -!- pkr [~pkr@158.140.254.215] has joined #rust-bitcoin
17:14 -!- pkr [~pkr@158.140.254.215] has quit [Quit: Quit]
17:15 -!- pkr [~pkr@158.140.254.215] has joined #rust-bitcoin
17:36 -!- rjected [~rjected@natp-128-119-202-46.wireless.umass.edu] has quit [Quit: WeeChat 2.7]
17:38 -!- varioust [~varioust@rrcs-76-79-17-10.west.biz.rr.com] has quit [Ping timeout: 240 seconds]
18:18 -!- simian_za [~simian_za@195.159.29.126] has quit [Ping timeout: 265 seconds]
18:44 -!- varioust [~varioust@cpe-108-167-11-88.neb.res.rr.com] has joined #rust-bitcoin
18:44 -!- varioust [~varioust@cpe-108-167-11-88.neb.res.rr.com] has quit [Remote host closed the connection]
18:45 -!- varioust [~varioust@cpe-108-167-11-88.neb.res.rr.com] has joined #rust-bitcoin
21:52 -!- DeanGuss [~dean@gateway/tor-sasl/deanguss] has joined #rust-bitcoin
21:53 -!- DeanGuss [~dean@gateway/tor-sasl/deanguss] has quit [Remote host closed the connection]
22:09 -!- DeanGuss [~dean@gateway/tor-sasl/deanguss] has joined #rust-bitcoin
--- Log closed Mon Feb 10 00:00:34 2020