--- Log opened Fri Apr 10 00:00:48 2015 | ||
-!- cbeams [~cbeams@chello084114181075.1.15.vie.surfer.at] has joined #bitcoin-wizards | 00:05 | |
-!- cbeams [~cbeams@chello084114181075.1.15.vie.surfer.at] has quit [Changing host] | 00:05 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 00:05 | |
-!- lclc [~lucas@unaffiliated/lclc] has quit [Ping timeout: 264 seconds] | 00:05 | |
-!- hktud0 [ncidsk@unaffiliated/fluffybunny] has quit [Read error: Connection reset by peer] | 00:06 | |
-!- hktud0 [wq@unaffiliated/fluffybunny] has joined #bitcoin-wizards | 00:08 | |
-!- raizor [~raizor@jonny.cloakcoin.info] has quit [Quit: ZNC - http://znc.in] | 00:09 | |
-!- Gues_____ [~ben@c-50-174-52-172.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 00:11 | |
-!- Gues_____ [~ben@c-50-174-52-172.hsd1.ca.comcast.net] has quit [Client Quit] | 00:11 | |
-!- SDCDev [~quassel@unaffiliated/sdcdev] has joined #bitcoin-wizards | 00:14 | |
-!- Tiraspol [Tiraspol3@unaffiliated/tiraspol] has quit [Ping timeout: 244 seconds] | 00:19 | |
-!- Tiraspol [~Tiraspol3@c-73-168-30-130.hsd1.il.comcast.net] has joined #bitcoin-wizards | 00:19 | |
-!- Tiraspol [~Tiraspol3@c-73-168-30-130.hsd1.il.comcast.net] has quit [Changing host] | 00:19 | |
-!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has joined #bitcoin-wizards | 00:19 | |
-!- luigi1111w [~luigi1112@unaffiliated/luigi1111] has quit [Ping timeout: 245 seconds] | 00:23 | |
-!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has quit [Remote host closed the connection] | 00:23 | |
-!- Tiraspol [Tiraspol3@unaffiliated/tiraspol] has joined #bitcoin-wizards | 00:24 | |
-!- luigi1111w [~luigi1112@static-209-107-228-69.consolidated.net] has joined #bitcoin-wizards | 00:30 | |
-!- luigi1111w is now known as Guest48690 | 00:30 | |
-!- thrasher` [~thrasher@27-33-27-140.static.tpgi.com.au] has quit [] | 00:40 | |
-!- lclc [~lucas@unaffiliated/lclc] has joined #bitcoin-wizards | 00:44 | |
-!- dEBRUYNE [~dEBRUYNE@239-196-ftth.onsbrabantnet.nl] has joined #bitcoin-wizards | 00:54 | |
-!- orik [~orik@50-46-132-219.evrt.wa.frontiernet.net] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…] | 00:56 | |
-!- phiche [~Adium@193.89.189.140] has joined #bitcoin-wizards | 01:01 | |
-!- jtimon [~quassel@189.Red-83-59-238.dynamicIP.rima-tde.net] has joined #bitcoin-wizards | 01:02 | |
-!- phiche1 [~Adium@193.89.191.209] has quit [Ping timeout: 244 seconds] | 01:03 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Remote host closed the connection] | 01:04 | |
-!- andy-logbot [~bitcoin--@wpsoftware.net] has quit [Remote host closed the connection] | 01:04 | |
-!- andy-logbot [~bitcoin--@wpsoftware.net] has joined #bitcoin-wizards | 01:05 | |
* andy-logbot is logging | 01:05 | |
-!- jtimon [~quassel@189.Red-83-59-238.dynamicIP.rima-tde.net] has quit [Ping timeout: 244 seconds] | 01:09 | |
-!- p15 [~p15@111.193.176.129] has quit [Quit: Textual IRC Client: www.textualapp.com] | 01:10 | |
-!- melvster [~melvster@ip-86-49-18-198.net.upcbroadband.cz] has quit [Remote host closed the connection] | 01:10 | |
-!- p15 [~p15@182.50.108.80] has joined #bitcoin-wizards | 01:10 | |
-!- melvster [~melvster@ip-86-49-18-198.net.upcbroadband.cz] has joined #bitcoin-wizards | 01:11 | |
-!- iugfhvybu [~vfbtgn@5-12-205-235.residential.rdsnet.ro] has joined #bitcoin-wizards | 01:12 | |
-!- Guest48690 [~luigi1112@static-209-107-228-69.consolidated.net] has quit [Ping timeout: 250 seconds] | 01:12 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 01:13 | |
-!- luktgf [~vfbtgn@188.27.95.237] has quit [Ping timeout: 250 seconds] | 01:15 | |
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has joined #bitcoin-wizards | 01:18 | |
-!- Guest48690 [~luigi1112@static-209-107-228-69.consolidated.net] has joined #bitcoin-wizards | 01:20 | |
-!- terpo [~terpo@81-64-36-59.rev.numericable.fr] has joined #bitcoin-wizards | 01:21 | |
-!- RoboTeddy [~roboteddy@c-67-180-192-179.hsd1.ca.comcast.net] has quit [Remote host closed the connection] | 01:27 | |
-!- RoboTeddy [~roboteddy@2601:9:3483:2400:90b2:f13b:d8b6:9639] has joined #bitcoin-wizards | 01:27 | |
-!- luktgf [~vfbtgn@188.27.90.88] has joined #bitcoin-wizards | 01:30 | |
-!- RoboTeddy [~roboteddy@2601:9:3483:2400:90b2:f13b:d8b6:9639] has quit [Ping timeout: 245 seconds] | 01:31 | |
-!- rubensayshi [~ruben@91.206.81.13] has joined #bitcoin-wizards | 01:32 | |
-!- iugfhvybu [~vfbtgn@5-12-205-235.residential.rdsnet.ro] has quit [Ping timeout: 250 seconds] | 01:33 | |
-!- luktgf [~vfbtgn@188.27.90.88] has quit [Read error: Connection reset by peer] | 01:43 | |
-!- RoboTeddy [~roboteddy@c-67-188-40-206.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 01:43 | |
-!- jtimon [~quassel@189.Red-83-59-238.dynamicIP.rima-tde.net] has joined #bitcoin-wizards | 01:45 | |
-!- luktgf [~vfbtgn@5-12-205-75.residential.rdsnet.ro] has joined #bitcoin-wizards | 01:48 | |
-!- wallet42 [~wallet42@95.6.28.61] has joined #bitcoin-wizards | 01:48 | |
-!- luktgf [~vfbtgn@5-12-205-75.residential.rdsnet.ro] has quit [Client Quit] | 01:52 | |
-!- skeuomorf [~skeuomorf@unaffiliated/skeuomorf] has joined #bitcoin-wizards | 01:53 | |
-!- Rynomster [~quassel@unaffiliated/rynomster] has joined #bitcoin-wizards | 01:57 | |
-!- RoboTedd_ [~roboteddy@c-67-188-40-206.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 01:58 | |
-!- x98gvyn [~vfbtgn@5-12-205-75.residential.rdsnet.ro] has joined #bitcoin-wizards | 01:58 | |
-!- SDCDev [~quassel@unaffiliated/sdcdev] has quit [Ping timeout: 255 seconds] | 01:59 | |
-!- RoboTeddy [~roboteddy@c-67-188-40-206.hsd1.ca.comcast.net] has quit [Ping timeout: 255 seconds] | 02:01 | |
-!- cornusammonis [~Cornus@pool-173-73-140-137.washdc.fios.verizon.net] has joined #bitcoin-wizards | 02:02 | |
-!- gglon [d5ee62f4@gateway/web/freenode/ip.213.238.98.244] has joined #bitcoin-wizards | 02:03 | |
-!- cornus_ammonis [~Cornus@pool-173-73-140-137.washdc.fios.verizon.net] has quit [Ping timeout: 264 seconds] | 02:06 | |
-!- CodeShark [~textual@cpe-76-167-237-202.san.res.rr.com] has quit [Ping timeout: 252 seconds] | 02:07 | |
-!- agorist000 [~snizysnaz@unaffiliated/agorist000] has joined #bitcoin-wizards | 02:15 | |
-!- ozanyurt [~textual@91.93.230.127] has joined #bitcoin-wizards | 02:17 | |
-!- agorist000 is now known as metamarc | 02:17 | |
-!- metamarc is now known as agorist000 | 02:25 | |
-!- agorist000 is now known as metamarket | 02:25 | |
-!- metamarket [~snizysnaz@unaffiliated/agorist000] has quit [Quit: Leaving] | 02:25 | |
-!- metamarc [~snizysnaz@97.95.172.50] has joined #bitcoin-wizards | 02:26 | |
-!- metamarc [~snizysnaz@97.95.172.50] has quit [Changing host] | 02:26 | |
-!- metamarc [~snizysnaz@unaffiliated/agorist000] has joined #bitcoin-wizards | 02:26 | |
-!- metamarc [~snizysnaz@unaffiliated/agorist000] has quit [Client Quit] | 02:28 | |
-!- metamarc [~snizysnaz@unaffiliated/agorist000] has joined #bitcoin-wizards | 02:28 | |
-!- ozanyurt [~textual@91.93.230.127] has quit [Quit: My Mac has gone to sleep. ZZZzzz…] | 02:33 | |
-!- ozanyurt [~textual@91.93.230.127] has joined #bitcoin-wizards | 02:33 | |
-!- vdo [~vdo@7.Red-80-26-130.dynamicIP.rima-tde.net] has joined #bitcoin-wizards | 02:36 | |
-!- metamarc [~snizysnaz@unaffiliated/agorist000] has quit [Ping timeout: 265 seconds] | 02:37 | |
-!- SDCDev [~quassel@unaffiliated/sdcdev] has joined #bitcoin-wizards | 02:38 | |
-!- Rynomster [~quassel@unaffiliated/rynomster] has quit [Ping timeout: 246 seconds] | 02:40 | |
-!- gglon [d5ee62f4@gateway/web/freenode/ip.213.238.98.244] has quit [Ping timeout: 246 seconds] | 02:45 | |
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has quit [Ping timeout: 264 seconds] | 02:45 | |
* nsh muses | 02:47 | |
fluffypony | like the band? or do you literally have a Greek goddess next to you inspiring you? | 02:52 |
---|---|---|
nsh | a little from column A, a little from column Beta | 02:52 |
sipa | or ARE you a greek goddess? | 02:53 |
nsh | rats, secret's out | 02:53 |
nsh | nah, i was thinking of some kind of system to cross-reference -wizards and mailing-list discussions and (a very small subset of) bitcointalk in various ways to try and better systematize the body of emerging thought and knowledge | 02:54 |
nsh | to create a more manageable ascent of mt. blockchain | 02:54 |
nsh | s/create/facilitate/ | 02:56 |
-!- waxwing [~waxwing@62.205.214.125] has quit [Ping timeout: 248 seconds] | 02:57 | |
-!- ebfull [~ebfull@c-76-120-40-34.hsd1.co.comcast.net] has joined #bitcoin-wizards | 02:57 | |
* nsh gets distracted epidemiological mountain-climbing analogues and parallel transport | 02:57 | |
nsh | *analogies | 02:58 |
-!- b_lumenkraft [~b_lumenkr@unaffiliated/b-lumenkraft/x-4457406] has quit [Quit: b_lumenkraft] | 02:59 | |
-!- b_lumenkraft [~b_lumenkr@unaffiliated/b-lumenkraft/x-4457406] has joined #bitcoin-wizards | 02:59 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Remote host closed the connection] | 03:00 | |
nsh | kanzure will hopefully have some ideas about how to go about creating a practical dependency structure for hierarchically-comprehensible complex understanding | 03:01 |
-!- hearn [~mike@84-75-198-85.dclient.hispeed.ch] has joined #bitcoin-wizards | 03:01 | |
-!- waxwing [waxwing@gateway/vpn/mullvad/x-mqamzmasmciemnaj] has joined #bitcoin-wizards | 03:07 | |
-!- MoALTz__ [~no@78.11.179.104] has joined #bitcoin-wizards | 03:10 | |
-!- cbeams [~cbeams@chello084114181075.1.15.vie.surfer.at] has joined #bitcoin-wizards | 03:11 | |
-!- cbeams [~cbeams@chello084114181075.1.15.vie.surfer.at] has quit [Changing host] | 03:11 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 03:11 | |
-!- MoALTz_ [~no@78.11.179.104] has quit [Ping timeout: 255 seconds] | 03:13 | |
-!- shesek [~shesek@77.127.158.156] has joined #bitcoin-wizards | 03:21 | |
-!- llllllllll [~lllllllll@6d482698.ftth.concepts.nl] has joined #bitcoin-wizards | 03:23 | |
-!- hearn [~mike@84-75-198-85.dclient.hispeed.ch] has quit [Ping timeout: 245 seconds] | 03:23 | |
-!- AllieSenbub1 [~AllieS@c-98-210-139-204.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 03:28 | |
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has joined #bitcoin-wizards | 03:30 | |
-!- AllieSenbub [~AllieS@c-98-210-139-204.hsd1.ca.comcast.net] has quit [Ping timeout: 252 seconds] | 03:31 | |
-!- helo [~helo@unaffiliated/helo] has quit [Ping timeout: 252 seconds] | 03:31 | |
-!- airbreather [~AirBreath@d149-67-99-43.nap.wideopenwest.com] has joined #bitcoin-wizards | 03:34 | |
-!- x98gvyn [~vfbtgn@5-12-205-75.residential.rdsnet.ro] has quit [Remote host closed the connection] | 03:38 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Remote host closed the connection] | 03:42 | |
-!- x98gvyn [~vfbtgn@5-12-205-75.residential.rdsnet.ro] has joined #bitcoin-wizards | 03:44 | |
-!- hearn [~mike@84-75-198-85.dclient.hispeed.ch] has joined #bitcoin-wizards | 03:46 | |
-!- ozanyurt [~textual@91.93.230.127] has quit [Quit: Textual IRC Client: www.textualapp.com] | 03:49 | |
-!- Rynomster [~quassel@unaffiliated/rynomster] has joined #bitcoin-wizards | 03:51 | |
-!- SDCDev [~quassel@unaffiliated/sdcdev] has quit [Ping timeout: 245 seconds] | 03:53 | |
-!- bit2017 [~linker@113.161.87.238] has joined #bitcoin-wizards | 03:53 | |
-!- terpo [~terpo@81-64-36-59.rev.numericable.fr] has quit [] | 03:54 | |
-!- nivah [~linker@115.79.55.177] has quit [Ping timeout: 272 seconds] | 03:57 | |
-!- ozanyurt [~textual@91.93.230.127] has joined #bitcoin-wizards | 03:58 | |
nsh | Information Geometry and Applications. / Background material -- https://nlsconf.physics.uoc.gr/sites/nlsconf.physics.uoc.gr/files/files/background_4_talk_ghikas_2014_01.pdf | 03:59 |
-!- JoolsX [~JoolsX@2a03:b0c0:2:d0::2dd:7001] has joined #bitcoin-wizards | 04:06 | |
nsh | .wik Contrast function | 04:06 |
yoleaux | "In statistics and information geometry, divergence or a contrast function is a function which establishes the "distance" of one probability distribution to the other on a statistical manifold." — http://en.wikipedia.org/wiki/Contrast_function | 04:06 |
-!- luktgf [~vfbtgn@188.25.32.94] has joined #bitcoin-wizards | 04:15 | |
-!- vmatekol_ [~vmatekole@x5ce58502.dyn.telefonica.de] has quit [Ping timeout: 265 seconds] | 04:17 | |
-!- lclc [~lucas@unaffiliated/lclc] has quit [Ping timeout: 252 seconds] | 04:18 | |
-!- x98gvyn [~vfbtgn@5-12-205-75.residential.rdsnet.ro] has quit [Ping timeout: 252 seconds] | 04:18 | |
-!- bsm117532 [~bsm117532@static-108-21-236-13.nycmny.fios.verizon.net] has joined #bitcoin-wizards | 04:25 | |
-!- bit2017 [~linker@113.161.87.238] has quit [Ping timeout: 256 seconds] | 04:34 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 04:42 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Ping timeout: 248 seconds] | 04:48 | |
-!- damethos [~damethos@unaffiliated/damethos] has joined #bitcoin-wizards | 04:48 | |
-!- dEBRUYNE [~dEBRUYNE@239-196-ftth.onsbrabantnet.nl] has quit [Ping timeout: 250 seconds] | 04:51 | |
-!- ozanyurt [~textual@91.93.230.127] has quit [Quit: My Mac has gone to sleep. ZZZzzz…] | 05:17 | |
-!- Crowley2k [~Crowley2k@93.113.62.93] has joined #bitcoin-wizards | 05:25 | |
-!- fanquake [~fanquake@unaffiliated/fanquake] has left #bitcoin-wizards [] | 05:41 | |
-!- adam3us [~Adium@modemcable130.142-161-184.mc.videotron.ca] has quit [Quit: Leaving.] | 05:48 | |
-!- bsm117532 [~bsm117532@static-108-21-236-13.nycmny.fios.verizon.net] has quit [Ping timeout: 255 seconds] | 05:56 | |
-!- phiche [~Adium@193.89.189.140] has quit [Read error: Connection reset by peer] | 05:56 | |
-!- phiche [~Adium@193.89.191.209] has joined #bitcoin-wizards | 05:56 | |
-!- afk11 [~thomas@178.162.199.35] has joined #bitcoin-wizards | 05:58 | |
-!- cbeams [~cbeams@chello084114181075.1.15.vie.surfer.at] has joined #bitcoin-wizards | 06:01 | |
-!- cbeams [~cbeams@chello084114181075.1.15.vie.surfer.at] has quit [Changing host] | 06:01 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 06:01 | |
-!- bsm117532 [~bsm117532@static-108-21-236-13.nycmny.fios.verizon.net] has joined #bitcoin-wizards | 06:03 | |
-!- erasmospunk [~erasmospu@151.68.17.52] has joined #bitcoin-wizards | 06:05 | |
-!- erasmosp_ [~erasmospu@178.162.199.35] has joined #bitcoin-wizards | 06:07 | |
-!- damethos [~damethos@unaffiliated/damethos] has quit [Quit: Bye] | 06:08 | |
-!- erasmospunk [~erasmospu@151.68.17.52] has quit [Ping timeout: 252 seconds] | 06:09 | |
-!- c-cex-yuriy [uid76808@gateway/web/irccloud.com/x-wuejcrkfwupptbzy] has joined #bitcoin-wizards | 06:10 | |
-!- bsm117532 [~bsm117532@static-108-21-236-13.nycmny.fios.verizon.net] has quit [Ping timeout: 250 seconds] | 06:16 | |
-!- Quanttek [~quassel@2a02:8108:73f:f6e4:e23f:49ff:fe47:9364] has joined #bitcoin-wizards | 06:18 | |
-!- b_lumenkraft [~b_lumenkr@unaffiliated/b-lumenkraft/x-4457406] has quit [Read error: Connection reset by peer] | 06:20 | |
-!- b_lumenkraft [~b_lumenkr@unaffiliated/b-lumenkraft/x-4457406] has joined #bitcoin-wizards | 06:21 | |
-!- erasmosp_ [~erasmospu@178.162.199.35] has quit [Remote host closed the connection] | 06:27 | |
-!- adam3us [~Adium@modemcable130.142-161-184.mc.videotron.ca] has joined #bitcoin-wizards | 06:28 | |
-!- hearn [~mike@84-75-198-85.dclient.hispeed.ch] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…] | 06:32 | |
-!- arubi_ [~ese168@unaffiliated/arubi] has quit [Quit: Leaving] | 06:43 | |
-!- adam3us [~Adium@modemcable130.142-161-184.mc.videotron.ca] has quit [Quit: Leaving.] | 06:46 | |
-!- antgreen` [~user@CPE687f74122463-CM84948c2e0610.cpe.net.cable.rogers.com] has joined #bitcoin-wizards | 06:47 | |
-!- antgreen [~user@CPE687f74122463-CM84948c2e0610.cpe.net.cable.rogers.com] has quit [Ping timeout: 272 seconds] | 06:49 | |
-!- lmatteis [uid3300@gateway/web/irccloud.com/x-aipzmbhuoadhmmbp] has joined #bitcoin-wizards | 06:52 | |
-!- SDCDev [~quassel@unaffiliated/sdcdev] has joined #bitcoin-wizards | 06:53 | |
-!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…] | 06:55 | |
-!- Rynomster [~quassel@unaffiliated/rynomster] has quit [Ping timeout: 250 seconds] | 06:55 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Remote host closed the connection] | 06:57 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 06:57 | |
-!- skeuomorf [~skeuomorf@unaffiliated/skeuomorf] has quit [Ping timeout: 248 seconds] | 07:04 | |
kanzure | nsh: copy-paste | 07:05 |
nsh | for what? | 07:06 |
-!- StephenM347 [~stephenm3@static-64-223-246-218.port.east.myfairpoint.net] has joined #bitcoin-wizards | 07:09 | |
-!- hearn [~mike@185.25.95.132] has joined #bitcoin-wizards | 07:13 | |
kanzure | that is the answer | 07:20 |
-!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has joined #bitcoin-wizards | 07:24 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Read error: Connection reset by peer] | 07:24 | |
-!- zooko [~user@c-73-217-16-2.hsd1.co.comcast.net] has joined #bitcoin-wizards | 07:27 | |
* nsh is doubtful | 07:29 | |
* zooko is too. | 07:30 | |
* zooko doesn't know what we're talking about, but is just doubtful in principle. | 07:31 | |
-!- user7779078 [~user77790@ool-4a5987f1.dyn.optonline.net] has joined #bitcoin-wizards | 07:39 | |
-!- zooko [~user@c-73-217-16-2.hsd1.co.comcast.net] has quit [Quit: brb] | 07:40 | |
-!- maraoz [~maraoz@43-161-16-190.fibertel.com.ar] has joined #bitcoin-wizards | 07:42 | |
-!- afk11 [~thomas@178.162.199.35] has quit [Remote host closed the connection] | 07:43 | |
-!- ozanyurt [~textual@91.93.230.127] has joined #bitcoin-wizards | 07:45 | |
-!- GAit [~lnahum@2-230-161-158.ip202.fastwebnet.it] has quit [Read error: Connection reset by peer] | 07:48 | |
-!- GAit [~lnahum@2-230-161-158.ip202.fastwebnet.it] has joined #bitcoin-wizards | 07:50 | |
-!- zooko [~user@c-73-217-16-2.hsd1.co.comcast.net] has joined #bitcoin-wizards | 07:52 | |
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has quit [Ping timeout: 264 seconds] | 07:57 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 07:57 | |
-!- Burrito [~Burrito@unaffiliated/burrito] has joined #bitcoin-wizards | 08:00 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Ping timeout: 245 seconds] | 08:02 | |
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has joined #bitcoin-wizards | 08:06 | |
-!- luktgf [~vfbtgn@188.25.32.94] has quit [Ping timeout: 272 seconds] | 08:11 | |
-!- koeppelmann [~koeppelma@agh515a.anlgh.org] has quit [Remote host closed the connection] | 08:13 | |
-!- koeppelmann [~koeppelma@agh515a.anlgh.org] has joined #bitcoin-wizards | 08:14 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 08:18 | |
-!- hearn [~mike@185.25.95.132] has quit [Ping timeout: 244 seconds] | 08:18 | |
-!- phiche [~Adium@193.89.191.209] has quit [Ping timeout: 250 seconds] | 08:19 | |
-!- cbeams_ [~cbeams@chello084114181075.1.15.vie.surfer.at] has joined #bitcoin-wizards | 08:25 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Read error: Connection reset by peer] | 08:26 | |
-!- luktgf [~vfbtgn@188.25.32.94] has joined #bitcoin-wizards | 08:27 | |
-!- hearn [~mike@185.25.95.132] has joined #bitcoin-wizards | 08:34 | |
-!- cbeams_ [~cbeams@chello084114181075.1.15.vie.surfer.at] has quit [Read error: Connection reset by peer] | 08:41 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 08:42 | |
-!- iugfhvybu [~vfbtgn@86.127.129.247] has joined #bitcoin-wizards | 08:43 | |
-!- luktgf [~vfbtgn@188.25.32.94] has quit [Ping timeout: 250 seconds] | 08:46 | |
-!- lclc [~lucas@unaffiliated/lclc] has joined #bitcoin-wizards | 08:46 | |
-!- damethos [~damethos@unaffiliated/damethos] has joined #bitcoin-wizards | 08:53 | |
-!- ozanyurt [~textual@91.93.230.127] has quit [Ping timeout: 264 seconds] | 08:56 | |
-!- p15 [~p15@182.50.108.80] has quit [Quit: My Mac has gone to sleep. ZZZzzz…] | 08:56 | |
-!- psztorc [~psztorc@ool-4575fa8d.dyn.optonline.net] has joined #bitcoin-wizards | 08:59 | |
-!- psztorc [~psztorc@ool-4575fa8d.dyn.optonline.net] has left #bitcoin-wizards [] | 09:05 | |
-!- lclc [~lucas@unaffiliated/lclc] has quit [Ping timeout: 255 seconds] | 09:09 | |
-!- psztorc [~psztorc@ool-4575fa8d.dyn.optonline.net] has joined #bitcoin-wizards | 09:09 | |
-!- Kwelstr [~rex@2602:306:cd77:1d10:518a:a8ee:8d85:1e] has joined #bitcoin-wizards | 09:10 | |
Kwelstr | moooo? | 09:11 |
-!- hearn [~mike@185.25.95.132] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…] | 09:11 | |
-!- erasmospunk [~erasmospu@151.68.17.52] has joined #bitcoin-wizards | 09:22 | |
-!- koeppelmann [~koeppelma@agh515a.anlgh.org] has quit [Remote host closed the connection] | 09:25 | |
-!- koeppelmann [~koeppelma@agh515a.anlgh.org] has joined #bitcoin-wizards | 09:25 | |
-!- erasmospunk [~erasmospu@151.68.17.52] has quit [Ping timeout: 252 seconds] | 09:27 | |
-!- orik [~orik@50-46-132-219.evrt.wa.frontiernet.net] has joined #bitcoin-wizards | 09:29 | |
-!- hearn [~mike@185.25.95.132] has joined #bitcoin-wizards | 09:29 | |
-!- tjader [~tjader@179.210.108.36] has quit [Ping timeout: 252 seconds] | 09:29 | |
-!- erasmospunk [~erasmospu@178.162.211.213] has joined #bitcoin-wizards | 09:32 | |
-!- tjader [~tjader@179.210.108.36] has joined #bitcoin-wizards | 09:35 | |
-!- hearn [~mike@185.25.95.132] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…] | 09:35 | |
-!- koeppelmann [~koeppelma@agh515a.anlgh.org] has quit [Remote host closed the connection] | 09:40 | |
-!- koeppelmann [~koeppelma@agh515a.anlgh.org] has joined #bitcoin-wizards | 09:41 | |
-!- cbeams_ [~cbeams@chello084114181075.1.15.vie.surfer.at] has joined #bitcoin-wizards | 09:43 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Read error: Connection reset by peer] | 09:43 | |
-!- NewLiberty [~NewLibert@2602:304:cff8:1580:c047:8aeb:b953:a993] has joined #bitcoin-wizards | 09:47 | |
-!- psztorc [~psztorc@ool-4575fa8d.dyn.optonline.net] has quit [Ping timeout: 244 seconds] | 09:47 | |
-!- priidu [~priidu@unaffiliated/priidu] has quit [Ping timeout: 255 seconds] | 09:49 | |
-!- dEBRUYNE [~dEBRUYNE@239-196-ftth.onsbrabantnet.nl] has joined #bitcoin-wizards | 09:53 | |
-!- Guest48690 is now known as luigi1111w | 09:58 | |
-!- luigi1111w [~luigi1112@static-209-107-228-69.consolidated.net] has quit [Changing host] | 09:58 | |
-!- luigi1111w [~luigi1112@unaffiliated/luigi1111] has joined #bitcoin-wizards | 09:58 | |
-!- hashtagg_ [~hashtag@87.97.13.205.pool.invitel.hu] has joined #bitcoin-wizards | 10:07 | |
-!- hashtag_ [~hashtag@87.97.20.80.pool.invitel.hu] has quit [Ping timeout: 255 seconds] | 10:11 | |
-!- wallet42 [~wallet42@95.6.28.61] has quit [Quit: Leaving.] | 10:14 | |
-!- rubensayshi [~ruben@91.206.81.13] has quit [Remote host closed the connection] | 10:17 | |
-!- lmatteis [uid3300@gateway/web/irccloud.com/x-aipzmbhuoadhmmbp] has quit [Quit: Connection closed for inactivity] | 10:20 | |
-!- cbeams_ [~cbeams@chello084114181075.1.15.vie.surfer.at] has quit [Read error: Connection reset by peer] | 10:23 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 10:23 | |
-!- cluckj [~cluckj@c-71-225-211-210.hsd1.pa.comcast.net] has quit [Quit: Leaving] | 10:29 | |
-!- damethos [~damethos@unaffiliated/damethos] has quit [Quit: Bye] | 10:37 | |
-!- cbeams_ [~cbeams@chello084114181075.1.15.vie.surfer.at] has joined #bitcoin-wizards | 10:38 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Read error: Connection reset by peer] | 10:38 | |
-!- skullum [Adium@nat/yahoo/x-kliyccenoknsqcbo] has joined #bitcoin-wizards | 10:39 | |
-!- orik [~orik@50-46-132-219.evrt.wa.frontiernet.net] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…] | 10:50 | |
-!- cbeams [~cbeams@chello084114181075.1.15.vie.surfer.at] has joined #bitcoin-wizards | 10:54 | |
-!- cbeams [~cbeams@chello084114181075.1.15.vie.surfer.at] has quit [Changing host] | 10:54 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 10:54 | |
-!- cbeams_ [~cbeams@chello084114181075.1.15.vie.surfer.at] has quit [Read error: Connection reset by peer] | 10:54 | |
-!- user7779078 [~user77790@ool-4a5987f1.dyn.optonline.net] has quit [Remote host closed the connection] | 10:55 | |
-!- RoboTedd_ [~roboteddy@c-67-188-40-206.hsd1.ca.comcast.net] has quit [Remote host closed the connection] | 10:58 | |
-!- psztorc [~psztorc@ool-4575fa8d.dyn.optonline.net] has joined #bitcoin-wizards | 10:58 | |
-!- RoboTeddy [~roboteddy@c-67-188-40-206.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 10:59 | |
-!- priidu [~priidu@unaffiliated/priidu] has joined #bitcoin-wizards | 11:08 | |
-!- erasmospunk [~erasmospu@178.162.211.213] has quit [Ping timeout: 244 seconds] | 11:14 | |
-!- orik [~orik@50.34.199.60] has joined #bitcoin-wizards | 11:22 | |
-!- cbeams_ [~cbeams@chello084114181075.1.15.vie.surfer.at] has joined #bitcoin-wizards | 11:23 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Read error: Connection reset by peer] | 11:23 | |
-!- nullbyte [~WW@unaffiliated/loteriety] has quit [Ping timeout: 256 seconds] | 11:25 | |
-!- nullbyte [~WW@193.138.219.233] has joined #bitcoin-wizards | 11:27 | |
-!- nullbyte [~WW@193.138.219.233] has quit [Changing host] | 11:27 | |
-!- nullbyte [~WW@unaffiliated/loteriety] has joined #bitcoin-wizards | 11:27 | |
-!- ozanyurt [~textual@217.131.101.104] has joined #bitcoin-wizards | 11:28 | |
-!- psztorc [~psztorc@ool-4575fa8d.dyn.optonline.net] has quit [Quit: HydraIRC -> http://www.hydrairc.com <- *I* use it, so it must be good!] | 11:31 | |
-!- mpmcsweeney [~mpmcsween@73.219.207.0] has joined #bitcoin-wizards | 11:35 | |
-!- mpmcsweeney [~mpmcsween@73.219.207.0] has quit [Client Quit] | 11:36 | |
-!- maraoz [~maraoz@43-161-16-190.fibertel.com.ar] has quit [Quit: Leaving] | 11:45 | |
-!- pampuchy [~pampuchy@89-71-221-58.dynamic.chello.pl] has joined #bitcoin-wizards | 11:51 | |
pampuchy | hi y'all | 11:51 |
pampuchy | i'm back with my sketchy kripto | 11:51 |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 11:53 | |
-!- cbeams_ [~cbeams@chello084114181075.1.15.vie.surfer.at] has quit [Read error: Connection reset by peer] | 11:53 | |
-!- pampuchy [~pampuchy@89-71-221-58.dynamic.chello.pl] has quit [Ping timeout: 264 seconds] | 12:00 | |
-!- jhogan42 [~jhogan42@152.179.131.166] has joined #bitcoin-wizards | 12:08 | |
-!- pampuchy [~pampuchy@89-71-221-58.dynamic.chello.pl] has joined #bitcoin-wizards | 12:16 | |
-!- tcrypt [~tylersmit@173.247.206.110] has joined #bitcoin-wizards | 12:20 | |
-!- skeuomorf [~skeuomorf@unaffiliated/skeuomorf] has joined #bitcoin-wizards | 12:21 | |
-!- pampuchy [~pampuchy@89-71-221-58.dynamic.chello.pl] has quit [Ping timeout: 265 seconds] | 12:22 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Read error: Connection reset by peer] | 12:23 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 12:24 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Remote host closed the connection] | 12:28 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 12:28 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Ping timeout: 245 seconds] | 12:33 | |
-!- pampuchy [~pampuchy@89-71-221-58.dynamic.chello.pl] has joined #bitcoin-wizards | 12:36 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 12:37 | |
-!- zooko [~user@c-73-217-16-2.hsd1.co.comcast.net] has quit [Ping timeout: 246 seconds] | 12:42 | |
-!- JoolsX [~JoolsX@2a03:b0c0:2:d0::2dd:7001] has left #bitcoin-wizards [] | 12:43 | |
-!- NewLiberty [~NewLibert@2602:304:cff8:1580:c047:8aeb:b953:a993] has quit [Ping timeout: 245 seconds] | 12:47 | |
-!- pampuchy [~pampuchy@89-71-221-58.dynamic.chello.pl] has quit [Ping timeout: 255 seconds] | 12:52 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Remote host closed the connection] | 12:59 | |
-!- Starduster_ [~guest@unaffiliated/starduster] has joined #bitcoin-wizards | 13:00 | |
-!- ozanyurt [~textual@217.131.101.104] has quit [Ping timeout: 245 seconds] | 13:01 | |
-!- Starduster [~guest@unaffiliated/starduster] has quit [Ping timeout: 240 seconds] | 13:03 | |
-!- dEBRUYNE [~dEBRUYNE@239-196-ftth.onsbrabantnet.nl] has quit [Ping timeout: 245 seconds] | 13:06 | |
-!- zooko [~user@c-75-70-204-109.hsd1.co.comcast.net] has joined #bitcoin-wizards | 13:09 | |
-!- RoboTeddy [~roboteddy@c-67-188-40-206.hsd1.ca.comcast.net] has quit [Ping timeout: 246 seconds] | 13:10 | |
-!- lmatteis [uid3300@gateway/web/irccloud.com/x-qmsopkeyaufpowbx] has joined #bitcoin-wizards | 13:31 | |
lmatteis | guys | 13:32 |
lmatteis | is anybody here an academic? | 13:32 |
lmatteis | i'm an undergrad and looking for a research career in p2p systems. wondering which path to follow exactly (which classes to take, which labs to look into, etc) | 13:33 |
manan19 | ? | 13:36 |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 13:37 | |
kanzure | uh well, here's some stuff you can read http://diyhpl.us/~bryan/papers2/incentives/ | 13:37 |
-!- pampuchy [~pampuchy@89-71-221-58.dynamic.chello.pl] has joined #bitcoin-wizards | 13:39 | |
-!- user7779078 [~user77790@pool-108-30-214-152.nycmny.fios.verizon.net] has joined #bitcoin-wizards | 13:42 | |
-!- Iriez [wario@distribution.xbins.org] has quit [Ping timeout: 244 seconds] | 13:43 | |
-!- paveljanik [~paveljani@unaffiliated/paveljanik] has joined #bitcoin-wizards | 13:43 | |
-!- user7779_ [user777907@gateway/vpn/mullvad/x-yxnqovikifhckomy] has joined #bitcoin-wizards | 13:45 | |
-!- pampuchy [~pampuchy@89-71-221-58.dynamic.chello.pl] has quit [Ping timeout: 248 seconds] | 13:47 | |
-!- user7779078 [~user77790@pool-108-30-214-152.nycmny.fios.verizon.net] has quit [Ping timeout: 264 seconds] | 13:48 | |
andytoshi | lmatteis: i'm an acadamic, you can PM me for school advice, but note that i have a math degree and have nothing positive to say about CS departments | 13:49 |
lmatteis | andytoshi: and you do research in bitcoin? | 13:51 |
andytoshi | lmatteis: nope :) | 13:52 |
andytoshi | not in school anyway | 13:52 |
lmatteis | but you do distribtued stuff? | 13:54 |
-!- erasmospunk [~erasmospu@151.68.17.52] has joined #bitcoin-wizards | 13:54 | |
-!- RoboTeddy [~roboteddy@2601:9:3483:2400:ad84:e2fb:819e:96c] has joined #bitcoin-wizards | 13:54 | |
-!- koeppelmann [~koeppelma@agh515a.anlgh.org] has quit [Remote host closed the connection] | 13:54 | |
-!- erasmosp_ [~erasmospu@178.162.211.217] has joined #bitcoin-wizards | 13:54 | |
-!- koeppelmann [~koeppelma@agh515a.anlgh.org] has joined #bitcoin-wizards | 13:55 | |
-!- belcher [~belcher-s@5ec18b4c.skybroadband.com] has joined #bitcoin-wizards | 13:55 | |
-!- belcher [~belcher-s@5ec18b4c.skybroadband.com] has quit [Changing host] | 13:55 | |
-!- belcher [~belcher-s@unaffiliated/belcher] has joined #bitcoin-wizards | 13:55 | |
andytoshi | still nope | 13:58 |
-!- erasmospunk [~erasmospu@151.68.17.52] has quit [Ping timeout: 256 seconds] | 13:58 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Remote host closed the connection] | 14:00 | |
-!- Iriez [wario@distribution.xbins.org] has joined #bitcoin-wizards | 14:00 | |
lmatteis | andytoshi: so what do you do :) | 14:04 |
-!- hashtagg_ [~hashtag@87.97.13.205.pool.invitel.hu] has quit [Ping timeout: 240 seconds] | 14:05 | |
andytoshi | lmatteis: in the bitcoin space i care about privacy tech; in acadima i do real analysis/information theory | 14:06 |
-!- arubi_ [~ese168@unaffiliated/arubi] has joined #bitcoin-wizards | 14:06 | |
lmatteis | cool | 14:06 |
lmatteis | i have a hard understanding how to do research in information theory | 14:06 |
lmatteis | like, most research i read is experimental | 14:07 |
lmatteis | also, would you say the bitcoin paper is theory? | 14:07 |
pigeons | andytoshi wrote a coinjoin implementation, a treatice on altcoins, a bitcoin library in rust, an experimental client using the rust library, and a reference on asics for pow | 14:07 |
kanzure | lmatteis: also see http://diyhpl.us/~bryan/papers2/bitcoin/ | 14:08 |
andytoshi | lol pigeons, thx, im in rust mode right now and honestly couldn't think of what it is i do around here.. | 14:08 |
andytoshi | lmatteis: i've never heard of experimental information theory | 14:08 |
kanzure | "mostly i just read rust docs" | 14:08 |
lmatteis | no just experimental research | 14:08 |
andytoshi | oh, i see. lmatteis click around http://arxiv.org/list/math.IT/recent (don't actulaly try to read it, you'll never get out) to get a feel for it | 14:09 |
lmatteis | what i meant to say is that i have problems understanding how to perform theoretical research | 14:10 |
lmatteis | with experimental, you run experiments, observe what happens and report it | 14:10 |
lmatteis | with theory? | 14:10 |
andytoshi | oh, all that's cs.IT rather than ma.IT, http://arxiv.org/list/math.FA/recent is a better example of things that are actually theoretical | 14:10 |
-!- crowleyman [crowleyman@gateway/shell/bnc4free/x-rexassodomyzfrvm] has joined #bitcoin-wizards | 14:11 | |
andytoshi | lmatteis: you discover things that are true, then write down what they are and why they're true | 14:12 |
-!- paveljanik [~paveljani@unaffiliated/paveljanik] has quit [Quit: Leaving] | 14:12 | |
lmatteis | andytoshi: how do you discover that it's true without experiments? | 14:12 |
andytoshi | lmatteis: with deductive reasoning | 14:12 |
kanzure | greg egan claims that even someone just thinking about a problem is an experiment, so you're safe. | 14:12 |
Apocalyptic | lmatteis, because you get a mathematical proof | 14:12 |
andytoshi | how could you discover something is true using experiments? | 14:12 |
kanzure | yeah, aren't experiments only for falsifying possibilities? | 14:13 |
lmatteis | nothing is true for certain. with experiments you quantify how good it can be | 14:13 |
sipa | no | 14:13 |
kanzure | or s/falsifying/ruling out | 14:13 |
sipa | experiments are for giving your theory a chance to fail | 14:13 |
sipa | if they fail to fail, you gain confidence in them | 14:14 |
kanzure | yes falsifying is definitely the wrong word | 14:14 |
* nsh demurs | 14:14 | |
sipa | but that doesn't make them more or less true, just more plausible | 14:14 |
lmatteis | andytoshi: what do you mean by discovering that something is true? can you give me an example? | 14:14 |
nsh | experiments are for collecting data. models afford for collected data to differentiate between hypotheses when there is a good coupling between the modelling and the experimental apparatus and reality | 14:15 |
nsh | but data is always collected | 14:15 |
andytoshi | lmatteis: sure, "if a schnorr signature is defined as (s, e) for s = k - xe and e = H(m, kG) for x,k,m,G defined in some way for `=` and `-` to be true in a field and H defined as some function, then given (s', e') calculated with the same x and k, x is uniquely determined by (s, s', e, e') and is efficiently computable" | 14:17 |
andytoshi | sorry, that was simpler in my head.. | 14:17 |
andytoshi | lmatteis: "if a prime number is defined as one for which no positive integers divide it except for 1 and itself, then the natural numbers contain infinitely many primes" | 14:18 |
andytoshi | also put a bunch of stuff about the natural numbers being a unique factorization demain into the "if" | 14:18 |
lmatteis | hrm ok | 14:18 |
nsh | how much stuff about unique factorization can there be to put in? | 14:19 |
andytoshi | nsh: actually the peano axioms will suffice | 14:19 |
nsh | hmm | 14:19 |
andytoshi | to imply everything you need, as well as that the natural numbers are themselves infinite | 14:19 |
andytoshi | and well-ordered | 14:19 |
-!- cbeams [~cbeams@chello084114181075.1.15.vie.surfer.at] has joined #bitcoin-wizards | 14:20 | |
-!- cbeams [~cbeams@chello084114181075.1.15.vie.surfer.at] has quit [Changing host] | 14:20 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has joined #bitcoin-wizards | 14:20 | |
nsh | well-ordering only holds as long as you consider only consider finite sets of the natural numbers | 14:21 |
lmatteis | would you say the bitcoin paper is mostly theoretical? | 14:21 |
nsh | (or does it) | 14:21 |
Apocalyptic | nsh, no it doesn't | 14:21 |
andytoshi | nsh: nope, well-ordering only requires you have a least number; it applies to all subsets of the naturals | 14:21 |
Apocalyptic | any non empty subset of natural numbers will have a least element | 14:21 |
nsh | i mean between set | 14:22 |
nsh | *sets | 14:22 |
nsh | not within | 14:22 |
andytoshi | i think that is equivalent to the axiom of countable choice tho, it's not obvious | 14:22 |
andytoshi | lmatteis: well, the bitcoin whitepaper is not super precise ... but yes, it is "theoretical" | 14:22 |
andytoshi | lmatteis: http://arxiv.org/pdf/1006.1095v5.pdf is something i care about, it's long but the first few pages are easy to read and well-motivated (for a pure math paper) | 14:23 |
lmatteis | only 12 citations :) | 14:23 |
-!- metamarc [~snizysnaz@unaffiliated/agorist000] has joined #bitcoin-wizards | 14:24 | |
-!- cbeams [~cbeams@unaffiliated/cbeams] has quit [Ping timeout: 246 seconds] | 14:24 | |
nsh | andytoshi, on another note, i was thinking earlier about parallel transport on manifolds and whether you could use it as a kind of scrambling system -- by encoding a message as a set of vectors and the key as a route along some reference manifold -- but i think you'd need the manifold to be nondifferentiable or otherwise freaky to have interesting properties | 14:26 |
nsh | any thoughts? | 14:26 |
andytoshi | nsh: "a message" is gonna live in a discrete space, you need a way to embed it and losslessly extract it, or to think about manifolds that are discretized in some way, in either case thinking about the "security" of it seems really hard | 14:27 |
* nsh nods | 14:27 | |
lmatteis | wow this is kinda cool http://techcrunch.com/2015/04/10/bittorrent-maelstrom-beta/ | 14:31 |
-!- phiche [~Adium@c-4cf1e555.017-265-73746f1.cust.bredbandsbolaget.se] has joined #bitcoin-wizards | 14:32 | |
nsh | Security Applications of Formal Language Theory -- http://www.cs.dartmouth.edu/~sergey/langsec/papers/sassaman-jsys7-3.pdf | 14:34 |
-!- StephenM347 [~stephenm3@static-64-223-246-218.port.east.myfairpoint.net] has quit [] | 14:38 | |
-!- jhogan42 [~jhogan42@152.179.131.166] has quit [Quit: My Mac has gone to sleep. ZZZzzz…] | 14:39 | |
nsh | (what i'm wondering is if something akin to a generalized pumping lemma can be used to put bounds on the potential for weird machines in programs and protocols accepting complex input) | 14:40 |
andytoshi | this looks really cool nsh, will read | 14:42 |
* nsh smiles | 14:42 | |
-!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has quit [Quit: Leaving] | 14:44 | |
-!- jhogan42 [~jhogan42@152.179.131.166] has joined #bitcoin-wizards | 14:45 | |
-!- koeppelmann [~koeppelma@agh515a.anlgh.org] has quit [Remote host closed the connection] | 14:45 | |
-!- koeppelmann [~koeppelma@agh515a.anlgh.org] has joined #bitcoin-wizards | 14:45 | |
-!- hearn [~mike@84-75-198-85.dclient.hispeed.ch] has joined #bitcoin-wizards | 14:51 | |
-!- jiboko [49c8892e@gateway/web/cgi-irc/kiwiirc.com/ip.73.200.137.46] has joined #bitcoin-wizards | 14:55 | |
-!- b_lumenkraft [~b_lumenkr@unaffiliated/b-lumenkraft/x-4457406] has quit [Quit: b_lumenkraft] | 14:55 | |
-!- jb3000 [49c8892e@gateway/web/cgi-irc/kiwiirc.com/ip.73.200.137.46] has joined #bitcoin-wizards | 14:56 | |
-!- cluckj [~cluckj@c-71-225-211-210.hsd1.pa.comcast.net] has joined #bitcoin-wizards | 14:57 | |
-!- jb3000 [49c8892e@gateway/web/cgi-irc/kiwiirc.com/ip.73.200.137.46] has quit [Client Quit] | 14:58 | |
-!- jiboko [49c8892e@gateway/web/cgi-irc/kiwiirc.com/ip.73.200.137.46] has quit [Client Quit] | 14:59 | |
-!- aakselrod [~kvirc@pool-96-253-123-21.rcmdva.fios.verizon.net] has quit [Ping timeout: 244 seconds] | 15:01 | |
-!- zooko [~user@c-75-70-204-109.hsd1.co.comcast.net] has quit [Remote host closed the connection] | 15:02 | |
-!- JoolsX [~JoolsX@2a03:b0c0:2:d0::2dd:7001] has joined #bitcoin-wizards | 15:03 | |
-!- llllllllll [~lllllllll@6d482698.ftth.concepts.nl] has quit [] | 15:05 | |
-!- RoboTeddy [~roboteddy@2601:9:3483:2400:ad84:e2fb:819e:96c] has quit [Read error: Connection reset by peer] | 15:06 | |
-!- RoboTeddy [~roboteddy@2601:9:3483:2400:ad84:e2fb:819e:96c] has joined #bitcoin-wizards | 15:06 | |
-!- Rynomster [~quassel@unaffiliated/rynomster] has joined #bitcoin-wizards | 15:13 | |
-!- SDCDev [~quassel@unaffiliated/sdcdev] has quit [Ping timeout: 246 seconds] | 15:14 | |
-!- zooko [~user@c-75-70-204-109.hsd1.co.comcast.net] has joined #bitcoin-wizards | 15:19 | |
-!- snakesandbarrels [~snizysnaz@97.95.172.50] has joined #bitcoin-wizards | 15:21 | |
-!- metamarc [~snizysnaz@unaffiliated/agorist000] has quit [Ping timeout: 272 seconds] | 15:21 | |
-!- phiche [~Adium@c-4cf1e555.017-265-73746f1.cust.bredbandsbolaget.se] has quit [Quit: Leaving.] | 15:26 | |
-!- aakselrod [~kvirc@96.253.123.21] has joined #bitcoin-wizards | 15:28 | |
-!- RoboTeddy [~roboteddy@2601:9:3483:2400:ad84:e2fb:819e:96c] has quit [Ping timeout: 245 seconds] | 15:35 | |
-!- skeuomor1 [~skeuomorf@unaffiliated/skeuomorf] has joined #bitcoin-wizards | 15:42 | |
-!- unlord [~nathan@pool-173-79-149-156.washdc.fios.verizon.net] has quit [Ping timeout: 256 seconds] | 15:44 | |
-!- unlord [~nathan@pool-173-79-149-156.washdc.fios.verizon.net] has joined #bitcoin-wizards | 15:45 | |
-!- skeuomorf [~skeuomorf@unaffiliated/skeuomorf] has quit [Ping timeout: 252 seconds] | 15:45 | |
-!- DougieBot5000 [~DougieBot@unaffiliated/dougiebot5000] has joined #bitcoin-wizards | 15:46 | |
-!- erasmosp_ [~erasmospu@178.162.211.217] has quit [Remote host closed the connection] | 15:50 | |
-!- c-cex-yuriy [uid76808@gateway/web/irccloud.com/x-wuejcrkfwupptbzy] has quit [Quit: Connection closed for inactivity] | 15:56 | |
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has quit [Quit: :)] | 16:06 | |
-!- snakesandbarrels [~snizysnaz@97.95.172.50] has quit [Quit: Leaving] | 16:11 | |
-!- skeuomor1 [~skeuomorf@unaffiliated/skeuomorf] has quit [Ping timeout: 256 seconds] | 16:24 | |
-!- face [~face@mail.hmel.org] has quit [Remote host closed the connection] | 16:26 | |
-!- RoboTeddy [~roboteddy@c-67-180-192-179.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 16:35 | |
-!- nessence [~alexl@166.170.20.66] has joined #bitcoin-wizards | 16:39 | |
-!- JoolsX [~JoolsX@2a03:b0c0:2:d0::2dd:7001] has left #bitcoin-wizards ["http://www.machine-x.com Machine X for IRC"] | 16:41 | |
-!- skullum [Adium@nat/yahoo/x-kliyccenoknsqcbo] has quit [Quit: Leaving.] | 16:42 | |
-!- Guest35538 is now known as maaku | 16:53 | |
-!- Mably [~Mably@unaffiliated/mably] has quit [Ping timeout: 245 seconds] | 16:54 | |
-!- hearn [~mike@84-75-198-85.dclient.hispeed.ch] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…] | 16:56 | |
-!- orik [~orik@50.34.199.60] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…] | 16:57 | |
-!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards | 16:59 | |
-!- lmatteis [uid3300@gateway/web/irccloud.com/x-qmsopkeyaufpowbx] has quit [Quit: Connection closed for inactivity] | 17:00 | |
-!- koeppelmann [~koeppelma@agh515a.anlgh.org] has quit [Remote host closed the connection] | 17:03 | |
-!- koeppelmann [~koeppelma@agh515a.anlgh.org] has joined #bitcoin-wizards | 17:03 | |
-!- d1ggy [~d1ggy@dslb-188-108-088-146.188.108.pools.vodafone-ip.de] has joined #bitcoin-wizards | 17:05 | |
-!- d1ggy_ [~d1ggy@dslb-092-077-240-073.092.077.pools.vodafone-ip.de] has quit [Ping timeout: 252 seconds] | 17:08 | |
-!- jhogan42 [~jhogan42@152.179.131.166] has quit [Quit: My Mac has gone to sleep. ZZZzzz…] | 17:18 | |
-!- orik [~orik@50-46-132-219.evrt.wa.frontiernet.net] has joined #bitcoin-wizards | 17:23 | |
-!- satwo [~satwo@unaffiliated/satwo] has joined #bitcoin-wizards | 17:30 | |
-!- nessence [~alexl@166.170.20.66] has quit [Read error: Connection reset by peer] | 17:39 | |
-!- RoboTeddy [~roboteddy@c-67-180-192-179.hsd1.ca.comcast.net] has quit [Ping timeout: 245 seconds] | 17:40 | |
-!- koeppelmann [~koeppelma@agh515a.anlgh.org] has quit [Remote host closed the connection] | 17:42 | |
-!- koeppelmann [~koeppelma@agh515a.anlgh.org] has joined #bitcoin-wizards | 17:42 | |
-!- jtimon [~quassel@189.Red-83-59-238.dynamicIP.rima-tde.net] has quit [Ping timeout: 250 seconds] | 17:47 | |
-!- satwo_ [~satwo@unaffiliated/satwo] has joined #bitcoin-wizards | 17:47 | |
-!- satwo [~satwo@unaffiliated/satwo] has quit [Ping timeout: 245 seconds] | 17:48 | |
-!- copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #bitcoin-wizards | 17:51 | |
-!- jhogan42 [~jhogan42@c-67-169-168-179.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 17:52 | |
-!- CodeShark [~textual@cpe-76-167-237-202.san.res.rr.com] has joined #bitcoin-wizards | 17:59 | |
-!- tcrypt [~tylersmit@173.247.206.110] has quit [Ping timeout: 246 seconds] | 18:00 | |
-!- contrapumpkin [~copumpkin@unaffiliated/copumpkin] has joined #bitcoin-wizards | 18:03 | |
-!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 245 seconds] | 18:06 | |
-!- moa [~kiwigb@opentransactions/dev/moa] has joined #bitcoin-wizards | 18:07 | |
-!- contrapumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Client Quit] | 18:07 | |
-!- RoboTeddy [~roboteddy@2601:9:3483:2400:ad84:e2fb:819e:96c] has joined #bitcoin-wizards | 18:14 | |
-!- copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #bitcoin-wizards | 18:19 | |
-!- dEBRUYNE [~dEBRUYNE@239-196-ftth.onsbrabantnet.nl] has joined #bitcoin-wizards | 18:21 | |
-!- satwo_ [~satwo@unaffiliated/satwo] has quit [Read error: Connection reset by peer] | 18:25 | |
-!- satwo [~satwo@unaffiliated/satwo] has joined #bitcoin-wizards | 18:25 | |
-!- NewLiberty [~NewLibert@2602:304:cff8:1580:c047:8aeb:b953:a993] has joined #bitcoin-wizards | 18:25 | |
-!- contrapumpkin [~copumpkin@unaffiliated/copumpkin] has joined #bitcoin-wizards | 18:27 | |
-!- propumpkin [~copumpkin@unaffiliated/copumpkin] has joined #bitcoin-wizards | 18:29 | |
-!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 255 seconds] | 18:30 | |
-!- contrapumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 256 seconds] | 18:32 | |
-!- bsm117532 [~bsm117532@static-108-21-236-13.nycmny.fios.verizon.net] has joined #bitcoin-wizards | 18:36 | |
-!- Tiraspol [Tiraspol3@unaffiliated/tiraspol] has quit [Ping timeout: 252 seconds] | 18:37 | |
-!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has joined #bitcoin-wizards | 18:40 | |
-!- pampuchy [~pampuchy@89-71-221-58.dynamic.chello.pl] has joined #bitcoin-wizards | 18:42 | |
-!- propumpkin is now known as copumpkin | 18:42 | |
-!- koeppelmann [~koeppelma@agh515a.anlgh.org] has quit [Quit: Leaving...] | 18:43 | |
-!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has quit [Ping timeout: 265 seconds] | 18:45 | |
-!- zooko [~user@c-75-70-204-109.hsd1.co.comcast.net] has quit [Ping timeout: 264 seconds] | 18:50 | |
-!- contrapumpkin [~copumpkin@unaffiliated/copumpkin] has joined #bitcoin-wizards | 18:51 | |
-!- zooko [~user@c-75-70-204-109.hsd1.co.comcast.net] has joined #bitcoin-wizards | 18:53 | |
-!- pampuchy [~pampuchy@89-71-221-58.dynamic.chello.pl] has quit [Quit: WeeChat 1.1.1] | 18:53 | |
-!- propumpkin [~copumpkin@unaffiliated/copumpkin] has joined #bitcoin-wizards | 18:54 | |
-!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 250 seconds] | 18:54 | |
-!- propumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Client Quit] | 18:54 | |
-!- Crowley2k [~Crowley2k@93.113.62.93] has quit [Ping timeout: 252 seconds] | 18:55 | |
-!- Tiraspol [Tiraspol3@c-73-168-30-130.hsd1.il.comcast.net] has joined #bitcoin-wizards | 18:57 | |
-!- Tiraspol [Tiraspol3@c-73-168-30-130.hsd1.il.comcast.net] has quit [Changing host] | 18:57 | |
-!- Tiraspol [Tiraspol3@unaffiliated/tiraspol] has joined #bitcoin-wizards | 18:57 | |
-!- contrapumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 264 seconds] | 18:57 | |
-!- Dr-G [~Dr-G@unaffiliated/dr-g] has joined #bitcoin-wizards | 19:01 | |
-!- Burrito [~Burrito@unaffiliated/burrito] has quit [Quit: Leaving] | 19:01 | |
-!- Dr-G2 [~Dr-G@xd9bf73b7.dyn.telefonica.de] has quit [Ping timeout: 250 seconds] | 19:04 | |
-!- dEBRUYNE [~dEBRUYNE@239-196-ftth.onsbrabantnet.nl] has quit [Ping timeout: 244 seconds] | 19:10 | |
-!- adam3us [~Adium@modemcable130.142-161-184.mc.videotron.ca] has joined #bitcoin-wizards | 19:12 | |
-!- zooko [~user@c-75-70-204-109.hsd1.co.comcast.net] has quit [Read error: Connection reset by peer] | 19:15 | |
-!- Quanttek [~quassel@2a02:8108:73f:f6e4:e23f:49ff:fe47:9364] has quit [Ping timeout: 272 seconds] | 19:22 | |
-!- orik [~orik@50-46-132-219.evrt.wa.frontiernet.net] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…] | 19:24 | |
-!- belcher [~belcher-s@unaffiliated/belcher] has quit [Quit: Leaving] | 19:29 | |
-!- priidu [~priidu@unaffiliated/priidu] has quit [Ping timeout: 245 seconds] | 19:30 | |
-!- bsm117532 [~bsm117532@static-108-21-236-13.nycmny.fios.verizon.net] has quit [Ping timeout: 240 seconds] | 19:57 | |
-!- copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #bitcoin-wizards | 20:09 | |
-!- p15x [~p15x@182.50.108.93] has joined #bitcoin-wizards | 20:09 | |
-!- TheSeven [~quassel@rockbox/developer/TheSeven] has quit [Disconnected by services] | 20:22 | |
-!- [7] [~quassel@rockbox/developer/TheSeven] has joined #bitcoin-wizards | 20:23 | |
-!- adam3us [~Adium@modemcable130.142-161-184.mc.videotron.ca] has quit [Quit: Leaving.] | 20:24 | |
-!- zooko [~user@c-75-70-204-109.hsd1.co.comcast.net] has joined #bitcoin-wizards | 20:28 | |
-!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…] | 20:37 | |
-!- unlord_ [~nathan@pool-173-79-149-156.washdc.fios.verizon.net] has joined #bitcoin-wizards | 20:42 | |
-!- unlord [~nathan@pool-173-79-149-156.washdc.fios.verizon.net] has quit [Ping timeout: 272 seconds] | 20:46 | |
-!- mkarrer_ [~mkarrer@46.Red-79-154-251.dynamicIP.rima-tde.net] has joined #bitcoin-wizards | 20:56 | |
-!- mkarrer [~mkarrer@46.Red-79-154-251.dynamicIP.rima-tde.net] has quit [Ping timeout: 245 seconds] | 20:58 | |
-!- d1ggy_ [~d1ggy@dslb-188-108-088-146.188.108.pools.vodafone-ip.de] has joined #bitcoin-wizards | 20:58 | |
-!- amiller [~socrates1@unaffiliated/socrates1024] has quit [Quit: ZNC - http://znc.sourceforge.net] | 20:58 | |
-!- Guest68867 [~socrates1@li175-104.members.linode.com] has joined #bitcoin-wizards | 21:00 | |
-!- ebfull [~ebfull@c-76-120-40-34.hsd1.co.comcast.net] has quit [Remote host closed the connection] | 21:01 | |
-!- ebfull [~ebfull@c-76-120-40-34.hsd1.co.comcast.net] has joined #bitcoin-wizards | 21:02 | |
-!- d1ggy [~d1ggy@dslb-188-108-088-146.188.108.pools.vodafone-ip.de] has quit [Ping timeout: 255 seconds] | 21:02 | |
-!- satwo [~satwo@unaffiliated/satwo] has quit [] | 21:07 | |
-!- aakselrod [~kvirc@96.253.123.21] has quit [Ping timeout: 245 seconds] | 21:11 | |
-!- aakselrod [~kvirc@pool-96-253-123-21.rcmdva.fios.verizon.net] has joined #bitcoin-wizards | 21:11 | |
-!- orik [~orik@50.46.144.189] has joined #bitcoin-wizards | 21:16 | |
-!- zooko [~user@c-75-70-204-109.hsd1.co.comcast.net] has quit [Ping timeout: 265 seconds] | 21:36 | |
-!- bitbumper [~bitbumper@161.47.143.24.cm.sunflower.com] has quit [Remote host closed the connection] | 21:56 | |
-!- RoboTeddy [~roboteddy@2601:9:3483:2400:ad84:e2fb:819e:96c] has quit [Remote host closed the connection] | 21:58 | |
-!- user7779_ [user777907@gateway/vpn/mullvad/x-yxnqovikifhckomy] has quit [Remote host closed the connection] | 22:01 | |
-!- RoboTeddy [~roboteddy@c-67-188-40-206.hsd1.ca.comcast.net] has joined #bitcoin-wizards | 22:13 | |
-!- fanquake [~fanquake@unaffiliated/fanquake] has joined #bitcoin-wizards | 22:39 | |
-!- NewLiberty [~NewLibert@2602:304:cff8:1580:c047:8aeb:b953:a993] has quit [Ping timeout: 245 seconds] | 22:56 | |
-!- orik [~orik@50.46.144.189] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…] | 22:59 | |
-!- Crowley2k [~Crowley2k@93.113.62.93] has joined #bitcoin-wizards | 23:40 | |
-!- Mably [~Mably@unaffiliated/mably] has joined #bitcoin-wizards | 23:49 | |
-!- priidu [~priidu@unaffiliated/priidu] has joined #bitcoin-wizards | 23:51 | |
-!- lclc [~lucas@unaffiliated/lclc] has joined #bitcoin-wizards | 23:51 | |
-!- b_lumenkraft [~b_lumenkr@unaffiliated/b-lumenkraft/x-4457406] has joined #bitcoin-wizards | 23:57 | |
--- Log closed Sat Apr 11 00:00:49 2015 |
Generated by irclog2html.py 2.15.0.dev0 by Marius Gedminas - find it at mg.pov.lt!