< 1602635842 791995 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I host stuff on my home computer too, but I don't have version 6 internet. < 1602636647 625708 :b_jonas!~x@catv-176-63-12-99.catv.broadband.hu PRIVMSG #esoteric :"version 6 internet" sounds weird, even if I know that the unixy socket interface calls the required address family AF_INET6 < 1602643985 31164 :arseniiv!~arseniiv@136.169.204.164 JOIN :#esoteric < 1602644010 425939 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :hi again world < 1602644242 10927 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1602645133 520718 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :hi arseniiv. < 1602645177 80088 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :imode: morning! (from my perspective at least) < 1602645224 317687 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :btw at any rate, do you know something about golden base type numerations? < 1602645375 991554 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I do not! < 1602645384 403105 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :am interested in what that means though. < 1602645542 69607 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :ah, I was rambling about that a small amount the other day at https://esolangs.org/logs/2020-10-13.html#lnb < 1602645542 217177 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :I’m in a sense desperate, though I uncovered another bit between dreams. Maybe these *are* just plain non-integer base systems, but as one has identities such as φ² = φ + 1, or χ² = 2χ + 1, or (√2)² = 2, it makes an obvious way to constrain digit strings precisely in such a way to make the numeration ascending < 1602645552 303294 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :but I still think there’s more to it < 1602645690 351301 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :for example I can’t explain that easily that the restriction to have the last digit ≠ 1 (so, exactly zero) for base φ or ≠ 2 for base χ corresponds to the analogous restriction for base Fibonacci or base Pell < 1602645756 238659 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :oh wait, there’s no such restriction for base φ but there is for base χ < 1602645768 237597 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :that makes things more confusing < 1602645809 187425 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :(I defined χ := √2 + 1 for convenience) < 1602645876 96180 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :(the next one would be ψ: ψ² = 3ψ + 1, and maybe I should investigate it and find out that things are even more confusing) < 1602646276 215556 :b_jonas!~x@catv-176-63-12-99.catv.broadband.hu QUIT :Remote host closed the connection < 1602646485 227478 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1602646502 980930 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1602647957 964021 :MDude!~MDude@71.50.47.112 QUIT :Quit: Going offline, see ya! (www.adiirc.com) > 1602651170 572721 PRIVMSG #esoteric :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02Template:Delete10]]": Copyright violation: content was: "{{Ambox | namespace = main | text = '''This page is a candidate for deletion.''' | style = border: 1px solid #c23446; border-...", and the only contributor was "[[Special:Contributions/Pipythonmc|Pipythonmc]]" ([[User talk:Pipythonmc|talk]]) > 1602651250 694431 PRIVMSG #esoteric :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02Template:Ambox10]]": Copyright violation: the only contributor was "[[Special:Contributions/Pipythonmc|Pipythonmc]]" ([[User talk:Pipythonmc|talk]]) > 1602651278 867711 PRIVMSG #esoteric :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02Template:AltDelete10]]": Copyright violation: the only contributor was "[[Special:Contributions/Pipythonmc|Pipythonmc]]" ([[User talk:Pipythonmc|talk]]) < 1602656172 886193 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :https://repl.it/repls/ShorttermHumbleCommunication and now to try to bootstrap church numerals in this thing. < 1602657913 977338 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 260 seconds < 1602658837 185687 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1602658929 987404 :imode1!~linear@unaffiliated/imode JOIN :#esoteric < 1602658972 325753 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 272 seconds < 1602659201 182221 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1602659209 20195 :imode1!~linear@unaffiliated/imode QUIT :Ping timeout: 260 seconds < 1602659376 591798 :cpressey!~cpressey@88.144.93.125 JOIN :#esoteric < 1602659997 334639 :cpressey!~cpressey@88.144.93.125 QUIT :Quit: WeeChat 1.9.1 < 1602660188 419421 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1602660738 293226 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :church numerals seem easy. just a bunch of compositions over and over again. could have a `number` macro that preserves the two quotations you worked with for later. < 1602660811 346099 :delta23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com QUIT :Remote host closed the connection < 1602662238 70277 :cpressey!~cpressey@88.144.93.125 JOIN :#esoteric < 1602662862 535468 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Remote host closed the connection < 1602662908 575379 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1602663171 516239 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1602663363 855968 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds < 1602663905 244821 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1602664506 168476 :rain1!~rain1@unaffiliated/rain1 QUIT :Quit: Leaving > 1602666201 478868 PRIVMSG #esoteric :14[[07Stax14]]4 10 02https://esolangs.org/w/index.php?diff=77982&oldid=76776 5* 03JonoCode9374 5* (+104) 10 < 1602666210 301408 :rain1!~rain1@unaffiliated/rain1 JOIN :#esoteric < 1602667802 969797 :cpressey!~cpressey@88.144.93.125 PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Richardson%27s_theorem < 1602667868 205517 :cpressey!~cpressey@88.144.93.125 PRIVMSG #esoteric :Laczkovich's simplified version looks particularly nice < 1602667882 429976 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yesterday I was messing around in Haskell, and implemented regular expressions with "data Regex c a = Regex (Maybe a) (c -> Regex c a)" < 1602667904 790131 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I noticed it's possible to implement a Choice instance (from the profunctors library) for this type < 1602667980 348187 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I don't know what use this instance would have, however < 1602668027 953659 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Here is my code: https://gist.github.com/Taneb/804c57c4563645d933d215470cf3f911 < 1602668283 533592 :cpressey!~cpressey@88.144.93.125 PRIVMSG #esoteric :The profunctor docs tell me Choice is "the generalization of Costar of Functor that is strong with respect to Either." I think I'll sit this one out. < 1602668483 904688 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :cpressey: if I have a regular expression on alphabet c, I can turn it into one on Either c d, which accepts any Right value and otherwise matches what we started with if we ignore the Rights < 1602668726 921487 :cpressey!~cpressey@88.144.93.125 PRIVMSG #esoteric :Taneb: I don't think I follow you. What did we start with? < 1602668753 873557 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :A regular expression on alphabet c < 1602668830 89593 :cpressey!~cpressey@88.144.93.125 PRIVMSG #esoteric :This is the "what we started with" in the phrase "otherwise matches what we started with"? < 1602668840 770048 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yeah < 1602668868 855100 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :So left' a*b accepts [Right x, Left a, Left a, Right y, Left b] < 1602668879 56523 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Because if we ignore the Rights, we hae aab which a*b accepts < 1602669029 548623 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Does this help? < 1602669112 328258 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :cpressey: also feel free to look at/comment on the rest of the file, too < 1602669203 715414 :cpressey!~cpressey@88.144.93.125 PRIVMSG #esoteric :Is this much or any different from https://hackage.haskell.org/package/base-4.14.0.0/docs/Data-Either.html#v:lefts ? < 1602669272 589733 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :...somewhat < 1602671916 179122 :cpressey!~cpressey@88.144.93.125 QUIT :Quit: WeeChat 1.9.1 < 1602672564 173692 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 256 seconds < 1602673778 828895 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1602675465 534319 :t20kdc!~20kdc@cpc139384-aztw33-2-0-cust220.18-1.cable.virginm.net JOIN :#esoteric < 1602679347 276966 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursa1 < 1602679363 811489 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1602683619 849321 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1602687071 70351 :aaaaaa!~ArthurStr@host-91-90-11-12.soborka.net JOIN :#esoteric < 1602687466 454353 :MDude!~MDude@71.50.47.112 JOIN :#esoteric < 1602689162 986051 :b_jonas!~x@catv-176-63-11-205.catv.broadband.hu JOIN :#esoteric < 1602694571 487935 :Robdgreat!~rob@unaffiliated/robdgreat PART :#esoteric < 1602694584 300379 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1602694948 754447 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1602696584 529664 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :suppose we have a function `unconst :: (a → b) → Maybe b` which returns `Just x` precisely on functions extensionally equal to `const x`. How many miracles could we make? I suppose we could solve halting problem? < 1602696660 77170 :arseniiv!~arseniiv@136.169.204.164 PRIVMSG #esoteric :for this kind of function to be reasonable, it need constraints like (Bounded a, Eq b) or something less strong than Bounded but which means “b is finite and recursively enumerable” < 1602701935 494093 :dingwat!uid70835@gateway/web/irccloud.com/x-lnucxmdawpsltrqc JOIN :#esoteric < 1602701970 563243 :LKoen!~LKoen@81.255.219.130 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.” < 1602702154 14244 :arseniiv!~arseniiv@136.169.204.164 QUIT :Ping timeout: 260 seconds < 1602703699 134730 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1602707623 364534 :MDude!~MDude@71.50.47.112 QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1602708171 450705 :deltaepsilon23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com JOIN :#esoteric < 1602708180 203335 :deltaepsilon23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com NICK :delta23 < 1602709103 578948 :delta23!~deltaepsi@cpe-24-208-148-153.insight.res.rr.com QUIT :Quit: Leaving < 1602712314 676550 :FreeFull!~freefull@defocus/sausage-lover QUIT :Read error: Connection reset by peer < 1602713495 481932 :j4cbo!sid186930@gateway/web/irccloud.com/x-ndqbdjnvwphadjhw QUIT :Ping timeout: 272 seconds < 1602713560 379135 :relrod!~relrod@redhat/ansible.staff.relrod QUIT :Excess Flood < 1602713567 999491 :relrod!~relrod@origin.elrod.me JOIN :#esoteric < 1602713570 450200 :relrod!~relrod@origin.elrod.me QUIT :Changing host < 1602713570 450253 :relrod!~relrod@redhat/ansible.staff.relrod JOIN :#esoteric < 1602713631 777054 :j4cbo!sid186930@gateway/web/irccloud.com/x-ihgderxwrpezoxzq JOIN :#esoteric < 1602714596 971618 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1602716179 981478 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric < 1602716469 77838 :Arcorann_!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Ping timeout: 260 seconds < 1602716538 31654 :aaaaaa!~ArthurStr@host-91-90-11-12.soborka.net QUIT :Quit: leaving < 1602717773 992139 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric > 1602718610 976373 PRIVMSG #esoteric :14[[07Interstack14]]4 M10 02https://esolangs.org/w/index.php?diff=77983&oldid=77671 5* 03PythonshellDebugwindow 5* (+3) 10/* Cat program */ Fix cat program to match description < 1602719679 931159 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1602719750 440754 :stux!stux2@grid9.quadspeedi.net JOIN :#esoteric