--- 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