< 1567987861 697158 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1567987920 48307 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :i may have to change how N - Q work. i think the problem is in those and related code. < 1567987943 837151 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :(subs and if/while loops) < 1567989134 277906 :tromp_!~tromp@ip-213-127-58-74.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1567991051 600029 :tromp!~tromp@2a02:a210:1585:3200:c0:6353:1822:bb91 JOIN :#esoteric < 1567991084 441043 :emma!~em@unaffiliated/emma PART :#esoteric < 1567991321 594864 :tromp!~tromp@2a02:a210:1585:3200:c0:6353:1822:bb91 QUIT :Ping timeout: 250 seconds > 1567991803 742225 PRIVMSG #esoteric :14[[07Encapsulation14]]4 N10 02https://esolangs.org/w/index.php?oldid=66036 5* 03Hakerh400 5* (+6045) 10New language > 1567991820 987590 PRIVMSG #esoteric :14[[07User:Hakerh40014]]4 10 02https://esolangs.org/w/index.php?diff=66037&oldid=65956 5* 03Hakerh400 5* (+20) 10/* Programming languages we created */ > 1567991868 432812 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=66038&oldid=65978 5* 03Hakerh400 5* (+20) 10Add new language > 1567992036 714526 PRIVMSG #esoteric :14[[07Encapsulation14]]4 M10 02https://esolangs.org/w/index.php?diff=66039&oldid=66036 5* 03Hakerh400 5* (+62) 10/* Details */ < 1567993113 21111 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :b_jonas: got it! < 1567993131 451043 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :except i had to change the lang a little < 1567993152 250844 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :and while loops aren't working perfect < 1567993884 861023 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :on the repo as version 0.02 < 1567993977 981524 :tromp!~tromp@2a02:a210:1585:3200:9140:c78e:93d2:1e3b JOIN :#esoteric < 1567994245 978263 :tromp!~tromp@2a02:a210:1585:3200:9140:c78e:93d2:1e3b QUIT :Ping timeout: 252 seconds < 1567995568 990338 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :How clear is http://sif.lesidhetree.com/sara/echidna/echidna_v0_02.pdf ? < 1567995845 973563 :tromp!~tromp@2a02:a210:1585:3200:b0d7:9998:e733:77fe JOIN :#esoteric < 1567996038 583459 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :might have to split if/while into if and loop < 1567996069 7748 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :have 3 ifs, 1 loop < 1567996094 596773 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :the problems with while are annoying me < 1567996115 984577 :tromp!~tromp@2a02:a210:1585:3200:b0d7:9998:e733:77fe QUIT :Ping timeout: 252 seconds < 1567996179 718099 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :i had to put a note in the doc saying that while loops don't work properly < 1567996187 713180 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :that's how bad < 1567996413 357342 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :it reads: "while" loops do not work right (bug), use an extra "if" at end. < 1567996740 924037 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :does anyone care? < 1567996839 643667 :Cale!~cale@2607:fea8:995f:fb71:57b:36f5:cac2:ca8d PRIVMSG #esoteric :`pbflist < 1567996840 582068 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :pbflist: shachaf Sgeo quintopia ion b_jonas Cale < 1567996896 348045 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :huh? < 1567996907 806913 :Cale!~cale@2607:fea8:995f:fb71:57b:36f5:cac2:ca8d PRIVMSG #esoteric :https://pbfcomics.com/comics/cranky-baby/ < 1567996934 642972 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :remember when 192KiB was a lot? < 1567997062 514237 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :(of RAM) < 1567997285 177691 :Cale!~cale@2607:fea8:995f:fb71:57b:36f5:cac2:ca8d PRIVMSG #esoteric :Vaguely, but I only really got started computing on a machine with 2MB of RAM. < 1567998001 241162 :Taneb!~Taneb@runciman.hacksoc.org QUIT :Quit: I seem to have stopped. < 1567998103 663528 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 JOIN :#esoteric < 1567998115 987305 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :wb Taneb < 1568000701 85100 :adu!~ajr@pool-173-73-86-191.washdc.fios.verizon.net JOIN :#esoteric < 1568004471 600663 :tromp!~tromp@2a02:a210:1585:3200:4126:25b5:1613:2e34 JOIN :#esoteric < 1568004737 595484 :tromp!~tromp@2a02:a210:1585:3200:4126:25b5:1613:2e34 QUIT :Ping timeout: 250 seconds < 1568006972 631511 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :new pbf? < 1568007006 217602 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :huh, is pbf updating regularly again? < 1568007064 302453 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :<3 <3 <3 https://pbfcomics.com/comics/command-respect/ <3 <3 <3 < 1568007090 165170 :Sgeo__!~Sgeo@ool-18b98995.dyn.optonline.net PRIVMSG #esoteric :It's been updating irregularly for a while < 1568007169 385693 :Sgeo__!~Sgeo@ool-18b98995.dyn.optonline.net PRIVMSG #esoteric :Unless it's regular and I haven't noticed. I'm not sure the exact dates it's updated < 1568007216 322676 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :okay < 1568007662 356787 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: pigeon appreciation day < 1568007761 967921 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :which day is that < 1568007766 187554 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :every day < 1568007770 597216 :pikhq_!~pikhq@97-118-196-215.hlrn.qwest.net PRIVMSG #esoteric :Nah, it's officially updating very irregularly. < 1568007774 792201 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :june 13? < 1568007776 453540 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :ok < 1568007821 29108 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also june 13 < 1568007829 612565 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you see the picture i sent you with all the pigeons < 1568007852 766857 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :there were so many and they were all flying toward the food-or-something on the road < 1568007855 770243 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it was tg < 1568007880 817517 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i'm not sure < 1568007929 271585 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you sent me a heart so you probably saw it < 1568007932 849052 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :♥ < 1568007975 580904 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :k < 1568007983 531704 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :heavy black heart < 1568008026 679146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote very heavy < 1568008027 477061 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :1333) `unidecode ⧸🙼 ​[U+29F8 BIG SOLIDUS] [U+1F67C VERY HEAVY SOLIDUS] it is with a very heavy solidus that i write to inform you that unicode has too many code points < 1568008047 419383 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe that should just say heavy black heart < 1568008059 41838 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa < 1568008066 121055 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that solidus didn't show up in mosh < 1568008069 542609 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but it's really heavy < 1568008288 950209 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :the heavier the solidus the greater the sense of dread < 1568009003 250951 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :shachaf: did you know that js console.log supports styling the log text? < 1568009005 915256 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :console.log('%cscow', 'font-size: 80px; color: red'); < 1568009178 383301 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think I heard about that. < 1568009189 452263 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think I decided that the less I have to deal with JavaScript the better? < 1568009310 236150 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :At least in HTML it does. Node.js also has a console.log function but it works a bit differently. However, it is portable if you only pass a single argument, which is a string. Then it will work with both Node.js and HTML. < 1568009657 265656 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :zzo38: true < 1568009824 410360 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what language should i program in < 1568010075 39614 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Depend what program you are going to write, I think. < 1568010153 238883 :tromp!~tromp@ip-213-127-58-74.ip.prioritytelecom.net JOIN :#esoteric < 1568010212 813104 :tromp!~tromp@ip-213-127-58-74.ip.prioritytelecom.net QUIT :Read error: Connection reset by peer < 1568010232 976044 :tromp!~tromp@2a02:a210:1585:3200:60b5:b3a6:2c89:cdb2 JOIN :#esoteric < 1568010503 977389 :tromp!~tromp@2a02:a210:1585:3200:60b5:b3a6:2c89:cdb2 QUIT :Ping timeout: 252 seconds < 1568010805 2936 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :You can learn many different programming languages < 1568010815 75841 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu PRIVMSG #esoteric :kmc: pbf never stopped updating < 1568011857 603159 :tromp!~tromp@2a02:a210:1585:3200:60b5:b3a6:2c89:cdb2 JOIN :#esoteric < 1568013566 199212 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1568013801 792415 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 268 seconds < 1568013808 405318 :b_jonas!~x@catv-176-63-25-75.catv.broadband.hu QUIT :Remote host closed the connection < 1568016078 323669 :tromp!~tromp@2a02:a210:1585:3200:60b5:b3a6:2c89:cdb2 QUIT :Remote host closed the connection < 1568016268 800956 :tromp!~tromp@ip-213-127-58-74.ip.prioritytelecom.net JOIN :#esoteric < 1568016534 513020 :adu!~ajr@pool-173-73-86-191.washdc.fios.verizon.net QUIT :Quit: adu < 1568017419 925457 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1568017623 992350 :tromp_!~tromp@2a02:a210:1585:3200:19c1:e4fc:a6e0:6ddd JOIN :#esoteric < 1568017624 290194 :tromp!~tromp@ip-213-127-58-74.ip.prioritytelecom.net QUIT :Read error: Connection reset by peer < 1568018388 213390 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric < 1568018515 217753 :Sgeo!~Sgeo@ool-18b98995.dyn.optonline.net JOIN :#esoteric < 1568018584 615853 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Good morning. I guess the Prompt monad's not so strange after all. Of course, I say this after only reading & thinking about it, not really playing with it. < 1568018660 9196 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Uh oh. < 1568018668 363655 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I want to know about Prompt monads but I also want to go to sleep. < 1568018671 966203 :Sgeo__!~Sgeo@ool-18b98995.dyn.optonline.net QUIT :Ping timeout: 258 seconds < 1568018675 49708 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think I'll try sleep. < 1568018710 297749 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Good night shachaf ! < 1568018718 914931 :tromp_!~tromp@2a02:a210:1585:3200:19c1:e4fc:a6e0:6ddd QUIT :Remote host closed the connection < 1568019092 696975 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 268 seconds < 1568019132 256412 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1568019504 613908 :tromp!~tromp@2a02:a210:1585:3200:19c1:e4fc:a6e0:6ddd JOIN :#esoteric < 1568019650 260880 :arseniiv!~arseniiv@95.105.2.110.dynamic.ufanet.ru JOIN :#esoteric < 1568021712 537892 :craigo!~craigo@144.136.206.168 JOIN :#esoteric < 1568022255 332304 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :what do you thin about the prompt monad > 1568022928 860619 PRIVMSG #esoteric :14[[07Von Neumann's 29-state cellular automaton14]]4 10 02https://esolangs.org/w/index.php?diff=66040&oldid=57226 5* 03B jonas 5* (+158) 10Neumann's article < 1568023140 76838 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :rain1: Well, on the practical side of things, it looks like a good way to do "dependency injection" with monads. < 1568023154 789905 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :The term dependency injection scares me < 1568023169 980416 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :fear of needles? < 1568024398 756739 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :hi < 1568024898 12673 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :hi Lykaina < 1568025232 713862 :Sgeo_!~Sgeo@ool-18b98995.dyn.optonline.net JOIN :#esoteric < 1568025427 72580 :Sgeo!~Sgeo@ool-18b98995.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1568027455 963119 :Sgeo__!~Sgeo@ool-18b98995.dyn.optonline.net JOIN :#esoteric < 1568027676 765016 :Sgeo_!~Sgeo@ool-18b98995.dyn.optonline.net QUIT :Ping timeout: 268 seconds < 1568028622 113812 :Sgeo_!~Sgeo@ool-18b98995.dyn.optonline.net JOIN :#esoteric < 1568028814 854927 :Sgeo__!~Sgeo@ool-18b98995.dyn.optonline.net QUIT :Ping timeout: 258 seconds < 1568029082 808318 :craigo!~craigo@144.136.206.168 QUIT :Ping timeout: 268 seconds > 1568029717 722102 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Spleeshmicannon 5* 10New user account > 1568030237 838763 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=66041&oldid=65976 5* 03Spleeshmicannon 5* (+276) 10Added myself to the list < 1568031658 974132 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1568032069 41485 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :
ACTION forces herself awake.
> 1568034081 842502 PRIVMSG #esoteric :14[[07Echidna14]]4 10 02https://esolangs.org/w/index.php?diff=66042&oldid=66016 5* 03B jonas 5* (+67) 10 < 1568035410 797196 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :wob_jonas: thanks :) < 1568035468 496205 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :working on splitting source files to make it easier to track changes < 1568035508 86043 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :haven't pushed it yet < 1568035639 410738 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Lykaina: good. have you published the version of the interpreter that reads the program into memory yet? < 1568035718 759494 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :yes, i pushed it < 1568035806 286448 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :gave it a max of 64KiB (not including whitespace) < 1568036151 865654 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`olist 1179 < 1568036153 39124 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :olist 1179: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1568037549 584013 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :wob_jonas: split version pushed < 1568037853 355034 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :brb < 1568038789 716563 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :back < 1568038992 133667 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :hi wob_jonas > 1568039774 34083 PRIVMSG #esoteric :14[[07User:Dtuser1337/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=66043&oldid=65945 5* 03Dtuser1337 5* (+1) 10/* Beginning of the Sandbox line */ < 1568039942 968192 :xkapastel!uid17782@gateway/web/irccloud.com/x-ndipxtjhmypptain JOIN :#esoteric < 1568040777 136134 :Sgeo__!~Sgeo@ool-18b98995.dyn.optonline.net JOIN :#esoteric < 1568040878 195760 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :hi Sgeo__ < 1568040952 151722 :Sgeo_!~Sgeo@ool-18b98995.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1568041175 98405 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :wob_jonas: "short"ened the mem[] in the interpreter. < 1568041190 509797 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :to save memory < 1568041333 393583 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :it's supposed to be 2-byte, why not force it? < 1568041517 512805 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Lykania: good < 1568041523 245185 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1568041644 832806 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :gtg wake up < 1568041677 784248 :Lykaina!~lyka@unaffiliated/schrodingerscat QUIT :Quit: leaving > 1568041852 407550 PRIVMSG #esoteric :14[[07Espro14]]4 M10 02https://esolangs.org/w/index.php?diff=66044&oldid=44540 5* 03Timwi 5* (+4) 10gramatiko? < 1568042392 690224 :Sgeo_!~Sgeo@ool-18b98995.dyn.optonline.net JOIN :#esoteric < 1568042554 487336 :Sgeo!~Sgeo@ool-18b98995.dyn.optonline.net JOIN :#esoteric < 1568042577 111584 :Sgeo__!~Sgeo@ool-18b98995.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1568042735 657110 :Sgeo_!~Sgeo@ool-18b98995.dyn.optonline.net QUIT :Ping timeout: 268 seconds > 1568042746 746993 PRIVMSG #esoteric :14[[07Espro14]]4 M10 02https://esolangs.org/w/index.php?diff=66045&oldid=66044 5* 03Timwi 5* (+8) 10/* Examples / Ekzemploj */ > 1568043745 95380 PRIVMSG #esoteric :14[[07Espro14]]4 M10 02https://esolangs.org/w/index.php?diff=66046&oldid=66045 5* 03Timwi 5* (+7) 10/* Expressions / Esprimoj */ < 1568043831 755310 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :What is a prompt monad? What is its definition? (If I knew before, and I don't know if I have, I have forgotten now anyways) < 1568044142 740155 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :zzo38: https://hackage.haskell.org/package/MonadPrompt-1.0.0.5/docs/Control-Monad-Prompt.html < 1568044159 813845 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :It's sort of a "configurable monad" < 1568044223 522611 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The modern explanation would cast it as a flavour of the free monad. < 1568044343 131792 :Sgeo_!~Sgeo@ool-18b98995.dyn.optonline.net JOIN :#esoteric < 1568044535 460524 :Sgeo!~Sgeo@ool-18b98995.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1568044630 357460 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :int-e: It seems like a useful flavour, whereas "free monad" seems general enough to be (a) hard for me to fully appreciate and (b) not obviously a useful thing for me to employ in my code < 1568044720 495042 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I don't remember noq exactly how I came across Prompt, anyway. < 1568044725 58371 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :*now < 1568044850 244485 :Sgeo__!~Sgeo@ool-18b98995.dyn.optonline.net JOIN :#esoteric < 1568044976 637756 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: yeah the connection to free monads uses a fairly odd functor: http://paste.debian.net/1099707/ < 1568045002 214014 :Sgeo_!~Sgeo@ool-18b98995.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1568045002 698092 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: Also, the explanation is ahistorical; the prompt monad predates the free monad fad by a year or so. < 1568045204 540280 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: And personally I like the Prompt flabor a lot better than the free monad, because it expresses a familiar programming model: Define an interface for a DSL in terms of commands (with result types), and then handle each command in a handler (or several handlers). < 1568045295 550974 :int-e!~noone@int-e.eu PRIVMSG #esoteric :This was all Ryan's work though. My contribution was the codensity transformation (that's an ahistorical explanation again). < 1568045332 266004 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Do you like my CodensityAsk monad? (I think the name isn't very good, but I couldn't think of a better name) < 1568046462 143532 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :zzo38: I haven't seen it. Also, the Wikipedia entry on "codensity monad" is scary. < 1568046532 375354 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :newtype Codensity f a = Codensity (forall r. (a -> f r) -> f r); < 1568046602 760968 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Sorry, that is not it. CodensityAsk is: forall r. f r -> (a -> r) -> r < 1568046612 275162 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :So, it is a bit similar < 1568046800 77367 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :newtype CodensityAsk w x = CodensityAsk { runCodensityAsk :: forall z. w z -> (x -> z) -> z }; also Monad (CodensityAsk w) and Comonad w => MonadPlus (CodensityAsk w) < 1568047138 430591 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :zzo38: I might let you know, in a few days. < 1568047232 63213 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I think I found Prompt via the operational package. I want to play with that a bit first. < 1568047382 105640 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :int-e: btw, thanks for updating the solitaire game! You certainly didn't need to, but, I can confirm I'm able to build and run it now :) < 1568047539 240405 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1568048183 783629 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: A la prochaine. < 1568048200 653362 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Quit: Temporarily refracted into a free-standing prism. < 1568048284 334147 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric < 1568048397 684234 :b_jonas!~x@catv-176-63-24-137.catv.broadband.hu JOIN :#esoteric < 1568049247 784528 :b_jonas!~x@catv-176-63-24-137.catv.broadband.hu PRIVMSG #esoteric :see? another match. http://www.smbc-comics.com/comic/pocket https://xkcd.com/2130/ < 1568049314 624725 :b_jonas!~x@catv-176-63-24-137.catv.broadband.hu PRIVMSG #esoteric :they're totally copying each other often < 1568049697 376762 :xkapastel!uid17782@gateway/web/irccloud.com/x-ndipxtjhmypptain QUIT :Quit: Connection closed for inactivity < 1568050761 19497 :b_jonas!~x@catv-176-63-24-137.catv.broadband.hu PRIVMSG #esoteric :``` for x in 30 35 40; do ftoc $x; done < 1568050762 240903 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :30.00°F = -1.11°C \ 35.00°F = 1.67°C \ 40.00°F = 4.44°C < 1568052212 965092 :arseniiv!~arseniiv@95.105.2.110.dynamic.ufanet.ru PRIVMSG #esoteric :ftoc 0 < 1568052218 503722 :arseniiv!~arseniiv@95.105.2.110.dynamic.ufanet.ru PRIVMSG #esoteric :`ftoc 0 < 1568052219 263479 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :0.00°F = -17.78°C < 1568052244 102635 :arseniiv!~arseniiv@95.105.2.110.dynamic.ufanet.ru PRIVMSG #esoteric :I still can’t wrap my head over that scale < 1568052313 967688 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it makes no sense hth < 1568052352 26777 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: I like your CodensityAsk monad. < 1568052556 960031 :b_jonas!~x@catv-176-63-24-137.catv.broadband.hu PRIVMSG #esoteric :me neither, which is why I use this calculator < 1568052856 659453 :craigo!~craigo@144.136.206.168 JOIN :#esoteric < 1568056920 894745 :diverger!~div@92.119.176.20 QUIT :Ping timeout: 258 seconds < 1568057022 541486 :diverger!~div@titan.pathogen.is JOIN :#esoteric < 1568058134 319462 :Melvar!~melvar@dslb-084-063-063-063.084.063.pools.vodafone-ip.de QUIT :Quit: WeeChat 2.4 < 1568058506 670091 :Melvar!~melvar@dslb-084-063-063-063.084.063.pools.vodafone-ip.de JOIN :#esoteric < 1568060481 242753 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric < 1568060947 801585 :b_jonas!~x@catv-176-63-24-137.catv.broadband.hu PRIVMSG #esoteric :Lykania: again, do not define global variables in a header file that you #include into multiple source files. especially not non-constant globals. < 1568061432 230326 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1568061783 494254 :orbitaldecay!~orby@c-68-33-93-133.hsd1.va.comcast.net JOIN :#esoteric < 1568062080 387622 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1568062180 780610 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric > 1568062322 228835 PRIVMSG #esoteric :14[[07Aepoch14]]4 N10 02https://esolangs.org/w/index.php?oldid=66047 5* 03Areallycoolusername 5* (+1026) 10Created page with "'''Aepoch'''is a [[Bully Automation]] made by [[User: Areallycoolusername|Areallycoolusername]]. It has some properties added to resemble the properties of a fractal. == Spec..." < 1568062333 262508 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 246 seconds < 1568062355 580289 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life > 1568062433 410098 PRIVMSG #esoteric :14[[07Aepoch14]]4 10 02https://esolangs.org/w/index.php?diff=66048&oldid=66047 5* 03Areallycoolusername 5* (+1) 10 > 1568062451 30487 PRIVMSG #esoteric :14[[07Aepoch14]]4 10 02https://esolangs.org/w/index.php?diff=66049&oldid=66048 5* 03Areallycoolusername 5* (-1) 10 > 1568062657 767361 PRIVMSG #esoteric :14[[07Aepoch14]]4 10 02https://esolangs.org/w/index.php?diff=66050&oldid=66049 5* 03Areallycoolusername 5* (+50) 10 > 1568062728 552627 PRIVMSG #esoteric :14[[07Aepoch14]]4 10 02https://esolangs.org/w/index.php?diff=66051&oldid=66050 5* 03Areallycoolusername 5* (+0) 10 > 1568062774 790301 PRIVMSG #esoteric :14[[07User:Areallycoolusername14]]4 10 02https://esolangs.org/w/index.php?diff=66052&oldid=65378 5* 03Areallycoolusername 5* (+13) 10 > 1568062856 24708 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=66053&oldid=66038 5* 03Areallycoolusername 5* (+13) 10/* A */ < 1568062982 872197 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving < 1568064064 427868 :dingwat!uid70835@gateway/web/irccloud.com/x-rezmqjhawueevotc QUIT :Quit: Connection closed for inactivity < 1568064682 335547 :Sgeo_!~Sgeo@ool-18b98995.dyn.optonline.net JOIN :#esoteric < 1568064874 220822 :Sgeo__!~Sgeo@ool-18b98995.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1568065139 682235 :tromp!~tromp@2a02:a210:1585:3200:19c1:e4fc:a6e0:6ddd QUIT :Remote host closed the connection < 1568065243 969069 :tromp!~tromp@2a02:a210:1585:3200:19c1:e4fc:a6e0:6ddd JOIN :#esoteric < 1568065504 278360 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 246 seconds < 1568068377 733402 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1568068645 570382 :tromp!~tromp@2a02:a210:1585:3200:19c1:e4fc:a6e0:6ddd QUIT :Remote host closed the connection > 1568068682 111725 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Lrsomas 5* 10New user account < 1568070108 116997 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1568070162 866762 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1568070521 977416 :tromp!~tromp@2a02:a210:1585:3200:19c1:e4fc:a6e0:6ddd JOIN :#esoteric < 1568070638 177831 :b_jonas!~x@catv-176-63-24-137.catv.broadband.hu QUIT :Quit: Lost terminal < 1568070785 955801 :tromp!~tromp@2a02:a210:1585:3200:19c1:e4fc:a6e0:6ddd QUIT :Ping timeout: 246 seconds < 1568070885 348399 :orbitaldecay!~orby@c-68-33-93-133.hsd1.va.comcast.net QUIT :Remote host closed the connection < 1568071298 927081 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1568071378 479437 :arseniiv!~arseniiv@95.105.2.110.dynamic.ufanet.ru QUIT :Ping timeout: 245 seconds < 1568071434 82285 :xkapastel!uid17782@gateway/web/irccloud.com/x-ndakgrwgobuucgrz JOIN :#esoteric < 1568072027 958856 :imode!~imode@unaffiliated/imode JOIN :#esoteric