< 1775351112 120456 :amby!~ambylastn@host-81-178-153-130.as13285.net QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement > 1775351139 603310 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Aidanace3 5* 10New user account < 1775351482 615209 :Hooloovoo!~Hooloovoo@hax0rbana.org QUIT :Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in < 1775351602 363713 :Hooloovoo!~Hooloovoo@hax0rbana.org JOIN #esolangs hooloovoo :Hooloovoo < 1775351620 659908 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :int-e and sorear both wrote sorter things for E101 but the debian pastebin expired. I saved sorear's < 1775352264 20200 :aadenboy!~aadenboy@172.56.104.200 QUIT :Quit: goodbye for now! back another day < 1775352349 894785 :int-e!~noone@int-e.eu PRIVMSG #esolangs :really < 1775353181 464058 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :...or maybe it was pseudocode, sorry. < 1775353184 468420 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :I don't remember < 1775353205 255726 :int-e!~noone@int-e.eu PRIVMSG #esolangs :it's likely lost anyway < 1775354704 366562 :op_4!~tslil@user/op-4/x-9116473 QUIT :Remote host closed the connection < 1775354742 627677 :op_4!~tslil@user/op-4/x-9116473 JOIN #esolangs op_4 :op_4 < 1775354944 323982 :tromp!~textual@2001:1c00:340e:2700:795f:6a6f:7cb5:ecd6 JOIN #esolangs * :Textual User < 1775354969 834823 :tromp!~textual@2001:1c00:340e:2700:795f:6a6f:7cb5:ecd6 QUIT :Client Quit > 1775357537 687362 PRIVMSG #esolangs :14[[07Septem Lingua14]]4 10 02https://esolangs.org/w/index.php?diff=179012&oldid=178998 5* 03PrySigneToFry 5* (+257) 10 < 1775361458 929650 :impomatic!~impomatic@lock-04-b2-v4wan-171175-cust377.vm10.cable.virginm.net QUIT :Quit: Client closed > 1775361797 871813 PRIVMSG #esolangs :14[[07Here's Some Predefined Stuff. Now Go Invent Everything Else14]]4 10 02https://esolangs.org/w/index.php?diff=179013&oldid=179001 5* 03ZachMadeAnAltBecauseHeLostThePassword 5* (+2633) 10update :DDD > 1775362243 503260 PRIVMSG #esolangs :14[[07Here's Some Predefined Stuff. Now Go Invent Everything Else14]]4 M10 02https://esolangs.org/w/index.php?diff=179014&oldid=179013 5* 03ZachMadeAnAltBecauseHeLostThePassword 5* (+102) 10i forgor the categories and some stuff < 1775362541 622003 :dragoneater68!~dragoneat@95.57.175.228.dynamic.telecom.kz JOIN #esolangs * :[https://web.libera.chat] dragoneater68 < 1775362543 265463 :dragoneater68!~dragoneat@95.57.175.228.dynamic.telecom.kz PRIVMSG #esolangs :hi < 1775362579 38412 :dragoneater68!~dragoneat@95.57.175.228.dynamic.telecom.kz QUIT :Client Quit < 1775362598 621652 :dragoneater68!~dragoneat@95.57.175.228.dynamic.telecom.kz JOIN #esolangs * :[https://web.libera.chat] dragoneater68 < 1775362619 848489 :dragoneater68!~dragoneat@95.57.175.228.dynamic.telecom.kz QUIT :Client Quit < 1775363008 901012 :somefan!~somefan@208.58.192.69 CHGHOST ~somefan :user/somefan < 1775363178 621475 :dragoneater68!~dragoneat@95.57.175.228.dynamic.telecom.kz JOIN #esolangs * :[https://web.libera.chat] dragoneater68 < 1775363401 628247 :dragoneater5!~dragoneat@95.57.175.228.dynamic.telecom.kz JOIN #esolangs * :[https://web.libera.chat] dragoneater68 < 1775363416 594838 :dragoneater5!~dragoneat@95.57.175.228.dynamic.telecom.kz PRIVMSG #esolangs :wow i love libera online client so much < 1775363437 622645 :dragoneater68!~dragoneat@95.57.175.228.dynamic.telecom.kz QUIT :Ping timeout: 245 seconds < 1775363527 633823 :dragoneater68!~dragoneat@95.57.175.228.dynamic.telecom.kz JOIN #esolangs * :[https://web.libera.chat] dragoneater68 < 1775363536 803574 :dragoneater68!~dragoneat@95.57.175.228.dynamic.telecom.kz PRIVMSG #esolangs :oh my nickname is back < 1775363622 568108 :dragoneater68!~dragoneat@95.57.175.228.dynamic.telecom.kz QUIT :Client Quit < 1775363662 621356 :dragoneater5!~dragoneat@95.57.175.228.dynamic.telecom.kz QUIT :Ping timeout: 245 seconds > 1775363889 245415 PRIVMSG #esolangs :14[[07Here's Some Predefined Stuff. Now Go Invent Everything Else14]]4 M10 02https://esolangs.org/w/index.php?diff=179015&oldid=179014 5* 03ZachMadeAnAltBecauseHeLostThePassword 5* (+650) 10misclick > 1775363943 386594 PRIVMSG #esolangs :14[[07Here's Some Predefined Stuff. Now Go Invent Everything Else14]]4 M10 02https://esolangs.org/w/index.php?diff=179016&oldid=179015 5* 03ZachMadeAnAltBecauseHeLostThePassword 5* (+18) 10categories gone wrong < 1775365219 621228 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:6584:3128:2f35:72cb JOIN #esolangs * :[https://web.libera.chat] Yayimhere > 1775365817 361113 PRIVMSG #esolangs :14[[07Minus14]]4 10 02https://esolangs.org/w/index.php?diff=179017&oldid=99659 5* 03Tpaefawzen 5* (-38) 10/* External resources */ url updated > 1775366546 976605 PRIVMSG #esolangs :14[[07Minus14]]4 10 02https://esolangs.org/w/index.php?diff=179018&oldid=179017 5* 03Tpaefawzen 5* (+475) 10Two levels of specs > 1775367156 794799 PRIVMSG #esolangs :14[[07Minus14]]4 10 02https://esolangs.org/w/index.php?diff=179019&oldid=179018 5* 03Tpaefawzen 5* (+29) 10/* Extensions */ +1 < 1775368154 804516 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1775368449 279343 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:6584:3128:2f35:72cb PRIVMSG #esolangs :hi < 1775368906 603992 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :hi Yayimhere < 1775368917 654165 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:6584:3128:2f35:72cb PRIVMSG #esolangs :hi ais523! < 1775368929 973828 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:6584:3128:2f35:72cb PRIVMSG #esolangs :how are ya doin? < 1775369004 943773 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :much the same as yesterday I think > 1775369235 580033 PRIVMSG #esolangs :14[[07The Second Coming14]]4 10 02https://esolangs.org/w/index.php?diff=179020&oldid=178579 5* 03PrySigneToFry 5* (+88) 10 < 1775369249 991509 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:6584:3128:2f35:72cb PRIVMSG #esolangs :huh < 1775369454 308023 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:6584:3128:2f35:72cb PRIVMSG #esolangs :me myself am fine, just a little sleepy < 1775369466 544303 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:6584:3128:2f35:72cb PRIVMSG #esolangs :(i woke up like an hour ago) > 1775370261 958649 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03RedboiVR 5* 10New user account < 1775372072 36178 :tromp!~textual@2001:1c00:340e:2700:795f:6a6f:7cb5:ecd6 JOIN #esolangs * :Textual User < 1775373875 631957 :tromp!~textual@2001:1c00:340e:2700:795f:6a6f:7cb5:ecd6 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1775374234 49165 :tromp!~textual@2001:1c00:340e:2700:795f:6a6f:7cb5:ecd6 JOIN #esolangs * :Textual User < 1775374332 814486 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:6584:3128:2f35:72cb QUIT :Quit: Client closed > 1775374442 127925 PRIVMSG #esolangs :14[[07+!14]]4 10 02https://esolangs.org/w/index.php?diff=179021&oldid=147002 5* 03Yayimhere2(school) 5* (-2) 10remove extra newlines at the start of the page > 1775374451 474638 PRIVMSG #esolangs :14[[07+!14]]4 10 02https://esolangs.org/w/index.php?diff=179022&oldid=179021 5* 03Yayimhere2(school) 5* (-1) 10 > 1775374928 602968 PRIVMSG #esolangs :14[[07Minus14]]4 10 02https://esolangs.org/w/index.php?diff=179023&oldid=179019 5* 03Tpaefawzen 5* (+167) 10/* Basics */ < 1775378827 152822 :Sgeo!~Sgeo@user/sgeo QUIT :Ping timeout: 264 seconds < 1775379827 562351 :tromp!~textual@2001:1c00:340e:2700:795f:6a6f:7cb5:ecd6 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1775380179 733302 :tromp!~textual@2001:1c00:340e:2700:795f:6a6f:7cb5:ecd6 JOIN #esolangs * :Textual User > 1775380917 175539 PRIVMSG #esolangs :14[[07Talk:Mhm!14]]4 10 02https://esolangs.org/w/index.php?diff=179024&oldid=178890 5* 03Yayimhere2(school) 5* (+155) 10/* Negative indexed cells? */ > 1775381011 131883 PRIVMSG #esolangs :14[[07Talk:Mhm!14]]4 10 02https://esolangs.org/w/index.php?diff=179025&oldid=179024 5* 03Yayimhere2(school) 5* (+1) 10/* Negative indexed cells? */ < 1775381409 624279 :impomatic!~impomatic@lock-04-b2-v4wan-171175-cust377.vm10.cable.virginm.net JOIN #esolangs * :[https://web.libera.chat] impomatic > 1775382296 874993 PRIVMSG #esolangs :14[[07Septem Lingua14]]4 10 02https://esolangs.org/w/index.php?diff=179026&oldid=179012 5* 03Cleverxia 5* (+1575) 10/* math */ > 1775382392 713673 PRIVMSG #esolangs :14[[07Septem Lingua14]]4 10 02https://esolangs.org/w/index.php?diff=179027&oldid=179026 5* 03Cleverxia 5* (+128) 10/* math.googology */ > 1775382843 126388 PRIVMSG #esolangs :14[[07Mathlang14]]4 M10 02https://esolangs.org/w/index.php?diff=179028&oldid=178975 5* 03Cleverxia 5* (+215) 10/* Commands */ fix a lot of bugs to interpret it, the most important being mixing postfix and infix > 1775382991 806894 PRIVMSG #esolangs :14[[07Mathlang14]]4 M10 02https://esolangs.org/w/index.php?diff=179029&oldid=179028 5* 03Cleverxia 5* (+121) 10/* Examples */ > 1775384508 62724 PRIVMSG #esolangs :14[[07User:None1/InDev14]]4 10 02https://esolangs.org/w/index.php?diff=179030&oldid=176275 5* 03None1 5* (-523) 10Change spec of whole language, the older one cease to exist > 1775384634 198542 PRIVMSG #esolangs :14[[07Functionable14]]4 10 02https://esolangs.org/w/index.php?diff=179031&oldid=178868 5* 03PKMN Trainer 5* (+3) 10/* Hello World */ < 1775386760 532955 :ais523!~ais523@user/ais523 QUIT :Quit: quit < 1775387470 247311 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 JOIN #esolangs DOS_User :[https://web.libera.chat] DOS_User_webchat < 1775389498 770257 :tromp!~textual@2001:1c00:340e:2700:795f:6a6f:7cb5:ecd6 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1775390197 40510 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 QUIT :Quit: Client closed < 1775391638 225050 :DOS_User!~DOS_User@user/DOS-User:11249 JOIN #esolangs DOS_User :realname < 1775391656 659896 :DOS_User!~DOS_User@user/DOS-User:11249 QUIT :Client Quit < 1775392427 167895 :amby!~ambylastn@host-81-178-153-130.as13285.net JOIN #esolangs * :realname > 1775392826 783700 PRIVMSG #esolangs :14[[07Codesh ()14]]4 10 02https://esolangs.org/w/index.php?diff=179032&oldid=178951 5* 03StavWasPlayZ 5* (+2481) 10 > 1775392884 360517 PRIVMSG #esolangs :14[[07Codesh ()14]]4 M10 02https://esolangs.org/w/index.php?diff=179033&oldid=179032 5* 03StavWasPlayZ 5* (+1) 10 > 1775392934 902942 PRIVMSG #esolangs :14[[07Codesh ()14]]4 M10 02https://esolangs.org/w/index.php?diff=179034&oldid=179033 5* 03StavWasPlayZ 5* (+0) 10 > 1775393075 594913 PRIVMSG #esolangs :14[[07Codesh ()14]]4 10 02https://esolangs.org/w/index.php?diff=179035&oldid=179034 5* 03StavWasPlayZ 5* (-134) 10 > 1775393100 638217 PRIVMSG #esolangs :14[[07Codesh ()14]]4 10 02https://esolangs.org/w/index.php?diff=179036&oldid=179035 5* 03StavWasPlayZ 5* (-52) 10 > 1775393336 543070 PRIVMSG #esolangs :14[[07Codesh ()14]]4 10 02https://esolangs.org/w/index.php?diff=179037&oldid=179036 5* 03StavWasPlayZ 5* (+109) 10 < 1775394180 907130 :tromp!~textual@2001:1c00:340e:2700:795f:6a6f:7cb5:ecd6 JOIN #esolangs * :Textual User > 1775394800 26146 PRIVMSG #esolangs :14[[07User:None1/InDev14]]4 10 02https://esolangs.org/w/index.php?diff=179038&oldid=179030 5* 03None1 5* (+310) 10 < 1775395586 883746 :svm!~msv@user/msv NICK :msv < 1775397460 94440 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: Oh the riscv PR got merged without further ado. Yay. < 1775397934 909825 :ursa-major!114efe6c39@2a03:6000:1812:100::11f3 QUIT :Remote host closed the connection < 1775397934 989456 :gbrls!bce83f28c2@user/gbrls QUIT :Remote host closed the connection < 1775397935 88379 :ManDeJan!3da94070ba@user/mandejan QUIT :Remote host closed the connection < 1775397935 162233 :dcreager!a9e780c4d1@2a03:6000:1812:100::136b QUIT :Remote host closed the connection < 1775397949 134903 :ManDeJan!3da94070ba@user/mandejan JOIN #esolangs ManDeJan :ManDeJan < 1775398197 719806 :dragoneater67!~dragoneat@user/dragoneater67 PRIVMSG #esolangs :int-e: congrats < 1775398589 886740 :dcreager!a9e780c4d1@2a03:6000:1812:100::136b JOIN #esolangs dcreager :Douglas Creager < 1775398626 237930 :ursa-major!114efe6c39@2a03:6000:1812:100::11f3 JOIN #esolangs ursa-major :Bailey Bjornstad < 1775398637 999240 :gbrls!bce83f28c2@user/gbrls JOIN #esolangs gbrls :gbrls < 1775398680 265265 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :int-e: yes, but we have to wait until it propagates from the source into the downloadable documents < 1775398971 308044 :int-e!~noone@int-e.eu PRIVMSG #esolangs :right < 1775399435 974618 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :this reminds me of https://sourceware.org/bugzilla/show_bug.cgi?id=21383 , though that turned out to be a bug in the tool used for format conversion (texinfo) < 1775399608 330214 :tromp!~textual@2001:1c00:340e:2700:795f:6a6f:7cb5:ecd6 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1775401341 864203 :tromp!~textual@2001:1c00:340e:2700:795f:6a6f:7cb5:ecd6 JOIN #esolangs * :Textual User > 1775404467 37972 PRIVMSG #esolangs :14[[07Cattaratus14]]4 N10 02https://esolangs.org/w/index.php?oldid=179039 5* 03RixTheTyrunt 5* (+2315) 10Created page with "{{Lowercase}}{{WIP}}{{Stub}} {{infobox proglang | name=cattaratus | author=[[User:RixTheTyrunt]] | year=[[:Category:2026|2026]] | class=Unknown | dimensions=[[:Category:Two-dimensional languages|Two-dimensional]] }} '''cattaratus''' is a two dimensional esoteric > 1775405631 13979 PRIVMSG #esolangs :14[[07Talk:Mhm!14]]4 10 02https://esolangs.org/w/index.php?diff=179040&oldid=179025 5* 03Aadenboy 5* (+357) 10 < 1775407201 341095 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1775407723 772169 :tromp!~textual@2001:1c00:340e:2700:795f:6a6f:7cb5:ecd6 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1775408112 328722 PRIVMSG #esolangs :14[[07Talk:Mhm!14]]4 10 02https://esolangs.org/w/index.php?diff=179041&oldid=179040 5* 03Yayimhere2(school) 5* (+53) 10/* Negative indexed cells? */ > 1775408287 255387 PRIVMSG #esolangs :14[[07Codesh ()14]]4 10 02https://esolangs.org/w/index.php?diff=179042&oldid=179037 5* 03StavWasPlayZ 5* (+222) 10 > 1775408438 269092 PRIVMSG #esolangs :14[[07Mhm!14]]4 10 02https://esolangs.org/w/index.php?diff=179043&oldid=179011 5* 03Yayimhere2(school) 5* (+118) 10I did a rewrite to make the memory space a little more intuitive/easy to understand, feel free to correct any mistakes. Note that I "flipped" the tape, since it makes sense because the positive indexed cells cant be indexed < 1775408586 805534 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) > 1775408772 823079 PRIVMSG #esolangs :14[[07Mhm!14]]4 10 02https://esolangs.org/w/index.php?diff=179044&oldid=179043 5* 03Aadenboy 5* (-13) 10flipping these > 1775408865 323332 PRIVMSG #esolangs :14[[07Mhm!14]]4 10 02https://esolangs.org/w/index.php?diff=179045&oldid=179044 5* 03Yayimhere2(school) 5* (+33) 10/* Memory */ > 1775408903 873449 PRIVMSG #esolangs :14[[07Mhm!14]]4 10 02https://esolangs.org/w/index.php?diff=179046&oldid=179045 5* 03Aadenboy 5* (+11) 100 indexed > 1775408940 852176 PRIVMSG #esolangs :14[[07Mhm!14]]4 10 02https://esolangs.org/w/index.php?diff=179047&oldid=179046 5* 03Aadenboy 5* (-1) 10forgot this < 1775409156 453363 :aadenboy!~aadenboy@172.56.104.200 JOIN #esolangs * :11,8aadenboy — it's pronounced [ˈejËŒdÉ›nbÉ < 1775409163 784515 :aadenboy!~aadenboy@172.56.104.200 PRIVMSG #esolangs :morning < 1775409203 576448 :somefan!~somefan@user/somefan PRIVMSG #esolangs :hello > 1775409672 846297 PRIVMSG #esolangs :14[[07Mhm!14]]4 10 02https://esolangs.org/w/index.php?diff=179048&oldid=179047 5* 03Aadenboy 5* (-258) 10/* A+B Problem */ redid the program > 1775409692 67047 PRIVMSG #esolangs :14[[07A+B Problem14]]4 10 02https://esolangs.org/w/index.php?diff=179049&oldid=178840 5* 03Aadenboy 5* (+405) 10/* Mhm! */ update this > 1775409738 966395 PRIVMSG #esolangs :14[[07User:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=179050&oldid=178838 5* 03Aadenboy 5* (-105) 10update Mhm! program < 1775409790 599905 :tromp!~textual@2001:1c00:340e:2700:795f:6a6f:7cb5:ecd6 JOIN #esolangs * :Textual User < 1775410436 279481 :Thelie!~Thelie@2a03:9b40:2009:1900:525f:fb13:352b:695e JOIN #esolangs Thelie :Thelie < 1775411105 623445 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf JOIN #esolangs * :[https://web.libera.chat] Yayimhere < 1775411115 800371 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :hi! < 1775411173 399168 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :hi < 1775411193 410141 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :how are ya' doing today? < 1775411218 17624 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :(me myself am good, the creative juices are flowing well) < 1775411315 996249 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yet another respected computer scientist has lost their mind to a chatbot: https://lobste.rs/s/063ldo/why_lean < 1775411337 311994 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :wow < 1775411345 155892 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :lost their mind in what sense of the expression < 1775411350 91191 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :<+ < 1775411351 857252 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :*? < 1775411444 541114 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :In terms of Hofstadter minds, I mean that they partially exported their cognition to the chatbot. The chatbot isn't a deterministic tool or reliable physical artifact, so the export is never complete; the resulting mind can't perceive that a huge bite has been taken out of it. < 1775411473 874173 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :aah < 1775411495 492599 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Think of a glove. When you put on the glove, for a few minutes, everything feels strange to your fingers. But eventually you adapt and you can treat the glove as if it were your actual hand, because the signals transmitted to your brain are now glove-encoded instead of bare-hand-encoded. < 1775411517 771355 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :And then when you take it off, your brain adjusts again. We've done experiments replicating this effect for vision, hearing, and a few other senses. < 1775411520 750958 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :yea that makes sense < 1775411592 300389 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Anyway, this guy's one of the authors of Lean. I think Lean sucks, but that's just my personal opinion. Here, he says a lot of wrong and misleading things about Lean in order to promote it. That seems normal for a marketer or intern, but he's a senior researcher and one of the original authors! < 1775411596 853794 :Thelie!~Thelie@2a03:9b40:2009:1900:525f:fb13:352b:695e QUIT :Quit: Leaving. < 1775411601 183555 :Thelie1!~Thelie@185.13.31.202 JOIN #esolangs * :Thelie < 1775411615 550979 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :yea thats pretty wild < 1775411637 563527 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :ive never heard of lean myself, but I dont suspect it being worth the time to look into < 1775411670 784534 :aadenboy!~aadenboy@172.56.104.200 PRIVMSG #esolangs :hello Yayimhere! < 1775411674 566232 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :You should definitely take a look so that you can recognize its syntax. However, if you actually want to *use* it, I would politely suggest that you try Idris 2 instead; Idris is a much simpler language with roughly the same quality of tooling. < 1775411698 942013 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :aadenboy: Hello! how are ya doin? < 1775411712 599601 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :and what did you think of my... clarification? rewrite? who knows < 1775411733 124963 :aadenboy!~aadenboy@172.56.104.200 PRIVMSG #esolangs :I'm good! and your clarification was helpful < 1775411739 470627 :aadenboy!~aadenboy@172.56.104.200 PRIVMSG #esolangs :def good choice to flip the tape around < 1775411748 27413 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :thanks! < 1775411760 220600 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :though perhaps the choice of symbols will be a little strange now < 1775411763 91085 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :lul < 1775411782 597507 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :also, I assume unusable cells cannot be nested into < 1775411787 322949 :aadenboy!~aadenboy@172.56.104.200 PRIVMSG #esolangs :yea < 1775411793 340364 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :korvo: ok, will do at some point < 1775411793 830179 :aadenboy!~aadenboy@172.56.104.200 PRIVMSG #esolangs :I flipped the commands around so they make sense too < 1775411802 48045 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :aadenboy: nice! < 1775411833 263517 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :(right now im trying to look into Stratego/XT, which is taking a bit of time cuz im getting distracted) < 1775411893 924859 :aadenboy!~aadenboy@172.56.104.200 PRIVMSG #esolangs :what's that? < 1775411908 42793 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :a software transformations language thing < 1775411923 143565 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :I found out it existed while trying to find a GPL that is based on string rewriting < 1775411933 248142 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :(that wasn't just tree rewriting) < 1775411936 544730 :aadenboy!~aadenboy@172.56.104.200 PRIVMSG #esolangs :ah < 1775411941 935834 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :or atleast intended to be GPL < 1775412045 562641 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :anyways, I was interested in your idea of memory either being recursive, or unusable < 1775412050 953793 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :What does "based on" mean? Like, I could say Python is a string-rewriter, in the sense that there are extremely tortured rules with transitions like `(lambda x: x + 1)(5)` -> `6`. < 1775412080 763543 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Most of the languages that you're going to find which *only* do string-rewriting are therefore going to be *meta* languages; they're languages for describing compilers, linters, type-checkers, etc. < 1775412084 757414 :int-e!~noone@int-e.eu PRIVMSG #esolangs :korvo: That first paragraph makes me cringe. And it leads *nowhere* (unless you vibe with vibes I guess. I don't.) > 1775412103 990194 PRIVMSG #esolangs :14[[07Adj14]]4 10 02https://esolangs.org/w/index.php?diff=179051&oldid=178852 5* 03Kaveh Yousefi 5* (+26) 10Amended an instance of cacography and supplemented the page category tag Implemented. < 1775412116 258327 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :korvo: mainly focused around? the main paradigm? the thing it was designed to do? something around there < 1775412125 334893 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :but yea, it does all seem like metalanguages in what I found < 1775412132 626543 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I mean: rando I've never heard of had a "wow" reaction to an incoherent list of bullet points with no discernable connection between them. Color me impressed. < 1775412156 728040 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(I /can/ fill in a connection. But the text doesn't provide one.) < 1775412173 3874 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :int-e: The absolute numbers make it worse. Opening Mathlib at the REPL takes like 3GiB of RAM and several minutes wait. Verifying all of Mathlib at the REPL supposedly takes *hours*. The "Lean implemented in Lean" compiler relies on 8KLoC of unproven C++ kernel. < 1775412199 192465 :int-e!~noone@int-e.eu PRIVMSG #esolangs :neat < 1775412213 300630 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I'm glad we're not using dead languages. < 1775412223 963809 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yeah, nothing obscure there. < 1775412233 172462 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :"Lean"ing on nothing you could say? /j < 1775412289 506682 :int-e!~noone@int-e.eu PRIVMSG #esolangs :korvo: Note that if I wasn't somewhat sympathetic to the cause I would not read any of the later stuff anyway. < 1775412299 907358 :int-e!~noone@int-e.eu PRIVMSG #esolangs :
ACTION shrugs
< 1775412301 428235 :int-e!~noone@int-e.eu PRIVMSG #esolangs :weird < 1775412303 390681 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yayimhere: Sure. So, the big reason that tree rewriting became more popular is that strings have no abstractive horizon. Like, imagine doing natural numbers with pure string rewriting. You could count in unary but that's inefficient. You could use binary but that would require extra rules for every operation to specify rules like carrying during addition. < 1775412358 34236 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :korvo: yea. its not that surprising, really(and I'd assume strings arent that efficient over other data structures, both for manipulating and storing data) < 1775412364 669350 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :int-e: I'm not wholly disconnected from it either. I'm thinking about contributing a little to rpylean, an alternative kernel in RPython. < 1775412448 608927 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :also, arent matrices kinda just restricted trees(since trees are also just nested arrays, right?) < 1775412467 910632 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :I know this is kinda off topic but, oh well < 1775412471 317577 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yayimhere: There's a nice dovetail here. I think that, if you want to *use* a string-rewriting system today, you should use Metamath. If you really want to *invent* a new one then you need a good reason. For example, Zaddy's rationale is that I think I can figure out ACE-matching, which is kind of an open problem. < 1775412491 340046 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :korvo: that is in fact nice < 1775412501 139845 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :i will also look into Metamath < 1775412508 522174 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :I think I'll start a reading list, actually < 1775412509 962718 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Matrices are linear transformations! They're not at all trees. We only write them like that for traditional reasons. The higher-dimensional version of a matrix is a tensor. < 1775412606 720661 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :aa! thats nice < 1775412964 268604 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yayimhere: You're really close to a deep insight, BTW. Like, everything we've been talking about is just pencil-and-paper, yeah? You could just draw trees on paper, or use matrix notation on paper, or write out strings on paper. < 1775413004 16763 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Turing proved that we can only recognize finitely many distinct symbols on a finite piece of paper. Every piece of paper *is* a finite string. < 1775413013 681133 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :So *all* computation, from the beginning, was string rewriting. < 1775413039 277733 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :huh. that is in fact some insight < 1775413054 37449 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :huh. well then, maybe I should go look at a peice of paper a little more < 1775413070 599659 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Also, how do you draw a tree? Well, you draw some symbols for nodes and some symbols for arrows, and you have to arrange the arrows with whitespace so that they point to the right nodes. So your string has a *dimensionality* to it, constraining how you can associate symbols to each other. < 1775413120 544144 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :true... < 1775413351 988448 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: fwiw I think the "correct" way to do integers in a string-rewriting language is for the program to see them as unary and the implementation to optimise them < 1775413600 832858 :Thelie1!~Thelie@185.13.31.202 QUIT :Ping timeout: 265 seconds < 1775413860 369534 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Yeah, perhaps. Another decent approach is to only allow schematic rewriting: every rewriting rule is an axiom schema rather than a single concrete axiom. So `Sx + y` -> `S(x + y)` holds for all syntactic x and y. Metamath requires type annotations to make this work in practice. < 1775413893 425398 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :"type" is maybe the wrong word for a syntax class, but it's the one we've got. < 1775413902 111068 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf PRIVMSG #esolangs :lol < 1775414893 647521 :Thelie!~Thelie@2a03:9b40:2009:1900:525f:fb13:352b:695e JOIN #esolangs * :Thelie < 1775415661 767744 :Thelie!~Thelie@2a03:9b40:2009:1900:525f:fb13:352b:695e QUIT :Quit: Leaving. < 1775415665 662260 :Thelie1!~Thelie@185.13.31.202 JOIN #esolangs * :Thelie < 1775416497 168286 :Thelie1!~Thelie@185.13.31.202 QUIT :Ping timeout: 246 seconds < 1775416626 967459 :impomatic!~impomatic@lock-04-b2-v4wan-171175-cust377.vm10.cable.virginm.net QUIT :Quit: Client closed < 1775417453 644022 :impomatic!~impomatic@lock-04-b2-v4wan-171175-cust377.vm10.cable.virginm.net JOIN #esolangs * :[https://web.libera.chat] impomatic < 1775417727 321877 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :ais523: it depends on what you want. if you want to use the esolang to run programs and especially readable programs then that makes sense. but if you want to prove that the language itself is capable of better performance then you might implement the numbers in binary (or some higher radix) in the string language. you can still have an optional optimized version in the emulator even in that case < 1775417733 329993 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :(optional because sometimes you want to turn the optimization on to test that your in-language implementation works correctly). < 1775417755 495446 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I admit I'm something of a believer in the "sufficiently smart compiler" point of view < 1775417771 376375 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :especially when it comes to esolangs, which frequently can manage an O(n) speedup with some fairly simple optimisations < 1775417987 621663 :Yayimhere!~Yayimhere@2a02:aa7:4106:29df:1c6c:72bb:e087:1bbf QUIT :Ping timeout: 245 seconds < 1775418151 765601 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :ais523: yeah, I was mostly thinking not of a smart compiler, but a library that implements arithmetic, with two implementations, one in the esolang and one in the emulator that uses the non-esoteric host's arithmetic capabilities < 1775418165 915308 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :ah, like INTERCAL < 1775418196 427822 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :arithmetic in INTERCAL generally requires a loop, and INTERCAL is very hard to optimise across statements due to things like computed COME FROM < 1775418222 218090 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :yeah < 1775418226 932918 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so in practice having hardcoded arithmetic subroutines gives you a lot of efficiency over trying to optimise ones written directly in iNTERCAL < 1775418229 72568 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :obviously this only applies to some esolangs < 1775418411 762511 :impomatic!~impomatic@lock-04-b2-v4wan-171175-cust377.vm10.cable.virginm.net QUIT :Quit: Client closed < 1775418895 404512 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1775418919 129555 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 245 seconds < 1775419066 539068 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life > 1775419662 671866 PRIVMSG #esolangs :14[[07Danicb14]]4 10 02https://esolangs.org/w/index.php?diff=179052&oldid=139524 5* 03Squidmanescape 5* (+36) 10I really should implement this. < 1775426321 566870 :tromp!~textual@2001:1c00:340e:2700:795f:6a6f:7cb5:ecd6 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1775428538 476317 :ais523!~ais523@user/ais523 QUIT :Quit: quit < 1775432889 627912 :cactushead!~cactus_he@2403-580d-b040-0-1942-774d-f8a8-6392.ip6.aussiebb.net QUIT :Read error: Connection reset by peer < 1775432916 106494 :cactushead!~cactus_he@2403-580d-b040-0-1942-774d-f8a8-6392.ip6.aussiebb.net JOIN #esolangs cactushead :cactus head