> 1641950387 926830 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Ethan T. Stanger 5*  10New user account
> 1641951027 999171 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=92000&oldid=91958 5* 03Ethan T. Stanger 5* (+325) 10/* Introductions */
> 1641951062 513187 PRIVMSG #esolangs :14[[07Talk:Verbose14]]4 10 02https://esolangs.org/w/index.php?diff=92001&oldid=37496 5* 03ColorfulGalaxy 5* (+240) 10
> 1641951578 639836 PRIVMSG #esolangs :14[[07Talk:Suicide14]]4 10 02https://esolangs.org/w/index.php?diff=92002&oldid=40414 5* 03ColorfulGalaxy 5* (+41) 10Display title
> 1641951628 404233 PRIVMSG #esolangs :14[[07Suicide14]]4 10 02https://esolangs.org/w/index.php?diff=92003&oldid=79616 5* 03ColorfulGalaxy 5* (+36) 10
< 1641953481 588248 :archenoth!~archenoth@2604:3d09:681:f00:cb2:cb45:7a07:3d72 JOIN #esolangs Archenoth :archenoth
< 1641953657 577899 :Oshawott!~archenoth@2604:3d09:681:f00:c41a:cb9b:cf9c:3078 QUIT :Ping timeout: 240 seconds
< 1641954485 241107 :immibis_!~hexchat@62.156.144.218 JOIN #esolangs * :realname
< 1641954516 828051 :immibis!~hexchat@62.156.144.218 QUIT :Ping timeout: 256 seconds
< 1641955357 553849 :sebbu!~sebbu@user/sebbu QUIT :Ping timeout: 240 seconds
< 1641955392 528778 :sebbu!~sebbu@user/sebbu JOIN #esolangs sebbu :sebbu
< 1641955926 843791 :razetime!~quassel@49.207.203.87 JOIN #esolangs * :razetime
> 1641957863 760088 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03IGottic 5*  10New user account
> 1641958089 939785 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=92004&oldid=92000 5* 03IGottic 5* (+33) 10/* Introductions */
> 1641958102 881348 PRIVMSG #esolangs :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=92005&oldid=91439 5* 03IGottic 5* (+10) 10Added "sus"
< 1641958456 122651 :eli_oat!~eli_oat@185.187.243.151 JOIN #esolangs eli_oat :eli_oat
< 1641959267 99748 :imode!~imode@user/imode QUIT :Ping timeout: 256 seconds
> 1641959286 442644 PRIVMSG #esolangs :14[[07Sus14]]4 N10 02https://esolangs.org/w/index.php?oldid=92006 5* 03IGottic 5* (+5587) 10Created page with "'''Sus''' is an esoteric programming language that is turing complete; it is an alternative BrainFuck. This was something iGottic made in free time originally on the Roblox pl..."
> 1641959409 288743 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=92007&oldid=91878 5* 03IGottic 5* (+10) 10/* S */
> 1641959543 337708 PRIVMSG #esolangs :14[[07Sus14]]4 10 02https://esolangs.org/w/index.php?diff=92008&oldid=92006 5* 03IGottic 5* (+7) 10
> 1641959678 911921 PRIVMSG #esolangs :14[[07Sus14]]4 10 02https://esolangs.org/w/index.php?diff=92009&oldid=92008 5* 03IGottic 5* (+18) 10
> 1641959712 889503 PRIVMSG #esolangs :14[[07Sus14]]4 10 02https://esolangs.org/w/index.php?diff=92010&oldid=92009 5* 03IGottic 5* (+1) 10
> 1641959801 637630 PRIVMSG #esolangs :14[[07Talk:Sus14]]4 N10 02https://esolangs.org/w/index.php?oldid=92011 5* 03IGottic 5* (+18) 10Created page with "so sus on gor "
< 1641959912 763845 :eli_oat!~eli_oat@185.187.243.151 QUIT :Quit: eli_oat
< 1641960229 94340 :kit_ten!~u0_a391@2603-6010-a141-6fa3-950d-0150-5311-7e6b.res6.spectrum.com QUIT :Ping timeout: 240 seconds
< 1641960332 129255 :kit_ten!~u0_a391@cpe-76-190-178-139.neo.res.rr.com JOIN #esolangs * :u0_a391
< 1641960488 43298 :imode!~imode@user/imode JOIN #esolangs imode :imode
> 1641960664 717182 PRIVMSG #esolangs :14[[07User:IGottic14]]4 N10 02https://esolangs.org/w/index.php?oldid=92012 5* 03IGottic 5* (+54) 10Created page with "Heya! Find more about me a https://miagobble.github.io"
< 1641965184 376822 :monoxane2!~monoxane@user/monoxane JOIN #esolangs monoxane :monoxane
< 1641965586 597275 :Trieste_!T@user/pilgrim JOIN #esolangs pilgrim :T
< 1641965711 106763 :razetime!~quassel@49.207.203.87 QUIT :*.net *.split
< 1641965711 673589 :Trieste!T@user/pilgrim QUIT :*.net *.split
< 1641965711 715656 :haavard!~haavard@haavard.me QUIT :*.net *.split
< 1641965712 408738 :monoxane!~monoxane@user/monoxane QUIT :*.net *.split
< 1641965712 518971 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :*.net *.split
< 1641965735 160393 :monoxane2!~monoxane@user/monoxane NICK :monoxane
< 1641965791 577246 :Trieste_!T@user/pilgrim NICK :Trieste
< 1641966013 118641 :razetime!~quassel@49.207.203.87 JOIN #esolangs * :razetime
< 1641966083 787837 :haavard!root@haavard.me JOIN #esolangs haavard :Håvard Pettersson
< 1641966416 564565 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN #esolangs zzo38 :zzo38
< 1641968383 192264 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1641968605 311226 :razetime!~quassel@49.207.203.87 QUIT :Remote host closed the connection
< 1641968976 562368 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1641970845 76088 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1641971506 588878 :Sgeo_!~Sgeo@user/sgeo PRIVMSG #esolangs :Turing Tumble has undefined behavior. I'd make a comment about how "it really is a computer, huh", but UB is more of a language thing and TT is more of a hardware simulation
< 1641971564 487645 :Sgeo_!~Sgeo@user/sgeo PRIVMSG #esolangs :(It's not allowed to have a ball drop without it being caught on the next row down)
< 1641973777 579905 :BarryNL!~BarryNL@2a02:a468:ae45:1:a1b4:1e60:dae6:311b QUIT :Ping timeout: 240 seconds
< 1641973957 88852 :BarryNL!~BarryNL@109.37.151.135 JOIN #esolangs * :BarryNL
< 1641975564 155173 :Sgeo_!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1641976295 346462 :BarryNL!~BarryNL@109.37.151.135 QUIT :Read error: Connection reset by peer
< 1641976448 563559 :BarryNL!~BarryNL@2a02:a468:ae45:1:a1b4:1e60:dae6:311b JOIN #esolangs * :BarryNL
< 1641977165 12609 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1641977197 516190 :BarryNL!~BarryNL@2a02:a468:ae45:1:a1b4:1e60:dae6:311b QUIT :Ping timeout: 240 seconds
< 1641977290 73975 :BarryNL!~BarryNL@109.37.149.151 JOIN #esolangs * :BarryNL
< 1641978403 334888 :BarryNL!~BarryNL@109.37.149.151 QUIT :Read error: Connection reset by peer
< 1641978444 516085 :BarryNL!~BarryNL@2a02:a468:ae45:1:a1b4:1e60:dae6:311b JOIN #esolangs * :BarryNL
< 1641980084 27202 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :In a draft document I had written, I had (currently) assigned code page number 458752 for the CLC-INTERCAL EBCDIC (although this is currently a draft so it may be changed before it is final).
< 1641980338 628800 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :(Although I could not find the documentation, when I did manage to read it, I think it said it is not the same as any IBM code page, but each code matches at least one, or something like that?)
< 1641980756 379213 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1641981000 841502 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown
< 1641983813 217588 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1641983883 118540 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 256 seconds
< 1641983982 485217 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
< 1641985505 538899 :^[!~user@user//x-8473491 QUIT :Ping timeout: 252 seconds
< 1641985604 561443 :^[!~user@user//x-8473491 JOIN #esolangs ^[ :user
< 1641986317 558880 :BarryNL!~BarryNL@2a02:a468:ae45:1:a1b4:1e60:dae6:311b QUIT :Ping timeout: 240 seconds
< 1641987379 661674 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1641987637 546345 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Ping timeout: 240 seconds
< 1641987637 638356 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Ping timeout: 240 seconds
< 1641988253 792878 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in
< 1641988376 360149 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in
< 1641989401 553228 :kit-ten!~u0_a391@2600:380:a475:ea0c:a213:a480:f958:a3a8 JOIN #esolangs * :u0_a391
< 1641989663 124432 :kit_ten!~u0_a391@cpe-76-190-178-139.neo.res.rr.com QUIT :Ping timeout: 256 seconds
> 1641991368 710691 PRIVMSG #esolangs :14[[07Sus14]]4 M10 02https://esolangs.org/w/index.php?diff=92013&oldid=92010 5* 03PythonshellDebugwindow 5* (-41) 10/* How it's Written */ Add missing command to table
> 1641991590 640180 PRIVMSG #esolangs :14[[07Sus14]]4 M10 02https://esolangs.org/w/index.php?diff=92014&oldid=92013 5* 03PythonshellDebugwindow 5* (+98) 10/* Running the code */ Add categories
< 1641992608 381273 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :int-e: never mind about the 263 bit; i figured out the issue
< 1641995024 174615 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Quit: see you later
< 1641995066 38693 :oerjan!~oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen
< 1641995238 131698 :eli_oat!~eli_oat@23.105.140.76 JOIN #esolangs eli_oat :eli_oat
> 1641996550 591945 PRIVMSG #esolangs :14[[07User:WriteOnly14]]4 M10 02https://esolangs.org/w/index.php?diff=92015&oldid=84493 5* 03WriteOnly 5* (+14) 10
> 1641996712 153417 PRIVMSG #esolangs :14[[07User:WriteOnly14]]4 M10 02https://esolangs.org/w/index.php?diff=92016&oldid=92015 5* 03WriteOnly 5* (+126) 10
< 1641996894 87814 :kit_ten!~u0_a391@64.85.173.130 JOIN #esolangs * :u0_a391
< 1641997097 604883 :kit-ten!~u0_a391@2600:380:a475:ea0c:a213:a480:f958:a3a8 QUIT :Ping timeout: 240 seconds
< 1641997933 449198 :riv!river@tilde.team/user/river PRIVMSG #esolangs :I have an idea for a custom lego piece to 3d print, it looks like 2 flat 1x2 pieces joined, but it is actually a single solid piece. It cannot be split apart. Do you like this?
< 1641998030 942467 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :`? this
< 1641998034 411477 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :This is something people on the channel like to talk about. We're often unsure what this is, though. Nobody likes this.
< 1641998077 22345 :riv!river@tilde.team/user/river PRIVMSG #esolangs :lol
< 1641998126 897666 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam
< 1641998577 283470 :FireFly!~firefly@glowbum/gluehwuermchen/firefly PRIVMSG #esolangs :like two flat 1x2's stacked on top of each other (so like, a 2/3rd high fullsze 1x2)?
< 1641998901 784552 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1641998937 834417 :riv!river@tilde.team/user/river PRIVMSG #esolangs :https://i.ytimg.com/vi/KmP0uiCGzpA/maxresdefault.jpg this 
< 1641999079 331955 :FireFly!~firefly@glowbum/gluehwuermchen/firefly PRIVMSG #esolangs :right, kinda cursed, not sure I see the benefit vs just two flat 1x2's tbh :p
< 1641999221 411038 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :AIUI a 2/3rd high thing exists now. Not sure at which width/depth combinations, though.
< 1641999236 926242 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Someone was complaining about the new Sonic set not using it.
< 1641999277 124464 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :(It's got like a checkerboard pattern made out of a lot of regular flat pieces as stacks of 2 of each color, since I guess that's more or less square?)
< 1641999277 459899 :riv!river@tilde.team/user/river PRIVMSG #esolangs :the idea is to hurt peoples nails
< 1641999285 15609 :riv!river@tilde.team/user/river PRIVMSG #esolangs :because they will try to get it apart but acn't
< 1641999302 55182 :riv!river@tilde.team/user/river PRIVMSG #esolangs :or even maybe cut their gums on it
< 1641999472 958471 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :. o O ( riv is xkcd's black hat guy? )
< 1641999519 970810 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :riv: i may have to kill you for this hth
< 1641999521 415063 :riv!river@tilde.team/user/river PRIVMSG #esolangs :my hobby: inventing illegal lego pieces
< 1641999523 572630 :riv!river@tilde.team/user/river PRIVMSG #esolangs :lol
< 1641999688 388242 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :
ACTION has nail and gum issues

< 1641999799 972499 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1641999811 702747 :riv!river@tilde.team/user/river PRIVMSG #esolangs :soon, you wont be the only one
< 1642000336 841249 :riv!river@tilde.team/user/river PRIVMSG #esolangs :what timezone is used by things that travel between timezones?
< 1642000341 606221 :riv!river@tilde.team/user/river PRIVMSG #esolangs :like a fast plane or something
< 1642000407 603 :riv!river@tilde.team/user/river PRIVMSG #esolangs :if time travel is invented, will we also need date zones?
< 1642000746 224937 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: I wasn't going to be drawn into abstraction elimination territory anyway.
< 1642000877 656519 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :how about minimal CL bases territory?
< 1642000883 867049 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1642001181 124866 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(I never really liked it (well, trying to optimize the result size), and BLC alleviates all need for that.)
< 1642001458 164721 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I've dabbled a bit in minimal BLC-size bases territory without success.
< 1642001574 720900 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :we found a provably minimal (in blc-size) basis.
< 1642001591 220672 :riv!river@tilde.team/user/river PRIVMSG #esolangs ::O
< 1642001599 879069 :riv!river@tilde.team/user/river PRIVMSG #esolangs :what is it?
< 1642001633 55287 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :it's VERY close to S. just with an extra K thrown in
< 1642001649 82104 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :\x\y\z.x z(y (Kz))
< 1642001684 140775 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :in other words, \x\y\z.x z(y (\_.z))
< 1642001701 338906 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :of size 26
< 1642001719 795490 :riv!river@tilde.team/user/river PRIVMSG #esolangs :oh that's nice! its even a single term
< 1642001740 643439 :riv!river@tilde.team/user/river PRIVMSG #esolangs :that's a really cool discovery
< 1642001744 210400 :riv!river@tilde.team/user/river PRIVMSG #esolangs :does it have a name?
< 1642001751 807760 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :only 3 bits more than S, where K is 7 bits
< 1642001782 893250 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :it *ought* to be called ioata. but ppl already used that name for the much bigger \x.x S K :(
< 1642001806 504628 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :btw, here's a fun fact:
< 1642001855 165105 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :with up to 16 of this combinator, you can form at least 2200336 different lambda normal forms
< 1642001870 832211 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :guess how many you can form with up to 16 iotas?
< 1642001880 552962 :riv!river@tilde.team/user/river PRIVMSG #esolangs :I guess it is a lot more
< 1642001891 89414 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :you couldn't be more wrong!
< 1642001894 134723 :riv!river@tilde.team/user/river PRIVMSG #esolangs :haha
< 1642001906 407155 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :guess again!
< 1642001914 500132 :riv!river@tilde.team/user/river PRIVMSG #esolangs :the exact same number
< 1642001927 341996 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :no, it's way less
< 1642001930 604858 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :guess again:)
< 1642001935 690991 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :I'm hoping it's like fifteen.
< 1642001976 424526 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: I see. So my naive approach could've found that in principle, it would just have required, uh, months maybe of computing power.
< 1642001979 891905 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :well, it is more than 15:)
< 1642001983 624536 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(And it wouldn't prove optimality)
< 1642002015 606395 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :any1 want to guess ?
< 1642002023 493773 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :no hth
< 1642002062 477397 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :here's the shocker: only 244 (that we could find)
< 1642002092 894345 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :in this measure, iota was the worst possible single point basis we could find
< 1642002099 989177 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :fancy
> 1642002139 666601 PRIVMSG #esolangs :14[[07Quiner14]]4 10 02https://esolangs.org/w/index.php?diff=92017&oldid=91950 5* 03Umnikos 5* (+181) 10Add a link to an interpreter
< 1642002140 279014 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :its only redeeming property it having short derivations for S and K
< 1642002149 656669 :riv!river@tilde.team/user/river PRIVMSG #esolangs :hah
< 1642002194 751919 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :let's call the other one alpha
< 1642002223 834441 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :it takes 11 alphas to make K
< 1642002234 364009 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :and 16 to make S
< 1642002283 471402 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :although you can make the equally useful S' = \x\y\z. y z (x z) in 15
< 1642002353 799387 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :I x = x S K, so I I = I S K = S S K K = S K (K K). i'm guessing that all those Ks make it very easy for things to get deleted so many expressions become equal
< 1642002358 629292 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :er
< 1642002358 935914 :int-e!~noone@int-e.eu PRIVMSG #esolangs :S' = \x\y\z.y z (x z) is produced a bit sooner.
< 1642002368 975457 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :I may not have been the best choice of letter there :P
< 1642002387 508336 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :you can make an alpha self interpreter in 249 alpha's; potentially much less
< 1642002397 191037 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :* J x = x S K, so J J = J S K = S S K K = S K (K K). i'm guessing that all those Ks make it very easy for things to get deleted so many expressions become equal
> 1642002398 180607 PRIVMSG #esolangs :14[[07User:WriteOnly14]]4 M10 02https://esolangs.org/w/index.php?diff=92018&oldid=92016 5* 03WriteOnly 5* (+2) 10
< 1642002408 374680 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(S' + K are also complete)
< 1642002455 238960 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :yes, that's what i meant by equally useful. you can do bracket abstraction with S' just as well
< 1642002517 371830 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :tromp: Interesting. Could we say that iota is optimized for a short basis and useful short programs, whereas alpha is optimized for a short basis and short normal forms?
< 1642002542 914166 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :J J x = S K (K K) x = K x (...) = x
< 1642002548 599351 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :another size 26 basis is alpha'= \x\y\z.y z (x (Kz))
< 1642002588 279174 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :duh
< 1642002595 181080 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :it's about half as good as alpha. making 1220869 lambda terms up to size 16
< 1642002614 233081 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :(not exactly, but roughly)
< 1642002626 583417 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :or that J J = I
< 1642002640 394343 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :ioata doesn't make short programs
< 1642002653 45449 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :unless your program is S or K :)
< 1642002658 131490 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :are you misspelling iota?
< 1642002675 531411 :kit_ten!~u0_a391@64.85.173.130 QUIT :Read error: Connection reset by peer
< 1642002738 654490 :int-e!~noone@int-e.eu PRIVMSG #esolangs :11 alphas to make a K?
< 1642002741 123640 :kit_ten!~u0_a391@64.85.173.130 JOIN #esolangs * :u0_a391
< 1642002763 139158 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :another is \x\y\z. y (Kz) (x z) from which you can generate {T,K,B,W} which I think is abasis
< 1642002789 492131 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :yes, K = A(A A)(A(A A)A A A A A)
< 1642002819 14304 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I have ``0`00``````0`0000000 :P
< 1642002823 644027 :earendel!uid498179@user/earendel QUIT :Quit: Connection closed for inactivity
< 1642002850 342553 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :yep, same thing
< 1642002894 944419 :int-e!~noone@int-e.eu PRIVMSG #esolangs :4 possibilities, apparently
< 1642002900 221703 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :btw, \x\y\z. x (Kz) (y z) doesn't seem to work at all as a basis
< 1642002935 907258 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :we only managed to generate F and I (among target terms)
< 1642002959 472558 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :where F = False  = \x\y.y
< 1642003000 128847 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :the REAL challenge is finding minimal expression for C = \x\y\z. x z y
< 1642003021 373857 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :as it needs a HUGE intermediate lambda term
< 1642003118 597478 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :J I = I S K = S K = K I, which also would swallow up things
< 1642003162 62738 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :so i don't think it's surprising that iota gives few distinct terms
< 1642003438 738005 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :oops, I meant the minimal expression for T = \x\y. y x
> 1642003670 212114 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03NR 5*  10New user account
< 1642003860 44830 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: you can swap x and y though... which gives S' at size 11, K at size 15, but no S up to size 16
< 1642004093 804869 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(S' + K works because of S = ```S'`S'KS'`KS')
< 1642004136 253566 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :you mean S' from 11 alpha' ?
< 1642004165 120957 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i thought it took 13
< 1642004208 125129 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Yes, it's 13.
< 1642004239 254342 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(copying is hard)
< 1642004331 483897 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :have you found T from lpha?
< 1642004344 214815 :int-e!~noone@int-e.eu PRIVMSG #esolangs :No.
< 1642004353 904460 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I haven't tried either :-P
< 1642004370 682729 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :try. i'm curious what you find
< 1642004409 585294 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :is there a size limit on your intermediate lambda terms?
< 1642004580 504796 :int-e!~noone@int-e.eu PRIVMSG #esolangs :not really
< 1642004603 989309 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :oh, then it won't be a challenge for you
< 1642004604 774539 :int-e!~noone@int-e.eu PRIVMSG #esolangs :but there is a cost limit which is connected to size
< 1642004657 384847 :int-e!~noone@int-e.eu PRIVMSG #esolangs :size 16, hmm
< 1642004669 694492 :int-e!~noone@int-e.eu PRIVMSG #esolangs :````0````0`0`000`00``00000`0`00
< 1642004670 260682 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :it's less than 16
< 1642004670 809819 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​```0````0`0`000`00``00000`0`00? No such file or directory
< 1642004681 644778 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(and 4 others)
< 1642004694 304368 :int-e!~noone@int-e.eu PRIVMSG #esolangs :sorry HackEso 
< 1642004707 452292 :kit_ten!~u0_a391@64.85.173.130 PRIVMSG #esolangs :lol
< 1642004784 134988 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: hah, I was checking for S
< 1642004805 784297 :int-e!~noone@int-e.eu PRIVMSG #esolangs :size 13.
< 1642004817 574362 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(and unique)
< 1642004967 244453 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: I have really horrible code which makes me do this: https://paste.debian.net/1226868/
< 1642004981 335868 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :yep
< 1642005004 727923 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :, did you see the size of the lambda term from the middle size 9 part?
< 1642005025 194457 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I don't see any intermediate sizes
< 1642005076 985640 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i mean this expression A(A A)A(A(A A)A)A
< 1642005106 898292 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :which is A(A A)A applied to itself
< 1642005109 454210 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm, alpha' doesn't make T any more concise at all
< 1642005165 38520 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :no;alpha' makes for more concise S' only it seems
< 1642005185 241404 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :most are longer
< 1642005196 837032 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :in some cases much longer
< 1642005209 43864 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :like for \x\y. x y x
< 1642005212 334601 :int-e!~noone@int-e.eu PRIVMSG #esolangs :size 16 for T
< 1642005233 312343 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :16 alpha'
< 1642005236 32985 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :?
< 1642005254 249041 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :that's one I hadn't found myself yet
< 1642005300 659541 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :I found V = \x\y\z. z x y the hardest of simple combinators to find
< 1642005424 124049 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Oh, ```0`0`0`00`0```0```00`00000`00 is \x y z. y x z, not \x y. y x.
< 1642005459 564634 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(where 0 = alpha')
< 1642005555 404586 :int-e!~noone@int-e.eu PRIVMSG #esolangs :So no, there's no size 16 T within my resource constraints (1000 reduction steps, whatever that is precisely in that virtual machine))
< 1642005638 433439 :eli_oat!~eli_oat@23.105.140.76 QUIT :Quit: eli_oat
< 1642005684 561703 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i don't limit reduction steps; i only limit expanding steps where the term grows in size
< 1642005718 185100 :eli_oat!~eli_oat@23.105.140.76 JOIN #esolangs eli_oat :eli_oat
< 1642005763 829571 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :and then i limit it linearly in substitution occurances
< 1642005797 585861 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :well, that one is eta equivalent
< 1642005873 774369 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I have my "usual" context-capturing implementation (which could be understood as doing delayed substitutions I think), https://paste.debian.net/1226872/
< 1642005919 4996 :int-e!~noone@int-e.eu PRIVMSG #esolangs :So whatever exponential blowup is there is hidden by sharing.
< 1642006230 396574 :kit_ten!~u0_a391@64.85.173.130 QUIT :Read error: Connection reset by peer
< 1642006241 993861 :kit_ten!~u0_a391@64.85.173.130 JOIN #esolangs * :u0_a391
< 1642006440 182616 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :that looks pretty efficient. but with whnf's you cannot eliminate duplicates?
< 1642006516 711046 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :if exponentially many terms all evaluate to the same nf, you'd keep track of them all ?
< 1642006542 626044 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :in their whnf...
< 1642006592 34638 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Well, I don't tabulate at all.
< 1642006771 555192 :int-e!~noone@int-e.eu PRIVMSG #esolangs :basically, all other parts are horribly inefficient
< 1642006820 845959 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1642007252 279891 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i see...
< 1642007666 224804 :int-e!~noone@int-e.eu PRIVMSG #esolangs :even the enumeration of terms... I should've known
< 1642007703 594505 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(ghc floated out a humongous list)
< 1642007734 76951 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection
< 1642007774 54949 :int-e!~noone@int-e.eu PRIVMSG #esolangs :resulting in the program growing to 10G for size 18 terms, tsk.
< 1642007863 849198 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1642008260 625001 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Anyway I'll let it burn CPU for S and T in terms of alpha' for a bit longer... I will not look for other combinators.
< 1642008441 943910 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :yes, my searches barely reach size 17 before running out of memory at 19G
< 1642008477 587279 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Could a more directed or type-driven search be done? Or maybe you've got a more clever pruning scheme already.
< 1642008491 88272 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :but that's still keeping all unique lambda normal forms from alpba terms up to size 15
< 1642008626 788098 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :well, this is all in untyped calculus, so i don't see how types could help
< 1642008708 32543 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :int-e:could you please add your program to the repo? i'd like to search for some specific terms myself
< 1642008864 589106 :eli_oat!~eli_oat@23.105.140.76 QUIT :Quit: eli_oat
< 1642008998 4439 :int-e!~noone@int-e.eu PRIVMSG #esolangs :So this should be a proper T: `````00`0``00`0`0``00000`0`0``0``0000
< 1642009048 45052 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(0 = alpha')
< 1642009358 4704 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: https://gist.github.com/int-e/2f4b39727cc51dfe07b3b50d0d6c6f0e ...I don't want it in the repo in that shape
< 1642009485 825334 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :ok;thanks:)
< 1642009499 49772 :SGautam!uid286066@id-286066.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity
< 1642009647 935062 :int-e!~noone@int-e.eu PRIVMSG #esolangs :but I did fix the tree generation (`gen2`) to not explode in memory usage... though the proper fix would be to use difference lists.
< 1642009698 514702 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Ah, S and T of size 18 respectively: ````000`0`0``00`00`0```0``000``0000 and `````0`0000````0``00`0`00`0``000000
< 1642009699 908091 :riv!river@tilde.team/user/river PRIVMSG #esolangs :[1,2,3]+[4,5,6] in javascript, is '1,2,34,5,6'
< 1642009711 791126 :imode!~imode@user/imode PRIVMSG #esolangs :what is the alpha combinator.
< 1642009724 274233 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(found with 1000 fuel; 100 fuel wasn't enough)
< 1642009811 743459 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :alpha = \x\y\z. x z (y (Kz))
< 1642009827 521103 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :a one point basis
< 1642009873 754516 :int-e!~noone@int-e.eu PRIVMSG #esolangs :and alpha' swaps the inner x and y (or the outer ones; same thing modulo alpha)
< 1642010135 909489 :eli_oat!~eli_oat@185.202.220.249 JOIN #esolangs eli_oat :eli_oat
< 1642010229 447870 :immibis_!~hexchat@62.156.144.218 NICK :immibis
< 1642010667 805160 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: So in what sense is this provably minimal? Does that depend on limiting intermediate term sizes too or is everything smaller ruled out by various syntactic criteria?
< 1642010748 94337 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i'm assuming that in addition to K, a basis needs a 3 argument function
< 1642010815 406490 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :this one adds only 3 bits to S. adding 2 bits only allows KS which is not a basis
< 1642010927 283633 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :there must be  one lambda whose arg is dropped, one whose argument is duplicated, and i assume two that are preserved
< 1642011011 38617 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm. Okay, that doesn't wholly convince me. I mean, BCKW is larger, but the individual combionators have size 19, 19, 7, 15, all of which are smaller than S.
< 1642011043 484605 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :yes, S and K are smaller than alpha.but their sumsize is more
< 1642011076 689214 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i claim alpha has minimal sumsize
< 1642011077 753869 :int-e!~noone@int-e.eu PRIVMSG #esolangs :W (which duplicates) and any 10 sized combinator that erases, hmm
< 1642011088 920206 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(would be smaller)
< 1642011124 167341 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :K plus all 2 argument preserving/duplicating combs are not universal, right?
< 1642011168 400303 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :that's why you have B and C in addition
< 1642011195 569127 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Well, I don't know.
< 1642011198 542256 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i agree that needs more proof:)
< 1642011259 972709 :int-e!~noone@int-e.eu PRIVMSG #esolangs :"probably minimal" I can agree with anyway, and that's just a plausible typo away.
< 1642011266 233298 :int-e!~noone@int-e.eu PRIVMSG #esolangs :;)
< 1642011327 329568 :int-e!~noone@int-e.eu PRIVMSG #esolangs :and at least it's more organic that iota, that's something
< 1642011407 377627 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :the Greek letter iota is the smallest letter of its alphabet
< 1642011432 646926 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :so this is more deserving of the name iota...
< 1642011481 772938 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i'd have to convince chris barker though:)
< 1642011546 707963 :int-e!~noone@int-e.eu PRIVMSG #esolangs :21 years
< 1642011550 368189 :int-e!~noone@int-e.eu PRIVMSG #esolangs :call it iota' :-P
< 1642011580 718905 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :well iota' should be the name for alpha' :)
< 1642011581 275525 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( or just prime, which is smaller than iota )
< 1642011611 493117 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :` for app and ' for alpha?
< 1642011612 947907 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​? Permission denied
< 1642011623 70187 :int-e!~noone@int-e.eu PRIVMSG #esolangs :yes!
< 1642011631 581346 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :oh boy,that's obfuscation at it's best:(
< 1642011641 502879 :int-e!~noone@int-e.eu PRIVMSG #esolangs :T = `````''`'``''`'`'``'''''`'`'``'``''''
< 1642011658 751560 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(sorry, that's wrong of course)
< 1642011661 866922 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :looks like some double quotes ni there...
< 1642011668 601245 :int-e!~noone@int-e.eu PRIVMSG #esolangs :because *that* ' would be alpha'
< 1642011692 863312 :int-e!~noone@int-e.eu PRIVMSG #esolangs :So more like T = `````""`"``""`"`"``"""""`"`"``"``""""
< 1642011693 197328 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i wished ' looked like the mirror image of `
< 1642011744 107206 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :wait; you are using double quotes, not single ones
< 1642011753 87264 :int-e!~noone@int-e.eu PRIVMSG #esolangs :because it's alpha'
< 1642011775 690538 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :oh:)
< 1642011777 503670 :int-e!~noone@int-e.eu PRIVMSG #esolangs :T = ```''````'`'''``'`''''`''
< 1642012054 93649 :Bowserinator_!Bowserinat@hellomouse/dev/bowserinator JOIN #esolangs Bowserinator :No VPS :(
< 1642012057 385318 :dbohdan3!~dbohdan@user/dbohdan JOIN #esolangs dbohdan :ZNC - https://znc.in
< 1642012061 529172 :integral_!sid296274@user/integral JOIN #esolangs integral :bsmith
< 1642012073 917357 :sunarch_!uid526836@user/sunarch JOIN #esolangs sunarch :sunarch
< 1642012131 136456 :dnm_!sid401311@lymington.irccloud.com JOIN #esolangs dnm :dnm
< 1642012234 371757 :hiato!~op_4@user/op-4/x-9116473 JOIN #esolangs op_4 :op_4
< 1642012263 506563 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Or maybe the magnified version: T = ╲╲╲╱╱╲╲╲╲╱╲╱╱╱╲╲╱╲╱╱╱╱╲╱╱
< 1642012474 295418 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :*.net *.split
< 1642012474 295499 :haavard!root@haavard.me QUIT :*.net *.split
< 1642012474 399450 :sunarch!uid526836@user/sunarch QUIT :*.net *.split
< 1642012474 441432 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator QUIT :*.net *.split
< 1642012474 441477 :dbohdan!~dbohdan@user/dbohdan QUIT :*.net *.split
< 1642012474 717763 :op_4!~op_4@user/op-4/x-9116473 QUIT :*.net *.split
< 1642012475 112451 :integral!sid296274@user/integral QUIT :*.net *.split
< 1642012475 415931 :dnm!sid401311@id-401311.lymington.irccloud.com QUIT :*.net *.split
< 1642012475 835196 :eli_oat!~eli_oat@185.202.220.249 QUIT :*.net *.split
< 1642012475 877360 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :*.net *.split
< 1642012475 877414 :kit_ten!~u0_a391@64.85.173.130 QUIT :*.net *.split
< 1642012475 923311 :Sgeo!~Sgeo@user/sgeo QUIT :*.net *.split
< 1642012475 965369 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :*.net *.split
< 1642012476 86662 :__monty__!~toonn@user/toonn QUIT :*.net *.split
< 1642012476 804559 :^[!~user@user//x-8473491 QUIT :*.net *.split
< 1642012476 940763 :Trieste!T@user/pilgrim QUIT :*.net *.split
< 1642012477 77613 :sebbu!~sebbu@user/sebbu QUIT :*.net *.split
< 1642012477 77661 :immibis!~hexchat@62.156.144.218 QUIT :*.net *.split
< 1642012477 119582 :archenoth!~archenoth@2604:3d09:681:f00:cb2:cb45:7a07:3d72 QUIT :*.net *.split
< 1642012477 436045 :sprout_!~quassel@2a02:a467:ccd6:1:d9b7:23d6:79dd:2e64 QUIT :*.net *.split
< 1642012477 528579 :Kit!~NotApplic@2603-6010-a141-6fa3-0000-db65-a0b3-920d.res6.spectrum.com QUIT :*.net *.split
< 1642012477 528656 :warlock!~warlock@kryogeniks.dev QUIT :*.net *.split
< 1642012477 727807 :sprock!~sprock@user/sprock QUIT :*.net *.split
< 1642012477 769760 :HackEso!~h@techne.zem.fi QUIT :*.net *.split
< 1642012477 769837 :Melvar`!~melvar@dslb-088-070-039-060.088.070.pools.vodafone-ip.de QUIT :*.net *.split
< 1642012477 929231 :lagash!lagash@lagash.shelltalk.net QUIT :*.net *.split
< 1642012478 66121 :laerling!~laerling@static.235.77.203.116.clients.your-server.de QUIT :*.net *.split
< 1642012478 260000 :slavfox!~slavfox@93.158.232.111 QUIT :*.net *.split
< 1642012478 522702 :MizMahem!sid296354@user/mizmahem QUIT :*.net *.split
< 1642012478 565001 :V!~v@anomalous.eu QUIT :*.net *.split
< 1642012482 397515 :sunarch_!uid526836@user/sunarch NICK :sunarch
< 1642012482 397582 :integral_!sid296274@user/integral NICK :integral
< 1642012486 94506 :dnm_!sid401311@lymington.irccloud.com NICK :dnm
< 1642012502 86865 :int-e!~noone@int-e.eu PRIVMSG #esolangs :@bot
< 1642012502 154767 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs ::)
< 1642012571 204656 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :@fungot
< 1642012571 251829 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Unknown command, try @list
< 1642012571 687135 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :fizzie: so i'm in dos promp. in reality i just pick one.
< 1642012593 744523 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :fungot: Retrocomputing again, are you? 
< 1642012594 117398 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :fizzie: would require me to go ahead with gpl2+ program, it was easier
< 1642012613 221506 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`no hackeso though
< 1642012644 585263 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Hmm, does the command character prefix suppress the default nickname recognition? 
< 1642012646 381790 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :^fungot
< 1642012651 196471 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I think it does.
> 1642012690 401948 PRIVMSG #esolangs :14[[07Init14]]4 N10 02https://esolangs.org/w/index.php?oldid=92019 5* 03WhyNot? 5* (+503) 10Started
< 1642012715 15483 :eli_oat!~eli_oat@185.202.220.249 JOIN #esolangs eli_oat :eli_oat
< 1642012715 15537 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1642012715 16095 :kit_ten!~u0_a391@64.85.173.130 JOIN #esolangs Kit :u0_a391
< 1642012715 16151 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1642012715 16225 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1642012715 16267 :^[!~user@user//x-8473491 JOIN #esolangs ^[ :user
< 1642012715 16306 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown
< 1642012715 16343 :Trieste!T@user/pilgrim JOIN #esolangs pilgrim :T
< 1642012715 16374 :sebbu!~sebbu@user/sebbu JOIN #esolangs sebbu :sebbu
< 1642012715 16405 :immibis!~hexchat@62.156.144.218 JOIN #esolangs immibis :realname
< 1642012715 16437 :archenoth!~archenoth@2604:3d09:681:f00:cb2:cb45:7a07:3d72 JOIN #esolangs Archenoth :archenoth
< 1642012715 16471 :sprout_!~quassel@2a02:a467:ccd6:1:d9b7:23d6:79dd:2e64 JOIN #esolangs * :anon
< 1642012715 16484 :Kit!~NotApplic@2603-6010-a141-6fa3-0000-db65-a0b3-920d.res6.spectrum.com JOIN #esolangs Kit :realname
< 1642012715 16519 :warlock!~warlock@kryogeniks.dev JOIN #esolangs warlock :warlock
< 1642012715 16531 :sprock!~sprock@user/sprock JOIN #esolangs sprock :sprock
< 1642012715 57583 :HackEso!~h@techne.zem.fi JOIN #esolangs HackEso :HackEso
< 1642012715 57637 :Melvar`!~melvar@dslb-088-070-039-060.088.070.pools.vodafone-ip.de JOIN #esolangs Melvar :melvar
< 1642012715 57654 :lagash!lagash@lagash.shelltalk.net JOIN #esolangs lagash :ZNC - https://znc.in
< 1642012715 57701 :laerling!~laerling@static.235.77.203.116.clients.your-server.de JOIN #esolangs laerling :Unknown
< 1642012715 57720 :slavfox!~slavfox@93.158.232.111 JOIN #esolangs slavfox :slavfox
< 1642012715 57778 :MizMahem!sid296354@user/mizmahem JOIN #esolangs MizMahem :🐍🐔
< 1642012715 57822 :V!~v@anomalous.eu JOIN #esolangs V :Wie?
< 1642012935 211738 :haavard!root@haavard.me JOIN #esolangs haavard :Håvard Pettersson
< 1642013006 879534 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :`wisdom retro
< 1642013008 222912 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :That's not wise.
< 1642013012 841729 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :hmph
> 1642013018 658778 PRIVMSG #esolangs :14[[07Init14]]4 10 02https://esolangs.org/w/index.php?diff=92020&oldid=92019 5* 03WhyNot? 5* (+207) 10
> 1642013083 588623 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=92021&oldid=92007 5* 03WhyNot? 5* (+11) 10
< 1642013114 666749 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`' retro
< 1642013115 985722 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :568) <Phantom_Hoover> I think the worst part of growing up is that it isn't retroactive.
< 1642013170 16558 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN #esolangs zzo38 :zzo38
< 1642013172 666411 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Weird one, I can't even picture that.
< 1642013257 655537 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Because that whole arduous and slow process of growing up is such an integral part of what it means to be human.
< 1642013274 407905 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1642013498 310975 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :i vaguely think it may refer to the horror of realizing all the stupid stuff you did before growing up hth
< 1642013572 854445 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Sure, I can follow along that far. But imagine it /actually/ being retroactive...
< 1642013587 768077 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Also, there's this great filter called forgetting things.
< 1642013590 638400 :int-e!~noone@int-e.eu PRIVMSG #esolangs ::)
> 1642013606 431297 PRIVMSG #esolangs :14[[07Init14]]4 10 02https://esolangs.org/w/index.php?diff=92022&oldid=92020 5* 03WhyNot? 5* (+505) 10
< 1642013618 474741 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Which may be alien to Millenials I guess.
< 1642013626 628707 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Millennials.
< 1642013630 870892 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :https://en.wikipedia.org/wiki/Great_Filter
< 1642013638 923526 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hate that typo, know why it's bad, still make it all the time...
< 1642013786 11799 :int-e!~noone@int-e.eu PRIVMSG #esolangs :That whole do-aliens-exist thing is so speculative though. We have no idea what the odds really are; all we really have to go on is P(we exist | we exist) = 1, and a bunch of negatives that put an upper bound on the probability of other civilizations existing.
< 1642013937 47499 :blu256!~blu256@2a02:85f:f0ec:6800:f8bf:58f:966b:4075 JOIN #esolangs * :Mavridis Philippe
< 1642015404 897753 :tech_exorcist_!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1642015460 530574 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection
< 1642015787 116676 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1642016004 707096 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf
< 1642016102 976377 :blu256!~blu256@2a02:85f:f0ec:6800:f8bf:58f:966b:4075 QUIT :Quit: Gone
< 1642016443 355344 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1642016803 784555 :kit_ten!~u0_a391@64.85.173.130 QUIT :Read error: Connection reset by peer
< 1642016809 908499 :kit-ten!~u0_a391@64.85.173.130 JOIN #esolangs * :u0_a391
< 1642017082 87787 :kit_ten!~u0_a391@2600:380:a47c:9f07:241:3339:c633:aeab JOIN #esolangs * :u0_a391
< 1642017242 774013 :kit-ten!~u0_a391@64.85.173.130 QUIT :Ping timeout: 250 seconds
< 1642017998 122769 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
< 1642018519 615508 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic
< 1642018539 630883 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf
< 1642018728 37033 :tech_exorcist_!txrcst@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection
< 1642018737 643438 :Bowserinator_!Bowserinat@hellomouse/dev/bowserinator NICK :Bowserinator
< 1642018790 963134 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit
< 1642018811 790360 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf
< 1642019068 525673 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN
< 1642019119 638677 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic
< 1642019139 672694 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf
< 1642019713 900785 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic
< 1642019732 555663 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf
< 1642020919 479011 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic
< 1642020941 636872 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf
< 1642021402 597937 :earendel!uid498179@user/earendel JOIN #esolangs earendel :AmoreFS
< 1642021490 818961 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic
> 1642021507 452227 PRIVMSG #esolangs :14[[07User:A casual user14]]4 10 02https://esolangs.org/w/index.php?diff=92023&oldid=91887 5* 03A casual user 5* (-1) 10
< 1642021509 565965 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf
< 1642021525 338413 :eli_oat!~eli_oat@185.202.220.249 QUIT :Quit: eli_oat
> 1642021530 142943 PRIVMSG #esolangs :14[[07User:A casual user14]]4 10 02https://esolangs.org/w/index.php?diff=92024&oldid=92023 5* 03A casual user 5* (+19) 10
> 1642021604 667806 PRIVMSG #esolangs :14[[07Hello, golf!14]]4 10 02https://esolangs.org/w/index.php?diff=92025&oldid=91669 5* 03A casual user 5* (+24) 10
< 1642022552 378472 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1642023217 576634 :lagash!lagash@lagash.shelltalk.net QUIT :Ping timeout: 240 seconds
< 1642023526 196433 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User
> 1642024581 663492 PRIVMSG #esolangs :14[[07Init14]]4 M10 02https://esolangs.org/w/index.php?diff=92026&oldid=92022 5* 03PythonshellDebugwindow 5* (+112) 10Add categories; fix link to userpage
< 1642024709 550876 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :int-e: is gen2 more of a time or more of a memory savings over gen?
< 1642024819 476823 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic
< 1642024839 631303 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf
< 1642025018 802169 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :how is f x | y <- x:[] = ... different from f x = let y = x:[] in .... ?
< 1642025091 271422 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Client Quit
< 1642025111 652216 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com JOIN #esolangs impomatic :John Metcalf
< 1642025288 209979 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Are they different?
< 1642025332 415597 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :I think in this case where y is an irrefutable pattern it should come out to the same thing.
< 1642025370 18592 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Unless you're being sneaky with the ..., I suppose (e.g. if it contains a where).
< 1642025405 256988 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :no, nothing sneaky, just reading some int-e code
< 1642025419 194987 :immibis!~hexchat@62.156.144.218 QUIT :Remote host closed the connection
< 1642025420 529567 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :oh, I know why
< 1642025439 144965 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :he's repeating the variable
< 1642025441 101739 :immibis!~hexchat@62.156.144.218 JOIN #esolangs * :realname
< 1642025460 915219 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :so like f x | x <- x:[] = ....
< 1642025476 520354 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :so let would just loop
< 1642025489 335559 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :or give type error in this case
< 1642025885 154912 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Quit: Disconnecting
< 1642025934 861550 :lagash!lagash@lagash.shelltalk.net JOIN #esolangs * :ZNC - https://znc.in
< 1642026976 245943 :impomatic!~impomatic@host213-1-7-166.range213-1.btcentralplus.com QUIT :Quit: impomatic
< 1642027122 829086 :lagash!lagash@lagash.shelltalk.net QUIT :Ping timeout: 250 seconds
< 1642027174 521912 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: gen2 enumerates trees (applications of the given leafs), gen enumerates arbitrary terms
< 1642027245 603420 :int-e!~noone@int-e.eu PRIVMSG #esolangs :and f x | y <- x:[] = ... mostly is equivalent to  f x = let y = x:[] ... but the <- isn't recursive
< 1642027266 656011 :int-e!~noone@int-e.eu PRIVMSG #esolangs :which I consider to be a feature
< 1642027277 679450 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I am overusing that style though, i think
< 1642027411 27606 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: I used `gen` when I was trying to find bases, but it was too much (i.e., the search space was too big when multiplied by the time taken by `gen` and evaluation)
< 1642027425 201820 :int-e!~noone@int-e.eu PRIVMSG #esolangs :err the second `gen` should be `gen2`
< 1642027452 989578 :int-e!~noone@int-e.eu PRIVMSG #esolangs :oh sorry, you figured out the non-recursive bit yourself...
< 1642027475 968755 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :not for the first time, i now remember seeing this years ago
< 1642027497 656244 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i look forward to figuring it out again some years from now:)
< 1642027585 462955 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :ok, i should rephrase my question
< 1642027606 770726 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :is the use of k <- [1..s`div`2] and mirroring more of a time or memory savings?
< 1642027615 409049 :int-e!~noone@int-e.eu PRIVMSG #esolangs :memory
< 1642027631 746081 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :ok, that makes sense.
< 1642027672 347281 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I mean, it's still floating out the second generated list but now it's of a much more manageable size
< 1642027680 267162 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :it's very modest indeed now. using just 3MB while searching depth 19
< 1642027722 724257 :int-e!~noone@int-e.eu PRIVMSG #esolangs :and I was too lazy to change it to difference lists (you lose a lot of the convenience of list comprehension on the way)
< 1642028025 930822 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Oh, changing the type to (L -> L) -> Int -> [L] would've been an option.
< 1642028070 910260 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(incorporating a `map`, which would fix the floating out issue by incurring an actual data dependency)
< 1642029034 418380 :__monty__!~toonn@user/toonn QUIT :Quit: leaving
< 1642029606 843865 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com QUIT :Remote host closed the connection
< 1642029733 906304 :Cale!~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com JOIN #esolangs Cale :realname
< 1642029929 933466 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz JOIN #esolangs * :[https://web.libera.chat] salpynx
< 1642030149 905807 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :> let f x | let y = x:[] = y in f "whistles innocently"
< 1642030151 324172 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs : ["whistles innocently"]
< 1642030255 561068 :lagash!lagash@lagash.shelltalk.net JOIN #esolangs * :ZNC - https://znc.in
< 1642030284 425322 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :this is a smaller iota: ͺ
< 1642030305 566955 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :```ͺͺ````ͺ`ͺͺͺ``ͺ`ͺͺͺͺ`ͺͺ
< 1642030306 589259 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​``ͺͺ````ͺ`ͺͺͺ``ͺ`ͺͺͺͺ`ͺͺ? No such file or directory
< 1642030322 197650 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :or ˎˎˎͺͺˎˎˎˎͺˎͺͺͺˎˎͺˎͺͺͺͺˎͺͺ if you want them aligned
< 1642030643 534972 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :`unicode ͺ
< 1642030645 357628 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :U+037A GREEK YPOGEGRAMMENI \ UTF-8: cd ba  UTF-16BE: 037a  Decimal: &#890; \ ͺ \ Category: Lm (Letter, Modifier) \ Bidi: L (Left-to-Right) \ Decomposition: <compat> 0020 0345
< 1642030662 232033 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :oh right
< 1642030676 130983 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :
ACTION was at that wikipedia page earlier

< 1642030697 814625 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :yeah, I was trying to remember the hackeso command to display that
< 1642030720 196422 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :`icode ͺ
< 1642030721 510077 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​[U+037A GREEK YPOGEGRAMMENI]
< 1642030735 313516 :oerjan!~oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :(that's short for unidecode hth)
< 1642030818 986932 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :The other possibility I thought of was using Hebrew Yod for an alternate derivation of that letter, but that gives RTL display issues
< 1642030856 729288 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :`icode י
< 1642030857 970523 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​[U+05D9 HEBREW LETTER YOD]
< 1642030945 830826 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :But is 'decode' just 'de'? Whoa.
< 1642031219 496474 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :I had to look up the Unicode for the iota-subscript, but knew it existed... now very oddly it turns out, the author of ref #1 on the wikipedia iota page is one of the people who taught me ancient Greek.