< 1545350590 751569 :doesthiswork!~Adium@131.191.115.81 QUIT :Quit: Leaving. < 1545351520 353375 :nchambers!~nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1545351558 122797 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric > 1545351586 647507 PRIVMSG #esoteric :14[[07Blindfolded arithmetic14]]4 10 02https://esolangs.org/w/index.php?diff=58767&oldid=58766 5* 03B jonas 5* (+8459) 10 < 1545352040 44796 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1545352041 363530 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ENVA 202350Z 11010KT 080V150 CAVOK 01/M05 Q1014 RMK WIND 670FT 14013KT < 1545352048 137573 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no drones today > 1545352152 877251 PRIVMSG #esoteric :14[[07Blindfolded arithmetic14]]4 10 02https://esolangs.org/w/index.php?diff=58768&oldid=58767 5* 03B jonas 5* (+1029) 10 > 1545352290 414032 PRIVMSG #esoteric :14[[07Blindfolded arithmetic14]]4 10 02https://esolangs.org/w/index.php?diff=58769&oldid=58768 5* 03B jonas 5* (+117) 10 < 1545352820 739222 :b_jonas!~x@catv-176-63-14-88.catv.broadband.hu PRIVMSG #esoteric :ais523: now let me read your TC construction for Blindfolded arithmetic < 1545352867 949854 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( shouldn't you be reading that blindfolded? ) < 1545353000 935061 :b_jonas!~x@catv-176-63-14-88.catv.broadband.hu PRIVMSG #esoteric :ah I see, it's not ais532's construction actually > 1545353032 946853 PRIVMSG #esoteric :14[[07Blindfolded arithmetic14]]4 10 02https://esolangs.org/w/index.php?diff=58770&oldid=58769 5* 03B jonas 5* (+17) 10/* External links */ > 1545353772 889102 PRIVMSG #esoteric :14[[07BuzzFizz14]]4 10 02https://esolangs.org/w/index.php?diff=58771&oldid=53644 5* 03Ais523 5* (-143) 10/* External resources */ updated compiler, now handles all of printable ASCII! < 1545355071 828643 :b_jonas!~x@catv-176-63-14-88.catv.broadband.hu PRIVMSG #esoteric :I'll have to think about the four-register version. I think it's possible. < 1545355097 569055 :b_jonas!~x@catv-176-63-14-88.catv.broadband.hu PRIVMSG #esoteric :I just have to squash the state counter and the first stack into c. < 1545355101 475967 :b_jonas!~x@catv-176-63-14-88.catv.broadband.hu QUIT :Quit: leaving > 1545355208 278625 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Yechar 5* 10New user account < 1545355466 287732 :doesthiswork!~Adium@131.191.115.81 JOIN :#esoteric < 1545356146 289236 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1545358488 325495 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Quit: Qutting < 1545359013 428141 :imode!~imode@unaffiliated/imode QUIT :Quit: WeeChat 2.3 < 1545360741 641499 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru JOIN :#esoteric < 1545361113 52327 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1545361186 641072 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1545361211 645952 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1545361672 312347 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1545363157 751537 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 250 seconds < 1545363263 362706 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1545365285 270916 :zzo38!~zzo38@24-207-47-161.eastlink.ca JOIN :#esoteric < 1545367400 403173 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1545367647 293689 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1545367894 199240 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1545369403 256070 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Ping timeout: 245 seconds < 1545370675 848020 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1545370928 734473 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 250 seconds < 1545371140 952193 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1545371338 697967 :nchambers!~nchambers@learnprogramming/staff/nchambers QUIT :Quit: WeeChat 2.2 < 1545373338 632610 :doesthiswork1!~Adium@131.191.115.81 JOIN :#esoteric < 1545373338 877008 :doesthiswork!~Adium@131.191.115.81 QUIT :Read error: Connection reset by peer < 1545376801 125825 :Xylochoron!60255fb5@gateway/web/freenode/ip.96.37.95.181 JOIN :#esoteric < 1545377075 148841 :Xylochoron!60255fb5@gateway/web/freenode/ip.96.37.95.181 QUIT :Ping timeout: 256 seconds < 1545378900 839411 :AnotherTest!~turingcom@ptr-82l26zcjpltykrbgmmx.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1545379330 259995 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1545380155 394271 :doesthiswork1!~Adium@131.191.115.81 QUIT :Quit: Leaving. < 1545380877 839416 :AnotherTest!~turingcom@ptr-82l26zcjpltykrbgmmx.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 252 seconds > 1545382220 906219 PRIVMSG #esoteric :14[[07BuzzFizz14]]4 10 02https://esolangs.org/w/index.php?diff=58772&oldid=58771 5* 03Ais523 5* (+77) 10/* External resources */ TIO link > 1545382883 977941 PRIVMSG #esoteric :14[[07Disan Count14]]4 10 02https://esolangs.org/w/index.php?diff=58773&oldid=53609 5* 03Ais523 5* (+761) 10edit for accuracy, explaining why this doesn't work < 1545386828 268673 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 245 seconds < 1545387490 730588 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be JOIN :#esoteric > 1545388352 512158 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03Ais523 5* 10moved [[02Blindfolded arithmetic10]] to [[Blindfolded Arithmetic]]: caps > 1545388395 614950 PRIVMSG #esoteric :14[[07Blindfolded Arithmetic14]]4 M10 02https://esolangs.org/w/index.php?diff=58776&oldid=58774 5* 03Ais523 5* (+0) 10caps > 1545388434 905867 PRIVMSG #esoteric :14[[07User:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=58777&oldid=58680 5* 03Ais523 5* (+28) 10one of my languages got added by someone else > 1545388488 243201 PRIVMSG #esoteric :14[[07Blindfolded Arithmetic14]]4 10 02https://esolangs.org/w/index.php?diff=58778&oldid=58776 5* 03Ais523 5* (-29) 10/* Definition */ Blindfolded Arithmetic can actually /output/ negative and zero integers, but only /input/ positive integers > 1545388905 865897 PRIVMSG #esoteric :14[[07Blindfolded Arithmetic14]]4 M10 02https://esolangs.org/w/index.php?diff=58779&oldid=58778 5* 03Ais523 5* (-1) 10/* General structure of compilation */ fix mismatched tags < 1545391203 497579 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1545391263 517554 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :In the US, why did the media guys push for a longer copyright term, instead of just pushing for a fixed term after the death of the author, and then maintain Walt Disney's cryogenic chamber in a state where it's plausibly deniable that he's known to be dead? < 1545391391 938451 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ais523: I'll document the four registers construction later. It's not hard, but I have to do other stuff now. < 1545391422 724266 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Also, the extra registers are still useful, because you can put extra stacks on them, which speeds up reverse and sort operations a lot. > 1545392405 947948 PRIVMSG #esoteric :14[[07Blindfolded Arithmetic14]]4 10 02https://esolangs.org/w/index.php?diff=58780&oldid=58779 5* 03B jonas 5* (+611) 10/* Four variables */ +Spare registers < 1545393199 230813 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric < 1545394038 492943 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1545394054 319885 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wob_jonas: I'm tantalizingly close to getting it done with /two/ (without I/O, obviously) < 1545394120 18997 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wob_jonas: look at this: http://nethack4.org/pastebin/18.txt < 1545394160 39174 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :being able to divmod by a Mersenne prime seems like the sort of basic construct which will be useful, although I haven't found a way to get from there to TCness yet < 1545394171 310470 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ais523: I won't look yet because I don't want it spoiled. I'm trying to think about this still. I'm already sure about the four variable construction, I just haven't documented it yet, and want to give a bit more thought to it. < 1545394188 748605 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm sure about three-without-I/O < 1545394219 201997 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :btw, at some point we're going to have to move all the Blindfolded Arithmetic proofs onto subpages, I think < 1545394232 620693 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I never did post mine (because you're meant to keep it secret until someone cracks the language) < 1545394248 522557 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ais523: on the other hand, if this was a real machine, I'd recommend its creator to get rid of all the mechanism for multiply and divide, and put in a more useful but easier to implement instruction, say v_0 = (v_1 < 0) * v_2, and < 1545394260 608465 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :come to think of it, I may as well post my proof for 6 < 1545394297 633098 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :here: http://nethack4.org/esolangs/blindfolded-arithmetic.md < 1545394311 513 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :then they can also have each instruction execute in constant time, which probably simplifies the control a bit (though probably not much because the instructions are on a rotating disk which is unpredictable anyway) < 1545394345 53267 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ais523: weren't you supposed to keep it secret until someone cracks the language OR one week passes, and the one week passed long ago? < 1545394368 33664 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, but if I mark it safe it'll be a winning entry, and the almost-crack that was posted is close enough that I don't want to win like that < 1545394383 587688 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :disclosing my solution offsite seems like a reasonable workaround to that < 1545394447 219568 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ais523: two registers seems tricky, but I have an idea to get down to three registers, and I want to think about it before reading your spoilers < 1545394493 292099 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ais523: hmm, should I modify that solution to be entirely correct then so you can mark it as accepted? < 1545394527 726933 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure, this is something of a grey area; I think that such an edit would be treated as equivalent to a golfing edit, thus disallowed < 1545394529 140684 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it's not hard, because his solution is similar to mine for five and four registers in general < 1545394539 464594 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you could post your own crack if it's substantially different from the existing one < 1545394553 171803 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :but my solution wouldn't be substantially different < 1545394556 92724 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :at least right now < 1545394559 772695 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, I had a second language in mind for that challenge < 1545394568 475276 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the problem is I never proved it I/O-complete (only Turing-complete) < 1545394585 316398 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I'm still using two stacks, and the details about how I store the state counter don't make much of a difference < 1545394607 500473 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :in fact how I store the state counter is the main difference between the four register and five register solution < 1545394620 480321 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, that makes sense < 1545394666 794267 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :while the fifth register helps me simplify my proof, the sixth doesn't, it only lets me write more efficient programs than is required for turing completeness < 1545394685 881200 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :oh, and I also missed non-positive outputs at first, so I'll fix my description on the wiki for that < 1545394740 572350 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I already did < 1545394935 999093 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ais523: in the description, yes, but not in the compilation construction < 1545394963 292172 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right < 1545394978 736324 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :that one needs special mention because me and the solver on golf SE both try to keep i always positive so that b = i / i; always works < 1545395009 303586 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :which is convenient because at the start of the program, the other registers are zero, so we can't construct a nonzero number without i < 1545395076 469279 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :this is not a problem of course, since we can do a conditional i = 1 - i then halt very quickly, but it still has to be mentioned < 1545395408 288719 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1545395435 412988 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric > 1545397081 284609 PRIVMSG #esoteric :14[[07Blindfolded Arithmetic14]]4 10 02https://esolangs.org/w/index.php?diff=58781&oldid=58780 5* 03Ais523 5* (+95) 10/* External links */ my own TCness proof < 1545397148 822204 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ais523: you can host that on the wiki < 1545397175 900961 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :a proof for the wiki is definitely on topic there < 1545397178 405106 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :um < 1545397183 212569 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :a proof about an esolang's power < 1545397234 71678 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I know, but it's better to have it linked until someone gets around to translating it into MediaWiki syntax < 1545397251 700917 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I've had bad experiences with automated Markdown → MediaWiki compilers) < 1545397267 861989 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ok. this one doesn't have much formatting so it should be easy. < 1545398499 145902 :hogefuga!7e1670de@gateway/web/freenode/ip.126.22.112.222 JOIN :#esoteric < 1545398567 586268 :hogefuga!7e1670de@gateway/web/freenode/ip.126.22.112.222 PART :#esoteric < 1545399323 636329 :arseniiv!~arseniiv@94.41.6.191.dynamic.ufanet.ru QUIT :Ping timeout: 250 seconds > 1545399835 352242 PRIVMSG #esoteric :14[[07Blindfolded Arithmetic14]]4 10 02https://esolangs.org/w/index.php?diff=58782&oldid=58781 5* 03B jonas 5* (+5769) 10/* Proof of Turing-completeness */ Ais523's Turing-completeness proof < 1545399901 629966 :doesthiswork!~Adium@131.191.115.81 JOIN :#esoteric < 1545400929 377123 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1545400952 423258 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1545402302 942186 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ais523: it seems that your six-register proof uses a control structure somewhat similar to mine, but you use three counters instead of two stacks, which simplifies the description < 1545402322 392600 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :that is actually a good way to use six registers to get a simpler proof < 1545402346 868048 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :even if it's not one I would prefer to give < 1545402443 80105 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and apparently you're using sequentially numbered states < 1545402901 248105 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, there was no real reason not to < 1545402919 979765 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :three counters means that you can do the I/O encoding "inside" the system < 1545402929 429545 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :sure, it may be more efficient than gotos all the time < 1545402931 779003 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which makes things much simpler < 1545402948 979281 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :two or three or four stacks also mean that < 1545402958 742777 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :then I can even do IO encoding bitwise < 1545402977 683618 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it gets a bit more complicated if I want nonpositive outputs, but not by much < 1545402999 815867 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, I should go to bed really, or at least try < 1545403006 10284 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1545403011 177934 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I'll document that part, and the four register construction, and try to think about the three registers < 1545404811 299974 :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 < 1545405554 657968 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1545405554 658036 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Client Quit < 1545406407 321983 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1545406497 527583 :Soni!~quassel@unaffiliated/soniex2 QUIT :Remote host closed the connection < 1545406510 382268 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1545409934 897559 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1545410009 381325 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1545413782 730551 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu JOIN :#esoteric < 1545416068 856728 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric > 1545416370 725236 PRIVMSG #esoteric :14[[07Blindfolded Arithmetic14]]4 10 02https://esolangs.org/w/index.php?diff=58783&oldid=58782 5* 03B jonas 5* (-7) 10/* Compiling individual steps */ < 1545417105 8015 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? manowar < 1545417106 275636 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :manowar? ¯\(°​_o)/¯ < 1545417107 276806 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? samovar < 1545417108 494839 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :samovar? ¯\(°​_o)/¯ < 1545417163 291848 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? scorpan < 1545417164 436294 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :scorpan? ¯\(°​_o)/¯ < 1545417167 49940 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? sub-zero < 1545417168 100138 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :sub-zero? ¯\(°​_o)/¯ < 1545417250 66262 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? scorpion < 1545417251 129467 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :scorpion? ¯\(°​_o)/¯ < 1545419908 742272 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1545419979 711918 :Soni!~quassel@unaffiliated/soniex2 JOIN :#esoteric < 1545419984 517823 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? berenstein < 1545419985 565702 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :berenstein? ¯\(°​_o)/¯ < 1545419987 434586 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? beranstein < 1545419988 512549 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :beranstein? ¯\(°​_o)/¯ < 1545419991 752344 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? bearenstein < 1545419992 816753 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :bearenstein? ¯\(°​_o)/¯ < 1545419997 301246 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? berenstain < 1545419998 466585 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :berenstain? ¯\(°​_o)/¯ < 1545420000 373306 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? beranstain < 1545420002 156797 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :beranstain? ¯\(°​_o)/¯ < 1545420011 517444 :Soni!~quassel@unaffiliated/soniex2 QUIT :Client Quit < 1545420020 400711 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :``` echo wisdom/b*r*st*n* < 1545420021 187815 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :wisdom/b*r*st*n* < 1545420152 649135 :zzo38!~zzo38@24-207-47-161.eastlink.ca JOIN :#esoteric < 1545422739 368159 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? economy < 1545422740 397619 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :economy? ¯\(°​_o)/¯ < 1545422819 880319 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :economy explains why the goods and services you buy are low quality and overpriced, and removes all your hope that you'll ever be able to buy high quality goods or services for cheap < 1545422980 591087 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :Do you think there may come a time when microSD cards become so cheap that nobody will bother printing manuals or labels to anything, they'll just tape on a microSD card? < 1545423185 679944 :Soni!~quassel@unaffiliated/soniex2 JOIN :#esoteric < 1545423858 420474 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :It won't help, since then you will need a computer that can read the file, and the electricity to run the computer (it won't work during a power outage, even if you do have a suitable computer). < 1545423860 223854 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :I'm not sure it'd be EU regulation compliant < 1545423867 141344 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :(also, I hope not) < 1545423940 621674 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :zzo38: we'll have mobile phones that can read the file. < 1545423960 524026 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :perhaps it won't exactly be microSD, but some other form of digital data storage. < 1545423965 156664 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :Luciole: not yet. < 1545423973 871640 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :No, you might not. And even if you do the battery might run out. < 1545424020 805732 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :why distribute a microSD card if you can just print a QR code that leads to a website with relevant manuals etc < 1545424023 149602 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :zzo38: for those cases, the store might have some devices fixed on the wall, just like how some big supermarkets today have self-serving barcode readers connected to the shop inventory computers to tell the price of any item from a barcode < 1545424033 982760 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :and then you can just scan it with your phone in the supermarket < 1545424038 151145 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :kinda surprised that isn't a thing already < 1545424041 21387 :Luciole!znc@freenode/staff/firefly PRIVMSG #esoteric :maybe it is.. < 1545424104 385644 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :b_jonas: Yes, that could work. It may help if you want to read the manual before opening the box, but it should not substitute for manuals and visible price tags, I should think < 1545424154 131465 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :zzo38: sure, if there needs to be information printed outside the box, that can happen too. or that can be replaced by a microSD card too. < 1545424186 162178 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :of course it gets hairy when every leaf of ten pills in a pharmaeutical must have the exact type and expiry date printed on it < 1545424196 77636 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :presumably it won't replace everything < 1545424200 42300 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :just some of the larger manuals < 1545424214 381434 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :the largest ones are already distributed on CDs, mind you < 1545424244 405818 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :a CD is still cheaper than an SD card, but only by a factor of 2 or 4 < 1545424251 256539 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :no wait < 1545424257 379142 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :more like a factor of 5 or 10 < 1545424313 839443 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Not all of the information can fit on the outside of the box. Some information can be printed there, but perhaps can help to use this microSD so that you can access information that is not printed on the box because it does not fit. Although probably there should still be some manual, unless it is needing for a computer program that has the built-in manual that is suitable < 1545424320 680133 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :but a CD, even a small size CD, is too large < 1545424569 142914 :contrapumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1545425409 566544 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? one ring < 1545425411 785685 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :One Ring to rule them all, One Ring to find them, One Ring to bring them all and in the darkness bind them < 1545426804 295310 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :? ballpeen < 1545426806 538577 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :? ballpen < 1545426810 973433 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? ballpoint pen < 1545426812 33552 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :ballpoint pen? ¯\(°​_o)/¯ < 1545426817 199363 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? ballpen < 1545426818 339015 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :ballpen? ¯\(°​_o)/¯ < 1545426818 434267 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? ballpeen < 1545426819 652649 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :ballpeen? ¯\(°​_o)/¯ < 1545428156 409855 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? ground water < 1545428157 582935 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :ground water? ¯\(°​_o)/¯ < 1545428167 350992 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :how fine is it ground? < 1545428274 836580 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :ground water is water ground to a fine powder < 1545428523 570328 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? spring < 1545428524 651777 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :`? string < 1545428526 913856 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :spring? ¯\(°​_o)/¯ < 1545428527 350453 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :string? ¯\(°​_o)/¯ < 1545430616 676940 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :ais523: another question is whether Blindfolded Arithmetic is still TC without multiplication, if you allow a large enough number of registers < 1545432596 256066 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: it seems so; division is really powerful. For example, one can multiply x by a in {1,2} using the expression (x+x)/(3-a), which covers the translations of push. < 1545432942 754493 :xkapastel!uid17782@gateway/web/irccloud.com/x-hpfcjbrggufpxsvn QUIT :Quit: Connection closed for inactivity < 1545433746 866563 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be QUIT :Ping timeout: 272 seconds < 1545433894 445881 :b_jonas!~x@catv-176-63-13-170.catv.broadband.hu PRIVMSG #esoteric :int-e: the hard part is how to do conditionals < 1545435173 236017 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1545436362 102351 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric