< 1614816509 126040 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursa1 < 1614816525 952863 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1614816955 442995 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :Got a weird PM again < 1614817037 872562 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :send it to 4 friends < 1614817859 14892 :arseniiv!~arseniiv@136.169.234.91 QUIT :Ping timeout: 260 seconds > 1614818632 547636 PRIVMSG #esoteric :14[[07Talk:TheSingularity14]]4 N10 02https://esolangs.org/w/index.php?oldid=81161 5* 03Emerald 5* (+141) 10/* Help! */ new section < 1614818788 508176 :hendursaga!~weechat@gateway/tor-sasl/hendursaga PRIVMSG #esoteric :or enemies < 1614819935 659874 :mniip!mniip@freenode/staff/mniip QUIT :Ping timeout: 600 seconds < 1614819979 824237 :sprock!~sprocklem@unaffiliated/sprocklem QUIT :Quit: ... < 1614824312 417538 :craigo!~craigo@144.136.206.168 JOIN :#esoteric < 1614825239 241581 :int-e!~noone@int-e.eu QUIT :Ping timeout: 256 seconds < 1614825722 67759 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1614825799 622259 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Ping timeout: 276 seconds < 1614825825 501406 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 264 seconds < 1614825825 939355 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1614825939 505697 :int-e!~noone@int-e.eu JOIN :#esoteric < 1614826130 859036 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN :#esoteric < 1614831026 903935 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 QUIT :Quit: Zzzzz < 1614831356 977583 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Disconnected by services < 1614831367 911688 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN :#esoteric < 1614831438 297742 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :How should be made a programming language for defining solitaire card games? I had a few ideas about it, but not all. < 1614834048 43580 :mniip!mniip@freenode/staff/mniip JOIN :#esoteric < 1614835185 193088 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :maybe wiki has examples < 1614835292 312535 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: What are your ideas? < 1614835299 749537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote octopus < 1614835301 594501 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :179) Invent the game called "Sandwich - The Card Game" and "Professional Octopus of the World" (these names are just generated by randomly) \ 208) ais523: Maybe it is better, because I don't think the octopus will live very well in the tree. But the difference is that the Internet is lying and you cannot see such things; you could make modified picture, though, in order to lie more clearly, at least. < 1614835323 295154 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can your language express Sandwich - The Card Game and Professional Octopus of the World? < 1614835453 509351 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :shachaf: You can define different kind of objects, including zones, games, and commands, and you can define rules such as movable and receivable for each zone, which are pure functions of the game and will be true or false, and events, and optionally global variables. For example, in Freecell, the free cells can each receive one card when empty. This might be "vac&:1" or maybe the syntax might differ. < 1614835506 716389 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :If "Sandwich - The Card Game" and "Professional Octopus of the World" are solitaire card games, then it is expected that they would be implementable. (It is OK if it uses a subset of the common deck, multiple decks, or a different deck such as a tarot deck; it is not limited to a common deck of cards.) < 1614835582 6547 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :`quote rasel < 1614835583 272202 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1614835741 217374 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Do you have better ideas? < 1614836188 922265 :UstinLVO!bca36de6@188.163.109.230 JOIN :#esoteric > 1614838265 303249 PRIVMSG #esoteric :14[[07Nope.14]]4 10 02https://esolangs.org/w/index.php?diff=81162&oldid=81054 5* 03Salpynx 5* (+620) 10/* Implementations */ Lazy K implementation, and alpha-sort sections < 1614839582 978848 :dcristofani!~dcristofa@69-71-183-170.mammothnetworks.com JOIN :#esoteric < 1614839803 144148 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Disconnected by services < 1614839808 780143 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN :#esoteric < 1614841128 882474 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Ping timeout: 245 seconds < 1614843835 604446 :dcristofani!~dcristofa@69-71-183-170.mammothnetworks.com QUIT :Ping timeout: 240 seconds < 1614843926 857992 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN :#esoteric < 1614845195 794344 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net QUIT :Read error: Connection reset by peer > 1614845582 463832 PRIVMSG #esoteric :14[[07User talk:ColorfulGalaxy14]]4 10 02https://esolangs.org/w/index.php?diff=81163&oldid=81107 5* 03Trump Bot 5* (+197) 10 < 1614846504 401879 :dcristofani!~dcristofa@69-71-183-170.mammothnetworks.com JOIN :#esoteric < 1614846582 365914 :Lymee!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1614846589 488506 :atriq!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1614846593 485927 :ocharles_!sid30093@musicbrainz/user/ocharles JOIN :#esoteric < 1614846598 241761 :user3456!user3456@gateway/shell/insomnia247/x-wmisgewtlxrrfkbw JOIN :#esoteric < 1614846600 555837 :dnm_!sid401311@gateway/web/irccloud.com/x-kvlfhicdbojsmhrj JOIN :#esoteric < 1614846691 216301 :SoniEx2!~quassel@unaffiliated/soniex2 JOIN :#esoteric < 1614846726 530129 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Ping timeout: 246 seconds < 1614847411 333403 :sebbu!~sebbu@unaffiliated/sebbu QUIT :*.net *.split < 1614847412 149243 :Soni!~quassel@unaffiliated/soniex2 QUIT :*.net *.split < 1614847412 239877 :user3456_!user3456@gateway/shell/insomnia247/x-ldlkeszgxxgiicby QUIT :*.net *.split < 1614847412 351520 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :*.net *.split < 1614847412 472594 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 QUIT :*.net *.split < 1614847413 559930 :ocharles!sid30093@musicbrainz/user/ocharles QUIT :*.net *.split < 1614847413 722592 :dnm!sid401311@gateway/web/irccloud.com/x-wqqjmtwmxpiyoquj QUIT :*.net *.split < 1614847417 772138 :Lymee!lymia@magical.girl.lyrical.lymia.moe NICK :Lymia < 1614847422 190255 :dnm_!sid401311@gateway/web/irccloud.com/x-kvlfhicdbojsmhrj NICK :dnm < 1614847425 135148 :ocharles_!sid30093@musicbrainz/user/ocharles NICK :ocharles > 1614847657 248232 PRIVMSG #esoteric :14[[07User talk:ColorfulGalaxy14]]4 10 02https://esolangs.org/w/index.php?diff=81164&oldid=81163 5* 03Trump Bot 5* (+188) 10 < 1614848375 999333 :atriq!~Taneb@runciman.hacksoc.org NICK :Taneb < 1614848949 305488 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1614849046 2484 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 268 seconds < 1614849622 223766 :dionys!dionys@gateway/shell/blinkenshell.org/x-cfnydfrnaprqstcy QUIT :Quit: dionys < 1614849635 583612 :dionys!dionys@gateway/shell/blinkenshell.org/session JOIN :#esoteric < 1614849642 100701 :dionys!dionys@gateway/shell/blinkenshell.org/session QUIT :Changing host < 1614849642 190750 :dionys!dionys@gateway/shell/blinkenshell.org/x-imtiyyqpbkebovge JOIN :#esoteric > 1614850383 412740 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03SansCipher 5* 10New user account > 1614850509 467044 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=81165&oldid=81156 5* 03SansCipher 5* (+163) 10/* Introductions */ > 1614850582 865280 PRIVMSG #esoteric :14[[07User:SansCipher14]]4 N10 02https://esolangs.org/w/index.php?oldid=81166 5* 03SansCipher 5* (+75) 10Created page with "Things I like: Programming Obscure topics Things I don't like: Lists Irony" > 1614850636 211120 PRIVMSG #esoteric :14[[07User:SansCipher14]]4 10 02https://esolangs.org/w/index.php?diff=81167&oldid=81166 5* 03SansCipher 5* (+20) 10 < 1614852427 3800 :arseniiv!~arseniiv@136.169.234.91 JOIN :#esoteric < 1614853627 593729 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1614856869 832890 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1614856960 648049 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :shachaf: "Sandwich" is one common word, so it is already used as the name of a card game: https://boardgamegeek.com/boardgame/80933/sandwich . That's from 2012, when is the quote from? < 1614857393 813188 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :The quote is revision 0, which is from 2012 where the HackEso repo in the live HackEso was cut, so it might precede that card game < 1614857413 105988 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :"Professional Octopus of the World" is a good one, seems unused so far < 1614857973 502826 :dcristofani!~dcristofa@69-71-183-170.mammothnetworks.com QUIT :Ping timeout: 264 seconds < 1614860161 473660 :LKoen!~LKoen@185.61.176.203 JOIN :#esoteric < 1614860479 611888 :LKoen!~LKoen@185.61.176.203 QUIT :Remote host closed the connection < 1614863482 592676 :LKoen!~LKoen@185.61.176.203 JOIN :#esoteric < 1614864992 892798 :Noxim!54fb49a2@dsl-hkibng32-54fb49-162.dhcp.inet.fi JOIN :#esoteric < 1614865181 91219 :SoniEx2!~quassel@unaffiliated/soniex2 NICK :Soni < 1614865403 915818 :Noxim!54fb49a2@dsl-hkibng32-54fb49-162.dhcp.inet.fi QUIT :Quit: Connection closed < 1614866336 805476 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, the relevant name isn't "Sandwich", it's "Sandwich - The Card Game". < 1614866453 214699 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`learn The password of the month is grammaphobic. < 1614866456 182141 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Relearned 'password': The password of the month is grammaphobic. < 1614866515 138100 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :shachaf: makes sense, you could absolutely have a video game based on a real or fictional card game called "Sandwich - The Card Game" or perhaps even an anime based on a fictional card game called "Sandwich - The Card Game" < 1614866738 761424 :LKoen!~LKoen@185.61.176.203 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.” < 1614868293 973275 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine < 1614868439 126549 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1614869754 56252 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net JOIN :#esoteric > 1614873222 899763 PRIVMSG #esoteric :14[[07User:Not applicable14]]4 10 02https://esolangs.org/w/index.php?diff=81168&oldid=80793 5* 03Not applicable 5* (+258) 10add stupidpaint < 1614873588 125573 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: Connection closed < 1614876987 960884 :Noxim!54fb49a2@dsl-hkibng32-54fb49-162.dhcp.inet.fi JOIN :#esoteric < 1614877455 86829 :Noxim!54fb49a2@dsl-hkibng32-54fb49-162.dhcp.inet.fi QUIT :Quit: Connection closed < 1614877773 460984 :craigo!~craigo@144.136.206.168 QUIT :Ping timeout: 264 seconds > 1614879564 863232 PRIVMSG #esoteric :14[[07Brainpocalypse14]]4 10 02https://esolangs.org/w/index.php?diff=81169&oldid=57025 5* 03Zero player rodent 5* (+669) 10 > 1614879629 332210 PRIVMSG #esoteric :14[[07User:Zero player rodent14]]4 10 02https://esolangs.org/w/index.php?diff=81170&oldid=81066 5* 03Zero player rodent 5* (+21) 10 > 1614879806 268676 PRIVMSG #esoteric :14[[07Brainpocalypse14]]4 10 02https://esolangs.org/w/index.php?diff=81171&oldid=81169 5* 03Zero player rodent 5* (-340) 10 < 1614882650 423485 :sprock!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1614883652 615436 PRIVMSG #esoteric :14[[07Special:Log/upload14]]4 upload10 02 5* 03JustJude 5* 10uploaded "[[02File:Bread.png10]]": An anatomically accurate image of a loaf bread < 1614884359 96770 :spruit11!~unknown@86-82-44-193.fixed.kpn.net QUIT :Ping timeout: 260 seconds < 1614885859 817566 :UstinLVO!bca36de6@188.163.109.230 PRIVMSG #esoteric :Hello. Do you know any esolang whose character set is restricted to DEC SIXBIT? Except Brainfuck and similar Turing tarpits - I'm looking for something like GolfScript < 1614886204 24724 :spruit11!~unknown@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1614888567 318884 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: have you encountered 60 degree angles in Room to Grow? < 1614888662 271348 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> (24+1+3+0+27+1+3+1+20, 24+1+5+1+31+1+5+1+38+1) < 1614888664 586459 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (80,108) < 1614888699 415247 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> 80/108*100 < 1614888702 162889 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 74.07407407407408 < 1614888820 434381 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(108 is the expected number of stars to earn... that I can see, maybe there are surprise levels somewhere) < 1614889433 514356 :craigo!~craigo@144.136.206.168 JOIN :#esoteric < 1614890138 143471 :arseniiv!~arseniiv@136.169.234.91 PRIVMSG #esoteric :things like “if (x == y) return x; else return NULL;” (say) make me unsuccesfully contemplating how to make the code truly symmetric with regard to x and y < 1614890228 12674 :UstinLVO!bca36de6@188.163.109.230 PRIVMSG #esoteric :symmetric? < 1614890248 997816 :test!63c72bd0@d99-199-43-208.bchsia.telus.net JOIN :#esoteric < 1614890249 700137 :UstinLVO!bca36de6@188.163.109.230 PRIVMSG #esoteric :if (x == y) return (x | y); else return NULL; < 1614890255 50874 :test!63c72bd0@d99-199-43-208.bchsia.telus.net QUIT :Client Quit < 1614890274 255580 :arseniiv!~arseniiv@136.169.234.91 PRIVMSG #esoteric :UstinLVO: that won’t do for x, y of arbitrary type! < 1614890315 959039 :esolang5784937!63c72bd0@d99-199-43-208.bchsia.telus.net JOIN :#esoteric < 1614890324 155578 :arseniiv!~arseniiv@136.169.234.91 PRIVMSG #esoteric :unfortunately < 1614890328 930154 :UstinLVO!bca36de6@188.163.109.230 PRIVMSG #esoteric :hm < 1614890334 513822 :esolang5784937!63c72bd0@d99-199-43-208.bchsia.telus.net PRIVMSG #esoteric :Open esolang question: https://cstheory.stackexchange.com/questions/48349/is-this-variant-of-bitwise-cyclic-tag-turing-complete < 1614890381 608391 :esolang5784937!63c72bd0@d99-199-43-208.bchsia.telus.net QUIT :Client Quit < 1614890462 39465 :arseniiv!~arseniiv@136.169.234.91 PRIVMSG #esoteric :there are inefficient variants like “xs = sort([x, y]); return len(xs) == 1 ? xs[0] : NULL” (btw that’s just a C-like syntax, I picked it for universality) < 1614890502 399055 :arseniiv!~arseniiv@136.169.234.91 PRIVMSG #esoteric :oops that doesn’t work like I meant < 1614890511 199371 :arseniiv!~arseniiv@136.169.234.91 PRIVMSG #esoteric :we need take something like set([x, y]) < 1614890580 114583 :arseniiv!~arseniiv@136.169.234.91 PRIVMSG #esoteric :this will be an actually good thing when there are arbitrarily many elements, and also it works as expected when there are 0 and 1 elements < 1614890602 422345 :arseniiv!~arseniiv@136.169.234.91 PRIVMSG #esoteric :but for the special case of two or a handful of elements, well… < 1614890655 121457 :arseniiv!~arseniiv@136.169.234.91 PRIVMSG #esoteric :I think maybe languages would be better to have some form of that thing as a primitive < 1614890919 659650 :arseniiv!~arseniiv@136.169.234.91 PRIVMSG #esoteric :hm now that I think of it, by default there *is* asymmetry, x and y may be equal but have different representations, even if not observable by us in any way < 1614891699 63697 :dcristofani!~dcristofa@69-71-183-170.mammothnetworks.com JOIN :#esoteric < 1614892788 884824 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 JOIN :#esoteric > 1614893689 164351 PRIVMSG #esoteric :14[[07Maybe Later14]]4 M10 02https://esolangs.org/w/index.php?diff=81173&oldid=52953 5* 03PythonshellDebugwindow 5* (+240) 10/* Examples */ Truth-machine; headers < 1614893971 66692 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN :#esoteric > 1614897158 651685 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Arabica 5* 10New user account > 1614897272 453617 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=81174&oldid=81165 5* 03Arabica 5* (+66) 10/* Introductions */ < 1614897436 982751 :galactic!~galactic@ip68-8-236-3.sd.sd.cox.net JOIN :#esoteric > 1614897504 693540 PRIVMSG #esoteric :14[[07User:Arabica14]]4 N10 02https://esolangs.org/w/index.php?oldid=81175 5* 03Arabica 5* (+227) 10Created page with "I have made an EsoLang called "Eon". Classes are: name(args) -> propety = "This is how you make a class!, also tab indentation is important." Varibles Are name = value Fun..." > 1614897538 26032 PRIVMSG #esoteric :14[[07User:Arabica14]]4 10 02https://esolangs.org/w/index.php?diff=81176&oldid=81175 5* 03Arabica 5* (+12) 10 < 1614897587 933088 :dcristofani!~dcristofa@69-71-183-170.mammothnetworks.com QUIT :Ping timeout: 260 seconds > 1614897626 521334 PRIVMSG #esoteric :14[[07User:Arabica14]]4 10 02https://esolangs.org/w/index.php?diff=81177&oldid=81176 5* 03Arabica 5* (-5) 10 > 1614897769 560202 PRIVMSG #esoteric :14[[07User:Arabica14]]4 10 02https://esolangs.org/w/index.php?diff=81178&oldid=81177 5* 03Arabica 5* (+163) 10 < 1614898566 802990 :dcristofani!~dcristofa@69-71-183-170.mammothnetworks.com JOIN :#esoteric < 1614899719 857852 :gurmble!~Thunderbi@freenode/staff/grumble JOIN :#esoteric < 1614899729 734154 :grumble!~Thunderbi@freenode/staff/grumble QUIT :Quit: K-Lined < 1614899751 153402 :gurmble!~Thunderbi@freenode/staff/grumble NICK :grumble < 1614900315 179961 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursa1 < 1614900336 70620 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1614901585 111310 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Oops, missed that. < 1614901600 415830 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Nope, last new mechanic I saw was steps of different sizes. < 1614901646 608182 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I finished all of Forest but I think only about half of Mountain so far, and just a bit of Desert. < 1614901653 352802 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: Okay, it's just a bit further in the desert. < 1614901664 659130 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I finished Forest+ in the meantime. < 1614901701 908006 :int-e!~noone@int-e.eu PRIVMSG #esoteric :o the 3+0 is 5+1 now; the rest is unchanged < 1614901707 430199 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I haven't done any of that yet. < 1614901739 437876 :int-e!~noone@int-e.eu PRIVMSG #esoteric :anyway, it is a cute puzzle game < 1614901753 104535 :int-e!~noone@int-e.eu PRIVMSG #esoteric :not quite as epic as the monstrous one < 1614901762 886139 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :arseniiv: i,i if let z = unify(x, y) return z; else return NULL; < 1614901829 376351 :arseniiv!~arseniiv@136.169.234.91 PRIVMSG #esoteric :shachaf: this is good! I thought about something like this but didn’t came to think it’s actually just unification < 1614901854 364325 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Where by "unify" I mean, hmm, something that returns the value if both arguments are equal, otherwise fails. < 1614901866 976391 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So of course the implementation of unify still needs to do the thing you don't like. < 1614901883 790037 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway introducing a new name is "symmetric" but seems worse to me than using x. < 1614901900 41122 :arseniiv!~arseniiv@136.169.234.91 PRIVMSG #esoteric : So of course the implementation of unify still needs to do the thing you don't like. => yep that’s the catch too :( < 1614901928 440612 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess you can imagine this as a string diagram sort of thing, where unify takes two input and has one (unlabeled) output. < 1614901952 591993 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess that sort of corresponds to linear types, where unify consumes both its arguments, or something. < 1614902001 350292 :arseniiv!~arseniiv@136.169.234.91 PRIVMSG #esoteric :hmmm interesting link < 1614902041 978005 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway these are all bad answers. < 1614902250 697320 :UstinLVO!bca36de6@188.163.109.230 QUIT :Quit: Connection closed < 1614902279 8788 :dcristofani!~dcristofa@69-71-183-170.mammothnetworks.com QUIT :Ping timeout: 245 seconds