> 1590278463 690672 PRIVMSG #esoteric :14[[07There Once was an Esolang Named Fred14]]4 M10 02https://esolangs.org/w/index.php?diff=72766&oldid=72765 5* 03Baidicoot 5* (+9) 10 > 1590278486 314129 PRIVMSG #esoteric :14[[07There Once was an Esolang Named Fred14]]4 M10 02https://esolangs.org/w/index.php?diff=72767&oldid=72766 5* 03Baidicoot 5* (-12) 10 > 1590278604 65263 PRIVMSG #esoteric :14[[07Fred14]]4 N10 02https://esolangs.org/w/index.php?oldid=72768 5* 03Baidicoot 5* (+50) 10Redirected page to [[There Once was an Esolang Named Fred]] < 1590278796 690039 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net PRIVMSG #esoteric :are there actually any german speaking/understanding here? < 1590278851 190112 :b_jonas!~x@catv-176-63-11-253.catv.broadband.hu PRIVMSG #esoteric :`? wegian < 1590278853 317399 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :A wegian is an equivalence class of #esoteric regulars. There are two main wegians, the Nor (from Finland) and the Glas (from Hexham). There's also the hypothetical Gal, which hasn't been observed yet so we're not sure where it's from. < 1590279385 803890 :adu!~user@c-73-129-154-238.hsd1.md.comcast.net QUIT :Ping timeout: 264 seconds < 1590279464 631755 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`dowg wegian < 1590279466 594302 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :9774:2016-11-26 learn_append wegian There\'s also the hypothetical Gal, which hasn\'t been observed yet so we\'re not sure where it\'s from. \ 8971:2016-08-24 learn A wegian is an equivalence class of #esoteric regulars. There are two main wegians, the Nor (from Finland) and the Glas (from Hexham). \ 8315:2016-06-04 rm wisdom/wegian \ 8314:2016-06-04 sedlast s/member/regular/ \ 8313:2016-06- < 1590279479 432091 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`2 dowg wegian < 1590279482 132328 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :2/2:-06-04 learn A wegian is an equivalence class of #esoteric members. There are two main wegians, the Nor (from Finland) and the Glas (from Hexham). < 1590279819 166215 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net JOIN :#esoteric > 1590280658 337664 PRIVMSG #esoteric :14[[07Interprogck814]]4 M10 02https://esolangs.org/w/index.php?diff=72769&oldid=72740 5* 03PythonshellDebugwindow 5* (+170) 10/* Dice roll */ < 1590280788 858867 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1590280810 647557 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net QUIT :Quit: Mysteryhunter < 1590280829 787443 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net JOIN :#esoteric < 1590280958 788628 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 260 seconds < 1590280966 678948 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1590281028 74473 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net PRIVMSG #esoteric :if anyone wannajoin our new channel #MysteryNewsTV feel free to < 1590281065 44103 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :What are you discussing there? < 1590281079 265277 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net PRIVMSG #esoteric :everything mystery < 1590281081 930127 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net PRIVMSG #esoteric :also esoteric < 1590281130 761594 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net PRIVMSG #esoteric :but we havent many users there yet thats why I asked to come over < 1590283090 105384 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :`? esoteric < 1590283091 555021 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :This channel is about programming -- for the other kind of esoterica, try #esoteric on EFnet or DALnet. < 1590283112 366162 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :(had to dig through my scrollback for this) < 1590283670 75326 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net PRIVMSG #esoteric :ah i confused that again < 1590283682 217477 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net PRIVMSG #esoteric :anyway you can join < 1590283704 1876 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net PRIVMSG #esoteric :we talkin bout any kind of stuff < 1590283709 554590 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net PRIVMSG #esoteric :its not esoteric o < 1590283721 199753 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net PRIVMSG #esoteric :its not esoteric i justmean < 1590283772 289921 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net PRIVMSG #esoteric :its not esoteric i just meant if u wanna talk about esoteric we also do we keep with anything interresting < 1590283813 918066 :Antebrationist!ca9a8425@202-154-132-37.ubs-dynamic.connections.net.nz JOIN :#esoteric < 1590283819 450096 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net PRIVMSG #esoteric :its not esoteric i just meant if u wanna talk about esoteric we also can talk about it we do we keep with anything interresting < 1590283864 352846 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net PRIVMSG #esoteric :its not esoteric i just meant if u wanna talk about esoteric we also can talk about it we keep with anything interresting < 1590283889 387219 :Antebrationist!ca9a8425@202-154-132-37.ubs-dynamic.connections.net.nz PRIVMSG #esoteric :zzo38, I've made a little progress on the MTG fermat's last theorem. < 1590283893 488379 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net PRIVMSG #esoteric :now the message is finally right < 1590283904 854402 :Antebrationist!ca9a8425@202-154-132-37.ubs-dynamic.connections.net.nz QUIT :Remote host closed the connection < 1590283928 25425 :LKoen!~LKoen___@81.255.219.130 QUIT :Quit: Leaving < 1590283944 265706 :adu!~user@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric < 1590285534 364081 :adu!~user@c-73-129-154-238.hsd1.md.comcast.net QUIT :Quit: leaving < 1590285622 223374 :adu!~user@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric < 1590285652 270969 :adu!~user@c-73-129-154-238.hsd1.md.comcast.net QUIT :Client Quit < 1590285711 820403 :adu!~user@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric < 1590285886 905187 :adu!~user@c-73-129-154-238.hsd1.md.comcast.net QUIT :Client Quit < 1590285972 337887 :adu!~user@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric < 1590286485 812889 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1590294728 60495 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :How big is IINL^[IINL(3)](0) compared with Skewes's number and other big numbers like that? < 1590294733 287524 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net PRIVMSG #esoteric :hi < 1590294823 378283 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :What's IINL stand for? < 1590294992 750436 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Increment in nested loops < 1590295068 867507 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :Is there a link to the function definition? < 1590295222 914549 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Article <1589825967.bystand@zzo38computer.org> on sci.math gives a description. I also described it before on this IRC (although I didn't call it "IINL" yet by that time). < 1590295284 219290 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Make a number of nested "repeat X times" loops where the number of nesting is the initial value of X (the input of the function), and inside of the innermost loop is "increment X" command. The output is the final value of X after all of those loops are finished. < 1590295572 132393 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :IINL(x) = f_omega(x) in the fast-growing hierarchy, if my understanding is correct < 1590295700 982598 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Yes, that is what I thought (or at least its Grzegorczyk index is omega), although I have not proven this. < 1590295855 895347 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :Which means IINL^[IINL(3)](0) lies between f_{omega+1}(3) and f_{omega+1}(f_{omega}(3)) (haven't done the full calculation) < 1590295989 976140 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Ah, OK. < 1590296183 252623 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :If we let f_0(x) = x+1 and f_k(x) be defined by repeat X times { x := f_{k-1}(x) } then f_k(x) = f_{k-1}^x(x) which is the definition of FGH < 1590296315 248189 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :O, OK. That makes sense now < 1590297979 369822 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :But when you get into infinite ordinals, then what? Some ordinals are limit ordinals and have no predecessor. < 1590298143 854892 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :Each ordinal alpha is assigned a fundamental sequence -- a sequence of ordinals which is increasing and has limit alpha < 1590298181 781686 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :For example, the fundamental sequence for omega (for the Wainer hierarchy) is given by omega[n] = n < 1590298188 669746 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :Thus, f_omega(n) = f_n(n) < 1590298246 489009 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :Then we have f_{omega+1}(n) = f_{omega}^{n}(n) and so on < 1590298276 302195 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :O, OK. < 1590298484 751631 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Yes, I expected that f_{omega+1}(n) = f_{omega}^{n}(n), just I didn't know how to do according to your definition when a limit ordinal is involved because you defined it in terms of its predecessor and a limit ordinal has no predecessor. < 1590299715 750999 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net QUIT :Quit: Join our new channel in freenode #MysteryNewsTV < 1590299983 930928 :Mysteryhunter!~Thunderbi@213-225-10-97.nat.highway.a1.net JOIN :#esoteric < 1590300974 311790 :adu!~user@c-73-129-154-238.hsd1.md.comcast.net QUIT :Ping timeout: 240 seconds < 1590303769 834315 :arseniiv!~arseniiv@94.41.226.83.dynamic.ufanet.ru JOIN :#esoteric < 1590304321 885823 :adu!~user@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric < 1590304588 855110 :adu!~user@c-73-129-154-238.hsd1.md.comcast.net QUIT :Ping timeout: 246 seconds < 1590308114 847487 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 256 seconds < 1590309494 832827 :adu!~user@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric < 1590309784 840413 :adu!~user@c-73-129-154-238.hsd1.md.comcast.net QUIT :Ping timeout: 272 seconds < 1590310218 803501 :LKoen!~LKoen___@81.255.219.130 JOIN :#esoteric < 1590312671 987228 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1590313648 372315 :spruit11!~unknown@ip56522cc1.speed.planet.nl QUIT :Quit: Lost terminal < 1590314393 687643 :spruit11!~unknown@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1590315979 921464 :Melvar!~melvar@dslb-084-063-063-106.084.063.pools.vodafone-ip.de QUIT :Quit: WeeChat 2.8 < 1590316574 857121 :Melvar!~melvar@dslb-084-063-063-106.084.063.pools.vodafone-ip.de JOIN :#esoteric < 1590319211 356102 :zseri!~zseri@ytrizja.de JOIN :#esoteric < 1590320195 903272 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric > 1590320304 379834 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03MartinAsdf 5* 10New user account > 1590320510 781492 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=72770&oldid=72720 5* 03MartinAsdf 5* (+133) 10/* Introductions */ > 1590320531 106255 PRIVMSG #esoteric :14[[07User:MartinAsdf14]]4 N10 02https://esolangs.org/w/index.php?oldid=72771 5* 03MartinAsdf 5* (+7) 10Created page with "ITS ME." > 1590320543 878812 PRIVMSG #esoteric :14[[07User:MartinAsdf14]]4 10 02https://esolangs.org/w/index.php?diff=72772&oldid=72771 5* 03MartinAsdf 5* (+162) 10 > 1590320616 782894 PRIVMSG #esoteric :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=72773&oldid=72200 5* 03MartinAsdf 5* (+6166) 10 < 1590321823 248383 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1590322287 335663 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric > 1590323465 955902 PRIVMSG #esoteric :14[[07Eval14]]4 M10 02https://esolangs.org/w/index.php?diff=72774&oldid=72759 5* 03PythonshellDebugwindow 5* (+55) 10/* Commands */ > 1590323474 882183 PRIVMSG #esoteric :14[[07Eval14]]4 M10 02https://esolangs.org/w/index.php?diff=72775&oldid=72774 5* 03PythonshellDebugwindow 5* (-110) 10/* Commands */ > 1590323489 691325 PRIVMSG #esoteric :14[[07Eval14]]4 M10 02https://esolangs.org/w/index.php?diff=72776&oldid=72775 5* 03PythonshellDebugwindow 5* (-12) 10 < 1590324007 121203 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1590324205 832049 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 264 seconds < 1590324210 74833 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life > 1590324786 313386 PRIVMSG #esoteric :14[[07Sclipting14]]4 M10 02https://esolangs.org/w/index.php?diff=72777&oldid=45239 5* 03PythonshellDebugwindow 5* (-4) 10/* Interpreter */ update link > 1590325357 722789 PRIVMSG #esoteric :14[[07There Once was an Esolang Named Fred14]]4 M10 02https://esolangs.org/w/index.php?diff=72778&oldid=72767 5* 03Baidicoot 5* (+91) 10 > 1590325392 483751 PRIVMSG #esoteric :14[[07Thue Symbol Sorting Theorem14]]4 M10 02https://esolangs.org/w/index.php?diff=72779&oldid=8097 5* 03PythonshellDebugwindow 5* (+49) 10/* External resources */ wayback > 1590325835 405338 PRIVMSG #esoteric :14[[07Collatz function14]]4 M10 02https://esolangs.org/w/index.php?diff=72780&oldid=56726 5* 03Baidicoot 5* (+122) 10Added link for Wikipedia resource > 1590326924 41465 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/(Unnamed language)14]]4 M10 02https://esolangs.org/w/index.php?diff=72781&oldid=72761 5* 03PythonshellDebugwindow 5* (-40) 10 > 1590327022 346183 PRIVMSG #esoteric :14[[07Graverage14]]4 M10 02https://esolangs.org/w/index.php?diff=72782&oldid=67301 5* 03PythonshellDebugwindow 5* (-18) 10fix link > 1590327572 571655 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/(Unnamed language)14]]4 M10 02https://esolangs.org/w/index.php?diff=72783&oldid=72781 5* 03PythonshellDebugwindow 5* (-3926) 10Blanked the page > 1590327579 397574 PRIVMSG #esoteric :14[[07Grapheme14]]4 N10 02https://esolangs.org/w/index.php?oldid=72784 5* 03PythonshellDebugwindow 5* (+3926) 10Created page with "'''Grapheme''' is an esolang by [[User:PythonshellDebugwindow]] where the only valid characters are uppercase Latin letters. ==Memory== Grapheme uses an unbounded stack, whic..." > 1590327609 931612 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=72785&oldid=72741 5* 03PythonshellDebugwindow 5* (+15) 10/* G */ > 1590327696 942595 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=72786&oldid=72760 5* 03PythonshellDebugwindow 5* (+74) 10/* Languages */ > 1590327717 607378 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=72787&oldid=72785 5* 03PythonshellDebugwindow 5* (+11) 10/* E */ < 1590328094 888281 :andrew_esolang!6d5dc837@109-93-200-55.dynamic.isp.telekom.rs JOIN :#esoteric < 1590328306 6481 :zseri!~zseri@ytrizja.de QUIT :Quit: zseri > 1590328587 44758 PRIVMSG #esoteric :14[[07Grapheme14]]4 M10 02https://esolangs.org/w/index.php?diff=72788&oldid=72784 5* 03PythonshellDebugwindow 5* (+96) 10/* Edge cases */ < 1590329029 887416 :andrew_esolang!6d5dc837@109-93-200-55.dynamic.isp.telekom.rs QUIT :Ping timeout: 245 seconds < 1590329254 859913 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection < 1590329411 303202 :TheLie!~TheLie@89.26.243.56 JOIN :#esoteric < 1590331643 717435 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1590331739 820569 :tromp!~tromp@2a02:a210:ca3:2800:c8a1:ebd:efc1:5d04 QUIT :Remote host closed the connection < 1590332336 677730 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Read error: Connection reset by peer < 1590332540 986378 :tromp!~tromp@2a02:a210:ca3:2800:c8a1:ebd:efc1:5d04 JOIN :#esoteric < 1590333385 788080 :myname!~myname@ks300980.kimsufi.com QUIT :Ping timeout: 264 seconds < 1590334473 805117 :adu!~user@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric < 1590334958 465640 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving > 1590335078 425262 PRIVMSG #esoteric :14[[07Grapheme14]]4 M10 02https://esolangs.org/w/index.php?diff=72789&oldid=72788 5* 03PythonshellDebugwindow 5* (+59) 10/* Normal mode and funcmode */ > 1590335497 819991 PRIVMSG #esoteric :14[[07Grapheme14]]4 M10 02https://esolangs.org/w/index.php?diff=72790&oldid=72789 5* 03PythonshellDebugwindow 5* (+0) 10/* Normal mode and funcmode */ < 1590335552 824594 :zseri!~zseri@ytrizja.de JOIN :#esoteric < 1590335802 801878 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1590336334 893520 :gnu-nobody!~a@176.220.96.233 JOIN :#esoteric < 1590336504 15620 :zseri!~zseri@ytrizja.de QUIT :Quit: zseri < 1590337138 938250 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1590337164 947225 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1590337453 887355 :andrew_esolnag!6d5dc9ef@109-93-201-239.dynamic.isp.telekom.rs JOIN :#esoteric < 1590338504 887428 :andrew_esolnag!6d5dc9ef@109-93-201-239.dynamic.isp.telekom.rs QUIT :Ping timeout: 245 seconds < 1590338507 341835 :gnu-nobody!~a@176.220.96.233 QUIT :Ping timeout: 260 seconds < 1590339101 273464 :myname!~myname@ks300980.kimsufi.com JOIN :#esoteric > 1590339455 343739 PRIVMSG #esoteric :14[[07There Once was an Esolang Named Fred14]]4 10 02https://esolangs.org/w/index.php?diff=72791&oldid=72778 5* 03Baidicoot 5* (+213) 10PROVEN TC > 1590339599 358014 PRIVMSG #esoteric :14[[07 Encrypted 14]]4 N10 02https://esolangs.org/w/index.php?oldid=72792 5* 03Hakerh400 5* (+9804) 10+[[ Encrypted ]] > 1590339610 911811 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=72793&oldid=72787 5* 03Hakerh400 5* (+26) 10+[[ Encrypted ]] > 1590339620 63398 PRIVMSG #esoteric :14[[07User:Hakerh40014]]4 10 02https://esolangs.org/w/index.php?diff=72794&oldid=71500 5* 03Hakerh400 5* (+26) 10+[[ Encrypted ]] > 1590339819 361374 PRIVMSG #esoteric :14[[07There Once was an Esolang Named Fred14]]4 10 02https://esolangs.org/w/index.php?diff=72795&oldid=72791 5* 03Baidicoot 5* (+8) 10/* Turing-Completeness */ < 1590339833 600477 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :i like that name < 1590340170 307119 :gnu-nobody!~a@176.220.96.233 JOIN :#esoteric < 1590340660 238102 :tromp!~tromp@2a02:a210:ca3:2800:c8a1:ebd:efc1:5d04 QUIT :Remote host closed the connection < 1590342035 300404 :TheLie!~TheLie@89.26.243.56 QUIT :Ping timeout: 260 seconds < 1590342145 952814 :gnu-nobody!~a@176.220.96.233 QUIT :Quit: Konversation terminated! < 1590342161 118865 :gnu-nobo1y!~gnu-nobod@176.220.96.233 JOIN :#esoteric < 1590342190 473077 :gnu-nobo1y!~gnu-nobod@176.220.96.233 QUIT :Client Quit < 1590342439 640759 :imode!~linear@unaffiliated/imode JOIN :#esoteric > 1590342526 421343 PRIVMSG #esoteric :14[[07User:Orby/Term rewriting metalanguage14]]4 N10 02https://esolangs.org/w/index.php?oldid=72796 5* 03Orby 5* (+1544) 10Created page with "[[Thue]] is a string rewriting [[matrioshka language]]. That is, it is possible to define TC string rewriting languages within it. Many of the languages I have been tinkering..." > 1590342577 832825 PRIVMSG #esoteric :14[[07User:Orby14]]4 M10 02https://esolangs.org/w/index.php?diff=72797&oldid=72695 5* 03Orby 5* (+84) 10 > 1590343004 957227 PRIVMSG #esoteric :14[[07There Once was an Esolang Named Fred14]]4 10 02https://esolangs.org/w/index.php?diff=72798&oldid=72795 5* 03Baidicoot 5* (+611) 10added 'add' example > 1590343127 841913 PRIVMSG #esoteric :14[[07User:Orby/Term rewriting metalanguage14]]4 10 02https://esolangs.org/w/index.php?diff=72799&oldid=72796 5* 03Orby 5* (+43) 10/* Example */ > 1590343148 938394 PRIVMSG #esoteric :14[[07User:Orby/Term rewriting metalanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=72800&oldid=72799 5* 03Orby 5* (+2) 10/* Example */ > 1590343156 170168 PRIVMSG #esoteric :14[[07There Once was an Esolang Named Fred14]]4 10 02https://esolangs.org/w/index.php?diff=72801&oldid=72798 5* 03Baidicoot 5* (+34) 10/* Example Programs */ < 1590343294 356172 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric > 1590343336 291181 PRIVMSG #esoteric :14[[07There Once was an Esolang Named Fred14]]4 M10 02https://esolangs.org/w/index.php?diff=72802&oldid=72801 5* 03Baidicoot 5* (+135) 10/* Syntax */ > 1590343347 845009 PRIVMSG #esoteric :14[[07There Once was an Esolang Named Fred14]]4 10 02https://esolangs.org/w/index.php?diff=72803&oldid=72802 5* 03Baidicoot 5* (-10) 10 > 1590343376 243637 PRIVMSG #esoteric :14[[07There Once was an Esolang Named Fred14]]4 M10 02https://esolangs.org/w/index.php?diff=72804&oldid=72803 5* 03Baidicoot 5* (-13) 10/* Example Programs */ > 1590343988 432001 PRIVMSG #esoteric :14[[07There Once was an Esolang Named Fred14]]4 M10 02https://esolangs.org/w/index.php?diff=72805&oldid=72804 5* 03Baidicoot 5* (+96) 10/* Turing-Completeness */ > 1590344247 498425 PRIVMSG #esoteric :14[[07There Once was an Esolang Named Fred14]]4 10 02https://esolangs.org/w/index.php?diff=72806&oldid=72805 5* 03Baidicoot 5* (+15) 10/* Syntax */ > 1590344303 702050 PRIVMSG #esoteric :14[[07There Once was an Esolang Named Fred14]]4 M10 02https://esolangs.org/w/index.php?diff=72807&oldid=72806 5* 03Baidicoot 5* (-36) 10 > 1590344835 329890 PRIVMSG #esoteric :14[[07B^214]]4 M10 02https://esolangs.org/w/index.php?diff=72808&oldid=72764 5* 03UltimateProGrammer 5* (+172) 10Added run support note. > 1590345062 867169 PRIVMSG #esoteric :14[[07B^214]]4 10 02https://esolangs.org/w/index.php?diff=72809&oldid=72808 5* 03UltimateProGrammer 5* (+146) 10Added link to editor < 1590345224 846710 :tromp!~tromp@2a02:a210:ca3:2800:c8a1:ebd:efc1:5d04 JOIN :#esoteric > 1590345272 870666 PRIVMSG #esoteric :14[[07Special:Log/upload14]]4 upload10 02 5* 03UltimateProGrammer 5* 10uploaded "[[02File:B^2 Editor New.png10]]" > 1590345310 142668 PRIVMSG #esoteric :14[[07B^214]]4 M10 02https://esolangs.org/w/index.php?diff=72811&oldid=72809 5* 03UltimateProGrammer 5* (-22) 10 > 1590345866 803673 PRIVMSG #esoteric :14[[07Talk:B^214]]4 N10 02https://esolangs.org/w/index.php?oldid=72812 5* 03Palaiologos 5* (+221) 10Created page with "Is this an esoteric language? Looking at the goals and claims about efficiency, maybe the language doesn't really belong here? --~~~~" > 1590345947 267264 PRIVMSG #esoteric :14[[07Talk:B^214]]4 M10 02https://esolangs.org/w/index.php?diff=72813&oldid=72812 5* 03Palaiologos 5* (+117) 10computational class? > 1590346959 988804 PRIVMSG #esoteric :14[[07Funciton/Quine14]]4 M10 02https://esolangs.org/w/index.php?diff=72814&oldid=46122 5* 03PythonshellDebugwindow 5* (+28) 10link < 1590346982 830432 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric > 1590347208 526873 PRIVMSG #esoteric :14[[07UniCode14]]4 M10 02https://esolangs.org/w/index.php?diff=72815&oldid=32083 5* 03PythonshellDebugwindow 5* (+34) 10cat + style > 1590347466 57488 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/XShell14]]4 M10 02https://esolangs.org/w/index.php?diff=72816&oldid=71918 5* 03PythonshellDebugwindow 5* (+171) 10 > 1590347480 313826 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/XShell14]]4 M10 02https://esolangs.org/w/index.php?diff=72817&oldid=72816 5* 03PythonshellDebugwindow 5* (+0) 10/* Builtins */ > 1590347690 211342 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/XShell14]]4 M10 02https://esolangs.org/w/index.php?diff=72818&oldid=72817 5* 03PythonshellDebugwindow 5* (+62) 10/* Examples */ < 1590347794 354431 :zseri!~zseri@ytrizja.de JOIN :#esoteric > 1590349129 34883 PRIVMSG #esoteric :14[[07User:Orby/Term rewriting metalanguage14]]4 10 02https://esolangs.org/w/index.php?diff=72819&oldid=72800 5* 03Orby 5* (+534) 10 < 1590349502 207366 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1590351021 527519 :robert_eo!~robert@2600:1700:9f00:8e50::42 JOIN :#esoteric < 1590351256 612926 :robert_eo!~robert@2600:1700:9f00:8e50::42 PART #esoteric :"Leaving" < 1590351883 446462 :zseri!~zseri@ytrizja.de QUIT :Quit: zseri < 1590352228 915125 :andrewtheircer__!6d5dd6b6@109-93-214-182.dynamic.isp.telekom.rs JOIN :#esoteric < 1590352344 305438 :andrewtheircer__!6d5dd6b6@109-93-214-182.dynamic.isp.telekom.rs QUIT :Remote host closed the connection < 1590352415 968527 :tromp!~tromp@2a02:a210:ca3:2800:c8a1:ebd:efc1:5d04 QUIT :Remote host closed the connection < 1590353305 923601 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric < 1590354684 870718 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving < 1590354892 600825 :baidicoot!~baidicoot@cpc85742-newc19-2-0-cust179.16-2.cable.virginm.net JOIN :#esoteric < 1590354974 869889 :baidicoot!~baidicoot@cpc85742-newc19-2-0-cust179.16-2.cable.virginm.net PRIVMSG #esoteric :How does one go about relabeling a language so that it *vaguely, kind of* represents natural language? any tips/references? < 1590355087 908791 :baidicoot!~baidicoot@cpc85742-newc19-2-0-cust179.16-2.cable.virginm.net PRIVMSG #esoteric :also, `multinational league for esoteric programming proliferation, protection, and protestation`? < 1590355544 841391 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds > 1590355877 537070 PRIVMSG #esoteric :14[[07User:Orby/Term rewriting metalanguage14]]4 10 02https://esolangs.org/w/index.php?diff=72820&oldid=72819 5* 03Orby 5* (+1254) 10 < 1590355918 773947 :orbitaldecay!~bob@forder.cc PRIVMSG #esoteric :baidicoot: There is a category on the wiki called psuedonatural. That might be a good place to start. < 1590355933 757952 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1590356035 257127 PRIVMSG #esoteric :14[[07(1) Grace sent you a message14]]4 N10 02https://esolangs.org/w/index.php?oldid=72821 5* 03Hakerh400 5* (+1868) 10+[[(1) Grace sent you a message]] > 1590356043 780246 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=72822&oldid=72793 5* 03Hakerh400 5* (+35) 10+[[(1) Grace sent you a message]] > 1590356048 74569 PRIVMSG #esoteric :14[[07User:Hakerh40014]]4 10 02https://esolangs.org/w/index.php?diff=72823&oldid=72794 5* 03Hakerh400 5* (+35) 10+[[(1) Grace sent you a message]] > 1590356171 651243 PRIVMSG #esoteric :14[[07User:Orby/Term rewriting metalanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=72824&oldid=72820 5* 03Orby 5* (+6) 10 < 1590356486 837466 :arseniiv!~arseniiv@94.41.226.83.dynamic.ufanet.ru QUIT :Ping timeout: 272 seconds < 1590356560 803523 :adu!~user@c-73-129-154-238.hsd1.md.comcast.net QUIT :Ping timeout: 256 seconds > 1590357192 464937 PRIVMSG #esoteric :14[[07User:Orby/Term rewriting metalanguage14]]4 10 02https://esolangs.org/w/index.php?diff=72825&oldid=72824 5* 03Orby 5* (+643) 10 > 1590357241 829570 PRIVMSG #esoteric :14[[07User:Orby/Term rewriting metalanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=72826&oldid=72825 5* 03Orby 5* (+15) 10/* Examples */ > 1590357466 821153 PRIVMSG #esoteric :14[[07User:Orby/Term rewriting metalanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=72827&oldid=72826 5* 03Orby 5* (+8) 10/* As a Thue extension */ > 1590357479 995055 PRIVMSG #esoteric :14[[07User:Orby/Term rewriting metalanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=72828&oldid=72827 5* 03Orby 5* (-3) 10/* As a Thue extension */ < 1590358145 682762 :adu!~user@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric < 1590358625 435263 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :is there any language/esolang that consists exclusively of parentheses? don't say lisp. :P < 1590358773 60541 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1590359183 180729 :b_jonas!~x@catv-176-63-11-253.catv.broadband.hu PRIVMSG #esoteric :imode: brainfuck. it has three types of parenthesis: [] <> and +- < 1590359242 86661 :b_jonas!~x@catv-176-63-11-253.catv.broadband.hu PRIVMSG #esoteric :or Incident, where every identifier appears three times like < | > with the three doing different things, and they match up and know where the other two are < 1590359305 275518 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :sorry, I guess I should specify: balanced parentheses. < 1590359321 124364 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :no other characters other than ( and ). < 1590359446 151166 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :+ and - aren't strictly balanced, neither are < and >. < 1590360535 431876 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :https://esolangs.org/wiki/() -- it's not the easiest-to-parse description, but looking at the JS implementation, it looks somewhat likely that it requires the balance. < 1590360549 338085 :tromp!~tromp@2a02:a210:ca3:2800:71df:c2ab:11db:a8c0 JOIN :#esoteric < 1590360626 331309 :tromp_!~tromp@2a02:a210:ca3:2800:f89c:3e8c:c04f:1c11 JOIN :#esoteric < 1590360835 316192 :tromp!~tromp@2a02:a210:ca3:2800:71df:c2ab:11db:a8c0 QUIT :Ping timeout: 272 seconds < 1590360911 332270 :tromp_!~tromp@2a02:a210:ca3:2800:f89c:3e8c:c04f:1c11 QUIT :Ping timeout: 272 seconds < 1590361313 6397 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net JOIN :#esoteric < 1590361341 615026 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net QUIT :Remote host closed the connection < 1590361368 17487 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net JOIN :#esoteric < 1590362263 28657 :b_jonas!~x@catv-176-63-11-253.catv.broadband.hu PRIVMSG #esoteric :imode: I guess you could consider Amicus, since its only data types is (finite) lists that can have any length and can have any list at every element, so if you write them with just parenthesis without the commas it's unambiguous, and any balanced parenthesis sequence is a valid object < 1590362278 790280 :b_jonas!~x@catv-176-63-11-253.catv.broadband.hu PRIVMSG #esoteric :(some of them won't work as programs, but you can only find that out in runtime) < 1590362321 768552 :b_jonas!~x@catv-176-63-11-253.catv.broadband.hu PRIVMSG #esoteric :(there are some undefined cases in the syntax that could be used for extensions, but you can't predict without running the program if you run onto one, and any object is valid as data) < 1590362355 871694 :b_jonas!~x@catv-176-63-11-253.catv.broadband.hu PRIVMSG #esoteric :Amycus even more so, because it has some operations to compose lists < 1590362485 377011 :b_jonas!~x@catv-176-63-11-253.catv.broadband.hu PRIVMSG #esoteric :it still can't decompose lists, so you mostly use them to compose lists that happen to be parts of programs < 1590362489 341274 :b_jonas!~x@catv-176-63-11-253.catv.broadband.hu PRIVMSG #esoteric :but still < 1590362509 167806 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :neat! < 1590362872 191333 :tromp!~tromp@2a02:a210:ca3:2800:f89c:3e8c:c04f:1c11 JOIN :#esoteric < 1590363132 257568 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Shouldn't be hard? () = S, ()() or (()) = K, anything else braces. < 1590363167 180570 :tromp!~tromp@2a02:a210:ca3:2800:f89c:3e8c:c04f:1c11 QUIT :Ping timeout: 260 seconds > 1590363229 254888 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/XShell14]]4 M10 02https://esolangs.org/w/index.php?diff=72829&oldid=72818 5* 03PythonshellDebugwindow 5* (+1) 10/* Truth-machine */ < 1590363342 541185 :b_jonas!~x@catv-176-63-11-253.catv.broadband.hu PRIVMSG #esoteric :hmm no, apparently Amycus does have some ways to deconstruct lists (if you have a bound on their length) < 1590363357 50664 :b_jonas!~x@catv-176-63-11-253.catv.broadband.hu PRIVMSG #esoteric :I don't know how that works. probably magic. < 1590363481 25859 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :is the guy who did the postfix/"forth-like" combinatory logic interpreter still here? < 1590363695 811623 :orbitaldecay!~bob@forder.cc PRIVMSG #esoteric :I am < 1590363718 405970 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :made any progress with it? < 1590363750 967653 :orbitaldecay!~bob@forder.cc PRIVMSG #esoteric :I did. See the skiforth page. There is now a bootable iso. < 1590363795 817355 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :interesting. what made you use postfix instead of prefix? < 1590363880 931323 :orbitaldecay!~bob@forder.cc PRIVMSG #esoteric :Though I''ve since moved on to so called concatenative combinators, which are better suited for the task (see clementine). I used postfix because I thought it worked more nicely with the forth-like word definitions. < 1590363978 554038 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :interesting, are you intending on using quotes or stringing stuff together via apply. < 1590364022 764606 :orbitaldecay!~bob@forder.cc PRIVMSG #esoteric :The later. It has a strong postfix unlambda feel to it. < 1590364118 574614 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :interesting. < 1590364125 685154 :orbitaldecay!~bob@forder.cc PRIVMSG #esoteric :Though at this point I really consider skiforth an intellectual stepping stone to clementine, which I find much more elegant < 1590364170 358115 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :been trying to find the "elegance" in combinators lately, concatenative or otherwise. < 1590364206 388047 :orbitaldecay!~bob@forder.cc PRIVMSG #esoteric :As skiforth doesn't support arbitrary stack manipulation, but clementine does while maintaining roughly the same level of simplicity < 1590364218 646870 :orbitaldecay!~bob@forder.cc PRIVMSG #esoteric :I really like combinators < 1590364236 349897 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I don't have the headspace for them, I guess. < 1590364290 763198 :orbitaldecay!~bob@forder.cc PRIVMSG #esoteric :I find it useful to think of them as term rewriting languages < 1590364361 496807 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :trying to reconcile the imperative part of my brain with the expression-oriented part of my brain and then tack combinators on to that is a hassle. I have a rewriting language but I don't like it, because it presupposes the idea of lists of things. < 1590364447 669166 :orbitaldecay!~bob@forder.cc PRIVMSG #esoteric :I started with lambda calculus and learned combinators as a simplification of that, which I think is an easier step to take < 1590364582 325215 :orbitaldecay!~bob@forder.cc PRIVMSG #esoteric :I'm currently working on something that I think is going to end up being a term rewriting extension to thue < 1590364598 888437 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :you'd like my language then. < 1590364621 761249 :orbitaldecay!~bob@forder.cc PRIVMSG #esoteric :Do you have anything documented? < 1590364626 320556 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :one sec. < 1590364631 499330 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :will give you my sketch. < 1590364647 238364 :orbitaldecay!~bob@forder.cc PRIVMSG #esoteric :Cool < 1590364690 117063 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :https://hatebin.com/nfyprzklqo < 1590364749 823823 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :https://repl.it/repls/ShorttermGrimProjections < 1590364771 751496 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :it's a rewrite language in the style of thue (no vars, just replacement rules).