2015-02-16.log

--- Log opened Mon Feb 16 00:00:56 2015
Taekhttps://news.ycombinator.com/item?id=9055073 - this is an idea that has obsessed me a bit for the past year or so00:03
Taekthe idea of an autonomous, self repairing, self reproducing fleet of cars that finances itself by being a taxi service is super attractive. It'll be nearly alive, and it'll pay for all of its own human services00:04
TaekAnd Bitcoin is a pretty natural choice for currency, as it protects the cars from legal action that might freeze the funding. It won't protect the cars from seizure or force but at least you'll have financial security00:06
-!- Mably [~Mably@unaffiliated/mably] has quit [Ping timeout: 246 seconds]00:07
-!- orperelman [~orperelma@bzq-79-181-128-67.red.bezeqint.net] has joined #bitcoin-wizards00:09
-!- hhh98 [~ubuntu@static-108-45-93-72.washdc.fios.verizon.net] has joined #bitcoin-wizards00:10
-!- TD-Linux [~Thomas@about/essy/indecisive/TD-Linux] has quit [Ping timeout: 265 seconds]00:12
-!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has quit [Quit: Leaving]00:12
-!- ftrete6egdr [~ubuntu@static-108-45-93-72.washdc.fios.verizon.net] has joined #bitcoin-wizards00:13
-!- TD-Linux [~Thomas@about/essy/indecisive/TD-Linux] has joined #bitcoin-wizards00:13
-!- btcdrak [uid52049@gateway/web/irccloud.com/x-psslqebyfqtxpmks] has joined #bitcoin-wizards00:16
-!- orperelman [~orperelma@bzq-79-181-128-67.red.bezeqint.net] has quit []00:25
-!- lechuga_ [~lechuga@onegrandcircle.com] has quit [Ping timeout: 255 seconds]00:25
-!- lechuga_ [~lechuga@onegrandcircle.com] has joined #bitcoin-wizards00:32
-!- lclc_bnc is now known as lclc00:32
-!- Mably [56401ec5@gateway/web/freenode/ip.86.64.30.197] has joined #bitcoin-wizards00:38
-!- paveljanik [~paveljani@14.150.broadband14.iol.cz] has joined #bitcoin-wizards00:43
-!- paveljanik [~paveljani@14.150.broadband14.iol.cz] has quit [Changing host]00:43
-!- paveljanik [~paveljani@unaffiliated/paveljanik] has joined #bitcoin-wizards00:43
-!- droark [~droark@209-6-53-207.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit [Quit: ZZZzzz…]00:50
-!- adam3us [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has joined #bitcoin-wizards00:58
-!- iddo [~idddo@unaffiliated/iddo] has quit [Ping timeout: 255 seconds]00:58
-!- iddo [~idddo@csm.cs.technion.ac.il] has joined #bitcoin-wizards01:00
-!- andy-logbot [~bitcoin--@wpsoftware.net] has quit [Remote host closed the connection]01:05
-!- andy-logbot [~bitcoin--@wpsoftware.net] has joined #bitcoin-wizards01:05
* andy-logbot is logging01:05
-!- jtimon [~quassel@2601:9:3640:103:e0f5:188a:608:1725] has quit [Ping timeout: 265 seconds]01:06
-!- CoinMuncher [~jannes@178.132.211.90] has joined #bitcoin-wizards01:14
-!- airbreather_1 [~AirBreath@d149-67-99-43.nap.wideopenwest.com] has joined #bitcoin-wizards01:24
-!- airbreather [~AirBreath@d149-67-99-43.nap.wideopenwest.com] has quit [Ping timeout: 252 seconds]01:27
-!- wallet42 [~wallet42@86.125.49.61] has joined #bitcoin-wizards01:28
-!- wallet42 [~wallet42@86.125.49.61] has quit [Read error: Connection reset by peer]01:32
-!- wallet42 [~wallet42@86.125.49.61] has joined #bitcoin-wizards01:33
-!- rubensayshi [~ruben@91.206.81.13] has joined #bitcoin-wizards01:51
-!- go1111111 [~go1111111@162.244.138.37] has joined #bitcoin-wizards01:57
-!- TonyClifton [~TonyClift@gateway-nat.fmrib.ox.ac.uk] has joined #bitcoin-wizards02:04
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has quit [Ping timeout: 250 seconds]02:07
-!- airbreather_1 is now known as airbreather02:08
-!- coiner [~linker@42.115.150.180] has quit [Ping timeout: 264 seconds]02:22
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards02:23
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has joined #bitcoin-wizards02:27
-!- nick1234abcd__ [sid26299@gateway/web/irccloud.com/x-ndxpumynlqoxlufe] has quit [Quit: Connection closed for inactivity]02:33
-!- erasmospunk [~erasmospu@net-2-38-211-181.cust.vodafonedsl.it] has joined #bitcoin-wizards02:33
-!- p15_ [~p15@111.193.161.161] has joined #bitcoin-wizards02:33
-!- p15 [~p15@182.50.108.58] has quit [Ping timeout: 246 seconds]02:35
-!- mkarrer [~mkarrer@4.Red-83-34-47.dynamicIP.rima-tde.net] has joined #bitcoin-wizards02:40
-!- mkarrer [~mkarrer@4.Red-83-34-47.dynamicIP.rima-tde.net] has quit [Remote host closed the connection]02:43
-!- mkarrer [~mkarrer@4.Red-83-34-47.dynamicIP.rima-tde.net] has joined #bitcoin-wizards02:43
-!- ielo [~ielo@134.219.227.35] has joined #bitcoin-wizards02:49
-!- orik [~orik@50-46-132-219.evrt.wa.frontiernet.net] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]02:51
-!- wallet42 [~wallet42@86.125.49.61] has quit [Quit: Leaving.]02:55
-!- hearn [~mike@84-75-198-85.dclient.hispeed.ch] has joined #bitcoin-wizards02:55
-!- justanotheruser is now known as minikiwi02:58
-!- minikiwi [~Justan@unaffiliated/justanotheruser] has quit [Disconnected by services]02:58
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards02:58
-!- orik [~orik@50-46-132-219.evrt.wa.frontiernet.net] has joined #bitcoin-wizards03:04
-!- xabbix__ [~xabbix@bzq-79-176-81-5.red.bezeqint.net] has quit [Ping timeout: 246 seconds]03:07
-!- K1773R [~K1773R@unaffiliated/k1773r] has quit [Ping timeout: 250 seconds]03:10
-!- adam3us [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has quit [Ping timeout: 264 seconds]03:17
-!- paveljanik [~paveljani@unaffiliated/paveljanik] has quit [Ping timeout: 244 seconds]03:19
-!- LarsLarsen [~lars@50.161.197.33] has quit [Ping timeout: 246 seconds]03:19
-!- hhh98 [~ubuntu@static-108-45-93-72.washdc.fios.verizon.net] has quit [Remote host closed the connection]03:20
-!- ftrete6egdr [~ubuntu@static-108-45-93-72.washdc.fios.verizon.net] has quit [Remote host closed the connection]03:20
-!- Logicwax [Logicwax@c-50-161-23-192.hsd1.ca.comcast.net] has quit [Ping timeout: 246 seconds]03:20
-!- LarsLarsen [~lars@50.161.197.33] has joined #bitcoin-wizards03:23
-!- Logicwax [Logicwax@c-50-161-23-192.hsd1.ca.comcast.net] has joined #bitcoin-wizards03:24
-!- orik [~orik@50-46-132-219.evrt.wa.frontiernet.net] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]03:28
-!- d1ggy [~d1ggy@tmo-102-185.customers.d1-online.com] has joined #bitcoin-wizards03:31
-!- ahmed_ [sid14086@gateway/web/irccloud.com/x-fphxvriuzhckolsz] has quit [Quit: Connection closed for inactivity]03:43
maakuTaek: sure, but the challenges there are unrelated to money protocol03:44
-!- orik [~orik@50-46-132-219.evrt.wa.frontiernet.net] has joined #bitcoin-wizards03:47
-!- vdo [~vdo@177.Red-88-0-21.dynamicIP.rima-tde.net] has joined #bitcoin-wizards03:48
-!- lclc is now known as lclc_bnc03:50
-!- paveljanik [~paveljani@unaffiliated/paveljanik] has joined #bitcoin-wizards04:07
-!- adam3us [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has joined #bitcoin-wizards04:11
-!- orik [~orik@50-46-132-219.evrt.wa.frontiernet.net] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]04:22
-!- PRab [~chatzilla@c-98-209-175-213.hsd1.mi.comcast.net] has quit [Quit: ChatZilla 0.9.91.1 [Firefox 35.0.1/20150122214805]]04:49
-!- PRab [~chatzilla@c-98-209-175-213.hsd1.mi.comcast.net] has joined #bitcoin-wizards04:50
-!- OneNomos [~OneNomos@pool-71-163-224-80.washdc.east.verizon.net] has joined #bitcoin-wizards04:56
-!- lclc_bnc is now known as lclc04:59
-!- OneNomos [~OneNomos@pool-71-163-224-80.washdc.east.verizon.net] has quit [Ping timeout: 264 seconds]05:01
-!- TD-Linux [~Thomas@about/essy/indecisive/TD-Linux] has quit [Ping timeout: 252 seconds]05:06
-!- hearn [~mike@84-75-198-85.dclient.hispeed.ch] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]05:07
-!- rubensayshi [~ruben@91.206.81.13] has quit [Ping timeout: 264 seconds]05:10
-!- TD-Linux [~Thomas@about/essy/indecisive/TD-Linux] has joined #bitcoin-wizards05:14
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has quit [Quit: Reconnecting]05:27
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards05:27
-!- adam3us [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has quit [Quit: Leaving.]05:30
-!- adam3us [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has joined #bitcoin-wizards05:30
-!- NewLiberty [~NewLibert@2602:304:cff8:1580:34a3:42b6:14d5:1419] has joined #bitcoin-wizards05:30
-!- K1773R [~K1773R@unaffiliated/k1773r] has joined #bitcoin-wizards05:31
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has quit [Quit: Reconnecting]05:36
-!- Luke-Jr [~luke-jr@unaffiliated/luke-jr] has quit [Read error: Connection reset by peer]05:36
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards05:36
-!- Luke-Jr [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards05:37
-!- wallet42 [~wallet42@86.125.49.61] has joined #bitcoin-wizards05:42
-!- instagibbs [32f65962@gateway/web/freenode/ip.50.246.89.98] has joined #bitcoin-wizards05:42
-!- wallet42 [~wallet42@86.125.49.61] has quit [Read error: Connection reset by peer]05:43
-!- instagibbs [32f65962@gateway/web/freenode/ip.50.246.89.98] has quit [Client Quit]05:43
-!- wallet42 [~wallet42@86.125.49.61] has joined #bitcoin-wizards05:43
-!- GAit [~lnahum@2-230-161-158.ip202.fastwebnet.it] has quit [Remote host closed the connection]05:48
-!- elevation [~ceptde@73.4.229.56] has quit [Ping timeout: 255 seconds]05:49
-!- elevation [~ceptde@73.4.229.56] has joined #bitcoin-wizards05:49
-!- elevation is now known as Guest5442405:50
-!- wallet42 [~wallet42@86.125.49.61] has quit [Read error: Connection reset by peer]05:56
-!- wallet42 [~wallet42@86.125.49.61] has joined #bitcoin-wizards05:56
-!- hearn [~mike@185.25.95.132] has joined #bitcoin-wizards05:57
kanzuremaaku: perhaps i should push him into the secret channel for secret self-reproducing car stuff05:58
-!- mkarrer [~mkarrer@4.Red-83-34-47.dynamicIP.rima-tde.net] has quit [Remote host closed the connection]05:58
-!- Luke-Jr [~luke-jr@unaffiliated/luke-jr] has quit [Read error: Connection reset by peer]05:59
maakukanzure: yeah Taek's cool05:59
-!- SDCDev [~quassel@unaffiliated/sdcdev] has joined #bitcoin-wizards05:59
-!- Luke-Jr [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards05:59
-!- delll_ [~chatzilla@yh97.internetdsl.tpnet.pl] has quit [Ping timeout: 252 seconds]06:02
-!- justanotheruser is now known as jaybird06:09
-!- jaybird is now known as justanotheruser06:09
-!- GAit [~lnahum@2-230-161-158.ip202.fastwebnet.it] has joined #bitcoin-wizards06:11
-!- binaryatrocity [~atr0phy.n@69.85.87.117] has quit [Changing host]06:19
-!- binaryatrocity [~atr0phy.n@unaffiliated/br4n] has joined #bitcoin-wizards06:19
-!- lclc is now known as lclc_bnc06:20
-!- Luke-Jr [~luke-jr@unaffiliated/luke-jr] has quit [Excess Flood]06:25
-!- Luke-Jr [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards06:25
-!- Luke-Jr [~luke-jr@unaffiliated/luke-jr] has quit [Read error: Connection reset by peer]06:25
-!- adam3us [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has quit [Quit: Leaving.]06:26
-!- fanquake [~anonymous@unaffiliated/fanquake] has quit [Quit: fanquake]06:43
-!- lclc_bnc is now known as lclc06:48
-!- SDCDev [~quassel@unaffiliated/sdcdev] has quit [Read error: Connection reset by peer]06:53
-!- p15 [~p15@111.193.182.139] has joined #bitcoin-wizards06:53
-!- SDCDev [~quassel@unaffiliated/sdcdev] has joined #bitcoin-wizards06:55
-!- p15_ [~p15@111.193.161.161] has quit [Ping timeout: 250 seconds]06:55
-!- SDCDev [~quassel@unaffiliated/sdcdev] has quit [Excess Flood]06:58
-!- SDCDev [~quassel@unaffiliated/sdcdev] has joined #bitcoin-wizards06:58
-!- adam3us [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has joined #bitcoin-wizards07:04
kanzurehttp://c2.com/cgi/wiki?ProofsCantProveTheAbsenceOfBugs07:07
-!- arubi_ [~ese168@unaffiliated/arubi] has quit [Quit: Leaving]07:10
-!- SDCDev [~quassel@unaffiliated/sdcdev] has quit [Ping timeout: 265 seconds]07:12
-!- luny [~luny@unaffiliated/luny] has quit [Ping timeout: 264 seconds]07:15
-!- bramc [~bram@99-75-88-206.lightspeed.sntcca.sbcglobal.net] has joined #bitcoin-wizards07:17
-!- Mably [56401ec5@gateway/web/freenode/ip.86.64.30.197] has quit [Ping timeout: 246 seconds]07:19
-!- Mably [56401ec3@gateway/web/freenode/ip.86.64.30.195] has joined #bitcoin-wizards07:22
-!- jps [~Jud@cpe-74-72-116-143.nyc.res.rr.com] has joined #bitcoin-wizards07:26
-!- rubensayshi [~ruben@91.206.81.13] has joined #bitcoin-wizards07:27
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has quit [Ping timeout: 240 seconds]07:28
-!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has joined #bitcoin-wizards07:32
-!- d1ggy_ [~d1ggy@tmo-113-60.customers.d1-online.com] has joined #bitcoin-wizards07:32
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards07:34
-!- d1ggy [~d1ggy@tmo-102-185.customers.d1-online.com] has quit [Ping timeout: 245 seconds]07:36
-!- hearn_ [~mike@185.25.95.132] has joined #bitcoin-wizards07:40
-!- Quanttek [~quassel@ip1f1171b4.dynamic.kabel-deutschland.de] has joined #bitcoin-wizards07:40
-!- hearn_ is now known as Guest18507:41
-!- hearn [~mike@185.25.95.132] has quit [Ping timeout: 264 seconds]07:41
justanotheruserkanzure: aww, I was hoping for a proof that proofs can't prove the absence of bugs07:41
-!- adam3us [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has quit [Quit: Leaving.]07:44
-!- adam3us [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has joined #bitcoin-wizards07:45
-!- lmatteis [uid3300@gateway/web/irccloud.com/x-gixmfaisuccetltj] has joined #bitcoin-wizards07:47
-!- Guest185 [~mike@185.25.95.132] has quit [Read error: Connection reset by peer]07:47
-!- hearn [~mike@185.25.95.132] has joined #bitcoin-wizards07:47
-!- koeppelmann [~koeppelma@dyn-160-39-29-101.dyn.columbia.edu] has quit [Remote host closed the connection]07:49
-!- koeppelmann [~koeppelma@dyn-160-39-29-101.dyn.columbia.edu] has joined #bitcoin-wizards07:49
-!- nubbins` [~leel@unaffiliated/nubbins] has joined #bitcoin-wizards08:15
-!- Dr-G [~Dr-G@unaffiliated/dr-g] has quit [Ping timeout: 245 seconds]08:18
-!- linelevel [~mike@unaffiliated/linelevel] has joined #bitcoin-wizards08:22
-!- wallet42 [~wallet42@86.125.49.61] has quit [Quit: Leaving.]08:23
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has quit [Ping timeout: 252 seconds]08:24
-!- hearn [~mike@185.25.95.132] has quit [Read error: Connection reset by peer]08:26
-!- hearn [~mike@185.25.95.132] has joined #bitcoin-wizards08:27
-!- cornusammonis [~Cornus@pool-96-255-179-93.washdc.fios.verizon.net] has joined #bitcoin-wizards08:31
-!- cornus_ammonis [~Cornus@pool-96-255-179-93.washdc.fios.verizon.net] has quit [Ping timeout: 246 seconds]08:34
-!- Dr-G [~Dr-G@unaffiliated/dr-g] has joined #bitcoin-wizards08:36
-!- dosk [~dosk@ip184-180-245-185.ks.ks.cox.net] has joined #bitcoin-wizards08:36
-!- jps [~Jud@cpe-74-72-116-143.nyc.res.rr.com] has quit [Quit: jps]08:44
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards08:44
-!- jps [~Jud@cpe-74-72-116-143.nyc.res.rr.com] has joined #bitcoin-wizards08:46
-!- wallet42 [~wallet42@86.125.49.61] has joined #bitcoin-wizards08:49
-!- evanxbt [d1286407@gateway/web/freenode/ip.209.40.100.7] has joined #bitcoin-wizards08:50
-!- wallet42 [~wallet42@86.125.49.61] has quit [Read error: Connection reset by peer]08:51
-!- wallet42 [~wallet42@86.125.49.61] has joined #bitcoin-wizards08:52
-!- dosk [~dosk@ip184-180-245-185.ks.ks.cox.net] has quit [Read error: Connection reset by peer]08:53
-!- dosk [~dosk@ip184-180-245-185.ks.ks.cox.net] has joined #bitcoin-wizards08:54
-!- dosk [~dosk@ip184-180-245-185.ks.ks.cox.net] has quit [Read error: Connection reset by peer]08:55
-!- roidster [~chatzilla@96-41-48-194.dhcp.mtpk.ca.charter.com] has joined #bitcoin-wizards08:55
-!- dosk [~dosk@ip184-180-245-185.ks.ks.cox.net] has joined #bitcoin-wizards08:56
-!- mkarrer [~mkarrer@4.Red-83-34-47.dynamicIP.rima-tde.net] has joined #bitcoin-wizards08:57
-!- cornus_ammonis [~Cornus@pool-96-255-179-93.washdc.fios.verizon.net] has joined #bitcoin-wizards09:03
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has quit [Ping timeout: 244 seconds]09:04
-!- lclc is now known as lclc_bnc09:05
-!- cornusammonis [~Cornus@pool-96-255-179-93.washdc.fios.verizon.net] has quit [Ping timeout: 256 seconds]09:05
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards09:05
-!- execut3 [~shesek@77.125.221.163] has joined #bitcoin-wizards09:06
-!- cornusammonis [~Cornus@pool-96-255-179-93.washdc.fios.verizon.net] has joined #bitcoin-wizards09:06
-!- cornus_ammonis [~Cornus@pool-96-255-179-93.washdc.fios.verizon.net] has quit [Ping timeout: 246 seconds]09:07
-!- shesek [~shesek@87.68.49.90.cable.012.net.il] has quit [Disconnected by services]09:08
-!- execut3 is now known as shesek09:08
-!- cornus_ammonis [~Cornus@pool-96-255-179-93.washdc.fios.verizon.net] has joined #bitcoin-wizards09:12
-!- richardkiss [~richardki@108-94-29-170.lightspeed.sntcca.sbcglobal.net] has joined #bitcoin-wizards09:13
-!- cornusammonis [~Cornus@pool-96-255-179-93.washdc.fios.verizon.net] has quit [Ping timeout: 246 seconds]09:15
-!- shesek [~shesek@77.125.221.163] has quit [Ping timeout: 252 seconds]09:17
-!- Netsplit *.net <-> *.split quits: flower_, indolering, Eliel, huseby, ryan-c, hashtag, amiller, warptangent, Graet, veox, (+3 more, use /NETSPLIT to show all of them)09:25
-!- hearn [~mike@185.25.95.132] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]09:28
-!- Mably [56401ec3@gateway/web/freenode/ip.86.64.30.195] has quit [Quit: Page closed]09:29
-!- shesek [~shesek@77.125.221.163] has joined #bitcoin-wizards09:30
-!- Netsplit over, joins: K1773R, hashtag, flower_, tromp, huseby, indolering, warptangent, amiller, veox, Eliel (+3 more)09:31
-!- wallet42 [~wallet42@86.125.49.61] has quit [Quit: Leaving.]09:31
-!- flower_ [~user@202.44.238.15] has quit [Max SendQ exceeded]09:31
-!- flower [~user@202.44.238.15] has joined #bitcoin-wizards09:33
-!- wallet42 [~wallet42@86.125.49.61] has joined #bitcoin-wizards09:34
-!- Mably [56401ec3@gateway/web/freenode/ip.86.64.30.195] has joined #bitcoin-wizards09:34
-!- execut3 [~shesek@IGLD-84-229-146-213.inter.net.il] has joined #bitcoin-wizards09:34
-!- shesek [~shesek@77.125.221.163] has quit [Ping timeout: 245 seconds]09:35
-!- dosk [~dosk@ip184-180-245-185.ks.ks.cox.net] has quit [Read error: Connection reset by peer]09:38
-!- dosk [~dosk@ip184-180-245-185.ks.ks.cox.net] has joined #bitcoin-wizards09:38
-!- wallet42 [~wallet42@86.125.49.61] has quit [Quit: Leaving.]09:41
-!- execut3 [~shesek@IGLD-84-229-146-213.inter.net.il] has quit [Ping timeout: 264 seconds]09:42
-!- dosk [~dosk@ip184-180-245-185.ks.ks.cox.net] has quit [Read error: Connection reset by peer]09:43
-!- vdo [~vdo@177.Red-88-0-21.dynamicIP.rima-tde.net] has quit [Quit: Lost terminal]09:46
-!- bramc [~bram@99-75-88-206.lightspeed.sntcca.sbcglobal.net] has quit [Quit: This computer has gone to sleep]09:52
-!- execut3 [~shesek@IGLD-84-229-146-213.inter.net.il] has joined #bitcoin-wizards09:58
-!- d1ggy [~d1ggy@tmo-112-137.customers.d1-online.com] has joined #bitcoin-wizards10:07
-!- d1ggy_ [~d1ggy@tmo-113-60.customers.d1-online.com] has quit [Ping timeout: 250 seconds]10:07
-!- rubensayshi [~ruben@91.206.81.13] has quit [Remote host closed the connection]10:20
-!- execut3 [~shesek@IGLD-84-229-146-213.inter.net.il] has quit [Quit: Leaving]10:26
-!- shesek [~shesek@IGLD-84-229-146-213.inter.net.il] has joined #bitcoin-wizards10:27
-!- Mably [56401ec3@gateway/web/freenode/ip.86.64.30.195] has quit [Quit: Page closed]10:28
-!- jps [~Jud@cpe-74-72-116-143.nyc.res.rr.com] has quit [Quit: jps]10:30
-!- freewil [~freewil@unaffiliated/freewil] has joined #bitcoin-wizards10:38
-!- richardkiss [~richardki@108-94-29-170.lightspeed.sntcca.sbcglobal.net] has quit [Quit: richardkiss]10:41
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has quit [Ping timeout: 252 seconds]10:44
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards10:45
-!- hashtag [~hashtagg_@69.23.213.3] has quit [Read error: Connection reset by peer]10:46
-!- CoinMuncher [~jannes@178.132.211.90] has quit [Quit: Leaving.]10:46
-!- hashtag [~hashtagg_@CPE-69-23-213-3.wi.res.rr.com] has joined #bitcoin-wizards10:47
-!- roidster [~chatzilla@96-41-48-194.dhcp.mtpk.ca.charter.com] has quit [Quit: ChatZilla 0.9.90.1 [SeaMonkey 2.22.1/20131113180422]]10:49
-!- arubi_ [~ese168@unaffiliated/arubi] has joined #bitcoin-wizards10:54
-!- adam3us [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has quit [Quit: Leaving.]10:57
-!- adam3us [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has joined #bitcoin-wizards10:58
-!- richardkiss [~richardki@108-94-29-170.lightspeed.sntcca.sbcglobal.net] has joined #bitcoin-wizards10:58
-!- hearn [~mike@84-75-198-85.dclient.hispeed.ch] has joined #bitcoin-wizards11:02
cfieldsstonecoldpat: assume we're thinking the same way, what pitfalls have you come up with?11:03
-!- ielo [~ielo@134.219.227.35] has quit [Ping timeout: 250 seconds]11:04
-!- d1ggy [~d1ggy@tmo-112-137.customers.d1-online.com] has quit [Ping timeout: 246 seconds]11:04
-!- d1ggy_ [~d1ggy@tmo-097-136.customers.d1-online.com] has joined #bitcoin-wizards11:05
kanzurecfields: sender pubkey is clever but you could just do a massive lookup attack i think, since sender pubkeys are knowable11:05
stonecoldpat^11:05
kanzurecfields: although the feasibility of that sort of large lookup might be not so feasible, i dunno11:05
stonecoldpatwell, there is also a signature available11:05
-!- TonyClifton [~TonyClift@gateway-nat.fmrib.ox.ac.uk] has quit [Remote host closed the connection]11:06
stonecoldpatso you have a sig + pub key, that bob can now work with11:06
stonecoldpatand that sig may reveal information11:06
cfieldskanzure: the pubkey doesn't get you anywhere....11:06
cfieldskanzure: you'd have to also know the receiver's privkey in order to generate the shared secret11:06
kanzurecfields: you can observe the network and see all transactions. so you by definition must have the pubkey.11:06
kanzureor at least a hash of the pubkey.... hm.11:07
kanzurewell now i'm unsure.11:07
cfieldskanzure: yes, i meant.. if you know the correct pubkey for the _real_ transaction, there's no way to prove it11:07
stonecoldpatif its in the input, theyll have the actual pub key11:07
kanzurecfields: so you're hoping that nobody looks at all of the possible pubkeys, and doesn't try to reconstruct those so-called (possible) stealth transactions?11:08
cfieldskanzure: no, i'm saying that it doesn't do you any good to have the real pubkey, if you don't have the sender's priv key to go with it11:08
cfieldsbecause you can't regenerate the secret without both11:08
kanzurewhat was the definition of your secret please11:09
stonecoldpatfrom what i can tell, he wants to use the pubkey stored in the input of a transaction, as opposed to one sent over https / opreturn11:09
stonecoldpatand then do a diffie with the senders pub key11:09
cfieldssender privkey * recv pubkey11:09
cfieldscorrect11:09
cfieldsthe sender tweaks the recv pubkey with that secret to derive a new pubkey, and sends the funds there11:11
stonecoldpatyeah i had an idea to do that last summer, i sent a few e-mails about it privately to some people, it should work fine11:11
stonecoldpatonly problem is that a sig is available11:11
cfieldsstonecoldpat: right. This assumes that the sender can create a compatible transaction11:11
stonecoldpatwhat do you mean by compatible11:12
stonecoldpatits just a normal transaction?11:12
cfieldsyea, just nothing crazy11:12
stonecoldpati look up your previous one, get the pub key, generate your new pub key using my pub key, and send a transaction to that derived pub key11:12
cfieldscorrect11:13
stonecoldpatmy pub key is revealed and then you just do stealth that way11:13
stonecoldpatsome worries ive had, bob knows it in advance and may force you into some number group that makes your new pub key vulnerable, but i dont have any evidence to show thats the case11:14
-!- adam3us [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has left #bitcoin-wizards []11:14
cfieldsstonecoldpat: that's part of my reason for suggesting to hash the secret before using it11:14
stonecoldpathe also has a singature, that may reveal some information about your pub key (as ecdsa in the form for bitcoin is not a zero knowledge proof, although theres a paper that hints that it could be if re-arranged)11:14
-!- adam3us [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has joined #bitcoin-wizards11:14
stonecoldpatit would have to be hashed yeah (thats whats done during a stealth)11:15
stonecoldpatyour just using a difference source of a pub key, everything else is the same11:16
cfieldsstonecoldpat: for that matter, the sender's pubkey could also be tweaked before use in creating the secret, in order to further obfuscate it11:17
-!- luny [~luny@unaffiliated/luny] has joined #bitcoin-wizards11:18
stonecoldpatyou cant trust the sender11:18
stonecoldpathe wants to steal your bitcoins if he can11:18
cfieldsno, that'd be for the sender's benefit11:18
stonecoldpatwhy would it benefit him? he sends the coins (using an ad-hoc address), he no longer has any use fori t11:18
stonecoldpathe may not even care for the privacy, its the receiver who cares (and requests that this technique is used)11:19
-!- arubi_ is now known as arubi11:19
-!- paveljanik [~paveljani@unaffiliated/paveljanik] has quit [Quit: Leaving]11:21
-!- paveljanik [~paveljani@79-98-72-216.sys-data.com] has joined #bitcoin-wizards11:21
-!- paveljanik [~paveljani@79-98-72-216.sys-data.com] has quit [Changing host]11:21
-!- paveljanik [~paveljani@unaffiliated/paveljanik] has joined #bitcoin-wizards11:21
cfieldsstonecoldpat: ok sorry, i got that backwards. the receiver's pubkey could be tweaked on the sender's side by some deterministic (but random) value, to be reversed by the receiver. in order to possibly help hide info that could be gleaned from the sig.11:24
-!- wallet42 [~wallet42@86.125.49.61] has joined #bitcoin-wizards11:26
linelevel I just saw Gavin at DevCore Boston less than a week ago, and he said he thought it would be 6 months before 0.10 was released. Guess he overestimated a bit. :)11:27
cfieldslinelevel: eh? he said 6 months for adoption11:27
stonecoldpatcfields: ive thought of that for something related, i dont think that would help as it creates extra-work for the receiver (unless random is sent via another channel) and i dont think that would really help with the sig problem11:27
kanzurecfields: btw i have a partial transcript from the livestream http://diyhpl.us/wiki/transcripts/bitcoin-devcore-2015/research-and-development-goals/11:28
stonecoldpatthen that defeats the purpose of doing it that way to begin with (to avoid out-of-band communication)11:28
linelevelcfields: Ah, okay. I guess I misunderstood.11:28
cfieldsstonecoldpat: random could be something as simple as the hash of the pubkey.11:29
cfieldser, haha, nm11:29
stonecoldpatlol11:29
stonecoldpattheres lots of tweaks you can do, but i dont think they are necessary11:30
cfieldsthis is all still fresh in my brain, i keep having to remind myself which parts are secret :)11:30
stonecoldpatif it helps, i do think its reasonably safe, a while ago i searched through the logs to find out why they didnt do it that way to begin with to no avail, but its certainly better to use an ad-hoc nonce each time for safety11:31
cfieldsstonecoldpat: well, it's a trade-off with adding an additional layer of communication.11:33
cfieldsstonecoldpat: but yes, this has helped greatly. Thanks for talking though it with me. I'll throw something together for a more in-depth discussion.11:33
-!- linelevel1 [~mike@2600:1000:b02d:35af:fce4:65d7:5376:7146] has joined #bitcoin-wizards11:34
-!- linelevel [~mike@unaffiliated/linelevel] has quit [Ping timeout: 265 seconds]11:35
-!- NewLiberty [~NewLibert@2602:304:cff8:1580:34a3:42b6:14d5:1419] has quit [Ping timeout: 265 seconds]11:35
-!- wallet42 [~wallet42@86.125.49.61] has quit [Read error: Connection reset by peer]11:38
-!- wallet42 [~wallet42@86.125.49.61] has joined #bitcoin-wizards11:38
-!- Quanttek [~quassel@ip1f1171b4.dynamic.kabel-deutschland.de] has quit [Read error: Connection reset by peer]11:39
-!- lmatteis [uid3300@gateway/web/irccloud.com/x-gixmfaisuccetltj] has quit [Quit: Connection closed for inactivity]11:40
-!- ielo [~ielo@host-78-149-139-118.as13285.net] has joined #bitcoin-wizards11:42
-!- Dr-G [~Dr-G@unaffiliated/dr-g] has quit [Ping timeout: 252 seconds]11:44
-!- d1ggy [~d1ggy@tmo-107-12.customers.d1-online.com] has joined #bitcoin-wizards11:49
-!- d1ggy_ [~d1ggy@tmo-097-136.customers.d1-online.com] has quit [Ping timeout: 245 seconds]11:51
-!- Mably [~Mably@unaffiliated/mably] has joined #bitcoin-wizards11:52
-!- jps [~Jud@cpe-74-72-116-143.nyc.res.rr.com] has joined #bitcoin-wizards11:54
-!- ielo [~ielo@host-78-149-139-118.as13285.net] has quit [Ping timeout: 252 seconds]11:55
-!- wallet42 [~wallet42@86.125.49.61] has quit [Quit: Leaving.]11:57
-!- adam3us [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has quit [Quit: Leaving.]12:03
-!- Dr-G [~Dr-G@unaffiliated/dr-g] has joined #bitcoin-wizards12:04
-!- SDCDev [~quassel@unaffiliated/sdcdev] has joined #bitcoin-wizards12:05
-!- ielo [~ielo@host-2-97-225-211.as13285.net] has joined #bitcoin-wizards12:09
-!- richardkiss [~richardki@108-94-29-170.lightspeed.sntcca.sbcglobal.net] has quit [Quit: richardkiss]12:11
-!- TonyClifton [~TonyClift@cpc69058-oxfd26-2-0-cust984.4-3.cable.virginm.net] has joined #bitcoin-wizards12:15
-!- Luke-Jr [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards12:15
-!- ahmed_ [sid14086@gateway/web/irccloud.com/x-xddxqsyibkutqfuk] has joined #bitcoin-wizards12:16
-!- richardkiss [~richardki@108-94-29-170.lightspeed.sntcca.sbcglobal.net] has joined #bitcoin-wizards12:16
-!- adam3us [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has joined #bitcoin-wizards12:18
-!- orik [~orik@75.149.169.53] has joined #bitcoin-wizards12:26
-!- richardkiss [~richardki@108-94-29-170.lightspeed.sntcca.sbcglobal.net] has quit [Quit: richardkiss]12:26
-!- koeppelmann [~koeppelma@dyn-160-39-29-101.dyn.columbia.edu] has quit [Remote host closed the connection]12:37
-!- SDCDev [~quassel@unaffiliated/sdcdev] has quit [Ping timeout: 264 seconds]12:38
-!- koeppelmann [~koeppelma@dyn-160-39-29-101.dyn.columbia.edu] has joined #bitcoin-wizards12:38
-!- wallet42 [~wallet42@86.125.49.61] has joined #bitcoin-wizards12:52
-!- wallet42 [~wallet42@86.125.49.61] has quit [Read error: Connection reset by peer]12:55
-!- wallet42 [~wallet42@86.125.49.61] has joined #bitcoin-wizards12:56
-!- jessepollak [~jessepoll@104.131.138.130] has joined #bitcoin-wizards12:56
-!- wallet42 [~wallet42@86.125.49.61] has quit [Client Quit]12:57
-!- wallet42 [~wallet42@86.125.49.61] has joined #bitcoin-wizards13:00
-!- paveljanik [~paveljani@unaffiliated/paveljanik] has quit [Quit: Leaving]13:02
-!- shesek [~shesek@IGLD-84-229-146-213.inter.net.il] has quit [Ping timeout: 245 seconds]13:06
-!- nuke1989 [~nuke@178-111-211.dynamic.cyta.gr] has quit [Ping timeout: 245 seconds]13:13
-!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]13:21
-!- shesek [~shesek@IGLD-84-229-146-213.inter.net.il] has joined #bitcoin-wizards13:21
-!- nuke1989 [~nuke@46-91-100.adsl.cyta.gr] has joined #bitcoin-wizards13:28
-!- Quanttek [~quassel@2a02:8108:73f:f6e4:e23f:49ff:fe47:9364] has joined #bitcoin-wizards13:29
-!- Adlai [~Adlai@unaffiliated/adlai] has quit [Ping timeout: 252 seconds]13:30
-!- orik [~orik@75.149.169.53] has quit [Remote host closed the connection]13:31
-!- orik [~orik@75.149.169.53] has joined #bitcoin-wizards13:32
-!- droark [~droark@209-6-53-207.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #bitcoin-wizards13:36
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has quit [Quit: :)]13:41
-!- ielo [~ielo@host-2-97-225-211.as13285.net] has quit [Ping timeout: 252 seconds]13:43
-!- koeppelmann [~koeppelma@dyn-160-39-29-101.dyn.columbia.edu] has quit [Remote host closed the connection]13:45
-!- koeppelmann [~koeppelma@dyn-160-39-29-101.dyn.columbia.edu] has joined #bitcoin-wizards13:45
-!- Adlai [~Adlai@unaffiliated/adlai] has joined #bitcoin-wizards13:55
-!- ielo [~ielo@host-2-97-230-239.as13285.net] has joined #bitcoin-wizards13:57
-!- AnoAnon [~AnoAnon@197.37.88.211] has joined #bitcoin-wizards13:58
-!- AnoAnon [~AnoAnon@197.37.88.211] has quit [Max SendQ exceeded]13:58
-!- linelevel1 [~mike@2600:1000:b02d:35af:fce4:65d7:5376:7146] has quit [Ping timeout: 265 seconds]14:04
-!- Guest54424 is now known as elevation14:09
-!- delll_ [~chatzilla@yh97.internetdsl.tpnet.pl] has joined #bitcoin-wizards14:13
-!- Starduster_ [~guest@unaffiliated/starduster] has joined #bitcoin-wizards14:16
-!- Emcy [~MC@152.27.187.81.in-addr.arpa] has joined #bitcoin-wizards14:17
-!- Emcy [~MC@152.27.187.81.in-addr.arpa] has quit [Changing host]14:17
-!- Emcy [~MC@unaffiliated/mc1984] has joined #bitcoin-wizards14:17
-!- Starduster [~guest@unaffiliated/starduster] has quit [Ping timeout: 246 seconds]14:19
-!- Emcy_ [~MC@unaffiliated/mc1984] has quit [Ping timeout: 246 seconds]14:19
-!- use_zfs_yo [uid22802@gateway/web/irccloud.com/x-ntttwbjzfffykthm] has quit []14:26
-!- orik [~orik@75.149.169.53] has quit [Ping timeout: 256 seconds]14:29
-!- hearn [~mike@84-75-198-85.dclient.hispeed.ch] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]14:29
-!- nubbins` [~leel@unaffiliated/nubbins] has quit [Ping timeout: 264 seconds]14:37
-!- lclc_bnc is now known as lclc14:39
-!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards15:08
-!- Mably [~Mably@unaffiliated/mably] has quit [Ping timeout: 240 seconds]15:13
-!- d1ggy_ [~d1ggy@tmo-107-12.customers.d1-online.com] has joined #bitcoin-wizards15:14
-!- copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #bitcoin-wizards15:14
-!- d1ggy [~d1ggy@tmo-107-12.customers.d1-online.com] has quit [Ping timeout: 245 seconds]15:16
-!- Burrito [~Burrito@unaffiliated/burrito] has joined #bitcoin-wizards15:20
-!- lclc is now known as lclc_bnc15:22
-!- ortutay [~marcell@c-98-248-47-197.hsd1.ca.comcast.net] has joined #bitcoin-wizards15:23
-!- Dizzle [~Dizzle@cpe-72-182-36-12.austin.res.rr.com] has joined #bitcoin-wizards15:29
-!- contrapumpkin [~copumpkin@unaffiliated/copumpkin] has joined #bitcoin-wizards15:33
-!- orik [~orik@75.149.169.53] has joined #bitcoin-wizards15:35
-!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 250 seconds]15:36
-!- contrapumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]15:40
-!- Quanttek [~quassel@2a02:8108:73f:f6e4:e23f:49ff:fe47:9364] has quit [Ping timeout: 252 seconds]15:42
-!- Starduster_ [~guest@unaffiliated/starduster] has quit [Ping timeout: 265 seconds]15:49
-!- mkarrer [~mkarrer@4.Red-83-34-47.dynamicIP.rima-tde.net] has quit []15:50
-!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has quit [Quit: Leaving]15:58
-!- ortutay [~marcell@c-98-248-47-197.hsd1.ca.comcast.net] has quit [Quit: ortutay]16:01
-!- ortutay [~marcell@c-98-248-47-197.hsd1.ca.comcast.net] has joined #bitcoin-wizards16:04
-!- ortutay [~marcell@c-98-248-47-197.hsd1.ca.comcast.net] has quit [Client Quit]16:04
-!- ielo [~ielo@host-2-97-230-239.as13285.net] has quit [Ping timeout: 250 seconds]16:05
-!- ortutay [~marcell@c-98-248-47-197.hsd1.ca.comcast.net] has joined #bitcoin-wizards16:05
-!- TonyClifton [~TonyClift@cpc69058-oxfd26-2-0-cust984.4-3.cable.virginm.net] has quit [Remote host closed the connection]16:08
-!- ortutay [~marcell@c-98-248-47-197.hsd1.ca.comcast.net] has quit [Quit: ortutay]16:16
-!- jps [~Jud@cpe-74-72-116-143.nyc.res.rr.com] has quit [Quit: jps]16:17
-!- Transisto [~Trans@modemcable026.188-59-74.mc.videotron.ca] has joined #bitcoin-wizards16:22
-!- adam3us [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has quit [Read error: Connection reset by peer]16:23
-!- adam3us1 [~Adium@88-105-6-39.dynamic.dsl.as9105.com] has joined #bitcoin-wizards16:23
-!- orik [~orik@75.149.169.53] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]16:25
-!- alawson [~alawson@87.121.52.74] has quit [Ping timeout: 244 seconds]16:34
-!- alawson [~alawson@87.121.52.74] has joined #bitcoin-wizards16:36
-!- Starsoccer [~starsocce@unaffiliated/starsoccer] has quit [Read error: Connection reset by peer]16:40
-!- Starsoccer [~starsocce@pool-71-187-155-106.nwrknj.fios.verizon.net] has joined #bitcoin-wizards16:40
-!- Starsoccer [~starsocce@pool-71-187-155-106.nwrknj.fios.verizon.net] has quit [Changing host]16:40
-!- Starsoccer [~starsocce@unaffiliated/starsoccer] has joined #bitcoin-wizards16:40
-!- fanquake [~anonymous@unaffiliated/fanquake] has joined #bitcoin-wizards16:44
-!- Dizzle [~Dizzle@cpe-72-182-36-12.austin.res.rr.com] has quit [Remote host closed the connection]16:44
-!- erasmospunk [~erasmospu@net-2-38-211-181.cust.vodafonedsl.it] has quit [Remote host closed the connection]17:00
-!- TonyClifton [~TonyClift@cpc69058-oxfd26-2-0-cust984.4-3.cable.virginm.net] has joined #bitcoin-wizards17:09
-!- koeppelmann [~koeppelma@dyn-160-39-29-101.dyn.columbia.edu] has quit [Remote host closed the connection]17:10
-!- koeppelmann [~koeppelma@dyn-160-39-29-101.dyn.columbia.edu] has joined #bitcoin-wizards17:11
-!- TonyClifton [~TonyClift@cpc69058-oxfd26-2-0-cust984.4-3.cable.virginm.net] has quit [Ping timeout: 264 seconds]17:15
-!- afk11 [~thomas@89.100.72.184] has quit [Quit: Leaving.]17:18
-!- belcher [~belcher-s@unaffiliated/belcher] has joined #bitcoin-wizards17:21
-!- cornus_ammonis [~Cornus@pool-96-255-179-93.washdc.fios.verizon.net] has quit [Quit: Leaving]17:21
-!- belcher [~belcher-s@unaffiliated/belcher] has quit [Client Quit]17:23
-!- wallet42 [~wallet42@86.125.49.61] has quit [Quit: Leaving.]17:59
-!- Transisto [~Trans@modemcable026.188-59-74.mc.videotron.ca] has quit []18:08
-!- TonyClifton [~TonyClift@cpc69058-oxfd26-2-0-cust984.4-3.cable.virginm.net] has joined #bitcoin-wizards18:10
-!- TonyClifton [~TonyClift@cpc69058-oxfd26-2-0-cust984.4-3.cable.virginm.net] has quit [Ping timeout: 265 seconds]18:17
-!- NewLiberty [~NewLibert@99-48-178-219.lightspeed.irvnca.sbcglobal.net] has joined #bitcoin-wizards18:18
-!- ryanxcharles [~ryanxchar@2601:9:4680:dd0:582e:902f:96d1:c25c] has quit [Quit: Leaving]18:23
-!- embicoin [~chatzilla@INTERFIBRA-37-25-40-160.CPEs.villena.interfibra.es] has quit [Read error: Connection reset by peer]18:34
-!- freewil [~freewil@unaffiliated/freewil] has quit [Quit: Leaving.]18:37
-!- Dr-G2 [~Dr-G@gtng-d9bf7143.pool.mediaways.net] has joined #bitcoin-wizards18:41
-!- evanxbt [d1286407@gateway/web/freenode/ip.209.40.100.7] has quit [Quit: Page closed]18:41
kanzurerecreational reading http://www.scottaaronson.com/writings/bignumbers.html18:42
nsh*skips to end, adds one, declares victory*18:44
-!- Dr-G [~Dr-G@unaffiliated/dr-g] has quit [Ping timeout: 244 seconds]18:44
nshfor extra credit, think deeply about that 'whoever had the deeper paradigm' then read godels paper on the lengths of proofs18:44
nsh(i have attempted this exercise about six times and not made it to the end of the paper)18:45
kanzurenah i will just read chaitin and pretend18:45
nshhave to pretend pretty hard to out-chaitin chaitin18:46
-!- zooko [~user@c-71-229-205-98.hsd1.co.comcast.net] has joined #bitcoin-wizards18:49
tromp_i tried as much in my paper http://tromp.github.io/cl/LC.pdf18:52
tromp_"our program is less than a quarter the size of Chaitin's when measured in bits."18:52
tromp_in a proof of one side of Symmetry of information18:53
nshoh, neat18:53
-!- damethos [~damethos@unaffiliated/damethos] has joined #bitcoin-wizards18:53
nshi should try and mash that paper with the weird freaky stuff someone is going with graph theory and sinful programmatic generation of parsers and other things that make me not want to think about it too hard18:54
nsh*doing18:54
-!- coinheavy [~coinheavy@108-233-255-91.lightspeed.sntcca.sbcglobal.net] has joined #bitcoin-wizards18:55
kanzuretromp_: so is this channel secretly the leibniz fan club or what18:55
nshixnay on the eibnizlay!18:55
tromp_count me in:)18:56
nshtromp_, do you end up with actual manageable godel numbers with your scheme?18:56
tromp_my godel numbers are simly binary encoded lambda terms18:56
tromp_and as such more manageable18:56
-!- coinheavy [~coinheavy@108-233-255-91.lightspeed.sntcca.sbcglobal.net] has quit [Remote host closed the connection]18:56
nshinteresting18:56
-!- coinheavy [~coinheavy@2602:306:ce9f:f5b0:7995:1f98:69ca:d4ac] has joined #bitcoin-wizards18:57
tromp_see http://www.ioccc.org/2012/tromp/hint.html for some sample programs18:57
nshi had a very esoteric idea about the security of hash functions in terms of what happens if you try to use hashes as proxies of full godel encodings18:57
nshand see what the algebraic results are18:57
nshbut it's probably too left-field to actually lead anywhere18:57
tromp_what do you mean by proxies in that context?18:58
kanzureyeah and why would you pick one hash function over another in that context18:58
-!- nubbins` [~leel@unaffiliated/nubbins] has joined #bitcoin-wizards18:58
nshmmm18:59
-!- NewLiberty [~NewLibert@99-48-178-219.lightspeed.irvnca.sbcglobal.net] has quit [Ping timeout: 252 seconds]18:59
nshso godel encoding puts all possible formulations into correspondence with the integers18:59
tromp_the whole point of godel encoding is that you can decode it; which you cannot with hashes:(18:59
nshhashing would put them into correspondence with a smaller set of integers18:59
nsh(with collisions)18:59
nshthose collisions should then have algebraic properties18:59
nshwhich relate to the hash function itself18:59
gmaxwellkanzure: I'm kinda disappointed that I had his answer at the start.18:59
nshand its security18:59
nsh(so which equivalence class of formulas is related by collisions in the hash should have some meaning, but beyond that i can't imagine)19:00
nshit's also relative to your encoding choices though, which may be hard to disentangle19:01
TaekI would have used Graham's number notation; g(g(g(...g64)))...19:02
gmaxwellreally the answer is just a test for what classes of function you know about.19:04
tromp_i like Goodstein sequences19:04
tromp_kind of miraculous how they converge19:04
tromp_against all odds19:04
tromp_https://en.wikipedia.org/wiki/Goodstein%27s_theorem#Goodstein_sequences19:05
kanzure.wik goldstein's theorem19:05
yoleaux"In mathematical logic, Goodstein's theorem is a statement about the natural numbers, proved by Reuben Goodstein in 1944, which states that every Goodstein sequence eventually terminates at 0. Kirby and Paris showed that it is unprovable in Peano arithmetic (but it can be proven in stronger systems, such as second order arithmetic)." — http://en.wikipedia.org/wiki/Goldstein%27s_theorem19:05
* nsh nods19:05
tromp_funny how you get the right entry despite mis-spelling his name:)19:06
-!- Cory [~Cory@unaffiliated/cory] has quit [Ping timeout: 250 seconds]19:07
gmaxwellI like out the WP article uses ackermann numbers to abbrivate the larger entries.19:07
-!- Pasha [~Cory@unaffiliated/cory] has joined #bitcoin-wizards19:08
nshgoogle helps with that (thankfully, because mediawiki search was always... hit and miss)19:08
-!- Pasha is now known as Cory19:10
-!- TonyClifton [~TonyClift@cpc69058-oxfd26-2-0-cust984.4-3.cable.virginm.net] has joined #bitcoin-wizards19:12
-!- use_zfs_yo_ [uid22802@gateway/web/irccloud.com/x-fezalpowqqygtoaj] has joined #bitcoin-wizards19:15
-!- cornusammonis [~Cornus@pool-96-255-179-93.washdc.fios.verizon.net] has joined #bitcoin-wizards19:17
-!- TonyClifton [~TonyClift@cpc69058-oxfd26-2-0-cust984.4-3.cable.virginm.net] has quit [Ping timeout: 246 seconds]19:17
zookow19:25
-!- koshii [~0@115.84.97.69] has joined #bitcoin-wizards19:26
-!- koshii [~0@115.84.97.69] has quit [Client Quit]19:27
-!- mpmcsweeney [~mpmcsween@c-50-189-4-61.hsd1.ma.comcast.net] has joined #bitcoin-wizards19:33
-!- use_zfs_yo_ [uid22802@gateway/web/irccloud.com/x-fezalpowqqygtoaj] has quit []19:34
zookooops.19:35
-!- linelevel [~mike@unaffiliated/linelevel] has joined #bitcoin-wizards19:37
-!- nubbins` [~leel@unaffiliated/nubbins] has quit [Quit: Quit]19:45
-!- nubbins` [~leel@unaffiliated/nubbins] has joined #bitcoin-wizards19:48
-!- Starsoccer [~starsocce@unaffiliated/starsoccer] has quit [Ping timeout: 255 seconds]19:49
-!- moa [~kiwigb@opentransactions/dev/moa] has joined #bitcoin-wizards19:53
-!- copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #bitcoin-wizards19:56
-!- webdeli [~projects@bit1642892.lnk.telstra.net] has joined #bitcoin-wizards20:02
-!- zooko [~user@c-71-229-205-98.hsd1.co.comcast.net] has quit [Ping timeout: 246 seconds]20:08
-!- koeppelmann [~koeppelma@dyn-160-39-29-101.dyn.columbia.edu] has quit [Remote host closed the connection]20:11
-!- koeppelmann [~koeppelma@dyn-160-39-29-101.dyn.columbia.edu] has joined #bitcoin-wizards20:12
-!- TonyClifton [~TonyClift@cpc69058-oxfd26-2-0-cust984.4-3.cable.virginm.net] has joined #bitcoin-wizards20:13
maakuanyone here know or can recommend a technical writer?20:14
nshwhat kind of technicals?20:15
maakuwizardly bitcoin proposals and such20:16
maakusomeone who can grok the kinds of things discussed here relatively quickly and then write both documentation and stuff for public consumption20:17
-!- TonyClifton [~TonyClift@cpc69058-oxfd26-2-0-cust984.4-3.cable.virginm.net] has quit [Ping timeout: 250 seconds]20:18
-!- PRab [~chatzilla@c-98-209-175-213.hsd1.mi.comcast.net] has quit [Remote host closed the connection]20:18
-!- d1ggy_ [~d1ggy@tmo-107-12.customers.d1-online.com] has quit [Ping timeout: 256 seconds]20:18
-!- zooko [~user@c-75-70-204-109.hsd1.co.comcast.net] has joined #bitcoin-wizards20:22
kanzuremaaku: eric hunting would be pretty great for that20:23
-!- webdeli [~projects@bit1642892.lnk.telstra.net] has quit [Remote host closed the connection]20:23
-!- licnep [uid4387@gateway/web/irccloud.com/x-ycdkxblrskxilbwy] has joined #bitcoin-wizards20:26
-!- webdeli [~projects@bit1642892.lnk.telstra.net] has joined #bitcoin-wizards20:26
maakukanzure: this one? https://www.linkedin.com/pub/eric-hunting/1a/61/9b220:27
-!- PRab [~chatzilla@c-98-209-175-213.hsd1.mi.comcast.net] has joined #bitcoin-wizards20:28
kanzurethat profile is quite betraying to him... i should bug him about that.20:29
maakuthanks for the reference I'll pass it along. if you have a better profile that would help20:30
-!- PRab_ [~chatzilla@c-98-209-175-213.hsd1.mi.comcast.net] has joined #bitcoin-wizards20:33
-!- PRab__ [~chatzilla@c-98-209-175-213.hsd1.mi.comcast.net] has joined #bitcoin-wizards20:34
-!- ortutay [~marcell@c-98-248-47-197.hsd1.ca.comcast.net] has joined #bitcoin-wizards20:35
-!- PRab [~chatzilla@c-98-209-175-213.hsd1.mi.comcast.net] has quit [Ping timeout: 264 seconds]20:36
-!- PRab__ is now known as PRab20:36
-!- coinheavy [~coinheavy@2602:306:ce9f:f5b0:7995:1f98:69ca:d4ac] has quit [Remote host closed the connection]20:37
-!- coinheavy [~coinheavy@108-233-255-91.lightspeed.sntcca.sbcglobal.net] has joined #bitcoin-wizards20:37
-!- PRab_ [~chatzilla@c-98-209-175-213.hsd1.mi.comcast.net] has quit [Ping timeout: 250 seconds]20:38
-!- koeppelmann [~koeppelma@dyn-160-39-29-101.dyn.columbia.edu] has quit [Remote host closed the connection]20:38
-!- koeppelmann [~koeppelma@dyn-160-39-29-101.dyn.columbia.edu] has joined #bitcoin-wizards20:39
-!- TheSeven [~quassel@rockbox/developer/TheSeven] has quit [Ping timeout: 265 seconds]20:40
-!- TheSeven [~quassel@rockbox/developer/TheSeven] has joined #bitcoin-wizards20:41
-!- coinheavy [~coinheavy@108-233-255-91.lightspeed.sntcca.sbcglobal.net] has quit [Ping timeout: 246 seconds]20:42
-!- nubbins` [~leel@unaffiliated/nubbins] has quit [Quit: Quit]21:01
-!- TonyClifton [~TonyClift@cpc69058-oxfd26-2-0-cust984.4-3.cable.virginm.net] has joined #bitcoin-wizards21:14
-!- TonyClifton [~TonyClift@cpc69058-oxfd26-2-0-cust984.4-3.cable.virginm.net] has quit [Ping timeout: 250 seconds]21:19
-!- mpmcsweeney [~mpmcsween@c-50-189-4-61.hsd1.ma.comcast.net] has quit [Remote host closed the connection]21:20
-!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has joined #bitcoin-wizards21:20
-!- zooko [~user@c-75-70-204-109.hsd1.co.comcast.net] has quit [Ping timeout: 256 seconds]21:24
-!- Burrito [~Burrito@unaffiliated/burrito] has quit [Ping timeout: 264 seconds]21:29
-!- bramc [~bram@99-75-88-206.lightspeed.sntcca.sbcglobal.net] has joined #bitcoin-wizards21:42
-!- siraj_ [~siraj@171.77.232.91] has joined #bitcoin-wizards21:43
sipaamiller: tss, hiw dare you misremember the date of 'the future'21:47
sipa*how21:47
amiller:o21:50
-!- Quanttek [~quassel@ip1f1171b4.dynamic.kabel-deutschland.de] has joined #bitcoin-wizards21:57
-!- paveljanik [~paveljani@unaffiliated/paveljanik] has joined #bitcoin-wizards21:59
-!- btcdrak [uid52049@gateway/web/irccloud.com/x-psslqebyfqtxpmks] has quit [Quit: Connection closed for inactivity]22:03
phantomcircuitpetertodd, im sure this has been answered before, but.... can you use the contracthash stuff to embed the stealth address parameters in the signature?22:08
phantomcircuitoh nvm22:08
phantomcircuitthat's got out of band reqs also22:09
phantomcircuitignore me22:09
-!- siraj__ [~siraj@171.49.210.144] has joined #bitcoin-wizards22:09
-!- siraj_ [~siraj@171.77.232.91] has quit [Read error: Connection reset by peer]22:09
-!- siraj__ [~siraj@171.49.210.144] has left #bitcoin-wizards []22:09
-!- kinlo [peter@unaffiliated/kinlo] has quit [Ping timeout: 252 seconds]22:09
-!- kinlo [peter@unaffiliated/kinlo] has joined #bitcoin-wizards22:10
-!- oujh [~vfbtgn@188.25.39.182] has joined #bitcoin-wizards22:11
-!- d1ggy [~d1ggy@tmo-107-12.customers.d1-online.com] has joined #bitcoin-wizards22:15
-!- TonyClifton [~TonyClift@cpc69058-oxfd26-2-0-cust984.4-3.cable.virginm.net] has joined #bitcoin-wizards22:15
-!- Quanttek [~quassel@ip1f1171b4.dynamic.kabel-deutschland.de] has quit [Ping timeout: 264 seconds]22:19
-!- TonyClifton [~TonyClift@cpc69058-oxfd26-2-0-cust984.4-3.cable.virginm.net] has quit [Ping timeout: 252 seconds]22:19
-!- ortutay [~marcell@c-98-248-47-197.hsd1.ca.comcast.net] has quit [Quit: ortutay]22:22
-!- hashtagg_ [~hashtag@CPE-69-23-213-3.wi.res.rr.com] has joined #bitcoin-wizards22:27
-!- hashtagg [~hashtagg_@CPE-69-23-213-3.wi.res.rr.com] has joined #bitcoin-wizards22:27
-!- hashtag [~hashtagg_@CPE-69-23-213-3.wi.res.rr.com] has quit [Ping timeout: 252 seconds]22:30
-!- hashtag_ [~hashtag@CPE-69-23-213-3.wi.res.rr.com] has quit [Ping timeout: 246 seconds]22:30
-!- webdeli [~projects@bit1642892.lnk.telstra.net] has quit [Remote host closed the connection]22:39
-!- webdeli [~projects@bit1642892.lnk.telstra.net] has joined #bitcoin-wizards22:42
-!- webdeli [~projects@bit1642892.lnk.telstra.net] has quit [Ping timeout: 245 seconds]22:46
-!- lclc_bnc is now known as lclc22:51
-!- justanotheruser is now known as bareenannenbruke22:53
-!- devrandom [~devrandom@unaffiliated/niftyzero1] has quit [Remote host closed the connection]22:58
-!- devrandom [~devrandom@unaffiliated/niftyzero1] has joined #bitcoin-wizards22:58
-!- rusty [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 250 seconds]23:05
-!- hktud0 [wq@unaffiliated/fluffybunny] has quit [Read error: Connection reset by peer]23:06
-!- bareenannenbruke [~Justan@unaffiliated/justanotheruser] has quit [Ping timeout: 255 seconds]23:06
-!- Starduster [~guest@unaffiliated/starduster] has joined #bitcoin-wizards23:07
-!- hktud0 [wq@unaffiliated/fluffybunny] has joined #bitcoin-wizards23:07
-!- webdeli [~projects@42.39.233.220.static.exetel.com.au] has joined #bitcoin-wizards23:09
-!- Mably [~Mably@unaffiliated/mably] has joined #bitcoin-wizards23:13
-!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards23:14
-!- TonyClifton [~TonyClift@cpc69058-oxfd26-2-0-cust984.4-3.cable.virginm.net] has joined #bitcoin-wizards23:15
-!- TonyClifton [~TonyClift@cpc69058-oxfd26-2-0-cust984.4-3.cable.virginm.net] has quit [Ping timeout: 246 seconds]23:20
-!- hashtagg_ [~hashtag@CPE-69-23-213-3.wi.res.rr.com] has quit [Ping timeout: 250 seconds]23:27
-!- hashtagg [~hashtagg_@CPE-69-23-213-3.wi.res.rr.com] has quit [Ping timeout: 252 seconds]23:28
-!- oujh [~vfbtgn@188.25.39.182] has quit [Read error: Connection reset by peer]23:33
-!- p15_ [~p15@182.50.108.25] has joined #bitcoin-wizards23:42
-!- p15 [~p15@111.193.182.139] has quit [Ping timeout: 250 seconds]23:43
-!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has quit [Quit: Leaving]23:45
-!- hashtag [~hashtagg_@CPE-69-23-213-3.wi.res.rr.com] has joined #bitcoin-wizards23:47
-!- hashtag_ [~hashtag@CPE-69-23-213-3.wi.res.rr.com] has joined #bitcoin-wizards23:47
-!- orik [~orik@50-46-132-219.evrt.wa.frontiernet.net] has joined #bitcoin-wizards23:49
-!- oujh [~vfbtgn@188.27.93.24] has joined #bitcoin-wizards23:49
-!- licnep [uid4387@gateway/web/irccloud.com/x-ycdkxblrskxilbwy] has quit [Quit: Connection closed for inactivity]23:53
-!- bramc [~bram@99-75-88-206.lightspeed.sntcca.sbcglobal.net] has quit [Quit: This computer has gone to sleep]23:55
-!- Mably [~Mably@unaffiliated/mably] has quit [Ping timeout: 252 seconds]23:59
--- Log closed Tue Feb 17 00:00:04 2015

Generated by irclog2html.py 2.15.0.dev0 by Marius Gedminas - find it at mg.pov.lt!