< 1534032077 550570 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I think that, instead of HPKP, can be TLS-PKP, which is not specific to HTTP(S) and can be used with any protocol. Additionally there is no sending reporting (although a program may display the report to the user if implemented, it doesn't automatically send it anywhere and the protocol has no specification as to where to send it anyways. There is also no mandatory backup pinning, and the user MUST have the ability to configure/disable/override TL > 1534032508 347906 PRIVMSG #esoteric :14[[07Functional()14]]4 M10 02https://esolangs.org/w/index.php?diff=57312&oldid=57264 5* 03Hakerh400 5* (+16) 10Added link to cat program < 1534032690 76204 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :(Specifically, the "includeSubDomains" and "report-uri" fields in HPKP would not be available for TLS-PKP, although the key and duration are included, and that is all.) < 1534032763 673240 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534033017 759601 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1534033677 514901 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? twh < 1534033678 624637 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :twh would help, but is an hth derivative. hth. twh. hand. < 1534033694 117491 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why can't I /msg HackEso? < 1534033873 864072 :arseniiv!~arseniiv@136.169.131.121.dynamic.ufanet.ru QUIT :Ping timeout: 260 seconds < 1534034299 493042 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1534034794 258221 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1534035791 376019 :kepler_mach12!~kepler_ma@119.33.127.145 JOIN :#esoteric < 1534036085 427181 :kepler_mach12!~kepler_ma@119.33.127.145 QUIT :Ping timeout: 240 seconds < 1534036401 741185 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did I mention that I figured out what "break" and "continue" really are? < 1534036409 37715 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :maybe. < 1534036419 116106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :outer: { while(p) { inner: { ... } } } < 1534036428 583146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"break" means "break outer", and "continue" means "break inner" < 1534036788 714610 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :shachaf: You might have +R on? I think Freenode auto-set that to everyone because of the spam. < 1534036801 367070 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I haven't had the chance to make HackEso register itself to services. < 1534036813 892581 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe when I get back from here. < 1534036828 209784 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, right, you're here. < 1534036851 426869 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess I'm +R < 1534036858 702621 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That explains why I haven't been getting /msg spam anymore. < 1534036874 750891 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I un-R'd myself, and there's been spam every now and then. < 1534036881 115801 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Though for the last few hours it's been quiet. < 1534036959 247686 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :whoops, i missed a wikipedia day < 1534036973 489896 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i thought i'd opened the tab before going to bed. < 1534037070 464454 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There was someone biking a gBike through downtown Mountain View in broad daylight. :/ < 1534037086 416802 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :gasp < 1534037118 395046 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :bonsœøirjan, helloochaf, fiziello. < 1534037120 393978 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :what's R? < 1534037130 505543 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? r < 1534037131 520585 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :r? ¯\(°​_o)/¯ < 1534037138 712891 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :p. sure it's an esolang < 1534037196 981022 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :boily: A usermode you can set to not receive private messages from unregistered users. < 1534037248 827462 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :oh. I like that. < 1534037394 536753 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b'daily < 1534037418 775693 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you wishing boily a bad day tdnh < 1534037430 339107 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm < 1534037437 536043 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What do you think "the full set" means? < 1534037448 710553 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :John Baez thinks its the one-element set but that seems fishy to me. < 1534037455 925168 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wat < 1534037461 177854 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It seems more likely to be the universe. < 1534037469 395583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/its/it's/ < 1534037497 956003 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you'd think. < 1534037602 442370 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The half-empty set may actually be the half-full set if you're an optimist. < 1534037609 880438 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Don't you? < 1534038905 436988 :aloril!~aloril@mobile-access-5d6aa5-174.dhcp.inet.fi QUIT :Ping timeout: 240 seconds < 1534039250 63465 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534039348 59748 :aloril!~aloril@mobile-access-5d6aa5-174.dhcp.inet.fi JOIN :#esoteric < 1534039554 768446 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 272 seconds < 1534040028 948265 :RumpledElf18!~RumpledEl@186-241-148-133.user.veloxzone.com.br JOIN :#esoteric < 1534040090 757907 :RumpledElf18!~RumpledEl@186-241-148-133.user.veloxzone.com.br QUIT :Remote host closed the connection < 1534040348 703055 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: CURVY CHICKEN < 1534040434 523807 :pierte!~pierte@91.181.80.123 JOIN :#esoteric < 1534040491 956847 :pierte!~pierte@91.181.80.123 QUIT :Remote host closed the connection < 1534041696 342942 :sophiya!~sophiya@189.175.244.53 JOIN :#esoteric < 1534041756 772275 :sophiya!~sophiya@189.175.244.53 QUIT :Remote host closed the connection < 1534042293 647095 :Chew18!~Chew@leased-line-195-222-68-101.telecom.by JOIN :#esoteric < 1534042355 393475 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1534042670 628694 :Chew18!~Chew@leased-line-195-222-68-101.telecom.by QUIT :Ping timeout: 256 seconds < 1534043182 577241 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1534044569 629871 :nedbat5!~nedbat@222.107.137.9 JOIN :#esoteric < 1534044674 679874 :nedbat5!~nedbat@222.107.137.9 QUIT :Remote host closed the connection < 1534045709 851811 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534046018 839821 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 260 seconds < 1534047212 236293 :Gregor!~Gregor@2605:2700:0:17:a800:ff:fe3e:ad41 QUIT :Quit: Coyote finally caught me < 1534048423 837830 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.supermegacomics.com/index.php?i=80 < 1534048428 548774 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so many good super megas i forgot about < 1534048641 537414 :u0_a101!~u0_a101@c-73-118-33-160.hsd1.fl.comcast.net QUIT :Ping timeout: 244 seconds < 1534049074 998852 :Gregor!~Gregor@2001:470:1:41:a800:ff:fe3e:ad41 JOIN :#esoteric < 1534049667 674337 :aloril!~aloril@mobile-access-5d6aa5-174.dhcp.inet.fi QUIT :Ping timeout: 240 seconds < 1534049713 895498 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :How can you get a hair cut if you do not have any hair (whether due to your species or due to your baldness)? That is what happened in a GURPS game I played. < 1534049727 155696 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you can get someone else's hair cut < 1534049771 273944 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :O, OK. < 1534049905 232015 :aloril!~aloril@mobile-access-5d6aa5-174.dhcp.inet.fi JOIN :#esoteric < 1534050724 759747 :u0_a101!~u0_a101@c-73-118-33-160.hsd1.fl.comcast.net JOIN :#esoteric < 1534051353 133396 :j-bot!eldis4@firefly.nu QUIT :Remote host closed the connection < 1534051353 604766 :FireFly!znc@freenode/staff/firefly QUIT :Quit: Goodbye < 1534051583 888339 :FireFly!znc@freenode/staff/firefly JOIN :#esoteric < 1534052051 477778 :u0_a101!~u0_a101@c-73-118-33-160.hsd1.fl.comcast.net QUIT :Ping timeout: 244 seconds < 1534052181 403484 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534052465 438948 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1534053087 737669 :u0_a101!~u0_a101@c-73-118-33-160.hsd1.fl.comcast.net JOIN :#esoteric < 1534053782 298248 :xkapastel!uid17782@gateway/web/irccloud.com/x-sfqsixzxkofhwaqi QUIT :Quit: Connection closed for inactivity < 1534055935 264947 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534055939 707929 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1534055954 784256 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534057877 595318 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1534058821 450306 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1534059049 949249 :bray90820_!~bray90820@124-18-15-252.dz.commufa.jp JOIN :#esoteric < 1534059054 421944 :bray90820_!~bray90820@124-18-15-252.dz.commufa.jp QUIT :Remote host closed the connection < 1534059131 625506 :AnotherTest!~turingcom@ptr-82l26zcb1dmnmcpyztw.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1534060931 161266 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Quit: danil < 1534060986 638240 :j-bot!eldis4@firefly.nu JOIN :#esoteric < 1534061003 240 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1534061187 592179 :grumble!~grumble@freenode/staff/grumble QUIT :Read error: Connection reset by peer < 1534061243 498327 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1534061550 674200 :pk1213!~pk12@121.143.164.122 JOIN :#esoteric < 1534061561 808495 :pk1213!~pk12@121.143.164.122 QUIT :Remote host closed the connection < 1534061703 653534 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Quit: danil < 1534061907 474981 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1534061965 892355 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Client Quit < 1534061977 661117 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1534062117 893223 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Client Quit < 1534062387 828903 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric > 1534062489 654062 PRIVMSG #esoteric :14[[07Reversible Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=57313&oldid=45694 5* 03Oerjan 5* (+3778) 10Algorithms for building up to a stack with unbounded cells < 1534062500 18539 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*MWAHAHAHA* < 1534062518 936762 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :now time to either eat or shave < 1534062578 392064 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Remote host closed the connection < 1534062587 828707 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1534062595 708568 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Client Quit < 1534062630 383513 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1534062769 757428 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION should probably get that code tested at some point. < 1534063960 693396 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1534065536 614295 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 244 seconds < 1534065640 936532 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1534066539 207719 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1534067629 836000 :danil!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Quit: danil < 1534068205 433774 :APic!apic@chiptune.apic.name PRIVMSG #esoteric :Celebrate Zaraday < 1534068557 678495 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1534069351 287289 :salamanderrake!~salamande@201.110.125.223 JOIN :#esoteric < 1534069366 723287 :salamanderrake!~salamande@201.110.125.223 QUIT :Remote host closed the connection < 1534069918 172472 :S_Gautam!uid286066@gateway/web/irccloud.com/x-nstxodqgrnmcclzs QUIT :Quit: Connection closed for inactivity < 1534070270 782619 :infernix24!~infernix@softbank126087239024.bbtec.net JOIN :#esoteric < 1534070305 161865 :infernix24!~infernix@softbank126087239024.bbtec.net QUIT :Remote host closed the connection < 1534073577 167070 :S_Gautam!uid286066@gateway/web/irccloud.com/x-fypaupwicxojdqmp JOIN :#esoteric < 1534075213 256181 :zseri!~zseri@i5E86D397.versanet.de JOIN :#esoteric < 1534075967 392821 :Dominian23!~Dominian@211.173.156.203 JOIN :#esoteric < 1534076007 201546 :Dominian23!~Dominian@211.173.156.203 QUIT :Remote host closed the connection < 1534076165 82312 :Evidlo10!~Evidlo@203-206-172-179.perm.iinet.net.au JOIN :#esoteric < 1534076528 861428 :Evidlo10!~Evidlo@203-206-172-179.perm.iinet.net.au QUIT :Ping timeout: 272 seconds < 1534077515 705514 :arseniiv!~arseniiv@136.169.131.121.dynamic.ufanet.ru JOIN :#esoteric < 1534077736 162522 :zseri!~zseri@i5E86D397.versanet.de QUIT :Quit: Leaving < 1534078078 819969 :arseniiv!~arseniiv@136.169.131.121.dynamic.ufanet.ru PRIVMSG #esoteric :hello; does somebody know a study on defining a space of possible human voice timbres (with any assumptions and restrictions)? Particularly some analysis of formant values that make a timbre human-ish, or some measure of “humanness” of an arbitrary timbre < 1534078080 674635 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly JOIN :#esoteric < 1534078150 862118 :arseniiv!~arseniiv@136.169.131.121.dynamic.ufanet.ru PRIVMSG #esoteric :I know acoustic part of phonetics relies on formant values so the question shouldn’t be at all unresearched < 1534078436 145587 :TingPing5!~TingPing@178-164-254-217.pool.digikabel.hu JOIN :#esoteric < 1534078469 702643 :TingPing5!~TingPing@178-164-254-217.pool.digikabel.hu QUIT :Killed (Unit193 (Spam is not permitted on freenode.)) < 1534079866 486294 :ascheel0!~ascheel@200.84.184.149 JOIN :#esoteric < 1534079893 927001 :ascheel0!~ascheel@200.84.184.149 QUIT :Remote host closed the connection < 1534080391 193981 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1534081085 686959 :j-bot!eldis4@firefly.nu QUIT :Ping timeout: 268 seconds < 1534081221 289233 :Gregor!~Gregor@2001:470:1:41:a800:ff:fe3e:ad41 QUIT :Ping timeout: 240 seconds < 1534081315 418418 :Gregor!~Gregor@2001:470:1:41:a800:ff:fe3e:ad41 JOIN :#esoteric < 1534081321 292447 :j-bot!eldis4@firefly.nu JOIN :#esoteric < 1534082287 864411 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1534082687 873886 :bigpresh7!~bigpresh@94-30-110-237.xdsl.murphx.net JOIN :#esoteric < 1534082986 188274 :bigpresh7!~bigpresh@94-30-110-237.xdsl.murphx.net QUIT :Ping timeout: 256 seconds < 1534084034 586813 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534084291 485759 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 244 seconds < 1534085729 220394 :MeiR!~MeiR@LFbn-TOU-1-176-110.w86-201.abo.wanadoo.fr JOIN :#esoteric < 1534085734 339665 :MeiR!~MeiR@LFbn-TOU-1-176-110.w86-201.abo.wanadoo.fr QUIT :Remote host closed the connection < 1534086438 292938 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534086681 258671 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1534087120 427169 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1534087429 806182 :musician_pro!~musician_@200.84.184.149 JOIN :#esoteric < 1534087534 386329 :musician_pro!~musician_@200.84.184.149 QUIT :Remote host closed the connection < 1534089785 460971 :Fogity!~Fogity@hr-sgs.kvi.sgsnet.se QUIT :Ping timeout: 240 seconds < 1534089870 719725 :Fogity!~Fogity@hr-sgs.kvi.sgsnet.se JOIN :#esoteric < 1534090627 801343 :Shibe8!~Shibe@186-91-174-250.genericrev.cantv.net JOIN :#esoteric < 1534090714 959122 :Shibe8!~Shibe@186-91-174-250.genericrev.cantv.net QUIT :Remote host closed the connection < 1534091037 665614 :Fogity!~Fogity@hr-sgs.kvi.sgsnet.se QUIT :Ping timeout: 240 seconds < 1534091066 702552 :Fogity!~Fogity@hr-sgs.kvi.sgsnet.se JOIN :#esoteric < 1534091922 322116 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1534092885 396364 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534093415 404951 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1534093836 843509 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: This computer has gone to sleep < 1534094478 671800 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534094779 542690 :TellsTogo!3ecd5121@gateway/web/freenode/ip.62.205.81.33 JOIN :#esoteric < 1534095081 254954 :j-bot!eldis4@firefly.nu QUIT :Ping timeout: 240 seconds < 1534095171 260536 :Gregor!~Gregor@2001:470:1:41:a800:ff:fe3e:ad41 QUIT :Ping timeout: 240 seconds < 1534095253 20977 :Gregor!~Gregor@2001:470:1:41:a800:ff:fe3e:ad41 JOIN :#esoteric < 1534095792 224443 :j-bot!eldis4@firefly.nu JOIN :#esoteric < 1534096055 394582 :benoliver9992!~benoliver@190-206-143-13.dyn.dsl.cantv.net JOIN :#esoteric < 1534096076 177984 :j-bot!eldis4@firefly.nu QUIT :Ping timeout: 256 seconds < 1534096131 257162 :Gregor!~Gregor@2001:470:1:41:a800:ff:fe3e:ad41 QUIT :Ping timeout: 240 seconds < 1534096157 665176 :benoliver9992!~benoliver@190-206-143-13.dyn.dsl.cantv.net QUIT :Remote host closed the connection < 1534096246 607912 :TellsTogo!3ecd5121@gateway/web/freenode/ip.62.205.81.33 QUIT :Quit: Page closed < 1534096247 58438 :Gregor!~Gregor@2001:470:1:41:a800:ff:fe3e:ad41 JOIN :#esoteric < 1534096597 476596 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1534097120 764985 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1534097428 771772 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 272 seconds < 1534097621 361877 :int-e!~noone@int-e.eu PRIVMSG #esoteric :still got it: http://int-e.eu/~bf3/tmp/4096.png < 1534098901 257260 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1534100379 826964 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534102400 20069 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1534102951 714392 :S_Gautam!uid286066@gateway/web/irccloud.com/x-fypaupwicxojdqmp QUIT :Quit: Connection closed for inactivity < 1534106089 257384 :mundus2018!~mundus201@188.233.161.229 JOIN :#esoteric < 1534106099 259920 :mundus2018!~mundus201@188.233.161.229 QUIT :Remote host closed the connection < 1534106191 474096 :j-bot!eldis4@firefly.nu JOIN :#esoteric < 1534108463 510600 :steveeJ19!~steveeJ@190-198-244-63.dyn.dsl.cantv.net JOIN :#esoteric < 1534108563 303735 :steveeJ19!~steveeJ@190-198-244-63.dyn.dsl.cantv.net QUIT :Remote host closed the connection < 1534109585 117897 :erkin!~erkin@unaffiliated/erkin QUIT :Read error: Connection reset by peer < 1534109729 176655 :enyc9!~enyc@p3320209-ipngn201106osakachuo.osaka.ocn.ne.jp JOIN :#esoteric < 1534109745 298676 :enyc9!~enyc@p3320209-ipngn201106osakachuo.osaka.ocn.ne.jp QUIT :Remote host closed the connection < 1534110184 166305 :eldritch26!~eldritch@p154156-ipngn200302yosemiya.okinawa.ocn.ne.jp JOIN :#esoteric < 1534110272 274357 :eldritch26!~eldritch@p154156-ipngn200302yosemiya.okinawa.ocn.ne.jp QUIT :Remote host closed the connection < 1534111325 447234 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 JOIN :#esoteric < 1534111418 463485 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :does anyone have any tricks on creating a binary encoding for an AST where every bitstring is valid? < 1534111427 77163 :gurmble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1534111428 727299 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :arseniiv: sorry, I'm rather busy with new stuff that came up just this weekend, as well as the usual old stuff, but I will at some point watch the whole video (russian cursive), even the parts where you start writing more impatiently. < 1534111451 108553 :grumble!~grumble@freenode/staff/grumble QUIT :Killed (rajaniemi.freenode.net (Nickname regained by services)) < 1534111451 177707 :gurmble!~grumble@freenode/staff/grumble NICK :grumble < 1534111461 489390 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :arseniiv: it doesn't bother me too much that the writing is getting ugly. my writing is ugly as hell anyway. as long as it doesn't get as bad as a doctor's, it's fine. < 1534111521 807194 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :I probably won't learn to write exactly that sort of cursive, but at least will figure out some variant I can write for myself that I can read, probably with the letters often disjoint (which is how I write Hungarian too if I want to make it readable for people other than me, and even then it's not very readable, but native speakers can divine a lo < 1534111521 952455 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :t from the context) < 1534111550 754901 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :I'm still glad that your video seems to make the underlying logic clear, and how it works totally backwards from the hungarian cursive < 1534111602 92666 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :xkapastel: I have thought of thing like that before, but do not remember. < 1534111809 1103 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :shachaf:`outer: { while(p) { inner: { ... } } } / "break" means "break outer", and "continue" means "break inner"` => it is something like that, but your labels are in the wrong place < 1534111903 288485 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :"How can you get a hair cut if you do not have any hair (whether due to your species or due to your baldness)?" => some video games have haircut salons that change your hair graphics to your choice among the available styles. it can grow your hair. < 1534111926 265379 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :it's an acceptible break from realism since due to limitations of the game, your hair won't just naturally grow. the hairstyles are fixed and small in number. < 1534111946 712923 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :And yes, people often have their kid's hair cut. < 1534111953 762601 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :OK, although this is not a computer game < 1534111968 100919 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :shachaf is right. < 1534112027 348733 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Yes, it is, although it may not be applicable here. < 1534112238 625117 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wob_jonas: C doesn't have labeled break, so there's no canonical place for the label to go in this syntax < 1534112246 545440 :arseniiv!~arseniiv@136.169.131.121.dynamic.ufanet.ru PRIVMSG #esoteric :xkapastel: oh god nice problem. I see only a boring ineffective solution (order bitstrings in some way and the same for trees, and map corresponding ones) < 1534112260 774353 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :shachaf: yes, but where you put it is definitely wrong < 1534112273 44050 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :arseniiv: bonus if every bitstring is a unique AST < 1534112282 437350 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In my syntax I'd put it in a different place < 1534112290 716907 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :i think this is the setup i want for program synthesis < 1534112294 634226 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But where would you put it? < 1534112296 431687 :arseniiv!~arseniiv@136.169.131.121.dynamic.ufanet.ru PRIVMSG #esoteric :wob_jonas: okay. I can assure it won’t devolve to doctor’s :D < 1534112302 867408 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :shachaf: oh wait, you say "break outer" and "break inner", not "goto outer" and "goto inner" < 1534112304 33977 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :sorry < 1534112329 732341 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, those are meant to be labeling the blocks < 1534112390 233729 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :I'd explain it the way it's defined, like while(p) { loop body; inner: } outer:; and then "break;" means "goto outer;" and "continue;" means "goto inner;" but of course it can bind to other control structures than while < 1534112422 404688 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :I guess the way you told it works too < 1534112432 564094 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :I'm just tired and didn't notice that you translated them to labeled break < 1534112437 344737 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, C doesn't even support break from arbitrary blocks < 1534112445 756716 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Nor any other language? < 1534112447 436327 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :goto are the natural control structures in my mind, not break < 1534112473 304664 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1534112475 741554 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I agree, goto are the natural control structures rather than break < 1534112492 149390 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :shachaf: perl sort of does, and now rust does too, at least arbitrary labeled blocks, at least if it goes outwards, and doesn't go through the boundary of a function body or lambda body < 1534112513 148040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Rust has it for arbitrary blocks? < 1534112519 518977 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :but break are nice control structures too in practice, and rust now encourages them < 1534112525 322461 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :shachaf: or will have it soon, I'm not sure < 1534112532 614915 :arseniiv!~arseniiv@136.169.131.121.dynamic.ufanet.ru PRIVMSG #esoteric :xkapastel: yeah, my dull solution gives that (if one understands “order” as I did here—mathematically, so in increasing sequence any element would be met once at max) < 1534112532 852430 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :it might not be implemented yet, but I think it's accepted < 1534112545 834526 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :shachaf: I'm a bit tired and unsure, ask on mozilla #rust if you want to know < 1534112552 572197 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :you know the place < 1534112599 655740 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :in any case you could have already used a `'label loop{body; break returnvalue}` instead of a bare block < 1534112618 611754 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :which is why the rust guys could determine that breaks on bare loops aren't too dangerous < 1534112630 591345 :arseniiv!~arseniiv@136.169.131.121.dynamic.ufanet.ru PRIVMSG #esoteric :there could be even useful optimizations (order strings lexicographically, it’s quite computable in both directions; order trees in some way lexicographically too, and inverting *this* is then a challenge, but in some cases it could be easy) < 1534112662 732363 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :they still had to make sure not to change the behavior of existing unlabeled break, so you can only use a _labeled_ break for a bare block < 1534112741 502811 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :and it's of course possible that they'll only implement this for the rewritten liveness checker (whatever that thing is called) in rustc, so you might have to wait a tad bit more, I dunno < 1534112745 752054 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :ask the rust guys really < 1534112787 430739 :arseniiv!~arseniiv@136.169.131.121.dynamic.ufanet.ru PRIVMSG #esoteric :(any datatypes occuring in nodes should be, of course, also ordered for the latter to work, and a lexicographic order, recursively, is a natural choice then) < 1534112845 304416 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 PRIVMSG #esoteric :so I don't know about the status, but the rust guys figured that allowing labeled break from bare blocks is the Right Thing To Do, and will do so eventually if they haven't done it yet < 1534112917 226516 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a JOIN :#esoteric < 1534112917 468070 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a QUIT :Changing host < 1534112917 468118 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1534113098 319438 :wob_jonas!b03f18ba@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.186 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1534113186 631302 :AnotherTest!~turingcom@ptr-82l26zcb1dmnmcpyztw.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 256 seconds < 1534113501 773817 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1534114180 601542 :imode!~imode@unaffiliated/imode QUIT :Quit: WeeChat 2.2 < 1534114271 337929 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :In this GURPS game someone said the king insisted we all get our hair cut at a specific barber, even though two of us have no hair. < 1534114324 389166 :Ceber!~Ceber@125-31-98-3.ppp.bbiq.jp JOIN :#esoteric < 1534114435 373751 :Ceber!~Ceber@125-31-98-3.ppp.bbiq.jp QUIT :Remote host closed the connection < 1534114803 60116 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Quit: ZNC 1.6.5+deb2build2 - http://znc.in < 1534114821 902269 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1534116365 405798 :Melvar!~melvar@dslb-002-203-102-060.002.203.pools.vodafone-ip.de QUIT :Ping timeout: 240 seconds < 1534116479 811906 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :cool, someone implemented brainfuck as a cellular automaton: http://www.conwaylife.com/forums/viewtopic.php?f=11&t=3277 < 1534116537 666001 :arseniiv!~arseniiv@136.169.131.121.dynamic.ufanet.ru QUIT :Ping timeout: 240 seconds < 1534116597 935479 :eth212!~eth2@190-78-27-5.dyn.dsl.cantv.net JOIN :#esoteric < 1534116606 654730 :eth212!~eth2@190-78-27-5.dyn.dsl.cantv.net QUIT :Remote host closed the connection < 1534116813 394997 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1534117160 326549 :Melvar!~melvar@dslb-002-203-038-071.002.203.pools.vodafone-ip.de JOIN :#esoteric < 1534117888 227848 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1534118223 824483 :MDude!~MDude@97-127-137-99.cdrr.qwest.net QUIT :Ping timeout: 260 seconds < 1534118253 283582 :MDude!~MDude@97-127-137-99.cdrr.qwest.net JOIN :#esoteric < 1534118291 645316 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 JOIN :#esoteric < 1534118379 781716 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :zzo38: well, sometimes kings can afford to give you orders that might waste some of your time. at least it doesn't sound too dangerous to go to the barber and tell him to get the haircut on the king's order, or at least not more dangerous because you don't have any hair.