> 1585700053 228897 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=70556&oldid=70504 5* 03LegionMammal978 5* (+13) 10/* C */
> 1585700257 332736 PRIVMSG #esoteric :14[[07Cheers14]]4 10 02https://esolangs.org/w/index.php?diff=70557&oldid=50618 5* 03LegionMammal978 5* (+324) 10added categories
> 1585700583 441137 PRIVMSG #esoteric :14[[07Flurry14]]4 10 02https://esolangs.org/w/index.php?diff=70558&oldid=66937 5* 03Challenger5 5* (+1058) 10
> 1585700734 191554 PRIVMSG #esoteric :14[[07Talk:Flurry14]]4 10 02https://esolangs.org/w/index.php?diff=70559&oldid=70552 5* 03Challenger5 5* (+264) 10
< 1585700828 706324 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
> 1585702992 411082 PRIVMSG #esoteric :14[[07Talk:Z14]]4 10 02https://esolangs.org/w/index.php?diff=70560&oldid=70550 5* 03Challenger5 5* (+854) 10
> 1585703069 890751 PRIVMSG #esoteric :14[[07Talk:Z14]]4 10 02https://esolangs.org/w/index.php?diff=70561&oldid=70560 5* 03Challenger5 5* (+180) 10
> 1585703166 899785 PRIVMSG #esoteric :14[[07Z14]]4 10 02https://esolangs.org/w/index.php?diff=70562&oldid=62308 5* 03Challenger5 5* (+89) 10
< 1585706584 263785 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
> 1585707284 951772 PRIVMSG #esoteric :14[[07Ly14]]4 10 02https://esolangs.org/w/index.php?diff=70563&oldid=69953 5* 03IFcoltransG 5* (+4) 10/* Commands */ Updated whether the development is active or not
< 1585707632 73661 :xkapastel!uid17782@gateway/web/irccloud.com/x-jhqigegvcxylszlx QUIT :Quit: Connection closed for inactivity
> 1585708542 682403 PRIVMSG #esoteric :14[[07Charm14]]4 10 02https://esolangs.org/w/index.php?diff=70564&oldid=54864 5* 03IFcoltransG 5* (+18) 10Changed from 'is actively maintained' to 'was actively maintained'
< 1585708670 825754 :tromp!~tromp@2a02:a210:ca3:2800:6110:b4d5:bc2b:be45 QUIT :Ping timeout: 246 seconds
< 1585708811 302365 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric
< 1585709002 898749 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 256 seconds
< 1585709110 190567 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585711006 809566 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: I updated BB.txt and added my code, so that should answer all your questions
> 1585717359 860052 PRIVMSG #esoteric :14[[07Talk:Z14]]4 M10 02https://esolangs.org/w/index.php?diff=70565&oldid=70561 5* 03Challenger5 5* (-12) 10move my message to respect signature
> 1585717391 831945 PRIVMSG #esoteric :14[[07Z14]]4 10 02https://esolangs.org/w/index.php?diff=70566&oldid=70562 5* 03Challenger5 5* (-28) 10remove unused feature
< 1585719116 420946 :WillGibson!~ManaroDen@192.145.124.92 JOIN :#esoteric
< 1585719672 947536 :WillGibson!~ManaroDen@192.145.124.92 PART :#esoteric
< 1585719931 272023 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric
< 1585720421 672903 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving
< 1585724011 213713 :aji!~alex@unaffiliated/aji QUIT :Ping timeout: 265 seconds
< 1585724098 66036 :shinh_!~i@129.EC0234U.cyberhome.ne.jp QUIT :Ping timeout: 265 seconds
< 1585724463 4532 :aji!~alex@unaffiliated/aji JOIN :#esoteric
< 1585724479 277452 :shinh_!~i@129.EC0234U.cyberhome.ne.jp JOIN :#esoteric
< 1585724714 873992 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection
< 1585724745 712058 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585724993 222527 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric
< 1585725173 423059 :ashnur!~rak@unaffiliated/ashnur JOIN :#esoteric
< 1585725195 988064 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Ping timeout: 256 seconds
< 1585725214 96600 :ashnur!~rak@unaffiliated/ashnur PART #esoteric :"WeeChat 2.7.1"
< 1585730913 49215 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds
< 1585733067 328010 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 260 seconds
< 1585733092 899443 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585733425 786994 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric
> 1585735164 650035 PRIVMSG #esoteric :14[[07Vitsy14]]4 M10 02https://esolangs.org/w/index.php?diff=70567&oldid=50645 5* 03VTCAKAVSMoACE 5* (-1) 10
< 1585736689 393225 :arseniiv_!~arseniiv@136.169.238.3 JOIN :#esoteric
< 1585736813 297146 :xkapastel!uid17782@gateway/web/irccloud.com/x-ceprmekyjvaxvhhu JOIN :#esoteric
< 1585737892 432433 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :hi
< 1585738012 545076 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :greets
< 1585738038 906378 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :hey hows it going
< 1585738099 411564 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :it's alright
< 1585739013 114343 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu PRIVMSG #esoteric :SIGBOVIK conference procedings are released
< 1585739017 887125 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu PRIVMSG #esoteric :http://sigbovik.org/2020/
< 1585739018 571229 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :cool
< 1585739026 495139 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :i was checking out poc or gtfo recently
< 1585739029 418334 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :just remembered it recently
< 1585739672 942386 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :int-e: thanks for those nice additions. I see how (\1 (\\3 2)) is in your set W. Btw, do you mind me renaming B to V and W' to B in BB.txt ?
< 1585740062 499650 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: fine with me
< 1585740092 822672 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I used V for something else initially but then got rid of that)
< 1585740124 269093 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :B for bodies and V for variables is more mnemonic. plus W and W' are harder to tell apart
< 1585740194 501930 :int-e!~noone@int-e.eu PRIVMSG #esoteric :This generalizes to things like W T W -> H[W T W], but I haven't checked whether that applies to any of the remaining size 32 cases.
< 1585740300 895548 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(There's also W W W -> H[W W W], and W W T -> H[W W T] all with slightly different definitions for W and B)
< 1585740313 911945 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(So the families explode a bit.)
< 1585740376 13762 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :yeah i noticed one of those W W W -> H[W W W] cases leading my program to hang at 34
< 1585740395 515806 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mine too
< 1585740404 121186 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(well, I didn't investigate which case it was)
< 1585740425 4477 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :it was (\1 1 1) (\\1 2 2)
< 1585740427 416494 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(but it does run out of memory at 34)
< 1585740463 158641 :int-e!~noone@int-e.eu PRIVMSG #esoteric :where memory is what I have here, which is 32G.
< 1585740486 182699 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :my desktop has the same:)
< 1585740509 593573 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(\1 1 1) (\\1 (\3) 1) looks like it is a WTW case.
< 1585740529 202492 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm, or does it.
< 1585740569 213975 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Nah, that was too quick. It's (unless I'm confusing myself) different.
< 1585740618 16972 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh. I *am* confusing myself.
< 1585740655 480437 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Namely, 1 refers to the second argument, not the first.)
< 1585740749 431192 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So the conclusion is that generalizing this criterion would get rid of at least one remaining case for BB(32).
< 1585740816 669357 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :are there any conditions on H?
< 1585740878 905739 :int-e!~noone@int-e.eu PRIVMSG #esoteric :rain1: H ::= □ | \v. H | H T -- it's a context with the hole in head position
< 1585740891 371366 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(hence H)
< 1585740892 132700 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :okay
< 1585741091 258304 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :functional programming I smell
< 1585741096 897985 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :understand nothing
< 1585741150 680043 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: Anyway, the reason I blocked your question yesterday was because I had to figure out how to present this nicely... the initial thought process was very convoluted and not as rigorous as I liked. Sleeping on it helped... I could put things together in my head in the morning, then get up and write them down :)
< 1585741195 570065 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :and nice it is:)
< 1585741261 551677 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(And as things stood yesterday, it might have turned out that the criterion was flawed. Embarrassing, but less embarrassing than being told by somebodye else :P -- I have some pride.)
< 1585741542 933807 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I wonder whether there's any serious literature on this question... identifying lambda terms with normal form.
< 1585741564 89024 :int-e!~noone@int-e.eu PRIVMSG #esoteric :or rather, without.
< 1585741576 534468 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :i would be interested in that oto
< 1585741618 208096 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :I think they are called head recurrent terms
< 1585741638 950255 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that's a small subclass
< 1585741940 55552 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :studying busy beavers is an exercise in recognizing ever wider classes of divergent behaviour
< 1585742088 574282 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and also, at some point, of compressing computations which we already know will be needed to find BB(38).
< 1585742116 338494 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(because 2^65536 is uncomfortably big)
< 1585742122 251721 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :at least lambda calculus lends itself better to that than turing machines:)
< 1585742144 196851 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :so much better
< 1585742162 859429 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yeah the granularity is finer, so the difficulty rises a bit more gracefully.
< 1585742166 112275 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :it's really interesting to study the lambda calculus BB
< 1585742180 31962 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :TM busy beaver is stuck at 5 states, which is almost 50 bits
< 1585742186 275894 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :i think it would also be interesting to check out the shortest terms that produce 2^n reductions and similar other functions
< 1585742243 276216 :int-e!~noone@int-e.eu PRIVMSG #esoteric :maybe if you'd parameterize TMs by number of non-terminating transitions instead, you could do something more interesting
< 1585742279 272812 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But also, TMs are kind of icky to analyse; I wouldn't know where to begin :)
< 1585742382 211514 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Okay, that's a lie. There's a fairly obvious notion of stationary loops that don't change the tape, and shifting loops that write the same string to the tape over and over again. And after that is where I think it becomes really ugly.)
< 1585742441 791503 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :both cases of tape-independent behaviour
< 1585742671 870640 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection
< 1585742877 527288 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It's comparable to where we're at with the BLCBBs; the next step is bound to involve some sort of induction. Though, perhaps, there are some devilishly clever context-free-ish grammars (along the lines of W) that describe sets of terms that have no normal forms and are closed under left-most outer-most reduction.
< 1585743121 692162 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585743718 182035 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal
< 1585744453 671745 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :int-e: could you represent Bot by Var maxInt instead ? 
< 1585744490 263009 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :(assuming incv would preserve it)
< 1585744623 422638 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Probably? Var -1 is another idea. But I started from scratch and this felt cleaner.
< 1585744656 827348 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :it behaves similarly to my function eqfree in BB.lhs
< 1585744757 998847 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :so you could avoid Bot by writing a custom S.member
< 1585744796 717172 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :seems cleaner still
< 1585744874 191447 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(If I had worked on top of AIT.lhs I would probably have resorted to such trickery.)
< 1585744889 880221 :int-e!~noone@int-e.eu PRIVMSG #esoteric :err
< 1585744893 355981 :int-e!~noone@int-e.eu PRIVMSG #esoteric :BLC.lhs of course
< 1585744903 644945 :int-e!~noone@int-e.eu PRIVMSG #esoteric :...
< 1585744919 826476 :int-e!~noone@int-e.eu PRIVMSG #esoteric :/undo
< 1585744935 329998 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :Equality modulo free vars is hardly trickery
< 1585744953 302077 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I meant the Var -1 idea.
< 1585744959 196304 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :oh sure
< 1585745017 618105 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :but expressing Equality modulo free vars is cleaner than adding a Bot constructor to your terms
< 1585745051 53071 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :seems cleaner imo :-)
< 1585745164 732508 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yeah but it doesn't interact nicely with Ord.
< 1585745181 452622 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(not that it really matters)
< 1585745245 981438 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :it matters for efficiency of set membership I guess
< 1585745274 652170 :int-e!~noone@int-e.eu PRIVMSG #esoteric :sure but that's hardly the bottleneck at the set sizes I allow
< 1585745295 818910 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I used Data.Set out of habit, really.
< 1585745351 677642 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :btw, you don't need to add all r to the set, just the ones where subst 0 a b is larger in size than r
< 1585745377 299102 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :i.e. the local size minima
< 1585745421 210123 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I probably don't care :)
< 1585745449 783961 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :not at these sizes no:)
< 1585745452 281843 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But yeah, good point.
< 1585745477 630639 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Actually I'm worried that it would explode. :)
< 1585745482 744393 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :btw, my understanding of Haskell is lacking
< 1585745508 763322 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :i thought i could change your b <- return (simp b)    to      let b = simp b
< 1585745518 824608 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that's recursive
< 1585745532 541636 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :ah, now I see
< 1585745547 180887 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :so i could just let sb = simp b
< 1585745552 441107 :int-e!~noone@int-e.eu PRIVMSG #esoteric :true
< 1585745553 736827 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :and avoid the reuse of b
< 1585745569 87585 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but the shadowing of the old version is a feature here
< 1585745591 132254 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :how so?
< 1585745605 351240 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It means I will not accidently use it.
< 1585745623 650523 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :ah, ok.
< 1585745640 779669 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :a sanitation feature:)
< 1585745659 79211 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I usually use primes... and then I produce bugs by missing a prime somewhere :-/
< 1585745694 659828 :int-e!~noone@int-e.eu PRIVMSG #esoteric :so I've become a believer in deliberate shadowing of identifiers.
< 1585745722 20178 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :you're a prime example of a shadowy character:-)
< 1585745730 161209 :int-e!~noone@int-e.eu PRIVMSG #esoteric :in lieu of assignments from imperative programming languages
< 1585745829 864372 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection
< 1585745866 129600 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :yes, i guess imperative programs can be directly transcribed with  x = E replaced by x <- Just E
< 1585745866 768209 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> let f n | n <- n+1, n <- n*2 = n in f 4
< 1585745869 314360 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 10
< 1585746010 532644 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :> let f n = do n <- Just n+1; n <- Just n*2 in f 4
< 1585746014 64918 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error:
< 1585746014 64962 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :     The last statement in a 'do' block must be an expression
< 1585746014 64970 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :       n <- Just n * 2
< 1585746072 370511 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :> let f n = do n <- Just n+1; n <- Just n*2; return n in f 4
< 1585746076 386819 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error:
< 1585746076 386872 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :     • No instance for (Num (Maybe Integer))
< 1585746076 386881 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :         arising from a use of ‘e_1124’
< 1585746089 706303 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585746132 864261 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :> let f n = do n <- Just (n+1); n <- Just n*2; return n in f 4
< 1585746136 445395 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error:
< 1585746136 589629 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :     • No instance for (Num (Maybe Integer))
< 1585746136 589668 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :         arising from a use of ‘e_1124’
< 1585746142 694631 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :> let f n = do n <- Just (n+1); n <- Just (n*2); return n in f 4
< 1585746145 468075 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Just 10
< 1585746171 200703 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :Just ice at last:-)
> 1585746189 359792 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=70568&oldid=70502 5* 03PythonshellDebugwindow 5* (+388) 10REgeex
< 1585747697 861751 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :why does your simpA have an argument i that's always 0 ?
< 1585747790 87839 :int-e!~noone@int-e.eu PRIVMSG #esoteric :because I had some idea that used it with 1 but didn't pan out
< 1585747873 908200 :int-e!~noone@int-e.eu PRIVMSG #esoteric :related to the "level 2" beta reduction (\x\y. u) v w -> (\x. u[y := w]) v
< 1585747918 230525 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And by "didn't pan out" I mean it didn't help at the sizes I currently care about.
< 1585748008 20617 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu PRIVMSG #esoteric :quesiton about the Wiki. Ellipsis and A are categorized as Languages, whereas Unary and Lenguage are categorized as joke languages. they're essentially the same language. what makes one of them a joke language and the other a language? are they just on the border where they can just be categorized either?
< 1585748113 882054 :int-e!~noone@int-e.eu PRIVMSG #esoteric :<joke> you gotta keep those categories balanced </joke>
> 1585748214 468888 PRIVMSG #esoteric :14[[07SimPL14]]4 N10 02https://esolangs.org/w/index.php?oldid=70569 5* 03B jonas 5* (+601) 10Created page with "'''SimPL''' is an esoteric programming language with very simple syntax.  SimPL programs are very large because their contents are encoded in unary, there is only one program..."
> 1585748297 608887 PRIVMSG #esoteric :14[[07SimPL14]]4 10 02https://esolangs.org/w/index.php?diff=70570&oldid=70569 5* 03B jonas 5* (+93) 10
< 1585752135 279044 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 260 seconds
< 1585752250 863180 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1585753233 827240 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: Thanks btw, you definitely have a point about using Bot to mark free variables. I don't think it actually goes wrong just yet, but it easily could...
< 1585753287 293961 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :i'm rewriting my BB.lhs based on your improvements
< 1585753328 421460 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :using the S.Set and storing the minimal size r
< 1585753372 786405 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds
< 1585753378 292268 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net PRIVMSG #esoteric :and using data BBClass = NormalForm DB | Diverging | Unknown   for reduction results
< 1585753381 643104 :int-e!~noone@int-e.eu PRIVMSG #esoteric :...and even if it couldn't go wrong, the reasons why it doesn't happen are too subtle :)
< 1585753397 772992 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1585753418 380431 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: nice
< 1585754148 44929 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585764427 340520 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 260 seconds
< 1585764558 217746 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
> 1585765925 723127 PRIVMSG #esoteric :14[[07Minimal operation language14]]4 N10 02https://esolangs.org/w/index.php?oldid=70571 5* 03PythonshellDebugwindow 5* (+1484) 10Created page with "{{Template:Distinguish/Confusion|Minimal}} '''Minimal operation language''' is a test esolang by [[User:PythonshellDebugwindow]], who will try to implement it and possibly fai..."
> 1585765956 561365 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=70572&oldid=70568 5* 03PythonshellDebugwindow 5* (+78) 10
< 1585766288 545672 :iczero!iczero@hellomouse/dev/iczero NICK :ferris-ball
< 1585766714 214281 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585766714 576808 :moony!moony@hellomouse/dev/moony NICK :ferrisier-ball
> 1585767003 494877 PRIVMSG #esoteric :14[[07Minimal operation language14]]4 M10 02https://esolangs.org/w/index.php?diff=70573&oldid=70571 5* 03PythonshellDebugwindow 5* (+32) 10/* Syntax */
> 1585768396 860538 PRIVMSG #esoteric :14[[07Minimal operation language14]]4 M10 02https://esolangs.org/w/index.php?diff=70574&oldid=70573 5* 03PythonshellDebugwindow 5* (+0) 10/* Syntax */
< 1585769052 809686 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving
< 1585769558 718721 :trn!jhj@prone.ws QUIT :Quit: quit
< 1585769652 960652 :ferrisier-ball!moony@hellomouse/dev/moony NICK :moony
< 1585769663 500099 :ferris-ball!iczero@hellomouse/dev/iczero NICK :iczero
< 1585769766 449176 :moony!moony@hellomouse/dev/moony NICK :noomy
< 1585769777 644913 :laerlingSAP!~laerlings@unaffiliated/laerlingsap QUIT :Quit: ZNC 1.7.3 - https://znc.in
< 1585769851 354652 :laerlingSAP!~laerlings@unaffiliated/laerlingsap JOIN :#esoteric
< 1585770168 274241 :trn!jhj@prone.ws JOIN :#esoteric
< 1585776341 301148 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585776397 797748 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 264 seconds
< 1585776421 316849 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1585777099 363258 :arseniiv_!~arseniiv@136.169.238.3 QUIT :Ping timeout: 258 seconds
< 1585777304 335188 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu PRIVMSG #esoteric :SIGBOVIK talks are now being broadcast. 
< 1585778437 291999 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :Quit: Hugs~ <3
< 1585778888 960096 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net QUIT :*.net *.split
< 1585778889 8111 :MDude!~MDude@97-127-171-136.cdrr.qwest.net QUIT :*.net *.split
< 1585778889 8161 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :*.net *.split
< 1585778889 14988 :shikhin!~shikhin@unaffiliated/shikhin QUIT :*.net *.split
< 1585778889 54307 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :*.net *.split
< 1585778889 61164 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :*.net *.split
< 1585778889 61214 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :*.net *.split
< 1585778889 72368 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :*.net *.split
< 1585778889 85324 :shinh_!~i@129.EC0234U.cyberhome.ne.jp QUIT :*.net *.split
< 1585778889 106402 :j-bot!eldis4@firefly.nu QUIT :*.net *.split
< 1585778889 113901 :Hooloovo0!Hooloovoo@sorunome.de QUIT :*.net *.split
< 1585778889 132483 :Melvar!~melvar@dslb-178-005-215-076.178.005.pools.vodafone-ip.de QUIT :*.net *.split
< 1585778889 132518 :atehwa!atehwa@aulis.sange.fi QUIT :*.net *.split
< 1585778889 210976 :diverger!~div@172.83.44.83 QUIT :*.net *.split
< 1585778889 244110 :olsner!~salparot@c80-217-180-83.bredband.comhem.se QUIT :*.net *.split
< 1585778889 251067 :grumble!~grumble@freenode/staff/grumble QUIT :*.net *.split
< 1585778889 257861 :hakatashi!~hakatashi@104.131.49.125 QUIT :*.net *.split
< 1585778890 709516 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-bawgdlwqsseuynoq QUIT :*.net *.split
< 1585778890 829046 :APic!apic@apic.name QUIT :*.net *.split
< 1585778890 855069 :noomy!moony@hellomouse/dev/moony QUIT :*.net *.split
< 1585778891 627791 :xavo[m]!undersco1@gateway/shell/matrix.org/x-mrhemdhwynbtbmzu QUIT :*.net *.split
< 1585778891 685070 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-ejtmkvvaetuatfrs QUIT :*.net *.split
< 1585778891 814549 :ocharles!sid30093@musicbrainz/user/ocharles QUIT :*.net *.split
< 1585778891 821361 :oren!~oren@ec2-18-234-164-48.compute-1.amazonaws.com QUIT :*.net *.split
< 1585778892 543419 :mich181189!sid268336@gateway/web/irccloud.com/x-xchlnniznwjwexfe QUIT :*.net *.split
< 1585778892 551125 :pikhq!sid394595@gateway/web/irccloud.com/x-hovhomidionhhtrh QUIT :*.net *.split
< 1585778892 557846 :Soni!~quassel@unaffiliated/soniex2 QUIT :*.net *.split
< 1585778892 572846 :iczero!iczero@hellomouse/dev/iczero QUIT :*.net *.split
< 1585778892 572895 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :*.net *.split
< 1585778892 583045 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :*.net *.split
< 1585778892 636017 :mniip!~mniip@freenode/staff/mniip QUIT :*.net *.split
< 1585778892 644454 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com QUIT :*.net *.split
< 1585778892 681280 :sftp!~sftp@unaffiliated/sftp QUIT :*.net *.split
< 1585778892 693507 :BWBellairs!~bwbellair@hellomouse/dev/bwbellairs QUIT :*.net *.split
< 1585778892 721142 :aji!~alex@unaffiliated/aji QUIT :*.net *.split
< 1585778892 737937 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu QUIT :*.net *.split
< 1585778892 749637 :erdic!~erdic@unaffiliated/motley QUIT :*.net *.split
< 1585778892 757787 :myname!~myname@ks300980.kimsufi.com QUIT :*.net *.split
< 1585778892 804140 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi QUIT :*.net *.split
< 1585778892 811452 :LBPHacker!lbphacker@trigraph.net QUIT :*.net *.split
< 1585778893 240224 :dnm_!sid401311@gateway/web/irccloud.com/x-iofdzlpooiztpuat QUIT :*.net *.split
< 1585778893 255612 :glowcoil!sid3405@gateway/web/irccloud.com/x-ljsrjcnfjtfrpofz QUIT :*.net *.split
< 1585778893 279174 :stux!stux2@grid9.quadspeedi.net QUIT :*.net *.split
< 1585778893 309539 :haavard!root@haavard.me QUIT :*.net *.split
< 1585778893 316350 :ineiros!ineiros@kapsi.fi QUIT :*.net *.split
< 1585778893 374236 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :*.net *.split
< 1585778893 435666 :sparr!~sparr@pdpc/supporter/active/sparr QUIT :*.net *.split
< 1585778893 477110 :myndzi!myndzi@tetrisguide.com QUIT :*.net *.split
< 1585778893 498864 :imode!~linear@unaffiliated/imode QUIT :*.net *.split
< 1585778893 539496 :FreeFull!~freefull@defocus/sausage-lover QUIT :*.net *.split
< 1585778893 539541 :nchambers!uplime@learnprogramming/staff/nchambers QUIT :*.net *.split
< 1585778893 578698 :FireFly!znc@freenode/staff/firefly QUIT :*.net *.split
< 1585778893 585587 :clog!~nef@bespin.org QUIT :*.net *.split
< 1585778893 607070 :j4cbo!sid186930@gateway/web/irccloud.com/x-uokwdxpbfutetegr QUIT :*.net *.split
< 1585778893 614472 :^[_!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep QUIT :*.net *.split
< 1585778893 665495 :Lykaina!~lyka@unaffiliated/schrodingerscat QUIT :*.net *.split
< 1585778893 693175 :ornxka!~ornxka@unaffiliated/ornx QUIT :*.net *.split
< 1585778893 699890 :ski!~ski@remote11.chalmers.se QUIT :*.net *.split
< 1585778893 706706 :diginet!~diginet@107.170.146.29 QUIT :*.net *.split
< 1585778893 713430 :jix!~jix@static.71.5.69.159.clients.your-server.de QUIT :*.net *.split
< 1585778893 723776 :gitlogger!~gitlogger@206.ip-51-91-102.eu QUIT :*.net *.split
< 1585778893 730598 :int-e!~noone@int-e.eu QUIT :*.net *.split
< 1585778893 754992 :paul2520!~paul2520@unaffiliated/paul2520 QUIT :*.net *.split
< 1585778893 763457 :izabera!~izabera@unaffiliated/izabera QUIT :*.net *.split
< 1585778893 770191 :kmc!~beehive@li521-214.members.linode.com QUIT :*.net *.split
< 1585778893 783447 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :*.net *.split
< 1585778893 821066 :sebbu!~sebbu@unaffiliated/sebbu QUIT :*.net *.split
< 1585778893 831049 :laerling!~lsf@unaffiliated/laerling QUIT :*.net *.split
< 1585778893 838080 :shig!~davidb@inara.oztechninja.com QUIT :*.net *.split
< 1585778893 845019 :catern!~catern@catern.com QUIT :*.net *.split
< 1585778893 901600 :xkapastel!uid17782@gateway/web/irccloud.com/x-ceprmekyjvaxvhhu QUIT :*.net *.split
< 1585778893 971780 :dog_star!sid310875@gateway/web/irccloud.com/x-bkmsprfnywrkykzt QUIT :*.net *.split
< 1585778893 997767 :relrod!~relrod@redhat/relrod QUIT :*.net *.split
< 1585778894 12735 :lynn_!sid154965@gateway/web/irccloud.com/x-qhrpzgxcylkpquuh QUIT :*.net *.split
< 1585778894 19965 :ProofTechnique!sid79547@gateway/web/irccloud.com/x-ghyzuqdvajivhjps QUIT :*.net *.split
< 1585778894 60458 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 QUIT :*.net *.split
< 1585778894 67526 :vertrex!~vertrex@unaffiliated/vertrex QUIT :*.net *.split
< 1585778894 74321 :interruptinuse!~interrupt@girl.mrtheplague.net QUIT :*.net *.split
< 1585778894 82510 :fizzie!fis@unaffiliated/fizzie QUIT :*.net *.split
< 1585778894 98019 :HackEso!~h@unaffiliated/fizzie/bot/hackeso QUIT :*.net *.split
< 1585778894 169451 :howlands_!gilesgate@sdf-eu.org QUIT :*.net *.split
< 1585778894 221217 :Banana51!~user@unaffiliated/banana51 QUIT :*.net *.split
< 1585778894 262927 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-whkacrlzgwtokujm QUIT :*.net *.split
< 1585778894 363396 :trn!jhj@prone.ws QUIT :*.net *.split
< 1585778894 370257 :laerlingSAP!~laerlings@unaffiliated/laerlingsap QUIT :*.net *.split
< 1585778894 393930 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca QUIT :*.net *.split
< 1585778894 400688 :spruit11!~unknown@ip56522cc1.speed.planet.nl QUIT :*.net *.split
< 1585778894 408470 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :*.net *.split
< 1585778894 418153 :imode-ruby!~linear@unaffiliated/imode QUIT :*.net *.split
< 1585778894 443199 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com QUIT :*.net *.split
< 1585778894 449866 :aloril!~aloril@mobile-access-b0486e-15.dhcp.inet.fi QUIT :*.net *.split
< 1585778894 449989 :lifthrasiir_!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com QUIT :*.net *.split
< 1585778894 450108 :quintopia!~quintopia@unaffiliated/quintopia QUIT :*.net *.split
< 1585778894 456946 :heroux!sandroco@gateway/shell/insomnia247/x-zjoagjvsfoxwfeot QUIT :*.net *.split
> 1585779405 989830 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Binyamin 5*  10New user account
> 1585779862 644444 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=70575&oldid=70539 5* 03Binyamin 5* (+197) 10
< 1585780262 230613 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric
< 1585780262 230677 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1585780262 230689 :trn!jhj@prone.ws JOIN :#esoteric
< 1585780262 230698 :laerlingSAP!~laerlings@unaffiliated/laerlingsap JOIN :#esoteric
< 1585780262 230708 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1585780262 230717 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
< 1585780262 230726 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1585780262 230735 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1585780262 230744 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1585780262 230779 :xkapastel!uid17782@gateway/web/irccloud.com/x-ceprmekyjvaxvhhu JOIN :#esoteric
< 1585780262 230790 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric
< 1585780262 230799 :shinh_!~i@129.EC0234U.cyberhome.ne.jp JOIN :#esoteric
< 1585780262 230807 :aji!~alex@unaffiliated/aji JOIN :#esoteric
< 1585780262 230817 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric
< 1585780262 230826 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric
< 1585780262 230835 :mniip!~mniip@freenode/staff/mniip JOIN :#esoteric
< 1585780262 230857 :b_jonas!~x@catv-176-63-12-68.catv.broadband.hu JOIN :#esoteric
< 1585780262 230880 :MDude!~MDude@97-127-171-136.cdrr.qwest.net JOIN :#esoteric
< 1585780262 230902 :spruit11!~unknown@ip56522cc1.speed.planet.nl JOIN :#esoteric
< 1585780262 230924 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com JOIN :#esoteric
< 1585780262 230945 :diverger!~div@172.83.44.83 JOIN :#esoteric
< 1585780262 230972 :iovoid!iovoid@hellomouse/dev/iovoid JOIN :#esoteric
< 1585780262 230997 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric
< 1585780262 231007 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-bawgdlwqsseuynoq JOIN :#esoteric
< 1585780262 231029 :xavo[m]!undersco1@gateway/shell/matrix.org/x-mrhemdhwynbtbmzu JOIN :#esoteric
< 1585780262 237344 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-whkacrlzgwtokujm JOIN :#esoteric
< 1585780262 237377 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-ejtmkvvaetuatfrs JOIN :#esoteric
< 1585780262 237402 :oren!~oren@ec2-18-234-164-48.compute-1.amazonaws.com JOIN :#esoteric
< 1585780262 237410 :ocharles!sid30093@musicbrainz/user/ocharles JOIN :#esoteric
< 1585780262 237418 :imode-ruby!~linear@unaffiliated/imode JOIN :#esoteric
< 1585780262 237425 :myname!~myname@ks300980.kimsufi.com JOIN :#esoteric
< 1585780262 237442 :APic!apic@apic.name JOIN :#esoteric
< 1585780262 237463 :mich181189!sid268336@gateway/web/irccloud.com/x-xchlnniznwjwexfe JOIN :#esoteric
< 1585780262 237471 :pikhq!sid394595@gateway/web/irccloud.com/x-hovhomidionhhtrh JOIN :#esoteric
< 1585780262 237478 :Soni!~quassel@unaffiliated/soniex2 JOIN :#esoteric
< 1585780262 237495 :dnm_!sid401311@gateway/web/irccloud.com/x-iofdzlpooiztpuat JOIN :#esoteric
< 1585780262 237512 :iczero!iczero@hellomouse/dev/iczero JOIN :#esoteric
< 1585780262 237531 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric
< 1585780262 237539 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric
< 1585780262 237556 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
< 1585780262 237573 :nchambers!uplime@learnprogramming/staff/nchambers JOIN :#esoteric
< 1585780262 237591 :BWBellairs!~bwbellair@hellomouse/dev/bwbellairs JOIN :#esoteric
< 1585780262 237599 :j-bot!eldis4@firefly.nu JOIN :#esoteric
< 1585780262 237616 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN :#esoteric
< 1585780262 237634 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric
< 1585780262 237642 :noomy!moony@hellomouse/dev/moony JOIN :#esoteric
< 1585780262 237658 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric
< 1585780262 237675 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric
< 1585780262 237693 :glowcoil!sid3405@gateway/web/irccloud.com/x-ljsrjcnfjtfrpofz JOIN :#esoteric
< 1585780262 237710 :olsner!~salparot@c80-217-180-83.bredband.comhem.se JOIN :#esoteric
< 1585780262 237730 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric
< 1585780262 237737 :Melvar!~melvar@dslb-178-005-215-076.178.005.pools.vodafone-ip.de JOIN :#esoteric
< 1585780262 237745 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric
< 1585780262 237763 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric
< 1585780262 237771 :laerling!~lsf@unaffiliated/laerling JOIN :#esoteric
< 1585780262 237790 :hakatashi!~hakatashi@104.131.49.125 JOIN :#esoteric
< 1585780262 237797 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi JOIN :#esoteric
< 1585780262 237811 :LBPHacker!lbphacker@trigraph.net JOIN :#esoteric
< 1585780262 244086 :stux!stux2@grid9.quadspeedi.net JOIN :#esoteric
< 1585780262 244115 :j4cbo!sid186930@gateway/web/irccloud.com/x-uokwdxpbfutetegr JOIN :#esoteric
< 1585780262 244123 :^[_!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep JOIN :#esoteric
< 1585780262 244129 :dog_star!sid310875@gateway/web/irccloud.com/x-bkmsprfnywrkykzt JOIN :#esoteric
< 1585780262 244135 :shig!~davidb@inara.oztechninja.com JOIN :#esoteric
< 1585780262 244142 :catern!~catern@catern.com JOIN :#esoteric
< 1585780262 244148 :howlands_!gilesgate@sdf-eu.org JOIN :#esoteric
< 1585780262 244155 :ornxka!~ornxka@unaffiliated/ornx JOIN :#esoteric
< 1585780262 244161 :haavard!root@haavard.me JOIN :#esoteric
< 1585780262 244168 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com JOIN :#esoteric
< 1585780262 244174 :aloril!~aloril@mobile-access-b0486e-15.dhcp.inet.fi JOIN :#esoteric
< 1585780262 244180 :relrod!~relrod@redhat/relrod JOIN :#esoteric
< 1585780262 244187 :ineiros!ineiros@kapsi.fi JOIN :#esoteric
< 1585780262 244203 :ski!~ski@remote11.chalmers.se JOIN :#esoteric
< 1585780262 244211 :lifthrasiir_!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com JOIN :#esoteric
< 1585780262 244230 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric
< 1585780262 244264 :lynn_!sid154965@gateway/web/irccloud.com/x-qhrpzgxcylkpquuh JOIN :#esoteric
< 1585780262 244271 :ProofTechnique!sid79547@gateway/web/irccloud.com/x-ghyzuqdvajivhjps JOIN :#esoteric
< 1585780262 244279 :heroux!sandroco@gateway/shell/insomnia247/x-zjoagjvsfoxwfeot JOIN :#esoteric
< 1585780262 244286 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 JOIN :#esoteric
< 1585780262 244293 :diginet!~diginet@107.170.146.29 JOIN :#esoteric
< 1585780262 244300 :int-e!~noone@int-e.eu JOIN :#esoteric
< 1585780262 244307 :vertrex!~vertrex@unaffiliated/vertrex JOIN :#esoteric
< 1585780262 244324 :jix!~jix@static.71.5.69.159.clients.your-server.de JOIN :#esoteric
< 1585780262 244345 :interruptinuse!~interrupt@girl.mrtheplague.net JOIN :#esoteric
< 1585780262 244353 :Lykaina!~lyka@unaffiliated/schrodingerscat JOIN :#esoteric
< 1585780262 244360 :paul2520!~paul2520@unaffiliated/paul2520 JOIN :#esoteric
< 1585780262 244367 :izabera!~izabera@unaffiliated/izabera JOIN :#esoteric
< 1585780262 244374 :kmc!~beehive@li521-214.members.linode.com JOIN :#esoteric
< 1585780262 244381 :FireFly!znc@freenode/staff/firefly JOIN :#esoteric
< 1585780262 244388 :clog!~nef@bespin.org JOIN :#esoteric
< 1585780262 244406 :myndzi!myndzi@tetrisguide.com JOIN :#esoteric
< 1585780262 244427 :sparr!~sparr@pdpc/supporter/active/sparr JOIN :#esoteric
< 1585780262 244434 :gitlogger!~gitlogger@206.ip-51-91-102.eu JOIN :#esoteric
< 1585780262 244441 :HackEso!~h@unaffiliated/fizzie/bot/hackeso JOIN :#esoteric
< 1585780262 244460 :fizzie!fis@unaffiliated/fizzie JOIN :#esoteric
< 1585780262 244467 :Banana51!~user@unaffiliated/banana51 JOIN :#esoteric
< 1585780378 242044 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving
< 1585780483 778598 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
> 1585780890 238388 PRIVMSG #esoteric :14[[07Talk:Qwote14]]4 10 02https://esolangs.org/w/index.php?diff=70576&oldid=70486 5* 03Binyamin 5* (+1202) 10
> 1585780911 530635 PRIVMSG #esoteric :14[[07Talk:Qwote14]]4 10 02https://esolangs.org/w/index.php?diff=70577&oldid=70576 5* 03Binyamin 5* (-486) 10
< 1585781063 210505 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 250 seconds
> 1585784676 685853 PRIVMSG #esoteric :14[[07List of ideas14]]4 10 02https://esolangs.org/w/index.php?diff=70578&oldid=70046 5* 03Binyamin 5* (+76) 10/* Joke/Silly Ideas */
< 1585785381 834982 :xkapastel!uid17782@gateway/web/irccloud.com/x-ceprmekyjvaxvhhu QUIT :Quit: Connection closed for inactivity