< 1593044647 922203 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Ping timeout: 246 seconds < 1593046468 627829 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Read error: Connection reset by peer < 1593046726 565459 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1593047286 987100 :ArthurStrong!~ArthurStr@nat-pool-13-124.soborka.net JOIN :#esoteric < 1593047357 40199 :LKoen!~LKoen___@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Ping timeout: 246 seconds < 1593049281 762888 :LKoen!~LKoen___@81.255.219.130 JOIN :#esoteric < 1593049334 641378 :LKoen!~LKoen___@81.255.219.130 QUIT :Read error: Connection reset by peer < 1593050406 196771 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1593050421 918325 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1593051006 194942 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 265 seconds > 1593054051 850344 PRIVMSG #esoteric :14[[07DIVCON14]]4 10 02https://esolangs.org/w/index.php?diff=74417&oldid=73819 5* 03A 5* (+42) 10/* Repeat loop */ > 1593054210 293876 PRIVMSG #esoteric :14[[07DIVCON14]]4 10 02https://esolangs.org/w/index.php?diff=74418&oldid=74417 5* 03A 5* (+505) 10/* Whole language, done! */ > 1593054307 148772 PRIVMSG #esoteric :14[[07DIVCON14]]4 10 02https://esolangs.org/w/index.php?diff=74419&oldid=74418 5* 03A 5* (+64) 10 < 1593054505 811943 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net QUIT :Remote host closed the connection < 1593055007 847395 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1593055605 427065 :sftp!~sftp@unaffiliated/sftp QUIT :Ping timeout: 272 seconds < 1593055690 918901 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1593055831 738788 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric < 1593058913 111508 :ArthurStrong!~ArthurStr@nat-pool-13-124.soborka.net QUIT :Quit: leaving > 1593059949 941157 PRIVMSG #esoteric :14[[07MAWP14]]4 M10 02https://esolangs.org/w/index.php?diff=74420&oldid=74347 5* 03Dion 5* (+78) 10 < 1593060451 5355 :rain1!~rain1@unaffiliated/rain1 JOIN :#esoteric > 1593061532 804162 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=74421&oldid=74415 5* 03Bigyihsuan 5* (+47) 10/* I */ < 1593067625 556719 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1593068362 753482 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu > 1593068673 522119 PRIVMSG #esoteric :14[[07User:Robolta14]]4 10 02https://esolangs.org/w/index.php?diff=74422&oldid=68109 5* 03Robolta 5* (-44) 10/* Created Esolangs */ < 1593070007 488838 :tromp!~tromp@2a02:a210:ca3:2800:c9eb:32ec:4d8:8f76 QUIT :Ping timeout: 272 seconds < 1593070086 410444 :tromp!~tromp@2a02:a210:ca3:2800:e519:4f6e:3213:dd7f JOIN :#esoteric < 1593070729 384451 :tromp!~tromp@2a02:a210:ca3:2800:e519:4f6e:3213:dd7f QUIT :Ping timeout: 272 seconds < 1593071503 565331 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 258 seconds < 1593072396 556794 :cpressey!~cpressey@79-65-249-190.host.pobb.as13285.net JOIN :#esoteric < 1593073432 962820 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1593073450 149435 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1593073572 922429 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 256 seconds < 1593073596 943117 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1593073988 18744 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1593075204 684271 :b_jonas!~x@catv-176-63-12-73.catv.broadband.hu QUIT :Quit: leaving < 1593075368 505854 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1593075376 989804 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Client Quit < 1593075392 932249 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1593075648 318802 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Client Quit < 1593075665 926297 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1593075782 979442 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 256 seconds < 1593075810 396270 :imode!~linear@unaffiliated/imode JOIN :#esoteric > 1593075952 416999 PRIVMSG #esoteric :14[[07Tandem14]]4 10 02https://esolangs.org/w/index.php?diff=74423&oldid=74366 5* 03Chris Pressey 5* (+792) 10Major revamp. Change meaning of &. Rewrite much. > 1593076086 530265 PRIVMSG #esoteric :14[[07Tandem/Sketch of a Tandem Interpreter14]]4 M10 02https://esolangs.org/w/index.php?diff=74424&oldid=74300 5* 03Chris Pressey 5* (+84) 10Add note > 1593076373 582309 PRIVMSG #esoteric :14[[07Tandem/Sketch of a Tandem Interpreter14]]4 10 02https://esolangs.org/w/index.php?diff=74425&oldid=74424 5* 03Chris Pressey 5* (-286) 10Update implementation sketch. < 1593076576 341858 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Quit: impomatic < 1593076590 556723 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1593076848 590072 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Client Quit < 1593076866 542090 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1593077618 145723 :LKoen!~LKoen___@81.255.219.130 JOIN :#esoteric > 1593077713 446382 PRIVMSG #esoteric :14[[07Tandem/Sketch of a Tandem Interpreter14]]4 10 02https://esolangs.org/w/index.php?diff=74426&oldid=74425 5* 03Chris Pressey 5* (+391) 10Flesh out sketch to the point where it compiles. > 1593077744 284603 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03Chris Pressey 5* 10moved [[02Tandem/Sketch of a Tandem Interpreter10]] to [[Tandem/Tandem.hs]]: It's no longer a sketch > 1593077894 574683 PRIVMSG #esoteric :14[[07Tandem14]]4 10 02https://esolangs.org/w/index.php?diff=74429&oldid=74423 5* 03Chris Pressey 5* (+112) 10+see also > 1593077982 359820 PRIVMSG #esoteric :14[[07Tandem14]]4 M10 02https://esolangs.org/w/index.php?diff=74430&oldid=74429 5* 03Chris Pressey 5* (+3) 10/* Algebraic properties */ style, typo fixes > 1593078066 302716 PRIVMSG #esoteric :14[[07Tandem14]]4 M10 02https://esolangs.org/w/index.php?diff=74431&oldid=74430 5* 03Chris Pressey 5* (+34) 10/* Algebraic properties */ rephrase > 1593078098 417856 PRIVMSG #esoteric :14[[07Tandem14]]4 M10 02https://esolangs.org/w/index.php?diff=74432&oldid=74431 5* 03Chris Pressey 5* (+6) 10/* Algebraic properties */ add word for clarity < 1593078531 470184 :olsner!~salparot@c80-217-180-83.bredband.comhem.se QUIT :Ping timeout: 260 seconds < 1593078676 366807 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Quit: impomatic < 1593078693 481425 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1593078828 579389 :olsner!~salparot@c80-217-180-83.bredband.comhem.se JOIN :#esoteric < 1593078951 5678 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Client Quit < 1593078965 965328 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1593079954 463661 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1593080011 89459 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1593080354 349823 :LKoen_!~LKoen@81.255.219.130 JOIN :#esoteric > 1593080629 78885 PRIVMSG #esoteric :14[[07BF-ASM:814]]4 M10 02https://esolangs.org/w/index.php?diff=74433&oldid=74076 5* 03DmilkaSTD 5* (+112) 10im just putting excuses to not make the compiler > 1593080710 988644 PRIVMSG #esoteric :14[[07Talk:Babalang14]]4 M10 02https://esolangs.org/w/index.php?diff=74434&oldid=70583 5* 03DmilkaSTD 5* (+113) 10excuse me < 1593080783 942885 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1593080954 426809 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds > 1593080976 818541 PRIVMSG #esoteric :14[[07(HA)pple waITING14]]4 M10 02https://esolangs.org/w/index.php?diff=74435&oldid=74318 5* 03DmilkaSTD 5* (+14) 10who cares about me and lol turing machine isnt a language < 1593081150 22087 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Remote host closed the connection > 1593081156 835983 PRIVMSG #esoteric :14[[07(HA)pple waITING14]]4 M10 02https://esolangs.org/w/index.php?diff=74436&oldid=74435 5* 03DmilkaSTD 5* (+147) 10stuff that i cant write here lol get rekt lmao < 1593081168 957787 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1593081253 356284 PRIVMSG #esoteric :14[[07User:DmilkaSTD14]]4 M10 02https://esolangs.org/w/index.php?diff=74437&oldid=73231 5* 03DmilkaSTD 5* (+12) 10what are you doing here? > 1593081362 488972 PRIVMSG #esoteric :14[[07Fscratch14]]4 M10 02https://esolangs.org/w/index.php?diff=74438&oldid=73114 5* 03DmilkaSTD 5* (+30) 10Am I stupid? < 1593081769 959116 :LKoen_!~LKoen@81.255.219.130 QUIT :Ping timeout: 264 seconds < 1593082365 877382 :LKoen!~LKoen___@81.255.219.130 QUIT :Remote host closed the connection < 1593082981 958877 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1593083222 92447 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1593083874 443800 :tromp!~tromp@2a02:a210:ca3:2800:d1ef:a858:3e79:f8f0 JOIN :#esoteric < 1593085835 755043 :cpressey!~cpressey@79-65-249-190.host.pobb.as13285.net QUIT :Quit: WeeChat 1.9.1 < 1593086641 975277 :arseniiv!~arseniiv@136.169.210.76 JOIN :#esoteric < 1593086779 433855 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Quit: impomatic < 1593086805 229382 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1593086933 286716 :spruit11!~unknown@ip56522cc1.speed.planet.nl QUIT :Quit: Lost terminal < 1593087047 671763 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Client Quit < 1593087064 899920 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1593087158 32321 :LKoen!~LKoen@81.255.219.130 QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1593087314 621531 :spruit11!~unknown@ip56522cc1.speed.planet.nl JOIN :#esoteric > 1593088654 316320 PRIVMSG #esoteric :14[[07Talk:Babalang14]]4 M10 02https://esolangs.org/w/index.php?diff=74439&oldid=74434 5* 03PythonshellDebugwindow 5* (+143) 10 > 1593088696 162850 PRIVMSG #esoteric :14[[07BF-ASM:814]]4 M10 02https://esolangs.org/w/index.php?diff=74440&oldid=74433 5* 03PythonshellDebugwindow 5* (+7) 10 < 1593089817 881175 :cpressey!~cpressey@79-65-249-190.host.pobb.as13285.net JOIN :#esoteric > 1593089874 362150 PRIVMSG #esoteric :14[[07DIVCON14]]4 M10 02https://esolangs.org/w/index.php?diff=74441&oldid=74419 5* 03PythonshellDebugwindow 5* (+6) 10/* Unofficial extension */ > 1593090112 539088 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74442&oldid=74383 5* 03PythonshellDebugwindow 5* (+78) 10 > 1593090220 452157 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74443&oldid=74442 5* 03PythonshellDebugwindow 5* (+25) 10/* 1 */ > 1593090330 290750 PRIVMSG #esoteric :14[[07Linear bounded automaton14]]4 M10 02https://esolangs.org/w/index.php?diff=74444&oldid=54311 5* 03PythonshellDebugwindow 5* (-37) 10/* External resources */ < 1593090383 242664 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :how are you? > 1593090497 961021 PRIVMSG #esoteric :14[[071mpr0mp214]]4 M10 02https://esolangs.org/w/index.php?diff=74445&oldid=74222 5* 03PythonshellDebugwindow 5* (-20) 10unpipe > 1593090665 944035 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74446&oldid=74443 5* 03PythonshellDebugwindow 5* (+332) 10/* Alcatraz */ > 1593090747 942177 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74447&oldid=74446 5* 03PythonshellDebugwindow 5* (+0) 10/* Linear-bounded brainfuck */ < 1593091023 346743 :cpressey!~cpressey@79-65-249-190.host.pobb.as13285.net PRIVMSG #esoteric :i am fine how are you > 1593091484 545664 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74448&oldid=74447 5* 03PythonshellDebugwindow 5* (+1468) 10/* Linear-bounded brainfuck */ > 1593091668 338520 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74449&oldid=74448 5* 03PythonshellDebugwindow 5* (-146) 10/* Linear-bounded brainfuck */ > 1593091683 464408 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74450&oldid=74449 5* 03PythonshellDebugwindow 5* (-1654) 10/* Alcatraz */ > 1593091735 77225 PRIVMSG #esoteric :14[[07Linear bounded brainfuck14]]4 N10 02https://esolangs.org/w/index.php?oldid=74451 5* 03PythonshellDebugwindow 5* (+1652) 10Created page with "'''Linear-bounded brainfuck''' is [[brainfuck]] as a [[linear bounded automaton]], created by [[User:PythonshellDebugwindow]]. ==The input-size function== The function of the..." > 1593091747 62388 PRIVMSG #esoteric :14[[07Linear bounded brainfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=74452&oldid=74451 5* 03PythonshellDebugwindow 5* (+0) 10/* Truth-machine */ > 1593091834 257063 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=74453&oldid=74386 5* 03PythonshellDebugwindow 5* (+206) 10/* Languages */ > 1593091877 670392 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=74454&oldid=74453 5* 03PythonshellDebugwindow 5* (+0) 10/* Languages */ lbb: code->math > 1593091892 905094 PRIVMSG #esoteric :14[[07Linear bounded brainfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=74455&oldid=74452 5* 03PythonshellDebugwindow 5* (+0) 10 > 1593091927 905340 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=74456&oldid=74421 5* 03PythonshellDebugwindow 5* (+31) 10/* L */ > 1593092157 651655 PRIVMSG #esoteric :14[[07KittyKittyMewMew14]]4 M10 02https://esolangs.org/w/index.php?diff=74457&oldid=68986 5* 03PythonshellDebugwindow 5* (+195) 10CATS +links > 1593092167 498559 PRIVMSG #esoteric :14[[07KittyKittyMewMew14]]4 M10 02https://esolangs.org/w/index.php?diff=74458&oldid=74457 5* 03PythonshellDebugwindow 5* (+0) 10/* Python 3 */ > 1593092222 818906 PRIVMSG #esoteric :14[[07Loose Circular Brainfuck (LCBF)14]]4 M10 02https://esolangs.org/w/index.php?diff=74459&oldid=33483 5* 03PythonshellDebugwindow 5* (+10) 10 < 1593092564 396250 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1593093102 102507 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection < 1593093110 496993 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric > 1593093128 373146 PRIVMSG #esoteric :14[[07TroJavaScript14]]4 M10 02https://esolangs.org/w/index.php?diff=74460&oldid=62024 5* 03PythonshellDebugwindow 5* (+73) 10cats < 1593093380 994399 :cpressey!~cpressey@79-65-249-190.host.pobb.as13285.net PRIVMSG #esoteric :arseniiv: I fixed Tandem btw > 1593093832 412354 PRIVMSG #esoteric :14[[07@14]]4 M10 02https://esolangs.org/w/index.php?diff=74461&oldid=69865 5* 03PythonshellDebugwindow 5* (+7) 10 < 1593094062 471741 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :how are you => almost sane. I would be well if not for accidentally hearing a couple of words from a TV talk show, ugh. I’m not a TV watcher but others do use it and I can’t just switch it off when it offends my inner ideals. I don’t like outright heavy-handed manipulations < 1593094084 807682 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric : arseniiv: I fixed Tandem btw => oh! I’ll look at the diff < 1593094954 308191 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :cpressey: the expression 1 | R | R & R | … for asteration gave me an idea: maybe one can be allowed to define named rules and invoke them in other rules (and maybe themselves)? Would that make something easier? Maybe it wouldn’t change the expressibility < 1593095082 859846 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :R* succeeds if R was able to be applied at least once. => now if we postulate R* being equivalent to 1 | R | …, either R* should always succeed or 1 shouldn’t succeed > 1593095164 849306 PRIVMSG #esoteric :14[[07Codesine14]]4 M10 02https://esolangs.org/w/index.php?diff=74462&oldid=44218 5* 03PythonshellDebugwindow 5* (+40) 10Unpipe && Cats < 1593095168 196719 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :honestly I wanted to suggest you make asteration always succeeding from the start but something kept me from doing it < 1593095168 641558 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer > 1593095199 493236 PRIVMSG #esoteric :14[[07Fourier14]]4 M10 02https://esolangs.org/w/index.php?diff=74463&oldid=49724 5* 03PythonshellDebugwindow 5* (+30) 10/* Interpreter */ cat < 1593095269 603500 :rain1!~rain1@unaffiliated/rain1 QUIT :Remote host closed the connection < 1593095272 405054 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :the old behaviour of asteration would be attainable by R & R* which we may call R+ < 1593095292 1899 :rain1!~rain1@unaffiliated/rain1 JOIN :#esoteric < 1593095357 540208 :cpressey!~cpressey@79-65-249-190.host.pobb.as13285.net PRIVMSG #esoteric :Asteration does always succeed now - I forgot to update that section. < 1593095409 328517 :cpressey!~cpressey@79-65-249-190.host.pobb.as13285.net PRIVMSG #esoteric :The weird way it was defined previously should've tipped me off that something wasn't right > 1593095484 880057 PRIVMSG #esoteric :14[[07Tandem14]]4 10 02https://esolangs.org/w/index.php?diff=74464&oldid=74432 5* 03Chris Pressey 5* (-45) 10/* Asteration */ Fix statement about when asteration succeeds. > 1593095622 401669 PRIVMSG #esoteric :14[[07Tandem14]]4 10 02https://esolangs.org/w/index.php?diff=74465&oldid=74464 5* 03Chris Pressey 5* (+142) 10/* Algebraic properties */ Fix left-distributive identity (& is no longer commutative) and mention right-distributive. < 1593095660 518401 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :cpressey: also do you want to add 0 and 1 to the inductive definition of a rule now? < 1593095671 809587 :cpressey!~cpressey@79-65-249-190.host.pobb.as13285.net PRIVMSG #esoteric :Yes i probably do. And to the implementation too :) < 1593095752 898419 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :I hadn’t yet started rewriting my one too > 1593096306 384000 PRIVMSG #esoteric :14[[07Tandem14]]4 10 02https://esolangs.org/w/index.php?diff=74466&oldid=74465 5* 03Chris Pressey 5* (+352) 10Add 0 and 1 to inductive definition. > 1593096390 597463 PRIVMSG #esoteric :14[[07Tandem/Tandem.hs14]]4 10 02https://esolangs.org/w/index.php?diff=74467&oldid=74427 5* 03Chris Pressey 5* (+33) 10Add Zero and One to the implementation. < 1593096424 341315 :cpressey!~cpressey@79-65-249-190.host.pobb.as13285.net PRIVMSG #esoteric :rewrite Zero c = Nothing; rewrite One c = Just c < 1593096428 539867 :cpressey!~cpressey@79-65-249-190.host.pobb.as13285.net PRIVMSG #esoteric :how elegant is that < 1593096475 186768 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :cpressey: “R* means: repeatedly apply R while M(R) is nonempty.” => this could be reformulated too via the new M(R, S), I’d do it myself but I don’t know how to say S is the new state each time, succinctly < 1593096548 753584 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :cpressey: hm maybe it’s possible to generalize rules in some manner and make them instances of Functor etc. < 1593096856 839283 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net JOIN :#esoteric < 1593096970 988229 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :You know like the idea of rank 1, rank 2 functions in Haskell? < 1593096977 718246 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Is there such thing as a rank omega function? < 1593097317 148643 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: Connection closed < 1593097471 938242 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Remote host closed the connection < 1593098101 393275 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :Taneb: what’s expected to be available in writing its body? < 1593098113 820035 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :what can we do with arguments? < 1593098205 592517 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :We can call the arguments, assuming we have a rank omega function of the appropriate type < 1593098224 218523 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :or it may be printf-style, knowing each argument’s rank and making a decision each time, applying something to the argument immediately < 1593098226 80800 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :It's possible that it's an almost useless thing < 1593098295 966879 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :for that function to be truly rank-omega it would need to be able to take unbounded-rank arguments and I don’t see how it can be done not in printf-style < 1593098335 765925 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Yeah, you're right < 1593098371 267113 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :(or maybe one first defines a GADT incapsulating a rank-N function and then takes an argument of that type, but that would be almost the same thing though without printf clumsiness, but with its own wrapping clumsiness instead) > 1593099865 365771 PRIVMSG #esoteric :14[[07User:WilliamRagstad14]]4 10 02https://esolangs.org/w/index.php?diff=74468&oldid=68464 5* 03WilliamRagstad 5* (-150) 10 < 1593100325 203022 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :I rewrote my Tandem impl and it again doesn’t halt when run on the example > 1593100532 851648 PRIVMSG #esoteric :14[[07User:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=74469&oldid=74094 5* 03Osmarks 5* (+128) 10 > 1593100559 185717 PRIVMSG #esoteric :14[[07User:Osmarks14]]4 M10 02https://esolangs.org/w/index.php?diff=74470&oldid=74469 5* 03Osmarks 5* (+0) 10 < 1593100666 423801 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1593100851 123997 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :ah, I applied a rule to the wrong world in concatenation’s application, and input wasn’t being changed < 1593101042 823670 :cpressey!~cpressey@79-65-249-190.host.pobb.as13285.net QUIT :Quit: WeeChat 1.9.1 < 1593101787 251293 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :@tell cpressey here is mine again: https://hatebin.com/agiijfemrl < 1593101787 394915 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1593101946 420021 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1593102111 805780 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1593102239 575461 :b_jonas!~x@catv-176-63-11-197.catv.broadband.hu JOIN :#esoteric < 1593102340 701437 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :@tell cpressey hm comparing with Tandem.hs it seems I implemented a “nondeterministic determinism” that for Ri | Rj applies both Ri and Rj when they don’t compete in changes they make. That’s ill-defined though, because (lα → α | lα → β) would replace l with β if applicable. So I’ll better make that part as in Haskell version < 1593102340 701525 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1593102783 919976 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Quit: impomatic > 1593103147 82326 PRIVMSG #esoteric :14[[07Rpncalc14]]4 N10 02https://esolangs.org/w/index.php?oldid=74471 5* 03Baidicoot 5* (+1664) 10Created page with "RPNCalc (technically RPNCalc V4) is a turing-complete, stack-based, dynamically-typed (vaguely *useful*) programming language that originally started off as a calculator on [h..." > 1593103172 758004 PRIVMSG #esoteric :14[[07Rpncalc14]]4 10 02https://esolangs.org/w/index.php?diff=74472&oldid=74471 5* 03Baidicoot 5* (+3) 10 < 1593103195 571224 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1593103512 580619 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :@tell cpressey now the idiom to preset values to stacks should be written differently: (preset1 & preset2 & … | cont), as various preset_i would be applicable at the same time. I modified the example (with its Tandem code in a comment) with making my impl compliant with the previous issue: https://hatebin.com/qjielqvzhc < 1593103512 580678 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1593103638 297625 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Quit: impomatic < 1593103651 407968 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric > 1593103875 76286 PRIVMSG #esoteric :14[[07Special:Log/upload14]]4 upload10 02 5* 03DeybisMelendez 5* 10uploaded "[[02File:Ni Logo.jpg10]]" > 1593103902 607813 PRIVMSG #esoteric :14[[07Ni14]]4 10 02https://esolangs.org/w/index.php?diff=74474&oldid=74416 5* 03DeybisMelendez 5* (+35) 10 < 1593103909 557920 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Client Quit < 1593103925 174468 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric > 1593105395 414886 PRIVMSG #esoteric :14[[07Rpncalc14]]4 10 02https://esolangs.org/w/index.php?diff=74475&oldid=74472 5* 03Baidicoot 5* (+1367) 10 < 1593106943 24530 :b_jonas!~x@catv-176-63-11-197.catv.broadband.hu PRIVMSG #esoteric :for esoteric purposes, should we invent a multipodal p letter that is used exclusively for talking about the legs of myriapoda? < 1593106977 344374 :b_jonas!~x@catv-176-63-11-197.catv.broadband.hu PRIVMSG #esoteric :and perhaps the legs of some ICs like CPUs < 1593108414 396324 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1593109039 915274 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :. o O ( and also a multimodal m? ) < 1593109101 429369 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :anyway this is interesting. How many legs should this p have? I imagine a thing with three < 1593110042 462313 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1593110578 181729 :rain1!~rain1@unaffiliated/rain1 QUIT :Quit: Leaving < 1593111177 841186 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Can you make up such fonts? Three would be my guess though < 1593111657 459267 :rain1!~rain1@unaffiliated/rain1 JOIN :#esoteric < 1593112532 628442 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :https://github.com/Mojang/DataFixerUpper/issues/21 well the mystery is over < 1593113388 65700 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca QUIT :Disconnected by services < 1593113393 720782 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric < 1593115088 380641 :b_jonas!~x@catv-176-63-11-197.catv.broadband.hu PRIVMSG #esoteric :arseniiv: I guess six. three normal legs and three additional legs on the other side of the arthropod represented by short vertical strokes below the normal legs with a gap between < 1593115177 62923 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :b_jonas: could you draw it? < 1593115294 562966 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :rain1: wow < 1593115335 396431 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :TIL there’s a “Category do-notation” in the making: https://github.com/gelisam/category-syntax < 1593115518 138825 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :isnt that just function composition < 1593116043 701522 :b_jonas!~x@catv-176-63-11-197.catv.broadband.hu PRIVMSG #esoteric :arseniiv: https://i.stack.imgur.com/dYd84.png < 1593116169 607000 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :I have a Italo-Spanish deck, but the box has French suits, why is that? It is clearly the correct box for these cards, though. > 1593116233 284380 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03PythonshellDebugwindow 5* 10moved [[02Rpncalc10]] to [[RPNCalc]]: fix capitalization < 1593116252 718715 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :rain1: there’s something interesting in the example with reshuffling `Either`s < 1593116319 407342 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :b_jonas: oh, with cyrillic one it’s indeed more sense maybe < 1593116390 413959 :b_jonas!~x@catv-176-63-11-197.catv.broadband.hu PRIVMSG #esoteric :arseniiv: for a latin one you'd have to add an extra long vertical stroke in the middle, like a poor man's double-struck p, and then four disconnected short extra legs, one on the right and three below the three legs > 1593116404 701878 PRIVMSG #esoteric :14[[07RPNCalc14]]4 M10 02https://esolangs.org/w/index.php?diff=74478&oldid=74476 5* 03PythonshellDebugwindow 5* (+142) 10cats, bold, links < 1593116440 690256 :b_jonas!~x@catv-176-63-11-197.catv.broadband.hu PRIVMSG #esoteric :but the multiocular o is a cyrillic letter too < 1593116443 418813 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Ping timeout: 272 seconds < 1593116482 571329 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Excess Flood < 1593116509 612476 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1593116656 492927 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :no doubt though it didn’t allude to me multipodal p should be alike > 1593117148 433152 PRIVMSG #esoteric :14[[07Alphabetti spaghetti14]]4 M10 02https://esolangs.org/w/index.php?diff=74479&oldid=65589 5* 03PythonshellDebugwindow 5* (+67) 10/* Interpreter */ cats! < 1593118080 472453 :rain1!~rain1@unaffiliated/rain1 QUIT :Quit: Leaving < 1593118311 377944 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric > 1593118394 333215 PRIVMSG #esoteric :14[[07Piet-Q14]]4 M10 02https://esolangs.org/w/index.php?diff=74480&oldid=44116 5* 03PythonshellDebugwindow 5* (+12) 10/* Using Piet-Q */ > 1593118459 326682 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/(Unnamed language)14]]4 M10 02https://esolangs.org/w/index.php?diff=74481&oldid=72783 5* 03PythonshellDebugwindow 5* (+976) 10 > 1593118911 923579 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/(Unnamed language)14]]4 M10 02https://esolangs.org/w/index.php?diff=74482&oldid=74481 5* 03PythonshellDebugwindow 5* (+25) 10 < 1593119405 457845 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1593120038 25384 :arseniiv!~arseniiv@136.169.210.76 QUIT :Ping timeout: 246 seconds < 1593120526 129274 :int-e!~noone@int-e.eu PRIVMSG #esoteric :morbid :) 'The TD will accept the following reasons for the withdrawal as adequate: (a) Death of the player' < 1593120922 552048 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1593122376 630067 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that the only reason? < 1593122461 876410 :int-e!~noone@int-e.eu PRIVMSG #esoteric :No, there are others. This is from https://www.iccf.com/message?message=447 < 1593123118 574468 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"Players are allowed to consult prior to those decisions with any publicly available source of information including chess engines (computer programs), books, DVDs, game archive databases, endgame tablebases, etc." < 1593123135 281609 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :People are allowed to use software? Are all the games just matching chess engines against each other? < 1593123322 785779 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 258 seconds < 1593123358 135075 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1593123422 925736 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe they're just relying on the sort of people who'd play correspondence chess in the first place to all feel like that would be missing the point? < 1593123507 576357 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: apparently there's a bit more to this than that... deciding which chess engine fits which position best < 1593123541 704209 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and deciding where to focus the analysis < 1593123545 552116 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there really competition? < 1593123546 309513 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :. o O (Surely that's just a matter of writing a meta-engine though?) < 1593123655 765101 :int-e!~noone@int-e.eu PRIVMSG #esoteric :they have competitions and ratings, whatever those mean *shrugs* < 1593123781 257931 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Trappist-1 (also called "Chess on an Infinite Plane with Huygens Option") --" oh no look what you've done now I'm clicking links again < 1593123800 823261 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(The game includes two huygens for each color. Huygens can jump 5, 7, 11 and other prime numbers of squares in orthogonal directions (i.e. 5, 7, 11, 13, 17,...).) < 1593123909 56538 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: I guess a large part of it is that correspondence chess is relatively old and they've just kept going as technology evolved, embracing it all because the alternative would be to stop completely. < 1593124083 955859 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess so. < 1593124146 560942 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Presumably a week of Leela Chess Zero or maybe Stockfish would just beat approximately anything else? < 1593124214 918202 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ah but you don't have that much time for every move < 1593124233 501544 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"ICCF standard time control 10 moves in 50 days with duplication after 20 days is used." -- hmm, maybe you do < 1593124246 262969 :int-e!~noone@int-e.eu PRIVMSG #esoteric :still deciding where to spend your time can make a difference < 1593124266 814839 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but otoh there's probably the Google approach, just get better hardware < 1593124270 59739 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :I have read there are chess tournaments where the players may use a computer to help with their decision; if you can also use books, DVDs, etc, then you just have many more options. I do not think that is wrong as long as it is known that such things may be done and what the time controls are. So, I think that it can work. < 1593124419 16760 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: I can't explain it. I stumbled across the rule because I wanted to understand what "duplication" means in those time controls. Turns out this is a rule for server play that's officially called "double time"... if you take longer than 20 days on a single move, the extra time taken counts twice. < 1593126441 861586 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net JOIN :#esoteric < 1593128024 569540 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection > 1593129371 970503 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/(Unnamed language)14]]4 M10 02https://esolangs.org/w/index.php?diff=74483&oldid=74482 5* 03PythonshellDebugwindow 5* (+16) 10