< 1681257695 440170 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1681257721 406219 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 240 seconds < 1681257772 729180 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life > 1681262050 61629 PRIVMSG #esolangs :14[[07Bltch1ang14]]4 M10 02https://esolangs.org/w/index.php?diff=107993&oldid=107987 5* 03Dtp09 5* (+5) 10/* Updates */ < 1681263810 223260 :razetime!~Thunderbi@117.193.5.39 JOIN #esolangs razetime :razetime > 1681264015 498985 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Stkptr 5* 10New user account < 1681264706 26814 :razetime1!~Thunderbi@117.193.5.39 JOIN #esolangs razetime :razetime < 1681264750 213242 :razetime!~Thunderbi@117.193.5.39 QUIT :Ping timeout: 276 seconds < 1681264750 733220 :razetime1!~Thunderbi@117.193.5.39 NICK :razetime > 1681264973 333379 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=107994&oldid=107991 5* 03Stkptr 5* (+244) 10/* Introductions */ > 1681265946 180610 PRIVMSG #esolangs :14[[07Talk:Cratefuck14]]4 N10 02https://esolangs.org/w/index.php?oldid=107995 5* 03Stkptr 5* (+6547) 10Add proof of Turing completeness > 1681266164 133684 PRIVMSG #esolangs :14[[07Cratefuck14]]4 10 02https://esolangs.org/w/index.php?diff=107996&oldid=98313 5* 03Stkptr 5* (+85) 10Update categories, link to proof > 1681266553 183764 PRIVMSG #esolangs :14[[07User:Stkptr14]]4 N10 02https://esolangs.org/w/index.php?oldid=107997 5* 03Stkptr 5* (+191) 10Create page > 1681266686 573095 PRIVMSG #esolangs :14[[07Talk:Cratefuck14]]4 10 02https://esolangs.org/w/index.php?diff=107998&oldid=107995 5* 03Stkptr 5* (+24) 10/* Proof of Turing completeness */ Ensure crane returns from conditionals. < 1681270505 879548 :razetime!~Thunderbi@117.193.5.39 QUIT :Ping timeout: 268 seconds > 1681271456 834282 PRIVMSG #esolangs :14[[07Talk:Cratefuck14]]4 10 02https://esolangs.org/w/index.php?diff=107999&oldid=107998 5* 03Stkptr 5* (-2) 10/* Proof of Turing completeness */ Invert decrement logic < 1681273151 136071 :razetime!~Thunderbi@117.193.5.39 JOIN #esolangs razetime :razetime < 1681273353 131300 :example99!~example99@2001:9e8:6707:f600:94c9:366:773f:8970 JOIN #esolangs * :[https://web.libera.chat] example99 < 1681273377 590636 :example99!~example99@2001:9e8:6707:f600:94c9:366:773f:8970 PRIVMSG #esolangs :hi < 1681274399 191007 :slavfox!~slavfox@93.158.232.111 QUIT :Quit: ZNC 1.8.2 - https://znc.in < 1681274612 249955 :slavfox!~slavfox@93.158.232.111 JOIN #esolangs slavfox :slavfox < 1681276627 3612 :bgs!~bgs@212-85-160-171.dynamic.telemach.net JOIN #esolangs bgs :bgs < 1681278568 131002 :example99!~example99@2001:9e8:6707:f600:94c9:366:773f:8970 QUIT :Ping timeout: 260 seconds > 1681278840 248011 PRIVMSG #esolangs :14[[07Esimpl14]]4 10 02https://esolangs.org/w/index.php?diff=108000&oldid=107651 5* 03Ais523 5* (+7522) 10some major changes to the language both syntaxes omitted important information (but particularly the binary syntax), so redo them to ensure that the important information is encoded; redundant information in the binary syntax is OK because it can just be discarded during parse i < 1681282032 875736 :razetime!~Thunderbi@117.193.5.39 QUIT :Quit: See You Space Cowboy < 1681284502 528729 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1681285048 372223 :bgs!~bgs@212-85-160-171.dynamic.telemach.net QUIT :Remote host closed the connection < 1681285393 863623 :MrAureliusR!~MrAureliu@user/mraureliusr QUIT :*.net *.split < 1681285393 938742 :stmuk_!~steve@15.43.187.81.in-addr.arpa QUIT :*.net *.split < 1681285489 250601 :stmuk_!~steve@15.43.187.81.in-addr.arpa JOIN #esolangs * :steve < 1681285562 798974 :MrAureliusR!~MrAureliu@user/mraureliusr JOIN #esolangs MrAureliusR :Got ZNC? < 1681288334 88710 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1681293034 159871 :razetime!~Thunderbi@117.193.5.39 JOIN #esolangs razetime :razetime > 1681296489 802012 PRIVMSG #esolangs :14[[07ACCUMULATOR14]]4 10 02https://esolangs.org/w/index.php?diff=108001&oldid=106014 5* 03UndoneStudios 5* (+119) 10 > 1681296751 348883 PRIVMSG #esolangs :14[[07English14]]4 M10 02https://esolangs.org/w/index.php?diff=108002&oldid=89262 5* 03UndoneStudios 5* (-4) 10It's not "a tails" or "a heads" > 1681297066 20540 PRIVMSG #esolangs :14[[07English14]]4 10 02https://esolangs.org/w/index.php?diff=108003&oldid=108002 5* 03UndoneStudios 5* (+68) 10Added a cat program example, because that is one of the most basic of programs < 1681297564 216284 :AnotherGuest67!~AnotherGu@host-82-54-68-180.retail.telecomitalia.it JOIN #esolangs * :[https://web.libera.chat] AnotherGuest67 < 1681297828 834886 :razetime!~Thunderbi@117.193.5.39 QUIT :Quit: See You Space Cowboy < 1681300321 269968 :razetime!~Thunderbi@117.193.5.39 JOIN #esolangs razetime :razetime < 1681301191 766813 :razetime!~Thunderbi@117.193.5.39 QUIT :Quit: See You Space Cowboy < 1681301574 802095 :razetime!~Thunderbi@117.193.5.39 JOIN #esolangs razetime :razetime < 1681302725 129878 :example99!~example99@2001:9e8:6707:f600:84a6:d611:4bd4:5aba JOIN #esolangs * :[https://web.libera.chat] example99 < 1681302735 201756 :example99!~example99@2001:9e8:6707:f600:84a6:d611:4bd4:5aba QUIT :Client Quit < 1681302751 128317 :example99!~example99@2001:9e8:6707:f600:84a6:d611:4bd4:5aba JOIN #esolangs * :[https://web.libera.chat] example99 < 1681302756 462031 :example99!~example99@2001:9e8:6707:f600:84a6:d611:4bd4:5aba PRIVMSG #esolangs :hi < 1681304018 40702 :razetime!~Thunderbi@117.193.5.39 QUIT :Remote host closed the connection < 1681304080 835895 :razetime!~Thunderbi@117.193.5.39 JOIN #esolangs razetime :razetime < 1681304660 651937 :AnotherGuest67!~AnotherGu@host-82-54-68-180.retail.telecomitalia.it QUIT :Quit: Client closed < 1681304959 772271 :razetime!~Thunderbi@117.193.5.39 QUIT :Quit: See You Space Cowboy < 1681306054 666742 :razetime!~Thunderbi@117.193.5.39 JOIN #esolangs razetime :razetime < 1681306118 493426 :razetime!~Thunderbi@117.193.5.39 QUIT :Client Quit < 1681306464 900085 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1681306496 416501 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1681308703 631105 :ais523!~ais523@31.94.20.151 JOIN #esolangs ais523 :(this is obviously not my real name) < 1681308933 234810 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1681308966 661919 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1681310208 134008 :example99!~example99@2001:9e8:6707:f600:84a6:d611:4bd4:5aba QUIT :Ping timeout: 260 seconds > 1681311185 134330 PRIVMSG #esolangs :14[[07Esimpl14]]4 10 02https://esolangs.org/w/index.php?diff=108004&oldid=108000 5* 03Ais523 5* (+114) 10/* Text syntax */ more abbreviations < 1681311688 845622 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1681311732 358420 PRIVMSG #esolangs :14[[07Heapfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=108005&oldid=107979 5* 03K.avi 5* (+1) 10/* Instructions */ > 1681312896 931624 PRIVMSG #esolangs :14[[07Esimpl14]]4 10 02https://esolangs.org/w/index.php?diff=108006&oldid=108004 5* 03Ais523 5* (+72) 10/* Binary syntax */ a small tweak to stanza 0 encoding < 1681316677 137079 :example99!~example99@2001:9e8:6709:4b00:6ed6:17b:eecf:4b73 JOIN #esolangs * :[https://web.libera.chat] example99 < 1681319693 127697 :example99!~example99@2001:9e8:6709:4b00:6ed6:17b:eecf:4b73 QUIT :Ping timeout: 260 seconds > 1681320260 390297 PRIVMSG #esolangs :14[[07BS14]]4 M10 02https://esolangs.org/w/index.php?diff=108007&oldid=94932 5* 03CreeperBomb 5* (+1) 10Typo (pluralised "language" in the first sentence) < 1681320603 865662 :bgs!~bgs@212-85-160-171.dynamic.telemach.net JOIN #esolangs bgs :bgs > 1681322755 376678 PRIVMSG #esolangs :14[[07Talk:14]]4 N10 02https://esolangs.org/w/index.php?oldid=108008 5* 03Tux1 5* (+94) 10Created page with "I hate the internet. --~~~~" < 1681325559 803083 :river!river@tilde.team/user/river PRIVMSG #esolangs :https://arxiv.org/pdf/1410.5401.pdf < 1681325564 704567 :river!river@tilde.team/user/river PRIVMSG #esolangs :differentiable turing machines < 1681325574 816544 :river!river@tilde.team/user/river PRIVMSG #esolangs :neural TMs < 1681325680 531586 :Melvar!~melvar@dslb-002-200-068-035.002.200.pools.vodafone-ip.de QUIT :Quit: WeeChat 3.6 < 1681327710 842564 :Melvar!~melvar@dslb-002-200-068-035.002.200.pools.vodafone-ip.de JOIN #esolangs Melvar :melvar > 1681328000 832207 PRIVMSG #esolangs :14[[07Joke language list14]]4 M10 02https://esolangs.org/w/index.php?diff=108009&oldid=107272 5* 03CreeperBomb 5* (+11) 10 < 1681329993 513281 :bgs!~bgs@212-85-160-171.dynamic.telemach.net QUIT :Remote host closed the connection > 1681331370 63053 PRIVMSG #esolangs :14[[07Eyefuck14]]4 N10 02https://esolangs.org/w/index.php?oldid=108010 5* 03CreeperBomb 5* (+1021) 10I fuck, you fuck, we all fuck, for eyefuck > 1681332477 509110 PRIVMSG #esolangs :14[[07Eyefuck14]]4 10 02https://esolangs.org/w/index.php?diff=108011&oldid=108010 5* 03CreeperBomb 5* (+350) 10 < 1681336630 832024 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1681339504 94366 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :One thing that I would want to make is a GUI widget library which is separation of the API from the implementation (so that other implementations can be written). < 1681339607 190560 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :For displaying text in the GUI, I think that the most general function for doing so may be "add_localized_text_with_parts", which can also handle accessibility, localization, formatting, and mixing code pages; and you can specify the ASCII text directly inside the function call (which is used if no language text is loaded). < 1681339655 753308 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Such a library can also handle user configuration, automation, etc. < 1681339690 855515 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Similarly than Glk, there might also be a dispatch layer and some parts which can be used by multiple implementations (and then changed if needed). < 1681340242 372814 :ais523!~ais523@31.94.20.151 QUIT :Quit: quit < 1681340728 244520 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :What are your opinion/comment? > 1681342868 333423 PRIVMSG #esolangs :14[[07TOGA14]]4 N10 02https://esolangs.org/w/index.php?oldid=108012 5* 03Stkptr 5* (+27) 10Create redirect