< 1581379233 341656 :b_jonas!~x@catv-176-63-14-34.catv.broadband.hu PRIVMSG #esoteric :`olist 1191 < 1581379236 168847 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :olist 1191: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1581379539 389527 :b_jonas!~x@catv-176-63-14-34.catv.broadband.hu PRIVMSG #esoteric :whoa, who's that? < 1581379580 430680 :b_jonas!~x@catv-176-63-14-34.catv.broadband.hu PRIVMSG #esoteric :ah < 1581381058 116871 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Ping timeout: 265 seconds < 1581381094 713691 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca JOIN :#esoteric < 1581381533 234259 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1581381679 641826 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 268 seconds < 1581381679 751849 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1581381753 617022 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Ping timeout: 268 seconds > 1581381847 772713 PRIVMSG #esoteric :14[[07Brainfunc14]]4 M10 02https://esolangs.org/w/index.php?diff=69800&oldid=69799 5* 03PythonshellDebugwindow 5* (+1) 10/* Commands */ < 1581382034 924196 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds < 1581382274 861728 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: Feel free to lecture Hooloovo0 on the PoTM rules; I didn't have the heart :P < 1581382352 524539 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Also this was a borderline case... to my mind it was more than the minor fixes we've allowed before... otoh it's still recognizably similar.) < 1581382477 360823 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :oh, didn't realize there were rules at all < 1581382495 410425 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Basically, it's one edit per month, first one wins. < 1581382519 180472 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :ah, got it < 1581383112 147860 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(UTC) < 1581383166 28582 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(The fact that we've agreed on a time zone for this tells you something... not sure what it is though.) < 1581384233 109326 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :I'm pretty sure that tells me all I need to know < 1581384252 749073 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca JOIN :#esoteric > 1581384286 70831 PRIVMSG #esoteric :14[[07Talk:Memfractal14]]4 10 02https://esolangs.org/w/index.php?diff=69801&oldid=60521 5* 03Salpynx 5* (+630) 10eso-procrastination! > 1581386010 146593 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Apollyon094 5* 10New user account < 1581387315 311854 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Disconnected by services < 1581387319 190603 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca JOIN :#esoteric > 1581387539 868742 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=69802&oldid=69768 5* 03Apollyon094 5* (+376) 10 > 1581387555 35306 PRIVMSG #esoteric :14[[07I like frog14]]4 N10 02https://esolangs.org/w/index.php?oldid=69803 5* 03Apollyon094 5* (+2365) 10Added page > 1581387599 863983 PRIVMSG #esoteric :14[[07I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=69804&oldid=69803 5* 03Apollyon094 5* (+29) 10 > 1581387620 626325 PRIVMSG #esoteric :14[[07I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=69805&oldid=69804 5* 03Apollyon094 5* (-53) 10 > 1581387681 85480 PRIVMSG #esoteric :14[[07I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=69806&oldid=69805 5* 03Apollyon094 5* (+28) 10 > 1581387766 206111 PRIVMSG #esoteric :14[[07I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=69807&oldid=69806 5* 03Apollyon094 5* (+2) 10 > 1581387778 636396 PRIVMSG #esoteric :14[[07I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=69808&oldid=69807 5* 03Apollyon094 5* (-27) 10 > 1581387806 683434 PRIVMSG #esoteric :14[[07I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=69809&oldid=69808 5* 03Apollyon094 5* (+27) 10 < 1581389453 208564 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 272 seconds < 1581390748 879248 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Read error: Connection reset by peer < 1581390870 76305 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1581390903 775540 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds < 1581390922 415495 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric < 1581391118 448347 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Client Quit < 1581391314 429994 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric < 1581391323 562435 :grumble!~grumble@freenode/staff/grumble QUIT :Remote host closed the connection < 1581391358 133266 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1581391555 705791 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1581392803 739553 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1581393799 249107 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Remote host closed the connection < 1581399052 257502 :FreeFull!~freefull@defocus/sausage-lover QUIT : > 1581403303 27080 PRIVMSG #esoteric :14[[076ix14]]4 M10 02https://esolangs.org/w/index.php?diff=69810&oldid=18233 5* 03YamTokTpaFa 5* (+1) 10Moved Stub template to top; never have I heard of such rules, but is it a rule? < 1581403842 617179 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 268 seconds < 1581408752 231293 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Is someone on today? < 1581410148 267208 :b_jonas!~x@catv-176-63-14-34.catv.broadband.hu PRIVMSG #esoteric :on where? < 1581410197 379507 :b_jonas!~x@catv-176-63-14-34.catv.broadband.hu PRIVMSG #esoteric :int-e: I didn't know that you agreed on a timezone. is that written somewhere? is there a wisdom entry about those rules? < 1581410200 703478 :b_jonas!~x@catv-176-63-14-34.catv.broadband.hu PRIVMSG #esoteric :`? rules of wisdom < 1581410202 750400 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :unless essential for the entry‘s humor, \ they should: be understandable without the lookup key, be single spaced and end in a newline with no space before that, and use proper capitalization and punctuation < 1581410231 271626 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :such wisdom < 1581413101 117398 :fungot!~fungot@unaffiliated/fizzie/bot/fungot QUIT :Quit: Coyote finally caught me < 1581414067 786795 :b_jonas!~x@catv-176-63-14-34.catv.broadband.hu QUIT :Quit: leaving < 1581414337 280625 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Unwritten rules are the best rules. < 1581415393 661128 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1581416659 270358 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1581418321 923662 :fungot!~fungot@unaffiliated/fizzie/bot/fungot JOIN :#esoteric < 1581419102 266425 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1581419166 132696 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1581422139 710736 :tramplefoot!~Tramplefo@134.3.148.125 JOIN :#esoteric < 1581426040 116960 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1581426068 616289 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric > 1581427537 547807 PRIVMSG #esoteric :14[[07Brainfunc14]]4 M10 02https://esolangs.org/w/index.php?diff=69811&oldid=69800 5* 03PythonshellDebugwindow 5* (+38) 10/* Examples */ > 1581427742 482313 PRIVMSG #esoteric :14[[07Brainfuck extensions14]]4 M10 02https://esolangs.org/w/index.php?diff=69812&oldid=64751 5* 03PythonshellDebugwindow 5* (+15) 10 > 1581428351 290282 PRIVMSG #esoteric :14[[07Brainfunc14]]4 M10 02https://esolangs.org/w/index.php?diff=69813&oldid=69811 5* 03PythonshellDebugwindow 5* (+168) 10/* Functions */ > 1581428381 949870 PRIVMSG #esoteric :14[[07Brainfunc14]]4 M10 02https://esolangs.org/w/index.php?diff=69814&oldid=69813 5* 03PythonshellDebugwindow 5* (+27) 10/* Examples */ < 1581430038 110063 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru JOIN :#esoteric > 1581430328 465185 PRIVMSG #esoteric :14[[07VD314]]4 M10 02https://esolangs.org/w/index.php?diff=69815&oldid=32437 5* 03PythonshellDebugwindow 5* (-1) 10/* Halting */ Fixing grammar > 1581430377 171738 PRIVMSG #esoteric :14[[07VD314]]4 M10 02https://esolangs.org/w/index.php?diff=69816&oldid=69815 5* 03PythonshellDebugwindow 5* (+1) 10/* Computational class */ < 1581430475 598721 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :i wonder what's the most concise definition of divmod in Church numerals < 1581430877 520930 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :one definition is on http://users.monash.edu/~lloyd/tildeFP/Lambda/Examples/const-int/ < 1581430923 579169 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :i also found a definition for just modulo as mod = \a\b.b (\c\d.(c(\e.(d(\f\g.(f(e f g)))e)))) (\c.(c zero)) (\c.(a(b(\d\e\f.(d(\g.(e g f)))) id (\d\e.(e d)))(b true id id))) < 1581431019 261803 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :actually, the goal is a short lambda calculus expression for goodstein(4), see https://www.reddit.com/r/math/comments/f1mr5y/expressing_grahams_number/fhar3n7/?utm_source=share&utm_medium=web2x < 1581431047 542759 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`? warranty < 1581431058 547021 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :HACKE[GS]O COMES WITHOUT WARRANTY, EXPRESS OR IMPLIED, AND IS UNFIT FOR ANY PURPOSE, INCLUDING THE PURPOSE OF BEING UNFIT FOR ANYTHING. Its warranty has expired. < 1581431498 519230 :grumble!~grumble@freenode/staff/grumble QUIT :Quit: We've found the eight most clickbaity quit messages. #5 will surprise you! < 1581431527 302448 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp_: Is the Goodstein sequence code in the AIT repo any good? I suspect it collapses quite a bit if the initial value is known. < 1581431814 912887 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1581431900 599855 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :i noticed the goodstein.{hs,lam} in there too, but they don't work on church numerals, but on some ordinal datatype < 1581431919 810616 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :not sure how to translate btween < 1581431923 820407 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The result is a Church numeral though. < 1581431953 50799 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :oh, i see there's a test at the end that does that < 1581432050 606539 :int-e!~noone@int-e.eu PRIVMSG #esoteric :http://paste.debian.net/1130167/ ... hmm, 211 bits. < 1581432113 2217 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I guess that expw thing is not so small after all. < 1581432126 399766 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :211 bits is very good < 1581432161 201127 :int-e!~noone@int-e.eu PRIVMSG #esoteric :That's hard-coded for 4, as you can probably see. < 1581432230 883142 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh and it's 209 if you drop the initial \_. But I wanted to test it :) < 1581432392 467538 :int-e!~noone@int-e.eu PRIVMSG #esoteric :However, I only vaguely remember how that type and the expw operation in particular work. < 1581432639 499979 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :lit sure looks like black magic < 1581432669 666186 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :and to think that a modulo operation itseld already takes about 150 bits... < 1581432734 647950 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh I guess the comment in goodstein.hs is a good starting point. < 1581432846 641866 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :did you write that goodstein.hs ? < 1581432877 806009 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yes, but almost 6 years ago < 1581432973 297359 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :wow, you never cease to amaze me! < 1581433013 34589 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :how does one understand a type like newtype O = O { o_ :: forall r. ((N -> r) -> r) -> (r -> r) -> r -> r } ? < 1581433063 938208 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Well, it directly corresponds to data O = Limit (Nat -> O) | Succ O | Zero < 1581433097 37989 :int-e!~noone@int-e.eu PRIVMSG #esoteric :That's just the standard Church encoding. < 1581433299 668528 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Note that the fold for O has type foldO :: ((N -> r) -> r) -> (r -> r) -> r -> O -> r. < 1581433305 576790 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :oh, i see < 1581433461 704455 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :i can add o16 = expw2 o4 to your pasted code? < 1581433487 478672 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :i mean expw instead of expw2 < 1581433570 709046 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yes < 1581433585 635647 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :that certainly beats graham's number < 1581433793 863700 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :would you like to reply in that /r/math thread with your 213 bit lambda expression? < 1581433839 94655 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Nah, feel free to do so though. < 1581433857 81168 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I don't have a reddit account, nor do I want to create one.) < 1581434302 185933 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 265 seconds < 1581434318 990481 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp_: FWIW, "the fundamental sequence" refers to this one: https://en.wikipedia.org/wiki/Fast-growing_hierarchy#The_Wainer_hierarchy < 1581434514 65648 :int-e!~noone@int-e.eu PRIVMSG #esoteric :which irritatingly is missing the case \omega^0[n] = 0. < 1581434578 350817 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Err. That's because that wouldn't be a limit ordinal. Never mind. < 1581434927 191537 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :did you ever try knuths surreal numbers? < 1581435021 947509 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1581435195 75136 :int-e!~noone@int-e.eu PRIVMSG #esoteric :They're Conway's more than Knuth's. Knuth wrote the nice little book about a couple discovering them step by step though. < 1581435206 307276 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And no, I didn't. < 1581435302 52469 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(And, apparently, Knuth supplied the "surreal" part.) < 1581435322 601651 :int-e!~noone@int-e.eu PRIVMSG #esoteric :according to https://en.wikipedia.org/wiki/Surreal_number#History_of_the_concept < 1581435468 921190 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: yeah, http://www.madore.org/~david/weblog/d.2011-10-09.1949.jeux-et-ordinaux.html#d.2011-10-09.1949 con... agrees that Knuth gave the name < 1581435496 712791 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :concurs < 1581435658 620954 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :yes, i have Knuth's little book < 1581435695 442114 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh I thought "try to implement" < 1581435730 264771 :tramplefoot!~Tramplefo@134.3.148.125 QUIT :Quit: Leaving. < 1581435787 8303 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :no, i didn't try implement them:( < 1581436398 459177 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp_: I think I understand the Haskell version of the Goodstein thing again. The lambda calculus version changes the fundamental sequence slightly. Too subtle. < 1581436603 310868 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(The puzzle is that l f m = f (nS (nS m)) m becomes (\f\m. f (succ m) m) in the lambda calculus version. So evidently, the argument to f is shifted by 1. Which thanks to overzealus inlining is hard to track through expw.) < 1581436652 403167 :int-e!~noone@int-e.eu PRIVMSG #esoteric :*overzealous < 1581436991 146006 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1581437013 671945 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1581437102 589121 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :so Haskell version takes successor of successor in nS (nS m) where lc version only takes one successor?! < 1581437145 166885 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yeah < 1581437177 484897 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :but shouldn't arguments for s and l be similarly shifted? < 1581437200 616198 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :haskell and lc versions both do one successor for s case < 1581437318 333485 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :is peano numbers better than binary numbers in lambda calculus? < 1581437340 391180 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :depends on how you define better:) < 1581437352 427228 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :lets say shortest definition in BLC < 1581437392 604373 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :peano numbers are simpler, so have shorter defs < 1581437430 132743 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :but if you wanted to do some arithmetic on 64-bit numbers, they'd be way too slow < 1581437447 578440 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I prefer binary numbers, as you can tell from http://www.math.bme.hu/~ambrus/pu/Bin.hs < 1581437557 326549 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :int-e: the Haskell and lc versions match on arguments 0,1,2,3 in any case < 1581437570 512946 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 PRIVMSG #esoteric :kind of hard to test argument 4 :-( > 1581438216 540174 PRIVMSG #esoteric :14[[07Nybblang14]]4 N10 02https://esolangs.org/w/index.php?oldid=69817 5* 03PythonshellDebugwindow 5* (+378) 10Created page with "'''Nybblang''' is an esolang created by [[User:PythonshellDebugwindow]]. Its name is a portmanteau of '[[Wikipedia:Nybble|nybble]]' (4 bits) and 'esolang'. ==Program structure..." < 1581439439 891873 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp_: the thing that gets shifted is the N argument in N -> O < 1581439452 90120 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But I have to leave. < 1581440145 15652 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1581440449 188774 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 272 seconds < 1581440886 927513 :tramplefoot!~Tramplefo@134.3.148.125 JOIN :#esoteric > 1581441086 461167 PRIVMSG #esoteric :14[[07I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=69818&oldid=69809 5* 03Apollyon094 5* (+62) 10Edited unclear descriptions/fixed "Hello, World!" example program. > 1581441505 846183 PRIVMSG #esoteric :14[[07Turing tarpit14]]4 10 02https://esolangs.org/w/index.php?diff=69819&oldid=67942 5* 03Apollyon094 5* (+134) 10Added another tarpit example < 1581441944 133098 :Frater_EST!~adrianbib@172.242.0.73 JOIN :#esoteric > 1581441996 126727 PRIVMSG #esoteric :14[[07I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=69820&oldid=69818 5* 03Apollyon094 5* (+350) 10 > 1581442094 64809 PRIVMSG #esoteric :14[[07Turing tarpit14]]4 10 02https://esolangs.org/w/index.php?diff=69821&oldid=69819 5* 03Apollyon094 5* (+65) 10Added another tarpit example > 1581442255 495299 PRIVMSG #esoteric :14[[07User:Apollyon09414]]4 N10 02https://esolangs.org/w/index.php?oldid=69822 5* 03Apollyon094 5* (+232) 10Created page with "This is my page. Fun fact: I was considering "i like frog" to be a ZISC or an OISC language at some point but instead made a [[Brainfuck]]/[[Smallfuck]]-esque language instea..." > 1581442286 370340 PRIVMSG #esoteric :14[[07User:Apollyon09414]]4 10 02https://esolangs.org/w/index.php?diff=69823&oldid=69822 5* 03Apollyon094 5* (+0) 10 > 1581442328 54751 PRIVMSG #esoteric :14[[07User:Apollyon09414]]4 10 02https://esolangs.org/w/index.php?diff=69824&oldid=69823 5* 03Apollyon094 5* (+44) 10 < 1581442344 547271 :Frater_EST!~adrianbib@172.242.0.73 QUIT :Read error: Connection reset by peer < 1581442722 373782 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric > 1581442727 132983 PRIVMSG #esoteric :14[[07I like frog14]]4 10 02https://esolangs.org/w/index.php?diff=69825&oldid=69820 5* 03Apollyon094 5* (+0) 10Forgot it's 2020 > 1581442969 788820 PRIVMSG #esoteric :14[[07Talk:ROTfuck14]]4 N10 02https://esolangs.org/w/index.php?oldid=69826 5* 03Apollyon094 5* (+191) 10Created page with "This is really cool. I never imagined programs would be that easy to golf in. A 2 character cat? I think you should compress it from octal to ASCII for ultimate golfing. -Us..." < 1581443001 445079 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru PRIVMSG #esoteric :@ask b_jonas why did you end up with Zero and Mone instead of one terminal marker? < 1581443001 493010 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. > 1581443203 363320 PRIVMSG #esoteric :14[[07Talk:Robolang14]]4 N10 02https://esolangs.org/w/index.php?oldid=69827 5* 03Apollyon094 5* (+93) 10Created page with "You should add binary logic gates to make it (hopefully) Turing-Complete -User:Apollyon094" > 1581443212 788619 PRIVMSG #esoteric :14[[07Talk:Robolang14]]4 10 02https://esolangs.org/w/index.php?diff=69828&oldid=69827 5* 03Apollyon094 5* (+1) 10 < 1581443218 188464 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru PRIVMSG #esoteric :@tell b_jonas oh never mind, I didn’t see Mone is minus one < 1581443218 236973 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1581443236 939980 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru PRIVMSG #esoteric :how stupid of me :D < 1581443254 243256 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru PRIVMSG #esoteric :it was right after the definitions > 1581443328 567200 PRIVMSG #esoteric :14[[07Talk:HaltJS14]]4 N10 02https://esolangs.org/w/index.php?oldid=69829 5* 03Apollyon094 5* (+82) 10Created page with "This sounds a lot like [[Javagony]] Possibly Javagonyscript? -[[User:Apollyon094]]" < 1581444083 680915 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1581444370 576837 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru PRIVMSG #esoteric :though I wonder could definitions of comparison, addition, subtraction be shortened somehow < 1581444625 274009 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :i always remeber subtracting being a tricky one < 1581444745 676042 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1581444751 34911 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru PRIVMSG #esoteric :I think using pattern synonyms from later GHC versions, one could do something with comparison at least: we can declare synonyms T[erminal] Bool and C[ontinuation] Bool so that T True ↔ Mone, T False ↔ Zero, C True ↔ One, C False ↔ Oh and then we can halve case count, and that should be almost as speedy < 1581444893 916149 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru PRIVMSG #esoteric :though maybe TemplateHaskell would be a better approach if one could write a short readable description which then generates all cases in the definition < 1581444903 803185 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Remote host closed the connection < 1581444925 695247 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1581445176 315068 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru PRIVMSG #esoteric :rain1: in that code subtraction is as simple as addition (that is, 2x verbose but more or less clear at the end). AFAIK it should be worse in an implementation which uses sign bit instead of two’s complement < 1581445244 248307 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Read error: Connection reset by peer < 1581445248 14732 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru PRIVMSG #esoteric :by 2x verbose I meant there are two functions for each addition and subtraction: normal one and 1-carrying one < 1581445437 164871 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1581445672 122067 :FraterEST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1581445699 251945 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Read error: Connection reset by peer < 1581445870 209414 :b_jonas!~x@catv-176-63-13-184.catv.broadband.hu JOIN :#esoteric < 1581445996 965401 :b_jonas!~x@catv-176-63-13-184.catv.broadband.hu PRIVMSG #esoteric :arseniiv: two markers so that I can handle negative numbers uniformly < 1581446005 427481 :b_jonas!~x@catv-176-63-13-184.catv.broadband.hu PRIVMSG #esoteric :ah ok < 1581446007 17040 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1581446026 474596 :b_jonas!~x@catv-176-63-13-184.catv.broadband.hu PRIVMSG #esoteric :arseniiv: you can certainly shorten the definitions, I just wanted to write every case clearly < 1581446127 991789 :b_jonas!~x@catv-176-63-13-184.catv.broadband.hu PRIVMSG #esoteric :if you want shorter definitions for addition and subtraction, I have them at https://www.perlmonks.com/?node_id=849296 (though that one only handles nonnegative integers) < 1581446206 117592 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru PRIVMSG #esoteric :Perl is hard on my eyes :D < 1581446215 698393 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru PRIVMSG #esoteric :but anyway this is cool < 1581446240 340774 :b_jonas!~x@catv-176-63-13-184.catv.broadband.hu PRIVMSG #esoteric :and yes, you don't need separate loops for addition and subtraction, you could have them in the same one function if you add a complement function before it < 1581446309 259724 :b_jonas!~x@catv-176-63-13-184.catv.broadband.hu PRIVMSG #esoteric :the perl code has just one function that handles addition, subtraction and comparison all together < 1581446389 234370 :b_jonas!~x@catv-176-63-13-184.catv.broadband.hu PRIVMSG #esoteric :also you could abbreviate the Haskell code by collapsing multiple cases of a function together < 1581446415 168906 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 272 seconds < 1581446427 479537 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru PRIVMSG #esoteric :b_jonas: oh BTW how do you look at balanced ternary? < 1581446443 681041 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1581446458 951249 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru PRIVMSG #esoteric :I found a package which uses it for type-level integers < 1581446516 801492 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Remote host closed the connection < 1581446520 60846 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru PRIVMSG #esoteric : also you could abbreviate the Haskell code by collapsing multiple cases of a function together => yeah that was what I had in mind. Though I’m lazy to do it and see what would it come to < 1581446580 967413 :FraterEST!adrianbibl@172.242.0.73 QUIT :Read error: Connection reset by peer < 1581446594 798958 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1581446603 465380 :b_jonas!~x@catv-176-63-13-184.catv.broadband.hu PRIVMSG #esoteric :arseniiv: I was considering some of these rules because I eventually want to write an arithmetical library in Consumer Society, as an example to show how you can use the language, although I'll only implement fixed size integers (say 32-bit), not bigints < 1581446660 674452 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1581446687 777489 :b_jonas!~x@catv-176-63-13-184.catv.broadband.hu PRIVMSG #esoteric :balanced ternary is not much worse than ordinary ternary, but I choose binary (or base 4, 16 etc) if I have a choice of the base. it doesn't make much difference for simple examples like this where I only implement addition and subtraction and don't care much about the performance of course. < 1581447232 299417 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru PRIVMSG #esoteric :hm now you mention performance and I think about data Bin (s :: Peano) where { OneBit :: Bit → Bin Z; Chunks :: Bin s → Bin s → Bin (S s) } made of blocks of progressively larger sizes < 1581447259 385459 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru PRIVMSG #esoteric :though that doesn’t play nice with things like Zero/Mone < 1581448101 88675 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1581448821 868109 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Remote host closed the connection < 1581449990 518770 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Disconnected by services < 1581449994 77883 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca JOIN :#esoteric < 1581451679 849999 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1581453321 393465 :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.” < 1581454447 284732 :divergence!~div@45.12.223.198 QUIT :Ping timeout: 240 seconds < 1581454594 644217 :diverger!~div@180.149.231.124 JOIN :#esoteric > 1581455550 360145 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=69830&oldid=69796 5* 03PythonshellDebugwindow 5* (+31) 10 > 1581457875 315534 PRIVMSG #esoteric :14[[07XENBLN14]]4 M10 02https://esolangs.org/w/index.php?diff=69831&oldid=69664 5* 03PythonshellDebugwindow 5* (-5) 10/* Truth-machine (3 bytes) */ -4 bytes thanks to do-while loops > 1581458042 338195 PRIVMSG #esoteric :14[[07XENBLN14]]4 M10 02https://esolangs.org/w/index.php?diff=69832&oldid=69831 5* 03PythonshellDebugwindow 5* (+1) 10/* Truth-machine (3 bytes) */ < 1581458075 712087 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal < 1581458669 491384 :tramplefoot!~Tramplefo@134.3.148.125 QUIT :Quit: Leaving. < 1581461978 411068 :BWBellairs!~bwbellair@hellomouse/dev/bwbellairs QUIT :Remote host closed the connection < 1581462003 394251 :BWBellairs!~bwbellair@hellomouse/dev/bwbellairs JOIN :#esoteric < 1581462771 715389 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1581463696 1495 :b_jonas!~x@catv-176-63-13-184.catv.broadband.hu PRIVMSG #esoteric :fungot, what color of cheese is the moon made of? < 1581463696 171899 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: i've already told you why it isn't the same as you, iirc :)