< 1542240887 291281 :nfd9001!~nfd9001@140.160.182.116 QUIT :Ping timeout: 240 seconds < 1542241525 908518 :nfd9001!~nfd9001@140.160.182.116 JOIN :#esoteric < 1542241550 896474 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1542241576 469693 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1542242431 94125 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1542243494 720048 :nfd9001!~nfd9001@140.160.182.116 QUIT :Ping timeout: 272 seconds < 1542245490 256443 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 JOIN :#esoteric < 1542245649 706464 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 PRIVMSG #esoteric :I'm trying to compare writable digital media for backup and transfer. < 1542245806 92683 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 PRIVMSG #esoteric :50 pieces of blank DVD-R or DVD+R disks of capacity 4.7 GB each cost 6470 HUF. 8 pieces of class 10 micro-SDHC cards of capacity 32 GB each cost 14721 HUF, which is 2.3 times the previous one. Both prices include slow shipping. < 1542245938 41739 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 PRIVMSG #esoteric :These two options have comparable total capacity, comparable read and write speeds in practice. both can be read and written by cheap high-speed USB drives. micro-SDHC cards are smaller and less sensitive to storing conditions. It's hard to tell how long they last because that depends on the brand and make and storing conditions, but we at least kn < 1542245938 212589 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 PRIVMSG #esoteric :ow that DVDs fail gradually with some data recoverable cheaply at home, whereas SDHC cards fail catastrophically with data recoverable from a failed drive only by professional services. < 1542245968 470454 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 PRIVMSG #esoteric :I will also have to look at rotation hard disks. < 1542246110 686151 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 PRIVMSG #esoteric :What's the most cost-effective size for rotation hard disks these days? < 1542246115 676179 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 PRIVMSG #esoteric :capacity I mean < 1542246163 844654 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 PRIVMSG #esoteric :obviously in practice I also have to take in account that I've already bought some micro-SD cards and blank DVD, so I can use those, but still < 1542246636 166738 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 PRIVMSG #esoteric :Ok, so for SATA rotational hard disks, the most cost-effective capacity for home use seems to be 2 TB or 4 TB, costing around 21000 HUF and 41000 HUF resp. < 1542246903 304850 :arseniiv!~arseniiv@95.105.76.158 QUIT :Ping timeout: 245 seconds < 1542247000 378956 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1542247100 997022 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1542247167 766338 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 PRIVMSG #esoteric :These have a pretty high speed, much higher than the SD cards or DVDs, though the exact speed varies. If I use them externally with a hard disk rack connected through USB3, then the speed will be capped by the USB3 root hub to 625 MB/s and there's one USB3 root hub in most home computers. < 1542247301 962379 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 PRIVMSG #esoteric :In comparison, the medium price class 10 sd cards I was talking about above have speed between 10 MB/s and 45 MB/s; more expensive cards that I use for my digital camera where the wait time of saving a picture matters can go up to 90 MB/s < 1542247591 922795 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 PRIVMSG #esoteric :so for bulk amounts of data, the DVDs are 2.7 times more expensive than the hard disk, and the SD cards are 5.6 times more expensive. < 1542247624 542382 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 PRIVMSG #esoteric :But in practice, I'll rarely fill a 4 TB hard disk, so the practical price difference is lower. < 1542247665 854314 :nfd9001!~nfd9001@140.160.182.116 JOIN :#esoteric < 1542247684 533533 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 PRIVMSG #esoteric :Hard disks need a more expensive external SATA rack and cables, and are bulkier than SD cards but less bulky than DVDs. < 1542247825 446950 :Lord_of_Life_!~Lord@79.125.197.26 JOIN :#esoteric < 1542247831 643302 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 PRIVMSG #esoteric :In practice I'll definitely use a combination of hard disks and (SD cards or DVD) for backup and off-site backup; SD cards or DVD for transferring data to other people; and obviously SD cards for mobile phone and digital camera and similar devices, with the camera requiring slightly more expensive fast SD cards. < 1542247843 879135 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 PRIVMSG #esoteric :But it's best to see the current state cleanly to figure this out. < 1542247902 943310 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 272 seconds < 1542247903 238450 :Lord_of_Life_!~Lord@79.125.197.26 NICK :Lord_of_Life < 1542247903 639172 :Lord_of_Life!~Lord@79.125.197.26 QUIT :Changing host < 1542247903 639216 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1542248077 450299 :wob_jonas!b03f187d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.125 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1542248649 858776 :nfd9001!~nfd9001@140.160.182.116 QUIT :Ping timeout: 252 seconds < 1542252152 724193 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1542252184 770528 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1542259148 692223 :iconmaster!~iconmaste@129.21.121.82 JOIN :#esoteric < 1542261565 863895 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-aealsqdqrropesyl QUIT :Ping timeout: 250 seconds < 1542261626 330096 :shikhin!shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds < 1542261643 215325 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-qelamtszdqypnvnr JOIN :#esoteric < 1542261662 730287 :shikhin!shikhin@lambdaos.org JOIN :#esoteric < 1542261761 352437 :shikhin!shikhin@lambdaos.org QUIT :Changing host < 1542261761 352496 :shikhin!shikhin@unaffiliated/shikhin JOIN :#esoteric > 1542263252 37391 PRIVMSG #esoteric :14[[07An esoteric programming language (ess-oh-terr-ick), or esolang, is a computer programming language designed to experiment with weird ideas, to be hard to program in, or as a joke, rather than for practical use.14]]4 N10 02https://esolangs.org/w/index.php?oldid=58381 5* 03Schmuui 5* (+716) 10I don't think this has ever happened before. < 1542263312 124456 :Schmuui!7cbfd9e7@gateway/web/freenode/ip.124.191.217.231 JOIN :#esoteric < 1542263323 900771 :Schmuui!7cbfd9e7@gateway/web/freenode/ip.124.191.217.231 PRIVMSG #esoteric :henlo > 1542263552 994831 PRIVMSG #esoteric :14[[07Esolang:Featured languages/Candidates14]]4 M10 02https://esolangs.org/w/index.php?diff=58382&oldid=58344 5* 03Schmuui 5* (+99) 10/* List of candidates */ < 1542263582 307127 :Schmuui!7cbfd9e7@gateway/web/freenode/ip.124.191.217.231 QUIT :Client Quit < 1542264047 322813 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1542266056 257347 :nfd9001!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net JOIN :#esoteric < 1542266353 234710 :nfd9001!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net QUIT :Ping timeout: 246 seconds > 1542266748 442491 PRIVMSG #esoteric :14[[07Esolang:Featured languages/Candidates14]]4 10 02https://esolangs.org/w/index.php?diff=58383&oldid=58382 5* 03Oerjan 5* (-99) 10Undo revision 58382 by [[Special:Contributions/Schmuui|Schmuui]] ([[User talk:Schmuui|talk]]) (See sentence in bold above) > 1542267020 829750 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03Oerjan 5* 10moved [[02A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.10]] to [[A programming language is a formal language, which comprises a set of instructions used to produce various kinds of output.]]: Someone changed it again > 1542267379 865734 PRIVMSG #esoteric :14[[07Template:Programming Language14]]4 N10 02https://esolangs.org/w/index.php?oldid=58386 5* 03Oerjan 5* (+127) 10Time to save some work on the updating < 1542267434 739652 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm wait should it be linked... < 1542267444 47691 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :can it avoid it? > 1542267501 850705 PRIVMSG #esoteric :14[[07Template:Programming Language14]]4 10 02https://esolangs.org/w/index.php?diff=58387&oldid=58386 5* 03Oerjan 5* (-4) 10Test something > 1542267635 160867 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=58388&oldid=58374 5* 03Oerjan 5* (-109) 10Yay it works > 1542267827 555968 PRIVMSG #esoteric :14[[07User:Rottytooth14]]4 10 02https://esolangs.org/w/index.php?diff=58389&oldid=51007 5* 03Oerjan 5* (-104) 10Hope you don't mind me adding the template here > 1542267981 577470 PRIVMSG #esoteric :14[[07Special:Log/delete14]]4 delete10 02 5* 03Oerjan 5* 10deleted "[[02A programming language is a formal computer language designed to communicate instructions to a machine, particularly a computer.10]]": Clean up after an old name change > 1542268082 584321 PRIVMSG #esoteric :14[[07Programming Language14]]4 10 02https://esolangs.org/w/index.php?diff=58390&oldid=52537 5* 03Oerjan 5* (-109) 10Cross fingers that this works... > 1542268318 642275 PRIVMSG #esoteric :14[[07Programming Language14]]4 10 02https://esolangs.org/w/index.php?diff=58391&oldid=58390 5* 03Oerjan 5* (+99) 10Seems not. At least subst: might work. > 1542268368 475963 PRIVMSG #esoteric :14[[07An esoteric programming language (ess-oh-terr-ick), or esolang, is a computer programming language designed to experiment with weird ideas, to be hard to program in, or as a joke, rather than for practical use.14]]4 10 02https://esolangs.org/w/index.php?diff=58392&oldid=58381 5* 03Oerjan 5* (-351) 10Use new template > 1542268894 401605 PRIVMSG #esoteric :14[[07A programming language is a formal language, which comprises a set of instructions used to produce various kinds of output.14]]4 10 02https://esolangs.org/w/index.php?diff=58393&oldid=58384 5* 03Oerjan 5* (-363) 10Templatize for sanity < 1542268922 256750 :nfd9001!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net JOIN :#esoteric > 1542268985 199861 PRIVMSG #esoteric :14[[07Special:Log/delete14]]4 delete10 02 5* 03Oerjan 5* 10deleted "[[02A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.10]]": Finish (I hope) cleanup after renaming < 1542269357 859812 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1542269370 297607 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1542271547 622475 :hexfive!~hexfive@50-46-223-124.evrt.wa.frontiernet.net QUIT :Quit: WeeChat 2.2 < 1542272852 758226 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite > 1542276921 685452 PRIVMSG #esoteric :14[[07VeriBasic14]]4 N10 02https://esolangs.org/w/index.php?oldid=58394 5* 03TeslaX93 5* (+409) 10Created page with "VeriBasic is a programming language, inspired by [http://en.wikipedia.org/wiki/Verilog Verilog] and [http://en.wikipedia.org/wiki/PHP PHP]. == Examples == // "Hello, world!"..." > 1542276933 897567 PRIVMSG #esoteric :14[[07VeriBasic14]]4 10 02https://esolangs.org/w/index.php?diff=58395&oldid=58394 5* 03TeslaX93 5* (-1) 10 > 1542278265 698109 PRIVMSG #esoteric :14[[07VeriBasic14]]4 10 02https://esolangs.org/w/index.php?diff=58396&oldid=58395 5* 03TeslaX93 5* (+65) 10 > 1542278379 619891 PRIVMSG #esoteric :14[[07An Odd Rewriting System14]]4 N10 02https://esolangs.org/w/index.php?oldid=58397 5* 03Ais523 5* (+4015) 10yet another new language > 1542278417 402609 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=58398&oldid=58388 5* 03Ais523 5* (+30) 10/* A */ +[[An Odd Rewriting System]] > 1542278451 519934 PRIVMSG #esoteric :14[[07An Odd Rewriting System14]]4 10 02https://esolangs.org/w/index.php?diff=58399&oldid=58397 5* 03Ais523 5* (+131) 10/* Syntax */ clarify whitespace and comments > 1542278493 90905 PRIVMSG #esoteric :14[[07User:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=58400&oldid=58375 5* 03Ais523 5* (+29) 10+[[An Odd Rewriting System]] > 1542278839 647708 PRIVMSG #esoteric :14[[07An Odd Rewriting System14]]4 M10 02https://esolangs.org/w/index.php?diff=58401&oldid=58399 5* 03Ais523 5* (+5) 10pipe year link < 1542281861 669798 :xkapastel!uid17782@gateway/web/irccloud.com/x-dywjzunbcsyffees JOIN :#esoteric < 1542282753 368548 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Ping timeout: 245 seconds < 1542283833 127175 :mroman!b2c03cf4@gateway/web/freenode/ip.178.192.60.244 JOIN :#esoteric < 1542285396 696952 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1542285429 820858 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I've got my new eyeglasses! < 1542285468 201809 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :\o/ < 1542285469 616979 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I'm wearing it, but it will take at least weeks to decide how good it is, and more to find out how long-lasting it is. < 1542285561 172885 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I think eyeglasses are plural. < 1542285585 135455 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Unless it's a monocle. < 1542285661 279692 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :For several years now I've been buying my eyeglasses on my own, as in from my own money without my parents' substantial help; but among those this is the first one where I brought the frame in a place other than the regular optician. < 1542285700 343624 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Since I bought the frame and the lens in different places, that has some risk, because there are some damages that won't be covered by warranty at either place because either of them can blame the other for the frame and lens being incompatible. < 1542285730 252927 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Still, my regular optics shop has had too little choice in frames for a while now, so I decided to take that risk. < 1542285798 794470 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :In the future, when I buy the frame separately, I should be more specific in saying what kind of lens I will use. < 1542289221 291975 :arseniiv!~arseniiv@95.105.76.158 JOIN :#esoteric < 1542290971 272196 :Lord_of_Life_!~Lord@79.125.199.104 JOIN :#esoteric < 1542291068 434606 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 244 seconds < 1542291068 539919 :Lord_of_Life_!~Lord@79.125.199.104 NICK :Lord_of_Life < 1542291068 815113 :Lord_of_Life!~Lord@79.125.199.104 QUIT :Changing host < 1542291068 815156 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1542292123 458342 :iconmaster!~iconmaste@129.21.121.82 QUIT :Quit: Leaving < 1542293493 628412 :sleepnap!~thomas@2603:3015:260e:1900::13ed JOIN :#esoteric < 1542294526 259886 :hexfive!~hexfive@50-46-223-124.evrt.wa.frontiernet.net JOIN :#esoteric < 1542294975 168243 :mroman!b2c03cf4@gateway/web/freenode/ip.178.192.60.244 QUIT :Ping timeout: 256 seconds < 1542295815 453244 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1542295949 736409 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1542297237 707162 :sleepnap!~thomas@2603:3015:260e:1900::13ed QUIT :Ping timeout: 250 seconds < 1542297548 860964 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be JOIN :#esoteric < 1542297643 592305 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1542298033 203620 :sleepnap!~thomas@2603:3015:260e:1900::13ed JOIN :#esoteric < 1542299759 37638 :S_Gautam!uid286066@gateway/web/irccloud.com/x-qkknfdudnpivplan JOIN :#esoteric < 1542300422 161441 :hexfive!~hexfive@50-46-223-124.evrt.wa.frontiernet.net QUIT :Quit: WeeChat 2.2 < 1542300465 360982 :hexfive!~hexfive@50-46-223-124.evrt.wa.frontiernet.net JOIN :#esoteric < 1542303126 815779 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1542307346 178097 :mroman!b2c03cf4@gateway/web/freenode/ip.178.192.60.244 JOIN :#esoteric < 1542307471 138578 :mroman!b2c03cf4@gateway/web/freenode/ip.178.192.60.244 PRIVMSG #esoteric :What's the correct terminology for map f $ xs? < 1542307475 926827 :mroman!b2c03cf4@gateway/web/freenode/ip.178.192.60.244 PRIVMSG #esoteric :f is mapped over xs? < 1542307478 838405 :mroman!b2c03cf4@gateway/web/freenode/ip.178.192.60.244 PRIVMSG #esoteric :f is applied over xs? < 1542307622 862175 :int-e!~noone@int-e.eu PRIVMSG #esoteric :f applied to xs < 1542307691 57349 :mroman!b2c03cf4@gateway/web/freenode/ip.178.192.60.244 PRIVMSG #esoteric :but f $ xs is also f applied to xs < 1542308380 523163 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yes, because ($) is the identity function < 1542308405 36057 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> succ 3 == (succ $ 3) < 1542308407 879689 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : True < 1542308468 602738 :mroman!b2c03cf4@gateway/web/freenode/ip.178.192.60.244 PRIVMSG #esoteric :yeh. < 1542308478 566501 :mroman!b2c03cf4@gateway/web/freenode/ip.178.192.60.244 PRIVMSG #esoteric :but if map f xs applies f to xs and f xs applies f to xs < 1542308488 75894 :mroman!b2c03cf4@gateway/web/freenode/ip.178.192.60.244 PRIVMSG #esoteric :then it's weird because those are two completely different things. < 1542309161 377160 :mroman!b2c03cf4@gateway/web/freenode/ip.178.192.60.244 PRIVMSG #esoteric :good news. < 1542309169 644761 :mroman!b2c03cf4@gateway/web/freenode/ip.178.192.60.244 PRIVMSG #esoteric :only about 300 built-ins left to document. < 1542309220 188100 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fmap (+1) (*2) < 1542309225 926229 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(+1) is mapped over (*2) < 1542309386 815408 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric < 1542309581 571152 :mroman!b2c03cf4@gateway/web/freenode/ip.178.192.60.244 PRIVMSG #esoteric :If I document 5 a day I'll be done in two months :D < 1542309669 963899 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1542309704 411768 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1542311827 900112 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1542311909 354349 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I have weird conjecture: AORS a) is Turing-complete, but b) cannot simulate every Turing machine in polynomial time < 1542311913 246798 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*a weird conjecture < 1542311961 86852 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so far I don't know that either half of this is correct for certain < 1542311979 356228 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I have lots of potential leads for implementing TC languages in AORS and all of them seem to involve an exponential slowdown… < 1542313330 239701 :nfd9001!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net QUIT :Ping timeout: 246 seconds < 1542313505 81483 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm that's a funny one < 1542313543 817481 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'd probably have used x:even:odd for the syntax if I had thought of this < 1542313589 994698 :int-e!~noone@int-e.eu PRIVMSG #esoteric :or add some silliness and write x?odd:even; < 1542313628 186575 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I thought of x:even:odd first, but this syntax is intended to be extensible to variants of the language (and in particular, higher-level languages that compile into AORS but are compatible with it) < 1542313644 262628 :xkapastel!uid17782@gateway/web/irccloud.com/x-dywjzunbcsyffees QUIT :Quit: Connection closed for inactivity < 1542313786 722828 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 268 seconds < 1542313810 274781 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: sorry for my connection < 1542313822 782166 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1542314304 723077 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1542314378 254835 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1542316115 369990 :grumble!~grumble@freenode/staff/grumble QUIT :Quit: Well, would you look at the time. I've almost missed my ambiguous, non-existent appointment that I have scheduled just when I start to lose interest in my current conversation. < 1542316270 226821 :wob_jonas!b03f182b@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.43 JOIN :#esoteric < 1542316281 46353 :wob_jonas!b03f182b@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.43 PRIVMSG #esoteric :ais523: what is AORS? < 1542316303 58154 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :https://esolangs.org/wiki/An_Odd_Rewriting_System < 1542316450 476990 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1542316494 489990 :wob_jonas!b03f182b@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.43 QUIT :Client Quit > 1542316642 234158 PRIVMSG #esoteric :14[[07AORS14]]4 N10 02https://esolangs.org/w/index.php?oldid=58402 5* 03B jonas 5* (+37) 10Redirected page to [[An Odd Rewriting System]] < 1542319375 642457 :MDead_!~MDude@71.50.218.48 QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1542319396 742017 :MDude!~MDude@71.50.218.48 JOIN :#esoteric < 1542319506 936254 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ski: Do you know something about callCC with restricted lifetime for the continuation? < 1542319659 137345 :mroman!b2c03cf4@gateway/web/freenode/ip.178.192.60.244 QUIT :Ping timeout: 256 seconds < 1542320498 638341 :arseniiv_!~arseniiv@77.79.181.62.dynamic.ufanet.ru JOIN :#esoteric < 1542320678 274713 :arseniiv!~arseniiv@95.105.76.158 QUIT :Ping timeout: 245 seconds < 1542320727 711177 :S_Gautam!uid286066@gateway/web/irccloud.com/x-qkknfdudnpivplan QUIT :Quit: Connection closed for inactivity < 1542321075 289991 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1542321965 896805 :sleepnap!~thomas@2603:3015:260e:1900::13ed PART :#esoteric < 1542322507 28514 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1542322518 296592 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1542324021 892729 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be QUIT :Ping timeout: 252 seconds < 1542324682 453604 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit