| --- Log opened Wed Feb 24 00:00:03 2016 | ||
| --- Day changed Wed Feb 24 2016 | ||
| -!- PRab [~chatzilla@c-68-34-102-231.hsd1.mi.comcast.net] has joined #bitcoin-wizards | 00:00 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] | 00:02 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 00:02 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Ping timeout: 250 seconds] | 00:06 | |
| -!- N0S4A2 [~weechat@216-243-38-141.users.condointernet.net] has quit [Quit: WeeChat 1.4] | 00:11 | |
| -!- N0S4A2 [~weechat@216-243-38-141.users.condointernet.net] has joined #bitcoin-wizards | 00:19 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has joined #bitcoin-wizards | 00:22 | |
| -!- paveljanik [~paveljani@unaffiliated/paveljanik] has quit [Quit: Leaving] | 00:25 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has quit [Ping timeout: 276 seconds] | 00:28 | |
| -!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has quit [Quit: Leaving] | 00:29 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards | 00:33 | |
| -!- phiche [~Adium@37.250.124.161.bredband.tre.se] has quit [Quit: Leaving.] | 00:41 | |
| -!- fluffypony [~fluffypon@unaffiliated/fluffypony] has quit [Ping timeout: 260 seconds] | 00:42 | |
| -!- fluffypony [~fluffypon@unaffiliated/fluffypony] has joined #bitcoin-wizards | 00:44 | |
| -!- danielsocials [~quassel@123.122.52.142] has joined #bitcoin-wizards | 00:45 | |
| -!- paci [~paci@host41-233-static.58-79-b.business.telecomitalia.it] has quit [Quit: Leaving] | 00:49 | |
| -!- danielsocials [~quassel@123.122.52.142] has quit [Ping timeout: 250 seconds] | 00:59 | |
| -!- paci [~paci@host41-233-static.58-79-b.business.telecomitalia.it] has joined #bitcoin-wizards | 01:01 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 01:14 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Ping timeout: 255 seconds] | 01:19 | |
| -!- malte [~malte@2a00:d0c0:200:0:b9:1a:9c2c:380] has quit [Ping timeout: 250 seconds] | 01:23 | |
| -!- malte [~malte@alkaid.uberspace.de] has joined #bitcoin-wizards | 01:25 | |
| -!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has quit [Remote host closed the connection] | 01:47 | |
| -!- Tiraspol [~Tiraspol3@c-98-212-187-224.hsd1.il.comcast.net] has joined #bitcoin-wizards | 01:47 | |
| -!- Tiraspol [~Tiraspol3@c-98-212-187-224.hsd1.il.comcast.net] has quit [Changing host] | 01:47 | |
| -!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has joined #bitcoin-wizards | 01:47 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 240 seconds] | 01:55 | |
| -!- jannes [~jannes@178.132.211.90] has joined #bitcoin-wizards | 02:13 | |
| -!- Luke-Jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 240 seconds] | 02:19 | |
| -!- luke-jr_ [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards | 02:19 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has joined #bitcoin-wizards | 02:22 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has quit [Ping timeout: 276 seconds] | 02:27 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards | 02:27 | |
| -!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has joined #bitcoin-wizards | 02:54 | |
| -!- danielsocials [~quassel@123.122.52.142] has joined #bitcoin-wizards | 02:56 | |
| -!- danielsocials [~quassel@123.122.52.142] has quit [Ping timeout: 250 seconds] | 03:01 | |
| -!- luke-jr_ [~luke-jr@unaffiliated/luke-jr] has quit [Excess Flood] | 03:25 | |
| -!- luke-jr_ [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards | 03:25 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 03:30 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] | 03:35 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 248 seconds] | 03:47 | |
| -!- bliljerk101 [~bliljerk1@2601:547:c303:6cd0:1c90:8b32:c425:c0f0] has quit [Ping timeout: 240 seconds] | 04:04 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards | 04:26 | |
| -!- bliljerk101 [~bliljerk1@c-71-60-0-241.hsd1.pa.comcast.net] has joined #bitcoin-wizards | 04:30 | |
| -!- phiche [~Adium@37.250.124.161.bredband.tre.se] has joined #bitcoin-wizards | 04:43 | |
| -!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has quit [Quit: Leaving] | 04:46 | |
| -!- p15x [~p15x@76.91.145.64.client.static.strong-tk2.bringover.net] has joined #bitcoin-wizards | 04:50 | |
| -!- phiche [~Adium@37.250.124.161.bredband.tre.se] has quit [Ping timeout: 250 seconds] | 04:52 | |
| -!- phiche [~Adium@185.97.214.108] has joined #bitcoin-wizards | 04:52 | |
| -!- laurentmt [~Thunderbi@128-79-141-196.hfc.dyn.abo.bbox.fr] has joined #bitcoin-wizards | 04:53 | |
| -!- danielsocials [~quassel@123.122.52.142] has joined #bitcoin-wizards | 04:58 | |
| -!- laurentmt1 [~Thunderbi@128-79-141-196.hfc.dyn.abo.bbox.fr] has joined #bitcoin-wizards | 04:58 | |
| -!- laurentmt [~Thunderbi@128-79-141-196.hfc.dyn.abo.bbox.fr] has quit [Ping timeout: 255 seconds] | 05:01 | |
| -!- laurentmt1 is now known as laurentmt | 05:01 | |
| -!- danielsocials [~quassel@123.122.52.142] has quit [Ping timeout: 244 seconds] | 05:14 | |
| -!- jcluck [~cluckj@pool-108-16-231-242.phlapa.fios.verizon.net] has quit [Quit: Leaving] | 05:14 | |
| -!- jcluck [~cluckj@pool-108-16-231-242.phlapa.fios.verizon.net] has joined #bitcoin-wizards | 05:15 | |
| -!- cluckj [~cluckj@pool-108-16-231-242.phlapa.fios.verizon.net] has quit [Read error: Connection reset by peer] | 05:15 | |
| -!- jcluck is now known as cluckj | 05:15 | |
| -!- r0ach [~r0ach@107-217-214-192.lightspeed.jcvlfl.sbcglobal.net] has joined #bitcoin-wizards | 05:23 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has joined #bitcoin-wizards | 05:24 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has quit [Ping timeout: 244 seconds] | 05:28 | |
| -!- p15 [~p15@44.91.145.64.client.static.strong-tk2.bringover.net] has quit [Ping timeout: 244 seconds] | 05:35 | |
| -!- p15x [~p15x@76.91.145.64.client.static.strong-tk2.bringover.net] has quit [Ping timeout: 248 seconds] | 05:35 | |
| ThomasV | !seen gmaxwell | 05:42 |
|---|---|---|
| gribble | gmaxwell was last seen in #bitcoin-wizards 2 weeks, 0 days, 5 hours, 42 minutes, and 27 seconds ago: <gmaxwell> tromp: "(this also makes Cuckoo Cycle, unlike Hashcash, immune from Grover's quantum search algorithm)" not so-- the grover speedup is fully general and applies to any blockbox function. | 05:42 |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has joined #bitcoin-wizards | 05:44 | |
| -!- Giszmo [~leo@pc-122-14-46-190.cm.vtr.net] has joined #bitcoin-wizards | 05:44 | |
| -!- luigi1111w [~luigi1112@unaffiliated/luigi1111] has quit [Read error: Connection reset by peer] | 05:56 | |
| -!- Guest43031 [~luigi1112@static-216-176-69-170.consolidated.net] has joined #bitcoin-wizards | 05:57 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has quit [Remote host closed the connection] | 05:59 | |
| -!- luke-jr__ [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards | 05:59 | |
| -!- luke-jr_ [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 240 seconds] | 06:00 | |
| -!- Guest43031 [~luigi1112@static-216-176-69-170.consolidated.net] has quit [Read error: Connection reset by peer] | 06:01 | |
| -!- Noice [~Noice__@2001:1900:2104:2::86] has quit [Remote host closed the connection] | 06:05 | |
| -!- luke-jr__ [~luke-jr@unaffiliated/luke-jr] has quit [Excess Flood] | 06:07 | |
| -!- luke-jr__ [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards | 06:08 | |
| -!- Noice [~Noice__@2001:1900:2104:2::86] has joined #bitcoin-wizards | 06:09 | |
| -!- zooko [~user@50.141.118.231] has joined #bitcoin-wizards | 06:12 | |
| -!- nuke1989 [~nuke@176.92.255.177] has joined #bitcoin-wizards | 06:16 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 255 seconds] | 06:17 | |
| -!- zooko [~user@50.141.118.231] has quit [Ping timeout: 250 seconds] | 06:19 | |
| -!- seg [~seg@fsf/member/seg] has quit [Quit: kuwabara kuwabara] | 06:26 | |
| -!- seg [~seg@fsf/member/seg] has joined #bitcoin-wizards | 06:26 | |
| -!- Eliel [~jojkaart@91-159-8-128.elisa-laajakaista.fi] has quit [Ping timeout: 244 seconds] | 06:40 | |
| -!- Eliel [~jojkaart@91-159-8-128.elisa-laajakaista.fi] has joined #bitcoin-wizards | 06:40 | |
| -!- Eliel [~jojkaart@91-159-8-128.elisa-laajakaista.fi] has quit [Ping timeout: 252 seconds] | 06:46 | |
| -!- Eliel [~jojkaart@91-159-8-128.elisa-laajakaista.fi] has joined #bitcoin-wizards | 06:46 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 06:49 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Read error: Connection reset by peer] | 06:52 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 06:52 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards | 06:55 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Ping timeout: 252 seconds] | 06:57 | |
| -!- wallet42 [~wallet42@unaffiliated/wallet42] has quit [Quit: Leaving.] | 06:58 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 06:59 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has joined #bitcoin-wizards | 07:00 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] | 07:03 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has quit [Ping timeout: 244 seconds] | 07:04 | |
| -!- CrazyTruthYakDDS [uid67551@gateway/web/irccloud.com/x-jpstnxznjuwqhcol] has joined #bitcoin-wizards | 07:04 | |
| -!- luigi1111w [~luigi1112@static-216-176-69-170.consolidated.net] has joined #bitcoin-wizards | 07:05 | |
| -!- luigi1111w [~luigi1112@static-216-176-69-170.consolidated.net] has quit [Changing host] | 07:05 | |
| -!- luigi1111w [~luigi1112@unaffiliated/luigi1111] has joined #bitcoin-wizards | 07:05 | |
| -!- danielsocials [~quassel@123.122.52.142] has joined #bitcoin-wizards | 07:11 | |
| -!- bliljerk101 [~bliljerk1@c-71-60-0-241.hsd1.pa.comcast.net] has quit [Read error: Connection reset by peer] | 07:13 | |
| -!- bliljerk101 [~bliljerk1@c-71-60-0-241.hsd1.pa.comcast.net] has joined #bitcoin-wizards | 07:14 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 07:14 | |
| -!- danielsocials [~quassel@123.122.52.142] has quit [Ping timeout: 244 seconds] | 07:15 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] | 07:18 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 07:33 | |
| -!- instagibbs [~instagibb@pool-100-15-134-80.washdc.fios.verizon.net] has quit [Ping timeout: 250 seconds] | 07:35 | |
| -!- supasonic [~supasonic@172-11-188-117.lightspeed.rcsntx.sbcglobal.net] has joined #bitcoin-wizards | 07:37 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Ping timeout: 244 seconds] | 07:38 | |
| -!- sparetire [~sparetire@unaffiliated/sparetire] has joined #bitcoin-wizards | 07:38 | |
| -!- skyraider_ [uid41097@gateway/web/irccloud.com/x-famhxvoojexlytwe] has joined #bitcoin-wizards | 07:39 | |
| -!- wallet42 [~wallet42@unaffiliated/wallet42] has joined #bitcoin-wizards | 07:45 | |
| -!- instagibbs [~instagibb@pool-100-15-134-80.washdc.fios.verizon.net] has joined #bitcoin-wizards | 07:46 | |
| -!- skyraider_ [uid41097@gateway/web/irccloud.com/x-famhxvoojexlytwe] has quit [] | 07:51 | |
| -!- luke-jr__ [~luke-jr@unaffiliated/luke-jr] has quit [Excess Flood] | 07:58 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 07:59 | |
| -!- luke-jr__ [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards | 08:00 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Ping timeout: 248 seconds] | 08:03 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 08:04 | |
| -!- neha [~narula@mint-square.mit.edu] has joined #bitcoin-wizards | 08:05 | |
| -!- jaekwon [~jaekwon@2601:645:c001:263a:821:5989:6f23:556f] has joined #bitcoin-wizards | 08:07 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] | 08:09 | |
| -!- jaekwon [~jaekwon@2601:645:c001:263a:821:5989:6f23:556f] has quit [Remote host closed the connection] | 08:11 | |
| -!- wangchun [~wangchun@li414-193.members.linode.com] has quit [Quit: leaving] | 08:12 | |
| -!- wangchun [~wangchun@li414-193.members.linode.com] has joined #bitcoin-wizards | 08:14 | |
| -!- tachys_ [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 08:16 | |
| -!- wallet42 [~wallet42@unaffiliated/wallet42] has quit [Quit: Leaving.] | 08:17 | |
| -!- tachys_ [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] | 08:20 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 08:20 | |
| -!- paveljanik [~paveljani@79-98-72-216.sys-data.com] has joined #bitcoin-wizards | 08:25 | |
| -!- paveljanik [~paveljani@79-98-72-216.sys-data.com] has quit [Changing host] | 08:25 | |
| -!- paveljanik [~paveljani@unaffiliated/paveljanik] has joined #bitcoin-wizards | 08:25 | |
| -!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has joined #bitcoin-wizards | 08:28 | |
| -!- voxelot_ [~voxelot@remote.digitalmoneycorp.com] has joined #bitcoin-wizards | 08:28 | |
| -!- Cory [~C@unaffiliated/cory] has quit [] | 08:34 | |
| -!- Guest36311 is now known as amiller | 08:38 | |
| -!- amiller [~socrates1@li175-104.members.linode.com] has quit [Changing host] | 08:39 | |
| -!- amiller [~socrates1@unaffiliated/socrates1024] has joined #bitcoin-wizards | 08:39 | |
| -!- Cory [~C@unaffiliated/cory] has joined #bitcoin-wizards | 08:42 | |
| -!- mrkent [~textual@unaffiliated/mrkent] has joined #bitcoin-wizards | 08:51 | |
| -!- mrkent [~textual@unaffiliated/mrkent] has quit [Max SendQ exceeded] | 08:52 | |
| -!- mrkent [~textual@unaffiliated/mrkent] has joined #bitcoin-wizards | 08:52 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Remote host closed the connection] | 08:53 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 08:55 | |
| -!- wallet42 [~wallet42@unaffiliated/wallet42] has joined #bitcoin-wizards | 08:55 | |
| -!- zooko [~user@2601:281:8001:26aa:fc08:5a17:e8c0:401d] has joined #bitcoin-wizards | 08:57 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has joined #bitcoin-wizards | 09:00 | |
| -!- wallet42 [~wallet42@unaffiliated/wallet42] has quit [Quit: Leaving.] | 09:01 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has quit [Ping timeout: 252 seconds] | 09:04 | |
| -!- jaekwon [~jaekwon@75-101-96-71.dsl.static.fusionbroadband.com] has joined #bitcoin-wizards | 09:05 | |
| -!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has quit [Quit: Leaving] | 09:05 | |
| -!- luke-jr__ is now known as Luke-Jr | 09:05 | |
| -!- danielsocials [~quassel@123.122.52.142] has joined #bitcoin-wizards | 09:12 | |
| -!- luigi1111w [~luigi1112@unaffiliated/luigi1111] has quit [Read error: Connection reset by peer] | 09:13 | |
| -!- luigi1111w [~luigi1112@static-216-176-69-170.consolidated.net] has joined #bitcoin-wizards | 09:13 | |
| -!- luigi1111w is now known as Guest52232 | 09:13 | |
| -!- danielsocials [~quassel@123.122.52.142] has quit [Ping timeout: 252 seconds] | 09:17 | |
| -!- laurentmt [~Thunderbi@128-79-141-196.hfc.dyn.abo.bbox.fr] has quit [Quit: laurentmt] | 09:17 | |
| -!- Guest52232 [~luigi1112@static-216-176-69-170.consolidated.net] has quit [Ping timeout: 248 seconds] | 09:17 | |
| -!- luigi11110 [~luigi1112@static-216-176-69-170.consolidated.net] has joined #bitcoin-wizards | 09:18 | |
| -!- luigi11110 [~luigi1112@static-216-176-69-170.consolidated.net] has quit [Changing host] | 09:19 | |
| -!- luigi11110 [~luigi1112@unaffiliated/luigi1111] has joined #bitcoin-wizards | 09:19 | |
| -!- luigi11110 is now known as luigi1111w | 09:19 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Remote host closed the connection] | 09:22 | |
| -!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has joined #bitcoin-wizards | 09:27 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 09:31 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] | 09:35 | |
| -!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has joined #bitcoin-wizards | 09:47 | |
| -!- phiche1 [~Adium@37.250.124.161.bredband.tre.se] has joined #bitcoin-wizards | 09:49 | |
| -!- CrazyTruthYakDDS [uid67551@gateway/web/irccloud.com/x-jpstnxznjuwqhcol] has quit [Quit: Connection closed for inactivity] | 09:50 | |
| -!- Yoghur114 [~jorn@g227014.upc-g.chello.nl] has joined #bitcoin-wizards | 09:51 | |
| -!- phiche [~Adium@185.97.214.108] has quit [Ping timeout: 255 seconds] | 09:53 | |
| -!- Guyver2_ [~Guyver2@guyver2.xs4all.nl] has joined #bitcoin-wizards | 09:56 | |
| -!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has quit [Ping timeout: 260 seconds] | 09:59 | |
| -!- Guyver2_ is now known as Guyver2 | 09:59 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has joined #bitcoin-wizards | 10:01 | |
| -!- dgenr8 [~dgenr8@unaffiliated/dgenr8] has quit [Read error: Connection reset by peer] | 10:02 | |
| -!- dgenr8 [~dgenr8@unaffiliated/dgenr8] has joined #bitcoin-wizards | 10:02 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has quit [Ping timeout: 240 seconds] | 10:05 | |
| -!- tachys [~alex@96.82.80.25] has joined #bitcoin-wizards | 10:12 | |
| -!- danielsocials [~quassel@123.122.52.142] has joined #bitcoin-wizards | 10:14 | |
| -!- tachys [~alex@96.82.80.25] has quit [Ping timeout: 244 seconds] | 10:16 | |
| -!- rgrant [~user@unaffiliated/rgrant] has joined #bitcoin-wizards | 10:17 | |
| -!- Guyver2_ [~Guyver2@guyver2.xs4all.nl] has joined #bitcoin-wizards | 10:18 | |
| -!- voxelot_ [~voxelot@remote.digitalmoneycorp.com] has quit [Ping timeout: 240 seconds] | 10:21 | |
| -!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has quit [Ping timeout: 260 seconds] | 10:21 | |
| -!- Guyver2_ is now known as Guyver2 | 10:21 | |
| -!- CrazyTruthYakDDS [uid67551@gateway/web/irccloud.com/x-brzzsoqpwsjcrucu] has joined #bitcoin-wizards | 10:24 | |
| -!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has quit [Ping timeout: 260 seconds] | 10:26 | |
| -!- mrkent [~textual@unaffiliated/mrkent] has quit [] | 10:27 | |
| -!- AaronvanW_ [~ewout@x4db49f6c.dyn.telefonica.de] has quit [Ping timeout: 268 seconds] | 10:31 | |
| -!- danielsocials [~quassel@123.122.52.142] has quit [Ping timeout: 248 seconds] | 10:32 | |
| -!- tachys [~alex@96.82.80.25] has joined #bitcoin-wizards | 10:35 | |
| -!- fkhan [weechat@gateway/vpn/mullvad/x-quxivoszhjddwgob] has quit [Ping timeout: 255 seconds] | 10:36 | |
| amiller | The Honey Badger of BFT Protocols https://eprint.iacr.org/2016/199 | 10:37 |
| MRL-Relay | [shen] like the name | 10:38 |
| amiller | i am a big fan of title-driven development | 10:40 |
| -!- zooko` [~user@2601:281:8001:26aa:fc08:5a17:e8c0:401d] has joined #bitcoin-wizards | 10:40 | |
| MRL-Relay | [shen] haha | 10:41 |
| -!- zooko [~user@2601:281:8001:26aa:fc08:5a17:e8c0:401d] has quit [Remote host closed the connection] | 10:41 | |
| -!- zooko` [~user@2601:281:8001:26aa:fc08:5a17:e8c0:401d] has quit [Remote host closed the connection] | 10:41 | |
| -!- fkhan [weechat@gateway/vpn/mullvad/x-ryanbpobizuuupqu] has joined #bitcoin-wizards | 10:52 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 248 seconds] | 10:54 | |
| -!- jannes [~jannes@178.132.211.90] has quit [Read error: Connection reset by peer] | 10:55 | |
| -!- wallet42 [~wallet42@unaffiliated/wallet42] has joined #bitcoin-wizards | 10:55 | |
| -!- wallet42 [~wallet42@unaffiliated/wallet42] has quit [Client Quit] | 10:55 | |
| Aleph0 | amiller: BFT without block time? | 11:00 |
| amiller | Aleph0, yes thats right | 11:00 |
| Aleph0 | nice. gonna read later. | 11:00 |
| -!- jannes [~jannes@178.132.211.90] has joined #bitcoin-wizards | 11:04 | |
| -!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has joined #bitcoin-wizards | 11:04 | |
| -!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has quit [Ping timeout: 240 seconds] | 11:05 | |
| -!- voxelot_ [~voxelot@remote.digitalmoneycorp.com] has joined #bitcoin-wizards | 11:05 | |
| -!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has joined #bitcoin-wizards | 11:06 | |
| -!- Dizzle [~Dizzle@104-6-36-162.lightspeed.austtx.sbcglobal.net] has joined #bitcoin-wizards | 11:09 | |
| -!- andytoshi [~andytoshi@unaffiliated/andytoshi] has joined #bitcoin-wizards | 11:17 | |
| -!- Dizzle [~Dizzle@104-6-36-162.lightspeed.austtx.sbcglobal.net] has quit [Quit: Leaving...] | 11:17 | |
| -!- teslax2 [~teslax@mail.werk1.at] has joined #bitcoin-wizards | 11:18 | |
| -!- teslax [~teslax@mail.werk1.at] has quit [Ping timeout: 244 seconds] | 11:20 | |
| -!- chris2000 [~chris2000@p54B2C35F.dip0.t-ipconnect.de] has joined #bitcoin-wizards | 11:21 | |
| -!- danielsocials [~quassel@123.122.52.142] has joined #bitcoin-wizards | 11:29 | |
| -!- wallet42 [~wallet42@unaffiliated/wallet42] has joined #bitcoin-wizards | 11:31 | |
| -!- RoboTeddy [~roboteddy@67.188.40.206] has joined #bitcoin-wizards | 11:34 | |
| -!- danielsocials [~quassel@123.122.52.142] has quit [Ping timeout: 240 seconds] | 11:36 | |
| -!- giel__ [~giel____@a149043.upc-a.chello.nl] has joined #bitcoin-wizards | 11:37 | |
| -!- gielbier [~giel____@unaffiliated/gielbier] has quit [Ping timeout: 244 seconds] | 11:38 | |
| -!- giel___ [~giel____@a149043.upc-a.chello.nl] has joined #bitcoin-wizards | 11:40 | |
| -!- mrkent [~textual@unaffiliated/mrkent] has joined #bitcoin-wizards | 11:41 | |
| -!- giel__ [~giel____@a149043.upc-a.chello.nl] has quit [Ping timeout: 240 seconds] | 11:41 | |
| -!- giel___ [~giel____@a149043.upc-a.chello.nl] has quit [Changing host] | 11:42 | |
| -!- giel___ [~giel____@unaffiliated/gielbier] has joined #bitcoin-wizards | 11:42 | |
| -!- giel___ is now known as gielbier | 11:42 | |
| -!- phiche1 [~Adium@37.250.124.161.bredband.tre.se] has quit [Read error: Connection reset by peer] | 11:47 | |
| maaku | amiller: any success with non-outsourceable puzzles that don't require a CRS? | 11:51 |
| -!- murch [~murch@p4FE38E08.dip0.t-ipconnect.de] has joined #bitcoin-wizards | 11:53 | |
| -!- gielbier [~giel____@unaffiliated/gielbier] has quit [Ping timeout: 240 seconds] | 11:58 | |
| -!- wallet42 [~wallet42@unaffiliated/wallet42] has quit [Quit: Leaving.] | 12:01 | |
| -!- tachys [~alex@96.82.80.25] has quit [Remote host closed the connection] | 12:02 | |
| -!- tachys [~alex@96.82.80.25] has joined #bitcoin-wizards | 12:03 | |
| -!- jannes [~jannes@178.132.211.90] has quit [Quit: Leaving] | 12:04 | |
| smooth | "Unlike the alternatives, HoneyBadgerBFT simply does not care" | 12:08 |
| -!- tachys [~alex@96.82.80.25] has quit [Remote host closed the connection] | 12:10 | |
| -!- Starduster [~SD@unaffiliated/starduster] has quit [Ping timeout: 276 seconds] | 12:27 | |
| Aleph0 | what is CRS, maaku? | 12:34 |
| maaku | trusted setup | 12:35 |
| maaku | https://en.wikipedia.org/wiki/Common_reference_string_model | 12:35 |
| Aleph0 | oh, common string, thx. | 12:35 |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards | 12:43 | |
| -!- Don_John [~Don@250-223-114-134.nat.resnet.nau.edu] has joined #bitcoin-wizards | 12:46 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 276 seconds] | 12:51 | |
| -!- zooko [~user@50.141.118.227] has joined #bitcoin-wizards | 12:58 | |
| -!- tachys [~alex@96.82.80.25] has joined #bitcoin-wizards | 12:58 | |
| -!- zooko [~user@50.141.118.227] has quit [Ping timeout: 244 seconds] | 13:04 | |
| -!- tachys [~alex@96.82.80.25] has quit [Read error: Connection timed out] | 13:05 | |
| -!- tachys [~alex@96.82.80.25] has joined #bitcoin-wizards | 13:05 | |
| -!- phiche [~Adium@37.250.124.161.bredband.tre.se] has joined #bitcoin-wizards | 13:08 | |
| -!- Burrito [~Burrito@unaffiliated/burrito] has quit [Read error: Connection reset by peer] | 13:18 | |
| -!- Starduster [~SD@unaffiliated/starduster] has joined #bitcoin-wizards | 13:19 | |
| -!- Burrito [~Burrito@unaffiliated/burrito] has joined #bitcoin-wizards | 13:20 | |
| -!- supasonic [~supasonic@172-11-188-117.lightspeed.rcsntx.sbcglobal.net] has quit [Ping timeout: 240 seconds] | 13:23 | |
| -!- tachys [~alex@96.82.80.25] has quit [Remote host closed the connection] | 13:23 | |
| -!- sdaftuar_ is now known as sdaftuar | 13:24 | |
| -!- wallet42 [~wallet42@unaffiliated/wallet42] has joined #bitcoin-wizards | 13:25 | |
| -!- tachys [~alex@96.82.80.25] has joined #bitcoin-wizards | 13:26 | |
| -!- wallet421 [~wallet42@173.247.193.134] has joined #bitcoin-wizards | 13:32 | |
| -!- wallet42 [~wallet42@unaffiliated/wallet42] has quit [Read error: Connection reset by peer] | 13:32 | |
| -!- danielsocials [~quassel@123.122.52.142] has joined #bitcoin-wizards | 13:34 | |
| -!- supasonic [~supasonic@172-11-188-117.lightspeed.rcsntx.sbcglobal.net] has joined #bitcoin-wizards | 13:35 | |
| -!- wallet42 [~wallet42@unaffiliated/wallet42] has joined #bitcoin-wizards | 13:36 | |
| -!- wallet421 [~wallet42@173.247.193.134] has quit [Read error: Connection reset by peer] | 13:36 | |
| -!- wallet42 [~wallet42@unaffiliated/wallet42] has quit [Read error: Connection reset by peer] | 13:37 | |
| -!- wallet421 [~wallet42@173.247.193.134] has joined #bitcoin-wizards | 13:37 | |
| -!- chris2000 [~chris2000@p54B2C35F.dip0.t-ipconnect.de] has quit [] | 13:39 | |
| -!- danielsocials [~quassel@123.122.52.142] has quit [Ping timeout: 244 seconds] | 13:41 | |
| -!- phiche [~Adium@37.250.124.161.bredband.tre.se] has quit [Ping timeout: 244 seconds] | 13:41 | |
| -!- phiche [~Adium@37.250.124.161.bredband.tre.se] has joined #bitcoin-wizards | 13:42 | |
| -!- teslax2 [~teslax@mail.werk1.at] has quit [Quit: Nettalk6 - www.ntalk.de] | 13:54 | |
| -!- teslax [~teslax@mail.werk1.at] has joined #bitcoin-wizards | 13:55 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has joined #bitcoin-wizards | 14:03 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has quit [Ping timeout: 255 seconds] | 14:07 | |
| -!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has quit [Remote host closed the connection] | 14:08 | |
| -!- DoomLogic [~chatzilla@unaffiliated/doomlogic] has joined #bitcoin-wizards | 14:20 | |
| -!- mesmer [~mesmer@unaffiliated/mesmer] has joined #bitcoin-wizards | 14:24 | |
| -!- gielbier [~giel____@a149043.upc-a.chello.nl] has joined #bitcoin-wizards | 14:25 | |
| -!- gielbier [~giel____@a149043.upc-a.chello.nl] has quit [Changing host] | 14:25 | |
| -!- gielbier [~giel____@unaffiliated/gielbier] has joined #bitcoin-wizards | 14:25 | |
| -!- phiche [~Adium@37.250.124.161.bredband.tre.se] has quit [Quit: Leaving.] | 14:37 | |
| -!- jaekwon [~jaekwon@75-101-96-71.dsl.static.fusionbroadband.com] has quit [Remote host closed the connection] | 14:42 | |
| -!- zooko [~user@c-73-229-199-227.hsd1.co.comcast.net] has joined #bitcoin-wizards | 14:44 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards | 14:56 | |
| -!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has quit [Quit: Leaving] | 15:09 | |
| -!- DoomLogic [~chatzilla@unaffiliated/doomlogic] has left #bitcoin-wizards [] | 15:15 | |
| -!- zooko` [~user@c-73-229-199-227.hsd1.co.comcast.net] has joined #bitcoin-wizards | 15:19 | |
| -!- zooko [~user@c-73-229-199-227.hsd1.co.comcast.net] has quit [Remote host closed the connection] | 15:19 | |
| -!- zooko` [~user@c-73-229-199-227.hsd1.co.comcast.net] has quit [Remote host closed the connection] | 15:19 | |
| -!- zooko [~user@c-73-229-199-227.hsd1.co.comcast.net] has joined #bitcoin-wizards | 15:20 | |
| -!- laurentmt [~Thunderbi@128-79-141-196.hfc.dyn.abo.bbox.fr] has joined #bitcoin-wizards | 15:20 | |
| -!- jaekwon [~jaekwon@75-101-96-71.dsl.static.fusionbroadband.com] has joined #bitcoin-wizards | 15:20 | |
| -!- laurentmt [~Thunderbi@128-79-141-196.hfc.dyn.abo.bbox.fr] has quit [Client Quit] | 15:21 | |
| -!- wallet421 [~wallet42@173.247.193.134] has quit [Read error: Connection reset by peer] | 15:25 | |
| -!- wallet42 [~wallet42@unaffiliated/wallet42] has joined #bitcoin-wizards | 15:25 | |
| -!- belcher [~user@unaffiliated/belcher] has joined #bitcoin-wizards | 15:28 | |
| -!- murch [~murch@p4FE38E08.dip0.t-ipconnect.de] has quit [Quit: Leaving.] | 15:29 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 276 seconds] | 15:34 | |
| -!- danielsocials [~quassel@123.122.52.142] has joined #bitcoin-wizards | 15:38 | |
| -!- danielsocials [~quassel@123.122.52.142] has quit [Ping timeout: 248 seconds] | 15:43 | |
| -!- giel__ [~giel____@a149043.upc-a.chello.nl] has joined #bitcoin-wizards | 15:47 | |
| -!- gielbier [~giel____@unaffiliated/gielbier] has quit [Ping timeout: 276 seconds] | 15:47 | |
| -!- zooko [~user@c-73-229-199-227.hsd1.co.comcast.net] has quit [Ping timeout: 276 seconds] | 15:53 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has joined #bitcoin-wizards | 16:04 | |
| -!- nubbins` [~leel@unaffiliated/nubbins] has joined #bitcoin-wizards | 16:07 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has quit [Ping timeout: 252 seconds] | 16:09 | |
| -!- AaronvanW_ [~ewout@x4db49f6c.dyn.telefonica.de] has joined #bitcoin-wizards | 16:20 | |
| -!- wumpus [~quassel@pdpc/supporter/professional/wumpus] has quit [Ping timeout: 244 seconds] | 16:30 | |
| -!- wumpus [~quassel@pdpc/supporter/professional/wumpus] has joined #bitcoin-wizards | 16:35 | |
| Taek | I've started to be in favor of software regulation | 16:36 |
| Taek | Some of the enterprise security breaks and consumer device flaws were really avoidable, and the result of poorly designed code | 16:37 |
| Taek | almost like the designer didn't expect anyone to try and break it | 16:37 |
| Taek | and, regulation kills innovation, but remotely hacked autonomous cars can be used nefariously | 16:38 |
| Taek | as a consumer, I feel like it's not really my job to know which cars meet reasonable security standards. As a consumer, I probably couldn't tell good code from psuedocode. | 16:38 |
| -!- danielsocials [~quassel@123.122.52.142] has joined #bitcoin-wizards | 16:40 | |
| Taek | and, I think that the blockchain space is one of the areas that it would make sense to regulate. Or rather, have some sort of certification process | 16:40 |
| Taek | I'm not in favor of making code illegal, or making a network or altcoin illegal | 16:40 |
| Taek | but I do think there needs to be some way to let a consumer know 'these guys have gone through a formal process to prove their stuff is production ready and safe-for-use" | 16:41 |
| belcher | what harm can happen in the blockchain space that is similar to the self-driving-cars example ? | 16:41 |
| Taek | :< sounds like hell though | 16:42 |
| ggreer | actually enforcing software regulations is pretty hard. general purpose computers are everywhere | 16:42 |
| Taek | belcher: people losing money. The virtual world is mostly limited to that I think. Though, as smart contracts become more pervasive you could end up with more important things on the line | 16:42 |
| ggreer | it'd be like trying to stop nuclear proliferation in a world where everyone already has tons of plutonium | 16:42 |
| Taek | ggreer: if you just had a non-enforced whitelist that people trusted, we'd be miles ahead of where we are. But I'm not sure I would ever trust such a whitelist | 16:43 |
| Taek | "this plutionium won't blow up without your permission" ---> pretty nice thing to know | 16:43 |
| -!- danielsocials [~quassel@123.122.52.142] has quit [Read error: Connection reset by peer] | 16:44 | |
| Taek | When I buy a house, I don't worry that it's structurally sound. I know that it's passed a bunch of reglations that mean it's structurally sound | 16:44 |
| ggreer | if people want to opt-in to curated software, can't they already do that by using iOS or android devices? those have locked-down app stores that only verified devs can publish software in | 16:44 |
| belcher | people losing money who voluntarily got involved in bitcoin isnt nearly as bad as innocent bystanders dying because of a self driving car | 16:44 |
| -!- danielsocials [~quassel@123.119.91.62] has joined #bitcoin-wizards | 16:44 | |
| -!- tachys [~alex@96.82.80.25] has quit [Remote host closed the connection] | 16:44 | |
| Taek | belcher: you are correct | 16:44 |
| bsm1175321 | People losing money who voluntarily give it to snake oil salesman is also illegal. Don't blame the victim for losing money. | 16:46 |
| -!- CubicEarth [~cubiceart@186.15.176.12] has joined #bitcoin-wizards | 16:47 | |
| -!- moa [~kiwigb@opentransactions/dev/moa] has joined #bitcoin-wizards | 16:47 | |
| -!- danielsocials [~quassel@123.119.91.62] has quit [Ping timeout: 255 seconds] | 16:48 | |
| ggreer | Taek: I'm not sure what you know about autonomous vehicles, but almost all of them have a software architecture where there's a core module that can't be updated | 16:49 |
| ggreer | and it checks basic things like, "am I going too fast for the conditions? are there obstacles in the way?" etc | 16:49 |
| ggreer | and if any of those constraints are violated, the car slows down or stops. the incident is logged, etc | 16:50 |
| ggreer | so that even if you hacked the car, you wouldn't be able to crash it. worst case, you'd brick the car | 16:50 |
| smooth | sounds like a good way to kidnap people | 16:50 |
| ggreer | on the other hand, every year in the US, approximately 40,000 people are killed in human-driven cars. for every day we delay self-driving cars, that's another 100 lives lost | 16:52 |
| ggreer | even if these movie plot threats were plausible, they wouldn't kill 40,000 people | 16:54 |
| smooth | depends on the movie | 16:54 |
| -!- yang [yang@freenode/sponsor/fsf.member.yang] has quit [Ping timeout: 244 seconds] | 16:58 | |
| -!- yang [yang@freenode/sponsor/fsf.member.yang] has joined #bitcoin-wizards | 16:59 | |
| -!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has joined #bitcoin-wizards | 17:00 | |
| -!- voxelot_ [~voxelot@remote.digitalmoneycorp.com] has quit [Ping timeout: 244 seconds] | 17:00 | |
| -!- CrazyTruthYakDDS [uid67551@gateway/web/irccloud.com/x-brzzsoqpwsjcrucu] has quit [Quit: Connection closed for inactivity] | 17:00 | |
| -!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has joined #bitcoin-wizards | 17:00 | |
| -!- CrazyTruthYakDDS [uid67551@gateway/web/irccloud.com/x-pzfbgrnwqjrkfzjx] has joined #bitcoin-wizards | 17:04 | |
| -!- ghtdak [~ghtdak@unaffiliated/ghtdak] has quit [Ping timeout: 244 seconds] | 17:10 | |
| -!- Yoghur114 [~jorn@g227014.upc-g.chello.nl] has quit [Remote host closed the connection] | 17:14 | |
| -!- d9b4bef9 [~d9b4bef9@web419.webfaction.com] has quit [Ping timeout: 248 seconds] | 17:17 | |
| -!- justanotheruser [~Justan@unaffiliated/justanotheruser] has quit [Ping timeout: 248 seconds] | 17:18 | |
| -!- d9b4bef9 [~d9b4bef9@web419.webfaction.com] has joined #bitcoin-wizards | 17:19 | |
| -!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards | 17:24 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has joined #bitcoin-wizards | 17:37 | |
| -!- giel__ [~giel____@a149043.upc-a.chello.nl] has quit [Ping timeout: 240 seconds] | 17:40 | |
| -!- zooko [~user@50.141.119.67] has joined #bitcoin-wizards | 17:42 | |
| -!- danielsocials [~quassel@123.119.91.62] has joined #bitcoin-wizards | 17:45 | |
| -!- Ylbam [uid99779@gateway/web/irccloud.com/x-uqjdypnkkfhwtqwv] has quit [Quit: Connection closed for inactivity] | 17:48 | |
| -!- PaulCapestany [~PaulCapes@204.28.124.82] has quit [Quit: .] | 17:48 | |
| -!- PaulCapestany [~PaulCapes@204.28.124.82] has joined #bitcoin-wizards | 17:50 | |
| -!- danielsocials [~quassel@123.119.91.62] has quit [Ping timeout: 244 seconds] | 17:52 | |
| -!- wallet42 [~wallet42@unaffiliated/wallet42] has quit [Ping timeout: 252 seconds] | 17:54 | |
| -!- dEBRUYNE [~dEBRUYNE@56-197-ftth.onsbrabantnet.nl] has quit [Quit: Leaving] | 17:59 | |
| -!- go1111111 [~go1111111@104.200.154.69] has quit [Ping timeout: 252 seconds] | 18:01 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has quit [Remote host closed the connection] | 18:05 | |
| -!- AaronvanW_ [~ewout@x4db49f6c.dyn.telefonica.de] has quit [Ping timeout: 268 seconds] | 18:16 | |
| -!- go1111111 [~go1111111@104.232.116.217] has joined #bitcoin-wizards | 18:17 | |
| -!- bsm117532 [~mcelrath@static-108-21-236-13.nycmny.fios.verizon.net] has quit [Remote host closed the connection] | 18:20 | |
| -!- bsm117532 [~mcelrath@static-108-21-236-13.nycmny.fios.verizon.net] has joined #bitcoin-wizards | 18:20 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has joined #bitcoin-wizards | 18:26 | |
| -!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has quit [Remote host closed the connection] | 18:29 | |
| -!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has joined #bitcoin-wizards | 18:30 | |
| -!- justanotheruser [~Justan@unaffiliated/justanotheruser] has quit [Ping timeout: 244 seconds] | 18:32 | |
| -!- justanotheruser [~Justan@unaffiliated/justanotheruser] has joined #bitcoin-wizards | 18:33 | |
| -!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has quit [Ping timeout: 240 seconds] | 18:39 | |
| -!- Tiraspol [~Tiraspol3@c-98-212-187-224.hsd1.il.comcast.net] has joined #bitcoin-wizards | 18:42 | |
| -!- Tiraspol [~Tiraspol3@c-98-212-187-224.hsd1.il.comcast.net] has quit [Changing host] | 18:42 | |
| -!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has joined #bitcoin-wizards | 18:42 | |
| -!- RoboTeddy [~roboteddy@67.188.40.206] has quit [Remote host closed the connection] | 18:43 | |
| -!- p15 [~p15@90.91.145.64.client.static.strong-tk2.bringover.net] has joined #bitcoin-wizards | 18:46 | |
| -!- Nightwolf [~Nightwolf@unaffiliated/nightwolf] has quit [Read error: Connection reset by peer] | 18:46 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has quit [Remote host closed the connection] | 18:46 | |
| -!- Nightwolf [~Nightwolf@unaffiliated/nightwolf] has joined #bitcoin-wizards | 18:48 | |
| -!- belcher [~user@unaffiliated/belcher] has quit [Quit: Leaving] | 18:50 | |
| -!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has quit [Ping timeout: 240 seconds] | 18:51 | |
| -!- Tiraspol [~Tiraspol3@c-98-212-187-224.hsd1.il.comcast.net] has joined #bitcoin-wizards | 18:52 | |
| -!- Tiraspol [~Tiraspol3@c-98-212-187-224.hsd1.il.comcast.net] has quit [Changing host] | 18:52 | |
| -!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has joined #bitcoin-wizards | 18:52 | |
| Aleph0 | Taek: are you familiar how software gets verified for flaws/vulns in enterprise settings? | 18:52 |
| Aleph0 | there are regulations, etc. | 18:53 |
| Aleph0 | all that stuff has been reviewed, and signed off by multiple ppl, etc. | 18:53 |
| -!- laurentmt [~Thunderbi@128-79-141-196.hfc.dyn.abo.bbox.fr] has joined #bitcoin-wizards | 18:53 | |
| -!- laurentmt [~Thunderbi@128-79-141-196.hfc.dyn.abo.bbox.fr] has quit [Client Quit] | 18:54 | |
| Aleph0 | there is just very little in terms of consequences for everyone involved. | 18:54 |
| -!- RoboTeddy [~roboteddy@c-67-188-40-206.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 18:56 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 18:56 | |
| -!- rgrant [~user@unaffiliated/rgrant] has quit [Ping timeout: 276 seconds] | 18:56 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Ping timeout: 252 seconds] | 19:00 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 19:06 | |
| -!- bit2017 [~linker@210.245.34.191] has joined #bitcoin-wizards | 19:07 | |
| -!- tachys [~alex@c-73-170-35-214.hsd1.ca.comcast.net] has quit [Remote host closed the connection] | 19:08 | |
| -!- Guest60945 [~blk@c-73-146-29-63.hsd1.in.comcast.net] has quit [Ping timeout: 250 seconds] | 19:11 | |
| -!- Guest60945 [~blk@2601:800:4001:149b:18c9:1046:b971:2fe] has joined #bitcoin-wizards | 19:12 | |
| -!- rgrant [~user@unaffiliated/rgrant] has joined #bitcoin-wizards | 19:13 | |
| -!- r0ach [~r0ach@107-217-214-192.lightspeed.jcvlfl.sbcglobal.net] has quit [] | 19:15 | |
| -!- mrkent [~textual@unaffiliated/mrkent] has quit [] | 19:18 | |
| -!- voxelot_ [~voxelot@2605:e000:1525:802f:fdfc:5f36:c775:b936] has joined #bitcoin-wizards | 19:21 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has joined #bitcoin-wizards | 19:22 | |
| -!- ghtdak [~ghtdak@unaffiliated/ghtdak] has joined #bitcoin-wizards | 19:23 | |
| Taek | Aleph0: I am not familiar with it, but it sounds along the lines of what I'm thinking about | 19:26 |
| -!- PaulCapestany [~PaulCapes@204.28.124.82] has quit [Quit: .] | 19:28 | |
| -!- Jeremy_Rand_2 [~user@ip68-97-35-223.ok.ok.cox.net] has joined #bitcoin-wizards | 19:30 | |
| -!- CubicEarth [~cubiceart@186.15.176.12] has quit [] | 19:32 | |
| -!- maaku [~quassel@botbot.xen.prgmr.com] has quit [Remote host closed the connection] | 19:44 | |
| -!- mountaingoat [~mountaing@unaffiliated/mountaingoat] has quit [Quit: WeeChat 1.3] | 19:46 | |
| -!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has quit [Ping timeout: 244 seconds] | 19:47 | |
| -!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has joined #bitcoin-wizards | 19:48 | |
| -!- mountaingoat [~mountaing@unaffiliated/mountaingoat] has joined #bitcoin-wizards | 19:48 | |
| -!- danielsocials [~quassel@123.119.91.62] has joined #bitcoin-wizards | 19:49 | |
| -!- danielsocials [~quassel@123.119.91.62] has quit [Ping timeout: 240 seconds] | 19:54 | |
| -!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has quit [Remote host closed the connection] | 19:54 | |
| -!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has joined #bitcoin-wizards | 19:55 | |
| -!- jaekwon [~jaekwon@75-101-96-71.dsl.static.fusionbroadband.com] has quit [Remote host closed the connection] | 19:56 | |
| -!- maaku [~quassel@botbot.xen.prgmr.com] has joined #bitcoin-wizards | 20:03 | |
| -!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has joined #bitcoin-wizards | 20:05 | |
| -!- sparetire [~sparetire@unaffiliated/sparetire] has quit [Quit: sparetire] | 20:08 | |
| -!- TheSeven [~quassel@rockbox/developer/TheSeven] has quit [Ping timeout: 240 seconds] | 20:14 | |
| -!- TheSeven [~quassel@rockbox/developer/TheSeven] has joined #bitcoin-wizards | 20:16 | |
| pigeons | yeah software quality has safety effects now | 20:17 |
| -!- tjader [tjader@roku.tjader.xyz] has quit [Ping timeout: 268 seconds] | 20:19 | |
| bsm117532 | I don't know that we could accomplish reliability and safety guarantees in today's software environment. I would welcome such a thing, but there's a new language every 10 minutes... | 20:19 |
| -!- p15x [~p15x@60.91.145.64.client.static.strong-tk2.bringover.net] has joined #bitcoin-wizards | 20:20 | |
| * bsm117532 has been playing with golang, ethereum, serpent, etc. It's become so easy to whip up a new language. | 20:20 | |
| -!- helo [~helo@unaffiliated/helo] has quit [Ping timeout: 268 seconds] | 20:20 | |
| bsm117532 | Proving correctness is another ball of wax... | 20:20 |
| -!- helo [~helo@unaffiliated/helo] has joined #bitcoin-wizards | 20:21 | |
| -!- tjader [tjader@roku.tjader.xyz] has joined #bitcoin-wizards | 20:22 | |
| bsm117532 | I think the halting problem and the incompleteness theorem has discouraged mathematicians and computer scientists from even trying, which is unfortunate, because by restricting the domain, correctness can certainly be proved and checked. But no one even tries.... | 20:22 |
| bsm117532 | I've seen a number of "folk theorems" in physics have the same effect. :-/ | 20:26 |
| -!- shesek [~shesek@bzq-84-110-211-214.red.bezeqint.net] has joined #bitcoin-wizards | 20:26 | |
| Taek | I think a lot of us, as well as a huge part of the general crypto community, would appreciate having better tooling for provably correct code | 20:30 |
| bsm117532 | I know the new libsecp256k1 went through a lot of testing using Sage, but I don't know the details. | 20:33 |
| zmanian_ | maaku: do you have any references to non outsourceable POW that do require CRS? | 20:38 |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards | 20:51 | |
| -!- wallet42 [~wallet42@unaffiliated/wallet42] has joined #bitcoin-wizards | 20:52 | |
| -!- Don_John [~Don@250-223-114-134.nat.resnet.nau.edu] has quit [Read error: Connection reset by peer] | 20:58 | |
| -!- nuke1989 [~nuke@176.92.255.177] has quit [Remote host closed the connection] | 21:07 | |
| -!- phiche [~Adium@2.68.249.59.mobile.tre.se] has joined #bitcoin-wizards | 21:16 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has quit [Remote host closed the connection] | 21:17 | |
| -!- phiche [~Adium@2.68.249.59.mobile.tre.se] has quit [Read error: Connection reset by peer] | 21:17 | |
| -!- phiche [~Adium@2.68.249.59.mobile.tre.se] has joined #bitcoin-wizards | 21:18 | |
| -!- maaku [~quassel@botbot.xen.prgmr.com] has quit [Remote host closed the connection] | 21:18 | |
| -!- phiche1 [~Adium@2.68.249.59.mobile.tre.se] has joined #bitcoin-wizards | 21:19 | |
| -!- maaku [~quassel@botbot.xen.prgmr.com] has joined #bitcoin-wizards | 21:19 | |
| -!- maaku is now known as Guest24373 | 21:20 | |
| -!- phiche [~Adium@2.68.249.59.mobile.tre.se] has quit [Ping timeout: 240 seconds] | 21:22 | |
| -!- p15x [~p15x@60.91.145.64.client.static.strong-tk2.bringover.net] has quit [Quit: Textual IRC Client: www.textualapp.com] | 21:38 | |
| -!- DougieBot5000_ [~DougieBot@unaffiliated/dougiebot5000] has joined #bitcoin-wizards | 21:42 | |
| -!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has quit [Ping timeout: 248 seconds] | 21:44 | |
| -!- phiche1 [~Adium@2.68.249.59.mobile.tre.se] has quit [Quit: Leaving.] | 21:45 | |
| -!- phiche [~Adium@2.68.249.59.mobile.tre.se] has joined #bitcoin-wizards | 21:46 | |
| -!- DougieBot5000_ [~DougieBot@unaffiliated/dougiebot5000] has quit [Ping timeout: 255 seconds] | 21:47 | |
| rgrant | Taek: are you aware of Cryptol (www.cryptol.net), Galois's Copilot embedded systems DSL, and techniques used in the verification of L4? ( https://github.com/seL4/l4v ) | 21:52 |
| -!- danielsocials [~quassel@123.119.91.62] has joined #bitcoin-wizards | 21:52 | |
| -!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has joined #bitcoin-wizards | 21:54 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 252 seconds] | 21:55 | |
| -!- chjj [~chjj@unaffiliated/chjj] has quit [Quit: null] | 21:57 | |
| -!- chjj [~chjj@unaffiliated/chjj] has joined #bitcoin-wizards | 21:58 | |
| -!- phiche [~Adium@2.68.249.59.mobile.tre.se] has quit [Quit: Leaving.] | 21:58 | |
| -!- danielsocials [~quassel@123.119.91.62] has quit [Ping timeout: 248 seconds] | 21:59 | |
| -!- midnightmagic [~midnightm@unaffiliated/midnightmagic] has quit [Quit: quit] | 22:02 | |
| -!- tachys [~alex@73.170.35.214] has joined #bitcoin-wizards | 22:08 | |
| -!- Giszmo [~leo@pc-122-14-46-190.cm.vtr.net] has quit [Quit: Leaving.] | 22:08 | |
| -!- midnightmagic [~midnightm@unaffiliated/midnightmagic] has joined #bitcoin-wizards | 22:20 | |
| -!- Erik_dc [~erik@ip-83-101-4-49.customer.schedom-europe.net] has joined #bitcoin-wizards | 22:33 | |
| -!- tachys [~alex@73.170.35.214] has quit [] | 22:49 | |
| -!- Erik_dc [~erik@ip-83-101-4-49.customer.schedom-europe.net] has quit [Remote host closed the connection] | 23:00 | |
| -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards | 23:06 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has joined #bitcoin-wizards | 23:17 | |
| -!- tromp_ [~tromp@ool-18be0bd8.dyn.optonline.net] has quit [Remote host closed the connection] | 23:31 | |
| -!- Ylbam [uid99779@gateway/web/irccloud.com/x-rdjppzdqxolpcfev] has joined #bitcoin-wizards | 23:33 | |
| -!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has quit [Ping timeout: 244 seconds] | 23:38 | |
| -!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has joined #bitcoin-wizards | 23:51 | |
| -!- danielsocials [~quassel@123.119.91.62] has joined #bitcoin-wizards | 23:56 | |
| --- Log closed Thu Feb 25 00:00:42 2016 | ||
Generated by irclog2html.py 2.15.0.dev0 by Marius Gedminas - find it at mg.pov.lt!