< 1590537652 276730 :sleepnap!~thomas@2601:40a:4200:3bd:9df0:4513:1368:ec3f JOIN :#esoteric < 1590538581 512613 :b_jonas!~x@catv-176-63-11-187.catv.broadband.hu PRIVMSG #esoteric :apparently in CSS simple selector syntax for selecting by id or class, if the name of the id or class contains a dot or colon, you can escape that to CSS by putting a backspace before those characters. good to know. > 1590539232 948571 PRIVMSG #esoteric :14[[07Talk:Thue14]]4 10 02https://esolangs.org/w/index.php?diff=72934&oldid=72920 5* 03Yoel 5* (+160) 10/* Converting to Roman numerals */ > 1590539315 216274 PRIVMSG #esoteric :14[[07Talk:Thue14]]4 10 02https://esolangs.org/w/index.php?diff=72935&oldid=72934 5* 03Yoel 5* (+71) 10/* Converting to Roman numerals */ > 1590539352 131854 PRIVMSG #esoteric :14[[07Talk:Thue14]]4 10 02https://esolangs.org/w/index.php?diff=72936&oldid=72935 5* 03Yoel 5* (+8) 10/* Converting to Roman numerals */ < 1590539858 877346 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 256 seconds > 1590540285 905037 PRIVMSG #esoteric :14[[07Your14]]4 M10 02https://esolangs.org/w/index.php?diff=72937&oldid=68909 5* 03PythonshellDebugwindow 5* (-4) 10Style < 1590540639 15692 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric < 1590540890 379709 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1590542157 366679 :sleepnap!~thomas@2601:40a:4200:3bd:9df0:4513:1368:ec3f QUIT :Ping timeout: 260 seconds < 1590542846 379029 :tromp_!~tromp@2a02:a210:ca3:2800:f5d4:a07c:995f:c15e JOIN :#esoteric < 1590543159 475966 :tromp_!~tromp@2a02:a210:ca3:2800:f5d4:a07c:995f:c15e QUIT :Ping timeout: 272 seconds < 1590543309 15764 :Arcorann__!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net JOIN :#esoteric < 1590543522 958951 :Arcorann_!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net QUIT :Ping timeout: 272 seconds < 1590543704 121881 :ArthurStrong!~ArthurStr@46-133-1-164.mobile.vf-ua.net QUIT :Read error: Connection reset by peer < 1590544101 617862 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: A backspace as in U+0008? < 1590546091 465380 :tromp!~tromp@2a02:a210:ca3:2800:f5d4:a07c:995f:c15e JOIN :#esoteric < 1590546389 478730 :tromp!~tromp@2a02:a210:ca3:2800:f5d4:a07c:995f:c15e QUIT :Ping timeout: 272 seconds < 1590546855 441203 :LKoen!~LKoen___@81.255.219.130 QUIT :Ping timeout: 260 seconds < 1590549342 349103 :tromp!~tromp@2a02:a210:ca3:2800:f5d4:a07c:995f:c15e JOIN :#esoteric < 1590549612 311483 :tromp!~tromp@2a02:a210:ca3:2800:f5d4:a07c:995f:c15e QUIT :Ping timeout: 260 seconds < 1590550173 883660 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :I thought of a variant of Magic: the Gathering involving poker. You can play any variant of poker (draw, five-card stud, seven-card stud, Hold'em, etc) and and kind of betting limits (fixed-limit, spread-limit, pot-limit, no-limit, etc), and any number of players. < 1590550254 832227 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :First, the players must agree on a shared deck, with at least enough cards for the selected variant of poker and number of players, but it can be more. Normal deck restrictions do not apply to this shared deck. Ensure all players know what it contains. < 1590550354 149614 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Next, do duplicate sealed with any set(s) or a cube; each player gets a copy of those cards as his sideboard, plus any conventional basic lands that player wants (which can also be added later; they need not be added right away). < 1590550595 918540 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Next, do poker game, using the shared deck only. When it is time to compare the cards to see who has a better hand, instead do not show any hidden cards to other players but instead play Magic: the Gathering. If there are any community cards (as in Texas Hold'em, for example), each player gets a copy of those cards. < 1590550715 531939 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Play for ante, using a deck constructed from the sealed cards plus any conventional basic lands that player wants, but the minimum deck size is now 33 cards instead of 40 cards. Do not draw an initial hand; instead your initial hand is the cards available to you from the poker game. < 1590551462 45699 :ArthurStrong!~ArthurStr@46-133-1-164.mobile.vf-ua.net JOIN :#esoteric < 1590551834 404695 :zseri!~zseri@ytrizja.de QUIT :Quit: zseri < 1590552173 781570 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :There is no mulligan (although subgames still draw cards at random and mulligan is possible). Each player may, once per game as a special action, create a basic land token with a subtype of that player's choice. < 1590552226 777009 :sleepnap!~thomas@c-68-40-224-93.hsd1.mi.comcast.net JOIN :#esoteric < 1590552289 463081 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :If the initial ante card is a conventional basic land, put it on the bottom of your library and ante another card; repeat until you find one which isn't a conventional basic land. If your entire deck is conventional basic lands, then you are disqualified. (This rule does not apply to ante done later during the game; it only applies to the initial ante.) < 1590552398 460192 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Once the game is finished, if the number of winners is not exactly one, all ownership changes are reverted. If there is exactly one winner, then for each card he has gained or lost ownership of, he chooses whether to keep it for the rest of the match or not; if he keeps it, he pays back a proportion of his winnings (only that beyond his bet, though). The proportion is by the number of cards he can choose in this way, and is rounded up. < 1590552428 291689 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :All shared cards are now returned to the shared deck and do again, until only one player has poker chips remaining. < 1590552441 319314 :sleepnap!~thomas@c-68-40-224-93.hsd1.mi.comcast.net QUIT :Client Quit < 1590552469 951876 :sleepnap!~thomas@c-68-40-224-93.hsd1.mi.comcast.net JOIN :#esoteric < 1590552491 958482 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :That is all (I think). < 1590552594 412714 :tromp!~tromp@2a02:a210:ca3:2800:f5d4:a07c:995f:c15e JOIN :#esoteric < 1590552887 503684 :tromp!~tromp@2a02:a210:ca3:2800:f5d4:a07c:995f:c15e QUIT :Ping timeout: 272 seconds < 1590553746 687346 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net QUIT :Quit: adu < 1590554545 869706 :sleepnap!~thomas@c-68-40-224-93.hsd1.mi.comcast.net QUIT :Quit: Leaving. < 1590554612 135081 :MDude!~MDude@74.5.130.30 QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1590555835 954223 :tromp!~tromp@2a02:a210:ca3:2800:f5d4:a07c:995f:c15e JOIN :#esoteric < 1590556100 960599 :tromp!~tromp@2a02:a210:ca3:2800:f5d4:a07c:995f:c15e QUIT :Ping timeout: 246 seconds < 1590556799 10144 :ArthurStrong!~ArthurStr@46-133-1-164.mobile.vf-ua.net QUIT :Ping timeout: 246 seconds < 1590559087 392803 :tromp!~tromp@2a02:a210:ca3:2800:f5d4:a07c:995f:c15e JOIN :#esoteric < 1590559385 480600 :tromp!~tromp@2a02:a210:ca3:2800:f5d4:a07c:995f:c15e QUIT :Ping timeout: 272 seconds < 1590560293 973829 :sleepnap!~thomas@c-68-40-14-251.hsd1.mi.comcast.net JOIN :#esoteric < 1590561714 782321 :tromp!~tromp@2a02:a210:ca3:2800:f5d4:a07c:995f:c15e JOIN :#esoteric < 1590561902 568017 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1590563134 257819 :sleepnap!~thomas@c-68-40-14-251.hsd1.mi.comcast.net QUIT :Remote host closed the connection < 1590563270 254664 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds < 1590563380 397237 :b_jonas!~x@catv-176-63-11-187.catv.broadband.hu PRIVMSG #esoteric :shachaf: no, a backslash. sorry. < 1590564376 871862 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1590565137 149875 :b_jonas!~x@catv-176-63-11-187.catv.broadband.hu QUIT :Quit: leaving < 1590566924 223075 :cpressey!~cpressey@88.144.95.15 JOIN :#esoteric < 1590567181 886196 :glowcoil_!sid3405@gateway/web/irccloud.com/x-pyzgziemwyowmixt JOIN :#esoteric < 1590567360 875655 :izabera1!izabera@unaffiliated/izabera JOIN :#esoteric < 1590567606 703302 :xavo[m]!undersco1@gateway/shell/matrix.org/x-nltkfwrisxnxvija QUIT :*.net *.split < 1590567606 876634 :izabera!izabera@unaffiliated/izabera QUIT :*.net *.split < 1590567608 686247 :glowcoil!sid3405@gateway/web/irccloud.com/x-hbquoxnigqhhniax QUIT :*.net *.split < 1590567608 993609 :glowcoil_!sid3405@gateway/web/irccloud.com/x-pyzgziemwyowmixt NICK :glowcoil < 1590568282 529153 :xavo[m]!undersco1@gateway/shell/matrix.org/x-ftvkerfmuakirxky JOIN :#esoteric < 1590568509 415722 :izabera1!izabera@unaffiliated/izabera NICK :izabera < 1590569744 957928 :olsner!~salparot@c80-217-180-83.bredband.comhem.se QUIT :Ping timeout: 256 seconds < 1590569907 977890 :LKoen!~LKoen___@81.255.219.130 JOIN :#esoteric < 1590570926 575966 :olsner!~salparot@c80-217-180-83.bredband.comhem.se JOIN :#esoteric < 1590571137 925407 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1590571666 389484 :tromp_!~tromp@2a02:a210:ca3:2800:e8bb:ce16:76a1:541f JOIN :#esoteric < 1590571887 776520 :tromp!~tromp@2a02:a210:ca3:2800:f5d4:a07c:995f:c15e QUIT :Ping timeout: 260 seconds < 1590575524 952231 :opticnerve!~opticnerv@host192-205-dynamic.2-87-r.retail.telecomitalia.it JOIN :#esoteric < 1590576184 932784 :arseniiv_!~arseniiv@95.105.0.144.dynamic.ufanet.ru JOIN :#esoteric < 1590576577 892104 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1590576637 949615 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 264 seconds < 1590576657 325886 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1590578660 25628 :Arcorann__!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net QUIT :Ping timeout: 246 seconds < 1590578766 382934 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net JOIN :#esoteric < 1590579039 640055 :heroux!sandroco@gateway/shell/insomnia247/x-omwyulzrnvywiawl QUIT :Ping timeout: 258 seconds < 1590579208 18594 :heroux!sandroco@gateway/shell/insomnia247/x-nijzhnrbczdabrlw JOIN :#esoteric < 1590580404 345190 :cpressey!~cpressey@88.144.95.15 QUIT :Quit: WeeChat 1.9.1 < 1590580416 997574 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1590582414 147792 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection < 1590584106 539166 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Read error: Connection reset by peer < 1590584229 795710 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1590584589 917338 :ArthurStrong!~ArthurStr@46-133-128-131.mobile.vf-ua.net JOIN :#esoteric < 1590584707 947667 :cpressey!~cpressey@88.144.95.15 JOIN :#esoteric < 1590584757 628758 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Four-spiral_semigroup < 1590584773 249977 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Bicyclic_semigroup < 1590584778 985477 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :I found a good topic to study: semigroups < 1590585304 615195 :int-e!~noone@int-e.eu PRIVMSG #esoteric :disunited monoids < 1590585347 992959 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(this makes more sense if you pronounce "disunited" wrongly) < 1590585774 402292 :tromp!~tromp@2a02:a210:ca3:2800:39a5:d7db:7b8e:ee59 JOIN :#esoteric < 1590585985 539083 :tromp_!~tromp@2a02:a210:ca3:2800:e8bb:ce16:76a1:541f QUIT :Ping timeout: 272 seconds < 1590586401 382538 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric > 1590586827 602338 PRIVMSG #esoteric :14[[07Spoon14]]4 M10 02https://esolangs.org/w/index.php?diff=72938&oldid=66267 5* 03PythonshellDebugwindow 5* (+27) 10/* See also */ > 1590586844 156877 PRIVMSG #esoteric :14[[07Spoon14]]4 M10 02https://esolangs.org/w/index.php?diff=72939&oldid=72938 5* 03PythonshellDebugwindow 5* (+35) 10/* See also */ < 1590586866 702777 :Mahadev!~real@47.30.142.170 JOIN :#esoteric < 1590586904 866243 :opticnerve!~opticnerv@host192-205-dynamic.2-87-r.retail.telecomitalia.it QUIT :Quit: bye > 1590586924 953459 PRIVMSG #esoteric :14[[07You are Reading the Name of this Esolang14]]4 M10 02https://esolangs.org/w/index.php?diff=72940&oldid=46111 5* 03PythonshellDebugwindow 5* (+27) 10/* See also */ > 1590586999 582598 PRIVMSG #esoteric :14[[07You are Reading the Name of this Esolang14]]4 M10 02https://esolangs.org/w/index.php?diff=72941&oldid=72940 5* 03PythonshellDebugwindow 5* (+34) 10/* External resources */ link < 1590587454 594718 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com QUIT :Quit: Leaving. > 1590587773 770534 PRIVMSG #esoteric :14[[07Exp14]]4 M10 02https://esolangs.org/w/index.php?diff=72942&oldid=71602 5* 03PythonshellDebugwindow 5* (+5) 10 > 1590588035 232781 PRIVMSG #esoteric :14[[07B sharp14]]4 M10 02https://esolangs.org/w/index.php?diff=72943&oldid=68160 5* 03PythonshellDebugwindow 5* (+9) 10 > 1590588060 432849 PRIVMSG #esoteric :14[[07D14]]4 M10 02https://esolangs.org/w/index.php?diff=72944&oldid=67091 5* 03PythonshellDebugwindow 5* (+33) 10 < 1590588065 370433 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com JOIN :#esoteric > 1590588191 170941 PRIVMSG #esoteric :14[[07IBC14]]4 M10 02https://esolangs.org/w/index.php?diff=72945&oldid=70394 5* 03PythonshellDebugwindow 5* (+179) 10/* Delete System32 */ > 1590588210 694163 PRIVMSG #esoteric :14[[07IBC14]]4 M10 02https://esolangs.org/w/index.php?diff=72946&oldid=72945 5* 03PythonshellDebugwindow 5* (+18) 102019 > 1590588421 10228 PRIVMSG #esoteric :14[[07MangularJS14]]4 M10 02https://esolangs.org/w/index.php?diff=72947&oldid=72563 5* 03PythonshellDebugwindow 5* (+24) 10/* See also */ < 1590588434 888903 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :I'm implementing the lambda calculus so that I can experience firsthand the road to madness that alpha-conversion is. > 1590588491 238867 PRIVMSG #esoteric :14[[07HaltJS14]]4 M10 02https://esolangs.org/w/index.php?diff=72948&oldid=71609 5* 03PythonshellDebugwindow 5* (+5) 10 < 1590588548 780301 :zseri!~zseri@ytrizja.de JOIN :#esoteric > 1590588564 482159 PRIVMSG #esoteric :14[[07GHOST14]]4 M10 02https://esolangs.org/w/index.php?diff=72949&oldid=71614 5* 03PythonshellDebugwindow 5* (+6) 10/* GHOST */ < 1590588872 676656 :arseniiv_!~arseniiv@95.105.0.144.dynamic.ufanet.ru PRIVMSG #esoteric :cpressey: there is no alpha-conversion, there are only de Bruijn indices :p < 1590588879 55846 :arseniiv_!~arseniiv@95.105.0.144.dynamic.ufanet.ru NICK :arseniiv > 1590588938 16969 PRIVMSG #esoteric :14[[07SpaghettiScript14]]4 10 02https://esolangs.org/w/index.php?diff=72950&oldid=72933 5* 03UltimateProGrammer 5* (+54) 10 > 1590588970 10885 PRIVMSG #esoteric :14[[073LEB14]]4 10 02https://esolangs.org/w/index.php?diff=72951&oldid=72899 5* 03Hanzlu 5* (+520) 10 < 1590589010 150710 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: Substitution with de Bruijn indices is no joy either. It's just harder to get subtly wrong. < 1590589084 878751 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(mainly because there are fewer degrees of freedom) < 1590589122 221266 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :Well, I'm trying to start with a naive implementation, and then refactor it into a more sophisticated version. I lack test cases though. < 1590589217 337004 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :I do agree with the idea that the set of bound variable names, and the set of free variable names, should be disjoint. (whether the bound variable "names" are de Bruijn indices or not.) < 1590589267 215587 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :I mean, I can see how that makes things cleaner. I'm not there yet though. < 1590589286 54953 :arseniiv!~arseniiv@95.105.0.144.dynamic.ufanet.ru PRIVMSG #esoteric :int-e: rain1: yesterday I thought about the way to make a monoid from a semigroup and that some people think of semigroups as unnecessary because of that, but I realized there should be a lot of examples when we can’t adjoin a synthetic identity element to a semigroup, e. g. when this is a multiplicative semigroup of a semiring: how would we define addition with this synthetic 1, it may be in some cases that there are no natural choic < 1590589286 160693 :arseniiv!~arseniiv@95.105.0.144.dynamic.ufanet.ru PRIVMSG #esoteric :e, or a couple of them. And this generalizes to an arbitraty algebraic structure being accidentally a semigroup for one of its operations < 1590589325 969226 :arseniiv!~arseniiv@95.105.0.144.dynamic.ufanet.ru PRIVMSG #esoteric :also there is a much simpler argument that morphism of semigroups which are by chance monoids isn’t necessary a monoid morphism < 1590589358 386357 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: that helps a lot if you never beta-reduce under a lambda. otherwise the distinction of free and bound becomes blurry < 1590589367 367898 :arseniiv!~arseniiv@95.105.0.144.dynamic.ufanet.ru PRIVMSG #esoteric : (mainly because there are fewer degrees of freedom) => so that’s better anyway! < 1590589480 463441 :arseniiv!~arseniiv@95.105.0.144.dynamic.ufanet.ru PRIVMSG #esoteric :cpressey: you can also use indices for free variables. At first to me that seemed a bit strange and unnecessary, but seeing the implementation in Pierce’s TaPL fleshed out more, I think that idea is a reasonable completion, and maybe the only one, of dB indices < 1590589530 318027 :arseniiv!~arseniiv@95.105.0.144.dynamic.ufanet.ru PRIVMSG #esoteric :this solves a problem naming bound variables closer to what the user of the language called them before the conversion to indices < 1590589714 608957 :arseniiv!~arseniiv@95.105.0.144.dynamic.ufanet.ru PRIVMSG #esoteric :but I have to admit, I never implemented this version < 1590590118 618040 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1590590191 79846 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: here's a fun closed term: \d. (\f z. f (f (f (f (f z))))) (\c b x. c (b x)) d < 1590590312 983712 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Which reduces to \z b x x1 x2 x3 x4. z (b x x1 x2 x3 x4) which requires more distinct bound variables than it started out with. < 1590590399 288257 :Mahadev!~real@47.30.142.170 PART :#esoteric < 1590590607 42137 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :int-e: I would like to use that as a test case. I need to write a parser first though -- even translating that by hand to my data structure might introduce an error :) < 1590591447 110040 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection > 1590591674 484780 PRIVMSG #esoteric :14[[07OneFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=72952&oldid=51983 5* 03PythonshellDebugwindow 5* (-14) 10/* Added instructions */ < 1590591947 390641 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: Connection closed < 1590592395 360183 :cpressey!~cpressey@88.144.95.15 PRIVMSG #esoteric :None of this is helped by the apparent fact that I have the attention span of a gnat today. > 1590593460 198973 PRIVMSG #esoteric :14[[073LEB14]]4 10 02https://esolangs.org/w/index.php?diff=72953&oldid=72951 5* 03Hanzlu 5* (+614) 10 < 1590593868 435534 :MDude!~MDude@74.5.130.30 JOIN :#esoteric < 1590594721 392880 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric > 1590594860 30301 PRIVMSG #esoteric :14[[07Jsfunc14]]4 M10 02https://esolangs.org/w/index.php?diff=72954&oldid=71284 5* 03PythonshellDebugwindow 5* (+23) 10 < 1590595167 211581 :cpressey!~cpressey@88.144.95.15 QUIT :Quit: WeeChat 1.9.1 > 1590595280 155042 PRIVMSG #esoteric :14[[07Shatner14]]4 10 02https://esolangs.org/w/index.php?diff=72955&oldid=46949 5* 03Occular 5* (+121) 10 > 1590595309 421582 PRIVMSG #esoteric :14[[07Shatner14]]4 10 02https://esolangs.org/w/index.php?diff=72956&oldid=72955 5* 03Occular 5* (-4) 10 > 1590595350 505584 PRIVMSG #esoteric :14[[07Forbin14]]4 N10 02https://esolangs.org/w/index.php?oldid=72957 5* 03PythonshellDebugwindow 5* (+443) 10Created page with "{{PageWIP}] '''Forbin''' is an esolang by [[User:PythonshellDebugwindow]]. ==Examples== ===[[Hello World]]=== main { out 01001000; out 01100101; out 01101100; ou..." > 1590595360 449913 PRIVMSG #esoteric :14[[07Forbin14]]4 M10 02https://esolangs.org/w/index.php?diff=72958&oldid=72957 5* 03PythonshellDebugwindow 5* (+0) 10 < 1590595925 16371 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric < 1590596117 937961 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1590596672 1452 :opticnerve!~opticnerv@host192-205-dynamic.2-87-r.retail.telecomitalia.it JOIN :#esoteric > 1590597688 246306 PRIVMSG #esoteric :14[[07MetaGlow14]]4 M10 02https://esolangs.org/w/index.php?diff=72959&oldid=70533 5* 03PythonshellDebugwindow 5* (+18) 10 > 1590597779 618555 PRIVMSG #esoteric :14[[07Entish14]]4 M10 02https://esolangs.org/w/index.php?diff=72960&oldid=68926 5* 03PythonshellDebugwindow 5* (-2) 10 < 1590597954 466164 :b_jonas!~x@catv-176-63-11-114.catv.broadband.hu JOIN :#esoteric < 1590598742 274605 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric > 1590599110 424498 PRIVMSG #esoteric :14[[07Insanity14]]4 M10 02https://esolangs.org/w/index.php?diff=72961&oldid=70454 5* 03PythonshellDebugwindow 5* (+79) 10 > 1590599381 899478 PRIVMSG #esoteric :14[[07ADxc14]]4 M10 02https://esolangs.org/w/index.php?diff=72962&oldid=68253 5* 03PythonshellDebugwindow 5* (+94) 10cats + style > 1590599470 268647 PRIVMSG #esoteric :14[[07HeartForth14]]4 M10 02https://esolangs.org/w/index.php?diff=72963&oldid=42990 5* 03PythonshellDebugwindow 5* (-6) 10 < 1590599806 837134 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection < 1590601082 436532 :tromp!~tromp@2a02:a210:ca3:2800:39a5:d7db:7b8e:ee59 QUIT :Remote host closed the connection > 1590601209 713274 PRIVMSG #esoteric :14[[07User:Orby/Term rewriting metalanguage14]]4 10 02https://esolangs.org/w/index.php?diff=72964&oldid=72854 5* 03Orby 5* (+1183) 10 < 1590601467 49628 :Lucretia!~Luke@pdpc/supporter/active/lucretia JOIN :#esoteric < 1590601520 780227 :tromp!~tromp@2a02:a210:ca3:2800:39a5:d7db:7b8e:ee59 JOIN :#esoteric < 1590602878 936880 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 272 seconds > 1590603192 817917 PRIVMSG #esoteric :14[[07Forbin14]]4 M10 02https://esolangs.org/w/index.php?diff=72965&oldid=72958 5* 03PythonshellDebugwindow 5* (+182) 10 > 1590603440 579608 PRIVMSG #esoteric :14[[07Trml14]]4 N10 02https://esolangs.org/w/index.php?oldid=72966 5* 03Orby 5* (+2079) 10Creating Trml term-rewriting metalanguage page > 1590603539 623203 PRIVMSG #esoteric :14[[07User:Orby14]]4 M10 02https://esolangs.org/w/index.php?diff=72967&oldid=72797 5* 03Orby 5* (+73) 10 > 1590603573 905036 PRIVMSG #esoteric :14[[07User:Orby14]]4 M10 02https://esolangs.org/w/index.php?diff=72968&oldid=72967 5* 03Orby 5* (-84) 10/* Ideas in progress */ > 1590603867 451297 PRIVMSG #esoteric :14[[07User:Orby14]]4 M10 02https://esolangs.org/w/index.php?diff=72969&oldid=72968 5* 03Orby 5* (+0) 10/* Metalanguages */ < 1590604643 935309 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1590604935 56515 :imode!~linear@unaffiliated/imode JOIN :#esoteric > 1590605114 696456 PRIVMSG #esoteric :14[[07Trml14]]4 10 02https://esolangs.org/w/index.php?diff=72970&oldid=72966 5* 03Orby 5* (+432) 10/* Matrioshka language */ < 1590605280 911508 :orbitaldecay!~bob@forder.cc PRIVMSG #esoteric :imode: greetings < 1590605415 410047 :tromp!~tromp@2a02:a210:ca3:2800:39a5:d7db:7b8e:ee59 QUIT :Remote host closed the connection < 1590605433 975818 :tromp!~tromp@2a02:a210:ca3:2800:39a5:d7db:7b8e:ee59 JOIN :#esoteric > 1590605823 423836 PRIVMSG #esoteric :14[[07Trml14]]4 10 02https://esolangs.org/w/index.php?diff=72971&oldid=72970 5* 03Orby 5* (+175) 10/* Term statements */ > 1590605935 55499 PRIVMSG #esoteric :14[[07Trml14]]4 M10 02https://esolangs.org/w/index.php?diff=72972&oldid=72971 5* 03Orby 5* (+81) 10/* Term statements */ < 1590606348 463624 :arseniiv!~arseniiv@95.105.0.144.dynamic.ufanet.ru PRIVMSG #esoteric :hi all again, does anybody know an example of an S-expression rewriting esolang? (analogous to Markov algorithm or Thue) < 1590607635 7634 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Ping timeout: 246 seconds < 1590607989 755186 :orbitaldecay!~bob@forder.cc PRIVMSG #esoteric :arseniiv: metalanguage or more akin to lisp? < 1590608032 922065 :orbitaldecay!~bob@forder.cc PRIVMSG #esoteric :Trml is a work in progress which may suit your needs < 1590608097 179371 :arseniiv!~arseniiv@95.105.0.144.dynamic.ufanet.ru PRIVMSG #esoteric :orbitaldecay: any working esolang, though better it had a complete description < 1590608101 683432 :zseri!~zseri@ytrizja.de QUIT :Quit: zseri < 1590608117 27969 :arseniiv!~arseniiv@95.105.0.144.dynamic.ufanet.ru PRIVMSG #esoteric :though I made up something right now and I think I’m lazy to implement it < 1590608357 230694 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :You can write the description of it even if it is not yet implemented < 1590608807 459020 :user24!~user24@2a02:810a:1440:7304:ad01:9d7f:d9df:5806 JOIN :#esoteric > 1590609209 920447 PRIVMSG #esoteric :14[[07Sillycon14]]4 M10 02https://esolangs.org/w/index.php?diff=72973&oldid=67554 5* 03PythonshellDebugwindow 5* (+24) 10/* External resources */ < 1590609829 251696 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving > 1590610695 957600 PRIVMSG #esoteric :14[[07XENBLN/Commands14]]4 M10 02https://esolangs.org/w/index.php?diff=72974&oldid=71733 5* 03PythonshellDebugwindow 5* (-1) 10 < 1590610932 402697 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :allo. < 1590611037 460561 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :hi < 1590611473 932645 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric > 1590611547 990581 PRIVMSG #esoteric :14[[07Trml14]]4 10 02https://esolangs.org/w/index.php?diff=72975&oldid=72972 5* 03Orby 5* (+179) 10/* Rule statements */ > 1590611692 172669 PRIVMSG #esoteric :14[[07Forbin14]]4 M10 02https://esolangs.org/w/index.php?diff=72976&oldid=72965 5* 03PythonshellDebugwindow 5* (+195) 10/* Hello World */ < 1590611705 309276 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net QUIT :Quit: adu < 1590612003 560479 :user24!~user24@2a02:810a:1440:7304:ad01:9d7f:d9df:5806 QUIT :Remote host closed the connection < 1590612304 957113 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving > 1590612662 927945 PRIVMSG #esoteric :14[[07EnilKode14]]4 M10 02https://esolangs.org/w/index.php?diff=72977&oldid=70785 5* 03PythonshellDebugwindow 5* (+42) 10/* Truth Machine */ cats < 1590612971 169463 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric > 1590613068 678564 PRIVMSG #esoteric :14[[07Asd14]]4 M10 02https://esolangs.org/w/index.php?diff=72978&oldid=56261 5* 03PythonshellDebugwindow 5* (+26) 10 < 1590614674 734048 :tromp!~tromp@2a02:a210:ca3:2800:39a5:d7db:7b8e:ee59 QUIT :Remote host closed the connection < 1590614936 468672 :tromp!~tromp@2a02:a210:ca3:2800:39a5:d7db:7b8e:ee59 JOIN :#esoteric < 1590616607 748005 :ArthurStrong!~ArthurStr@46-133-128-131.mobile.vf-ua.net QUIT :Read error: Connection reset by peer < 1590616654 921368 :ArthurStrong!~ArthurStr@46-133-78-0.mobile.vf-ua.net JOIN :#esoteric < 1590616942 417153 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1590616970 945094 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 256 seconds < 1590617056 841372 :tromp!~tromp@2a02:a210:ca3:2800:39a5:d7db:7b8e:ee59 QUIT :Remote host closed the connection < 1590617082 491015 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1590617279 927787 :arseniiv_!~arseniiv@95.105.5.215.dynamic.ufanet.ru JOIN :#esoteric < 1590617442 868009 :arseniiv!~arseniiv@95.105.0.144.dynamic.ufanet.ru QUIT :Ping timeout: 256 seconds < 1590617876 227079 :opticnerve!~opticnerv@host192-205-dynamic.2-87-r.retail.telecomitalia.it QUIT :Quit: bye < 1590618323 253107 :tromp!~tromp@2a02:a210:ca3:2800:39a5:d7db:7b8e:ee59 JOIN :#esoteric < 1590618344 980630 :arseniiv_!~arseniiv@95.105.5.215.dynamic.ufanet.ru QUIT :Ping timeout: 272 seconds < 1590618470 574820 :LKoen!~LKoen___@81.255.219.130 QUIT :Remote host closed the connection < 1590619005 514372 :d2ci8xc5!~d2ci8xc5@122-62-204-250-vdsl.sparkbb.co.nz JOIN :#esoteric < 1590619035 179774 :d2ci8xc5!~d2ci8xc5@122-62-204-250-vdsl.sparkbb.co.nz QUIT :Remote host closed the connection < 1590619839 476974 :tromp!~tromp@2a02:a210:ca3:2800:39a5:d7db:7b8e:ee59 QUIT :Remote host closed the connection < 1590619890 477776 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1590619904 179866 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds < 1590620056 605542 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1590620360 190962 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net QUIT :Quit: adu < 1590620529 161765 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric < 1590621033 24336 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net JOIN :#esoteric < 1590622419 208392 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection < 1590623135 489951 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net QUIT :Quit: adu < 1590623440 753225 :adu!~arobbins@c-73-129-154-238.hsd1.md.comcast.net JOIN :#esoteric < 1590623726 699539 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :@tell arseniiv modal is an example of this. < 1590623726 699614 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1590623786 584595 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :orbitaldecay: what's Trml?