< 1536884249 495912 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1536884296 606245 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 244 seconds < 1536884511 483852 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1536884801 137166 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: sprocklem < 1536884968 46410 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1536885647 474635 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 240 seconds < 1536885688 803126 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1536885959 494582 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1536886233 492994 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 252 seconds < 1536886529 393218 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net JOIN :#esoteric < 1536886808 338697 :fractal!~fractal@unaffiliated/scounder QUIT :*.net *.split < 1536886808 718341 :relrod!~relrod@redhat/relrod QUIT :*.net *.split < 1536886813 412999 :relrod_!~relrod@origin.elrod.me JOIN :#esoteric < 1536886843 595893 :relrod_!~relrod@origin.elrod.me QUIT :Changing host < 1536886843 731205 :relrod_!~relrod@redhat/relrod JOIN :#esoteric < 1536886891 163172 :relrod_!~relrod@redhat/relrod NICK :relrod < 1536887280 614662 :fractal!~fractal@unaffiliated/scounder JOIN :#esoteric < 1536889188 498918 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1536889442 471879 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 244 seconds > 1536890082 529331 PRIVMSG #esoteric :14[[07Talk:Combinatory logic14]]4 M10 02https://esolangs.org/w/index.php?diff=57619&oldid=57580 5* 03Oerjan 5* (+49) 10/* Keywords */ unfnordsigned < 1536890178 402712 :arseniiv!~arseniiv@94.41.80.207.dynamic.ufanet.ru QUIT :Ping timeout: 245 seconds < 1536890553 44401 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` sed s,.,.,g quotes | nl | sort | tail -n 1 < 1536890554 29681 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​ 999 ....................................................................................................................................................................................................................................................................................................................................................... < 1536890560 470866 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`quote 999 < 1536890561 238523 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :999) i had a dream just now where i was in a gymnasium and they had fire alarm pull stations but they also had a similarly shaped "call/cc alarm" which I think you were supposed to pull if you found a way to write call/cc (it was expected that people in this gymnasium would be doing a lot of programming in total dependently-typed languages) < 1536890592 739110 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` quote 999 | wc < 1536890593 813032 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​ 1 65 349 < 1536890751 452534 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i guess 746 bytes is a bit too long for a quote. < 1536890915 455170 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(that summer school conversation between shachaf and Taneb) < 1536891504 141404 :S_Gautam!uid286066@gateway/web/irccloud.com/x-rlnslcedyvpfkjuv JOIN :#esoteric < 1536891573 882257 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :<\oren\> although a /gɣɪf/ sounds like a terrible thing <-- unbegrifflich! < 1536891624 290624 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hmph it's actually -greif- < 1536891677 682365 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :despite the noun being Begriff. < 1536891817 546470 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net JOIN :#esoteric < 1536893328 209837 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :How to find Haskell packages that provide instances of a class defined in another package? < 1536894333 673539 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i believe there's a reverse dependency search for packages, although that won't care about instances only < 1536894685 984165 :erkin!~erkin@unaffiliated/erkin QUIT :Remote host closed the connection < 1536895405 708232 :SchrodingersCat!~scat@unaffiliated/schrodingerscat JOIN :#esoteric < 1536895418 762863 :SchrodingersCat!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :https://paste.ee/p/3cGPc < 1536895444 332850 :SchrodingersCat!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :like the lang? < 1536895451 801247 :SchrodingersCat!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :is it esoteric? < 1536895600 765803 :SchrodingersCat!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :meow? < 1536895655 726802 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1536895762 733156 :SchrodingersCat!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :half-meow? < 1536895853 372278 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net QUIT :Ping timeout: 245 seconds < 1536895921 694415 :SchrodingersCat!~scat@unaffiliated/schrodingerscat PART #esoteric :"Leaving" < 1536895938 752336 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 264 seconds < 1536896789 436562 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net JOIN :#esoteric < 1536897065 719001 :Lyka!~scat@unaffiliated/schrodingerscat JOIN :#esoteric < 1536897071 715531 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :hi < 1536897117 736118 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :could some please tell me if https://paste.ee/p/3cGPc is esoteric enough? < 1536897508 712662 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :could someone please respond? < 1536897526 762743 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :not sure if i'm connected < 1536897567 686194 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you are connected < 1536897620 609185 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but you're acting in a way that makes at least me not want to respond, and you're asking a question which is meaningless and/or underspecified and/or uninteresting < 1536897627 332252 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net QUIT :Ping timeout: 240 seconds < 1536897641 226133 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and i'm being a grouch so, y'know, who's the real winner here < 1536898044 417834 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net JOIN :#esoteric < 1536898244 780527 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :sorry, i can't think of a witty response in time < 1536898369 720836 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :does the rest of the channel share shachaf's "grouchiness"? < 1536898393 848648 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's only me < 1536898412 764276 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :87 other users < 1536898418 111730 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i mean, they might share the opinions? < 1536898477 137311 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I can clarify what I meant but it's probably better if I just stop talking. < 1536898486 136105 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I looked at what you linked to and I do not know the answer of the question. A description should be needed rather than just the example < 1536898486 752660 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :you are the kind of greeter that turns people away < 1536898512 712522 :Lyka!~scat@unaffiliated/schrodingerscat PRIVMSG #esoteric :thanks zzo38 < 1536898512 978444 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Only some of the time. < 1536898579 682833 :Lyka!~scat@unaffiliated/schrodingerscat PART #esoteric :"ByrdIRC" < 1536899273 40658 :S_Gautam!uid286066@gateway/web/irccloud.com/x-rlnslcedyvpfkjuv QUIT :Quit: Connection closed for inactivity < 1536899404 805843 :APic!apic@chiptune.apic.name QUIT :Ping timeout: 240 seconds < 1536899679 90458 :APic!apic@chiptune.apic.name JOIN :#esoteric < 1536901428 397366 :bradcomp!~bradcomp@c-67-161-161-17.hsd1.ca.comcast.net QUIT :Ping timeout: 245 seconds < 1536902225 860579 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :O.o < 1536902594 792035 :fractal!~fractal@unaffiliated/scounder QUIT :Ping timeout: 272 seconds < 1536904313 83872 :S_Gautam!uid286066@gateway/web/irccloud.com/x-ydpmcncjskxjkgci JOIN :#esoteric < 1536904441 471726 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1536906351 521443 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net QUIT :Ping timeout: 252 seconds < 1536906398 368169 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1536906424 615266 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Read error: Connection reset by peer < 1536906454 915571 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1536907009 817326 :AnotherTest!~turingcom@d51a46c74.access.telenet.be JOIN :#esoteric < 1536907306 972756 :AnotherTest!~turingcom@d51a46c74.access.telenet.be QUIT :Ping timeout: 272 seconds < 1536908152 61974 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net JOIN :#esoteric < 1536909393 291798 :xkapastel!uid17782@gateway/web/irccloud.com/x-cpyhmalkvosonodk QUIT :Quit: Connection closed for inactivity < 1536909934 819606 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net QUIT :Ping timeout: 240 seconds < 1536912546 476813 :AnotherTest!~turingcom@natx-145.kulnet.kuleuven.be JOIN :#esoteric < 1536914526 311439 :tm5127!~tm512@61.72.174.147 JOIN :#esoteric < 1536914690 475273 :tm5127!~tm512@61.72.174.147 QUIT :Remote host closed the connection < 1536916851 505118 :jugo7!~jugo@h85-30-54-75.cust.se.alltele.net JOIN :#esoteric < 1536917143 700297 :jugo7!~jugo@h85-30-54-75.cust.se.alltele.net QUIT :Remote host closed the connection < 1536919556 135737 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Remote host closed the connection < 1536919631 372587 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1536919887 418214 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Ping timeout: 240 seconds < 1536919940 453108 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1536924849 846598 :myself17!~myself@103.30.88.71 JOIN :#esoteric < 1536924894 785260 :myself17!~myself@103.30.88.71 QUIT :Remote host closed the connection < 1536926411 537397 :ds_5!~ds_@82.178.192.83 JOIN :#esoteric < 1536926704 440786 :ds_5!~ds_@82.178.192.83 QUIT :Remote host closed the connection < 1536927302 470279 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric < 1536929946 520736 :GeekDude!~G33kDude@unaffiliated/g33kdude QUIT :Ping timeout: 252 seconds < 1536930890 811020 :xkapastel!uid17782@gateway/web/irccloud.com/x-mhmegejmpzsepkxe JOIN :#esoteric > 1536931001 519482 PRIVMSG #esoteric :14[[07ESOPUNK/Commands14]]4 10 02https://esolangs.org/w/index.php?diff=57620&oldid=57616 5* 03Blacksilver 5* (+42) 10Using to link back to the main ESOPUNK page < 1536931657 874525 :gmelikov!~gmelikov@118.40.90.27 JOIN :#esoteric < 1536931923 442408 :gmelikov!~gmelikov@118.40.90.27 QUIT :Remote host closed the connection < 1536932020 789371 :netrace14!~netrace@58.236.142.108 JOIN :#esoteric > 1536932094 346271 PRIVMSG #esoteric :14[[07User:YamTokWae/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=57621&oldid=57540 5* 03YamTokWae 5* (+76) 10 < 1536932122 177988 :shiftplusone23!~shiftplus@5.100.79.215 JOIN :#esoteric < 1536932150 426463 :netrace14!~netrace@58.236.142.108 QUIT :Killed (Sigyn (Spam is off topic on freenode.)) < 1536932404 873988 :shiftplusone23!~shiftplus@5.100.79.215 QUIT :Remote host closed the connection < 1536932412 361352 :Moult5!~Moult@180.183.109.247 JOIN :#esoteric < 1536932557 133037 :arseniiv!~arseniiv@94.41.80.207.dynamic.ufanet.ru JOIN :#esoteric < 1536932785 100426 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Read error: Connection reset by peer < 1536932817 393656 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1536932884 462643 :Moult5!~Moult@180.183.109.247 QUIT :Remote host closed the connection < 1536933222 905526 :vertrex!~vertrex@unaffiliated/vertrex QUIT :Ping timeout: 272 seconds < 1536933297 331396 :vertrex!~vertrex@digital-forensic.org JOIN :#esoteric < 1536933297 994906 :vertrex!~vertrex@digital-forensic.org QUIT :Changing host < 1536933298 88689 :vertrex!~vertrex@unaffiliated/vertrex JOIN :#esoteric < 1536933298 873139 :john_metcalf!~digital_w@host81-136-81-240.range81-136.btcentralplus.com QUIT :Ping timeout: 272 seconds < 1536933336 952494 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Ping timeout: 272 seconds < 1536933483 422768 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1536934238 878845 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Is there a complete AY8930 emulation which is free software? < 1536934319 369122 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 JOIN :#esoteric < 1536934447 946485 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 PRIVMSG #esoteric :I was just answering some questions for a voluntary survey poll, in person with the person taking it deliberately showing his comptuer screen, and she tried to pull the old "the computer doesn't offer a 'declines to answer' option for this question and doesn't let me proceed", as if that had any implication < 1536934505 901336 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 PRIVMSG #esoteric :Also, esolang news. 1. David Madore replied to my question, so now I'll be able to document the actual semantics of his non-computable language. < 1536934620 181566 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 PRIVMSG #esoteric :2. I figured out the most horrible esoteric names for those languages. I will call my distorted variant Amycus and his original variant Amicus, since they differ in one punctuation mark that I misread in the definition, and I kept messing up the name and used Amycus and Amicus when I wrote up the article like a year ago. < 1536934649 631262 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 PRIVMSG #esoteric :I'll edit the articles to make the names consistent and explain the naming, and at some point I'll ask for a few page renames. < 1536934656 694744 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 PRIVMSG #esoteric :On the esowiki that is. < 1536934660 482095 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Yes, that is better than what you have now < 1536934668 969647 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 PRIVMSG #esoteric :Unless I already have rename privilages. < 1536934712 109076 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 PRIVMSG #esoteric :zzo38: at least that one looks like a provisional name, so I won't feel bad about changing the name after documenting it, at least if I leave some remark about the old name. < 1536934748 57306 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 PRIVMSG #esoteric :Hyperamicus was barely documented, on the Hyperamycus page, so I can rename that especially easily, and I just won't care about my mistaken version, that's not interesting. < 1536934781 579032 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 PRIVMSG #esoteric :So I'll have Amycus, Amycus Severus, Amicus, and Hyperamicus. < 1536934806 763828 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 PRIVMSG #esoteric :Sadly "Amycus" is what the name was supposed to be and "Amicus" is the etymologically incorrect one, but I don't want to change "Amycus" now. < 1536934817 301388 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :OK < 1536934845 863024 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 PRIVMSG #esoteric :Not that it matters, because it's not like the etymology makes any sense for the language. < 1536934892 310136 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :OK < 1536934948 525363 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 PRIVMSG #esoteric :I just chose something because David doesn't give any reasonable names. He just talks about "rigorous definition" and "evaluation function" and "representation of programs" and such things, nothing to distinguish it from other languages. < 1536934964 797533 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 PRIVMSG #esoteric :(0) has the same problem < 1536935026 625415 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 PRIVMSG #esoteric :that one is eight languages, with the language variants numbered but no family name < 1536935130 922980 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 PRIVMSG #esoteric :this one also has some variants named, namely there's a Turing-powered version, a hyperarithmetic version, a variant definition still hyperarithmetic marked with club (the card suit symbol), and an intermediate minor variant that doesn't even have a name that's between the two hyperarithmetic ones < 1536935162 4841 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 PRIVMSG #esoteric :(the last three have exactly the same power, but the language specification differs a bit technically, the point is only to prove that they're all equivalent) < 1536935397 186941 :sleepnap!~thomas@2603:3015:260e:1900::13ed JOIN :#esoteric < 1536936577 34198 :wob_jonas!b03f1947@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.71 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1536939121 398727 :bradcomp!~bradcomp@38.104.142.186 JOIN :#esoteric < 1536939260 706032 :unixman_home1!~unixman_h@196.20.202.50 JOIN :#esoteric < 1536939693 567231 :unixman_home1!~unixman_h@196.20.202.50 QUIT :Ping timeout: 244 seconds < 1536939767 340021 :spiegelau!~spiegelau@82.144.205.57 JOIN :#esoteric < 1536940262 433251 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Using the last strike rules for Magic: the Gathering that I made up before Unstable was released, I more recently made up this: {?} Creature - ? (0/1) ;; Last strike ;; ~ has +X/+X where X is the amount of damage marked on ~. < 1536942869 412856 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1536943327 375332 :AnotherTest!~turingcom@natx-145.kulnet.kuleuven.be QUIT :Ping timeout: 240 seconds < 1536944858 957847 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :Taneb: do you want booze < 1536944897 769543 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :you can come but you can't have analcoholic drinks < 1536945669 506481 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :that's a weird constraint < 1536945745 985268 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FireFly: Good AfternireFly < 1536945760 733106 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :Good schafening < 1536945781 699212 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :people will nevre stop seeing "sch" in my name :'( < 1536945953 894061 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :whoops < 1536945956 278575 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :accidental >.< < 1536945995 461725 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^scramble shachaf < 1536945995 800715 :fungot!~fungot@88.98.228.179 PRIVMSG #esoteric :sahfach < 1536946283 415796 :nfd9001!~nfd9001@2601:602:8500:d0d1:3ca7:68b6:64be:c3d5 QUIT :Read error: Connection reset by peer < 1536947162 808694 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a JOIN :#esoteric < 1536947162 943373 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a QUIT :Changing host < 1536947162 943423 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric > 1536947776 10993 PRIVMSG #esoteric :14[[07ESOPUNK14]]4 10 02https://esolangs.org/w/index.php?diff=57622&oldid=57547 5* 03Blacksilver 5* (+91) 10Interpreter is functional! > 1536948458 182394 PRIVMSG #esoteric :14[[07BFC14]]4 10 02https://esolangs.org/w/index.php?diff=57623&oldid=57569 5* 03Sinthorion 5* (-909) 10 < 1536948871 782952 :iconmaster!~iconmaste@129.21.120.27 JOIN :#esoteric < 1536948943 995301 :iconmaster!~iconmaste@129.21.120.27 QUIT :Client Quit < 1536949838 470194 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Now Farbfeld Utilities includes a program to read a nautical chart file. > 1536949920 805625 PRIVMSG #esoteric :14[[07BFC14]]4 10 02https://esolangs.org/w/index.php?diff=57624&oldid=57623 5* 03Sinthorion 5* (+0) 10 < 1536951635 724034 :AnotherTest!~turingcom@ptr-82l26zdn9kx2rnn81vw.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1536951950 14737 :zajdeee4!~zajdeee@177.156.77.144 JOIN :#esoteric < 1536952231 815464 :zajdeee4!~zajdeee@177.156.77.144 QUIT :Remote host closed the connection < 1536952604 515887 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Remote host closed the connection < 1536952675 342720 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1536952954 348463 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Ping timeout: 246 seconds < 1536953001 531654 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric > 1536953533 405163 PRIVMSG #esoteric :14[[07Boolet14]]4 10 02https://esolangs.org/w/index.php?diff=57625&oldid=55509 5* 03Joshop 5* (+119) 10 < 1536953593 483720 :erkin!~erkin@unaffiliated/erkin QUIT :Remote host closed the connection > 1536953637 110029 PRIVMSG #esoteric :14[[07Boolet14]]4 M10 02https://esolangs.org/w/index.php?diff=57626&oldid=57625 5* 03Joshop 5* (+0) 10 > 1536954398 881551 PRIVMSG #esoteric :14[[07Boolet14]]4 10 02https://esolangs.org/w/index.php?diff=57627&oldid=57626 5* 03Joshop 5* (+73) 10/* Example programs */ > 1536954450 346606 PRIVMSG #esoteric :14[[07Boolet14]]4 10 02https://esolangs.org/w/index.php?diff=57628&oldid=57627 5* 03Joshop 5* (+15) 10/* XOR */ < 1536955252 200142 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Twan van Laarhoven wrote about a "FunList" comonad: data FunList a b = Done b | More a (Funlist a (a -> b)); < 1536955272 748188 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Lens has a variant of that called Bazaar < 1536955292 580749 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bazaar a b t = forall f. Applicative f => (a -> f b) -> f t < 1536955404 854841 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :OK < 1536955425 236778 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's an indexed comonad. < 1536955437 231654 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :OK < 1536955440 339903 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bazaar a a = FunList a (almost) < 1536955466 548789 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :How is that? < 1536955519 499620 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bazaar is (almost) the same as data Bazaar a b t = Done t | More a (Bazaar a (b -> t)) < 1536955547 484724 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :By "almost" I mean up to fancy reassociation things with infinite data and so on. < 1536957093 970088 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :If you use Co (FunList a) or CodensityAsk (FunList a) what kind of monad is it making? There seem a relation of FunList with Store comonad < 1536957332 700472 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 JOIN :#esoteric < 1536957340 370956 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :Hey everyone. < 1536957343 855821 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :I feel an esolang coming on. < 1536957429 471640 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Is the stuff about incrementing and decrementing lists mentioned for Amycus OK? I am not so sure? It doesn't look good to me, and I tried to make in Haskell but doesn't seems to work, but I don't know if I made a mistake. < 1536957449 321353 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :It's a train-based esolang. < 1536957470 961493 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :there's a channel for that < 1536957514 454044 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :You define a bunch of train tracks and put trains on them. The trains attempt to travel down the tracks. Trains can only go straight or make wide right turns. < 1536957545 353268 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :All trains move at a constant speed unless they are blocked. < 1536958057 38850 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :The most obvious component you might want to make out of these trains and tracks is a certain type of train detector. < 1536958079 38722 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :It has two input tracks, I1 and I2, and three outputs, O1, O2a, and O2b. < 1536958102 407717 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :A train arriving at I1 always leaves at O1. A train arriving at I2 leaves at O2a if a train arrived at I1 at the same time, and at O2b otherwise. < 1536958160 893537 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :Now, it's pretty easy to conditionally *delay* a train. < 1536958205 223937 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :You can route the tracks from I1 and I2 to an intersection, such that if trains are put into both I1 and I2, then the train from I1 will arrive first, and pass through unaffected, but will block I2. < 1536958279 660871 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :But then you need to make a mechanism which will send the train from I2 down either O2a or O2b, depending on its time of arrival. < 1536958658 720007 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :I think it's possible, but ugly. < 1536958677 26416 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :I'll need to clarify the rules of train movement. > 1536958746 529360 PRIVMSG #esoteric :14[[07Talk:Amycus14]]4 N10 02https://esolangs.org/w/index.php?oldid=57629 5* 03Zzo38 5* (+582) 10I think the stuff at the bottom about incrementing/decrementing lists is not quite correct < 1536958765 594604 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :The world consists of a grid. Each cell of the grid contains either track or wall; tracks don't have any distinguished direction. < 1536958831 94166 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :You can write a article in wiki about how the trains are moved and that stuff < 1536958841 812265 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :A train consists of a sequence of cars, each of which occupies one cell. The cars must be orthogonally or diagonally adjacent to each other. Only the front car has any freedom of movement; the other cars simply follow it. < 1536958855 28771 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :I sure could. :D < 1536958970 345129 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :The front car is considered to "face" directly away from the second car. When the front car moves, it can only move either into the cell directly ahead of it, or into the cell that's 45 degrees clockwise of that cell. < 1536959029 28191 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :The latter motion will, of course, produce a 45-degree bend in the train. < 1536959048 825829 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :There's one more rule which restricts these 45-degree turns. < 1536959150 362914 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :Two more, rather. < 1536959159 906617 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :The front car cannot perform a turn if this would produce two consecutive 45-degree bends in the train. < 1536959199 875067 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :Also, the front car cannot make any move which would result in the cell immediately ahead of the front car being a wall. < 1536959206 998413 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :So! That was long and complicated. < 1536959237 778791 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :Let me see if I can post a certain little construct. < 1536959279 190228 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :The answer is no, not easily. < 1536959301 589459 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :But, anyway, the construction is just a fork in the track, with another track crossing the fork. < 1536959379 642854 :tswett!d047504c@gateway/web/freenode/ip.208.71.80.76 PRIVMSG #esoteric :As a train approaches the forking track, if there's a train in the crossing track in exactly the right place, then the train on the forking track will be either forced straight ahead or forced to the right, depending on the position of the train on the crossing track. < 1536961763 915655 :sleepnap!~thomas@2603:3015:260e:1900::13ed PART :#esoteric < 1536962322 733281 :AnotherTest!~turingcom@ptr-82l26zdn9kx2rnn81vw.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 264 seconds < 1536963916 278443 :spiegelau!~spiegelau@82.144.205.57 QUIT :Quit: leaving < 1536965116 993405 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net JOIN :#esoteric < 1536965160 44911 :arseniiv!~arseniiv@94.41.80.207.dynamic.ufanet.ru QUIT :Ping timeout: 252 seconds < 1536967295 406508 :nicolasbock!~nicolasbo@156.219.85.88 JOIN :#esoteric < 1536967325 735325 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1536967767 468159 :nicolasbock!~nicolasbo@156.219.85.88 QUIT :Ping timeout: 240 seconds < 1536968638 888410 :bradcomp!~bradcomp@38.104.142.186 QUIT :Ping timeout: 272 seconds < 1536968726 800851 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1536969229 418800 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1536969478 308272 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 245 seconds