< 1606090685 710401 :delta23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com QUIT :Quit: Leaving < 1606091678 694308 :FreeFull!~freefull@defocus/sausage-lover QUIT : > 1606092892 57799 PRIVMSG #esoteric :14[[07WILSON14]]4 M10 02https://esolangs.org/w/index.php?diff=78844&oldid=66119 5* 03PythonshellDebugwindow 5* (+5) 10/* Syntax */ add to BNF based on description > 1606092986 624453 PRIVMSG #esoteric :14[[07Esolang:Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=78845&oldid=78810 5* 03PythonshellDebugwindow 5* (+106) 10test < 1606093499 731108 :LKoen!~LKoen@169.244.88.92.rev.sfr.net 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.” < 1606095312 464075 :Lord_of_Life!~Lord@46.217.221.12 JOIN :#esoteric < 1606095337 524423 :Lord_of_Life_!~Lord@46.217.221.152 QUIT :Ping timeout: 264 seconds > 1606095936 899172 PRIVMSG #esoteric :14[[07Pyhton (sic)14]]4 10 02https://esolangs.org/w/index.php?diff=78846&oldid=60076 5* 03LegionMammal978 5* (+158) 10/* Sample Programs */ < 1606096060 848822 :aaaaaa!~ArthurStr@188.163.100.177 QUIT :Quit: leaving < 1606105094 626603 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I think Wizards of the Coast didn't make last strike outside of Un-cards because they believe it isn't very good, but I do not agree. On the right kinds of cards, it can work OK. < 1606105386 197960 :MDude!~MDude@71.50.47.112 QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1606108308 993561 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :https://hackaday.com/2020/11/22/doom-running-on-the-nintendo-game-watch/ < 1606110766 235422 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :ah yes, porting doom, the hello world of console hacking > 1606110817 359520 PRIVMSG #esoteric :14[[07Talk:LSCEF14]]4 10 02https://esolangs.org/w/index.php?diff=78847&oldid=69603 5* 03IFcoltransG 5* (+551) 10/* Matching letters with numbers */ new section > 1606111216 354522 PRIVMSG #esoteric :14[[07Talk:LSCEF14]]4 10 02https://esolangs.org/w/index.php?diff=78848&oldid=78847 5* 03IFcoltransG 5* (+228) 10/* Matching letters with numbers */ < 1606111394 726733 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1606113733 370892 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1606113874 2943 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1606117830 981334 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :In Magic: the Gathering, have you ever used one Artificial Evolution to change the text of another Artificial Evolution? < 1606120650 527041 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1606120663 734775 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds < 1606120684 736137 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1606122676 197099 :Lord_of_Life!~Lord@46.217.221.12 QUIT :Changing host < 1606122676 197144 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1606124353 535746 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 264 seconds < 1606127658 134781 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-eudfpldqggmxywxs QUIT :Quit: Bridge terminating on SIGTERM < 1606127664 28294 :none30!none30matr@gateway/shell/matrix.org/x-olbnhxjcnkgajdyz QUIT :Quit: Bridge terminating on SIGTERM < 1606127682 759164 :Discordian[m]!discordi1@gateway/shell/matrix.org/x-rhwtqbotioksizvq QUIT :Quit: Bridge terminating on SIGTERM < 1606128248 923595 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-jijvlvxewpkpaydh JOIN :#esoteric < 1606129659 256531 :none30!none30matr@gateway/shell/matrix.org/x-uikcxnkoahbcyjpj JOIN :#esoteric < 1606129665 326639 :iscordian[m]!discordi1@gateway/shell/matrix.org/x-fdxpxzwmxyyrrllk JOIN :#esoteric < 1606130175 346177 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 260 seconds < 1606130726 106258 :iscordian[m]!discordi1@gateway/shell/matrix.org/x-fdxpxzwmxyyrrllk NICK :Discordian[m] < 1606130898 402860 :LKoen!~LKoen@169.244.88.92.rev.sfr.net JOIN :#esoteric < 1606134175 598261 :rain1!~rain1@unaffiliated/rain1 QUIT :Quit: Leaving < 1606134342 527960 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :^bf -[+++++++++>+<]>. < 1606134342 590032 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :9 < 1606134353 388502 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :looks like it's modulo 256 or some other power of two < 1606134365 766436 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :^bf +[+++++++++>-<]>. < 1606134365 790962 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :9 < 1606134389 848446 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :we can rely on that to golf programs < 1606134413 976518 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :^bf +[+>+<]>. < 1606134414 7027 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric : < 1606134420 652952 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :^bf +[+>-<]>. < 1606134452 980376 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :^bf -[+>+<]>. < 1606134459 42262 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :^bf +[+>+<]>. < 1606134459 67965 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric : < 1606134473 818961 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :^bf +[+++>+<]>. < 1606134473 843035 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :U < 1606134477 125636 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :^bf +[+++++>+<]>. < 1606134477 175877 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :3 < 1606134479 580315 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :^bf +[+++++++>+<]>. < 1606134479 603173 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :I < 1606134485 343547 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :^bf +. < 1606134503 285530 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :^bf +++++++++++++++++++++++++++++++++++++++++++++++++. < 1606134503 307544 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :1 < 1606134872 75275 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :^bf +++[----->+<]>+.---.+++++++..+++. < 1606134872 138072 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :hello < 1606135094 993495 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :hello, fungot < 1606135095 110809 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: " why are you here?" he said, " which can upset relatives and-" < 1606135225 742978 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :^bf >++++++++++++++++[->++++++++++++++++<]<+++[----->+<]>[<.>] < 1606135232 829777 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :^bf >++++++++++++++++[->++++++++++++++++<]<+++[----->+<].>[<.>] < 1606135245 69568 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :^bf >++++++++++++++++[->++++++++++++++++<]<+++[----->+<]>.>[<.>] < 1606135245 94376 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :g < 1606135249 100169 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :^bf >+++++++++++++++[->++++++++++++++++<]<+++[----->+<]>.>[<.>] < 1606135249 135286 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :ggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggg ... < 1606135260 673529 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :ok, so it's modulo 256, not modulo some larger power < 1606135269 100568 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :unless I messed up that test of course < 1606135344 384015 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :^bf ++[++>+<]>. < 1606135344 452272 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric : < 1606135350 778022 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :^bf ++__[++>+<]>. < 1606135350 801848 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric : < 1606135354 177083 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :^bf ++++[++>+<]>. < 1606135354 200918 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :~ < 1606135360 448788 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :^bf ++++[++++>+<]>. < 1606135360 448832 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :? < 1606135414 29563 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :Definitely 256 < 1606135421 85103 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :(which I think is in the original spec? < 1606135514 960203 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :Original implementation, not necessarily original spec < 1606136051 14663 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Strictly speaking, it's modulo 88+:*, this being Befunge. ;) > 1606136052 547540 PRIVMSG #esoteric :14[[07LSCEF14]]4 M10 02https://esolangs.org/w/index.php?diff=78849&oldid=75050 5* 03PythonshellDebugwindow 5* (+40) 10/* Usage in interpreters */ See also < 1606136177 837750 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's set by the 88+:*91p on https://github.com/fis/fungot/blob/95a8f62/fungot.b98#L298 < 1606136178 175775 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :fizzie: " a human being, it was nothing, no colour, no sound, no pressure, no time,' said < 1606136195 8487 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :How bleak. < 1606136345 809031 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :well that should be 256 < 1606137335 347242 :MDude!~MDude@71.50.47.112 JOIN :#esoteric < 1606137395 381243 :Arcorann_!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net JOIN :#esoteric < 1606137601 499002 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net QUIT :Ping timeout: 264 seconds > 1606137866 867477 PRIVMSG #esoteric :14[[07LSCEF14]]4 M10 02https://esolangs.org/w/index.php?diff=78850&oldid=78849 5* 03PythonshellDebugwindow 5* (+493) 10/* Usage in interpreters */ C < 1606138084 582216 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I always use 88+ for 16, but I know other people use f1+ and 82* too. < 1606138137 469543 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :For the 256, I guess things like 884** would've been an option. < 1606138650 881718 :uninitialzedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca JOIN :#esoteric < 1606138925 992869 :uninitialzedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PRIVMSG #esoteric :How is fungot doing today < 1606138926 116839 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :uninitialzedPtr: uncertain, but then it stopped. and i feel so stupid...' he mumbled. < 1606138965 464569 :uninitialzedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PRIVMSG #esoteric :^style discworld < 1606138965 485016 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :Selected style: discworld (a subset of Terry Pratchett's Discworld books) < 1606139553 886340 :uninitialzedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PRIVMSG #esoteric :fungot < 1606139554 124498 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :uninitialzedPtr: ' enough to know that smile. igor was not easily frightened, because he woke up when he wanted to say that what was good for me, in exchange for the winding down of the watch duties. i have a very embarrassing five minutes explaining this at the moment < 1606139821 287093 :uninitialzedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca QUIT :Remote host closed the connection < 1606142922 154811 :rain1!~rain1@unaffiliated/rain1 JOIN :#esoteric > 1606143058 926737 PRIVMSG #esoteric :14[[07Sd14]]4 M10 02https://esolangs.org/w/index.php?diff=78851&oldid=69762 5* 03LegionMammal978 5* (+15) 10fixed title based on GitHub description < 1606143230 291521 :Arcorann_!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net QUIT :Ping timeout: 272 seconds < 1606144781 392407 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :I wonder, has anyone made one of these large posters with a 256x256 grid displaying a graphical representation of all unicode characters in the BMP (code points U+0000 to U+FFFF) in a plane-filling curve arrangement < 1606144871 499232 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :Also Google could perhaps make a large poster with a 256x256 grid displaying the favicon or preview of a website served from each IPV4 address, arranged in a plane-filling curve like https://xkcd.com/195/ < 1606144972 343388 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You need a 65536x65536 grid for that. < 1606145030 149642 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1606145093 574773 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :hmm true < 1606145096 701275 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :so that latter wouldn't work < 1606145119 99479 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :not without some sort of popularity statistics (that Google probably has an approximation for) < 1606145126 368762 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :A BMP poster sounds like pretty reasonable though. < 1606145581 30612 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :17% of it would be the Hangul block < 1606145627 132165 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :and 10% private use < 1606145637 800042 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :I don't know how many unassigned code points there are in the BMP > 1606145677 21276 PRIVMSG #esoteric :14[[07Alphabet letters14]]4 N10 02https://esolangs.org/w/index.php?oldid=78852 5* 033s0!an9 b0y 5* (+1495) 10Created page with "abcdefg.... Alphabet code is written through ascii. a means add to pointer value s means subtract from pointer value m means multipl..." < 1606146093 281975 :TheLie!~TheLie@2a02:8106:215:3300:7285:c2ff:fe0b:917f JOIN :#esoteric > 1606146611 241873 PRIVMSG #esoteric :14[[07Alphabet letters14]]4 10 02https://esolangs.org/w/index.php?diff=78853&oldid=78852 5* 033s0!an9 b0y 5* (+107) 10 > 1606146628 562749 PRIVMSG #esoteric :14[[07Alphabet letters14]]4 10 02https://esolangs.org/w/index.php?diff=78854&oldid=78853 5* 033s0!an9 b0y 5* (+1) 10 < 1606148062 917054 :j4cbo!sid186930@gateway/web/irccloud.com/x-qoxbacjogqhkvzap PRIVMSG #esoteric :there are only 17 planes < 1606148152 646432 :j4cbo!sid186930@gateway/web/irccloud.com/x-qoxbacjogqhkvzap PRIVMSG #esoteric :and only 5 of them have characters < 1606148161 778160 :j4cbo!sid186930@gateway/web/irccloud.com/x-qoxbacjogqhkvzap PRIVMSG #esoteric :er, codepoints < 1606148186 26422 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The Unicode Consortium should operate some sort of a Unicode room somewhere, with all of the characters displayed. < 1606148205 177863 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They have a postal address, but it's just a P.O. box. < 1606148217 467184 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(In Mountain View, curiously.) < 1606148482 253203 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :I wonder how often they check their mail < 1606148666 788088 :j4cbo!sid186930@gateway/web/irccloud.com/x-qoxbacjogqhkvzap PRIVMSG #esoteric :a lot of the new stuff is ZWJ sequences, too :/ < 1606149286 201309 :delta23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com JOIN :#esoteric < 1606149730 199491 :j4cbo!sid186930@gateway/web/irccloud.com/x-qoxbacjogqhkvzap PRIVMSG #esoteric :is anyone here by chance intimately familiar with memory ordering, cache semantics, etc. on ARM? < 1606152526 294060 :TheLie!~TheLie@2a02:8106:215:3300:7285:c2ff:fe0b:917f QUIT :Remote host closed the connection < 1606153212 24896 :delta23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com QUIT :Quit: Leaving < 1606153432 897172 :delta23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com JOIN :#esoteric < 1606157060 564205 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :fizzie: like those election candidate posters that you mentioned some day? < 1606158408 752660 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :hmm, mail server is down or something < 1606158552 704998 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> all even (1,2) < 1606158555 129367 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : True < 1606158904 570330 :LKoen!~LKoen@169.244.88.92.rev.sfr.net QUIT :Remote host closed the connection < 1606158959 119438 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :oren: are you planning to add support for the bengali script into neoletters? I know it really doesn't work without fancy font composition, but nor does devanagari, or arabic for that matter. < 1606158967 57070 :LKoen!~LKoen@169.244.88.92.rev.sfr.net JOIN :#esoteric < 1606158972 177386 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :int-e: Clever. < 1606158985 179756 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :it's not that I need bengali support or anything, just wondering < 1606158987 475462 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fizzie: I find it annoying. < 1606159024 813602 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :int-e: Is it possible to summarize in a sentence or two the deep fundamental philosophical reason why `foldMap f (_, y) = f y`? < 1606159044 673625 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fizzie: https://mail.haskell.org/pipermail/haskell-cafe/2020-November/132978.html is a more convincing example of why this is annoying... well-typed code never goes wrong... < 1606159078 637874 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fizzie: there's only one way to make a Functor for (,): pick the second argument as the parameter < 1606159096 700785 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And this extends uniquely to Applicative, Foldable. < 1606159128 830813 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And... Traversable. You get choices for Monoid and Monad... < 1606159157 540805 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fizzie: But hmm, that's not your question, is it. < 1606159174 96363 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, I think it sort of was. < 1606159179 176555 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The philosophical justification is that if an instance is unique, Haskell should have it. < 1606159198 200675 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :`python3 -cprint(all((True, False))) < 1606159200 164108 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :False < 1606159204 917448 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :> all (True, False) < 1606159207 627696 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error: < 1606159207 682238 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : • Couldn't match expected type ‘a -> Bool’ < 1606159207 682284 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : with actual type ‘(Bool, Bool)’ < 1606159210 848678 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If it's empty, fill it with cream. < 1606159215 229744 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :> all id (True, False) < 1606159218 279740 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : False < 1606159229 556135 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Also, apparently, if I remember this point from an old discussion correctly, this particular instance turns out to be useful somewhere inside lens.) < 1606159256 225368 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :`python3 -cprint(all(tuple((0 == x % 2 for x in (1, 2)))) < 1606159257 47029 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​ File "", line 1 \ print(all(tuple((0 == x % 2 for x in (1, 2)))) \ ^ \ SyntaxError: unexpected EOF while parsing < 1606159262 450920 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :`python3 -cprint(all(tuple((0 == x % 2 for x in (1, 2))))) < 1606159263 292264 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :False < 1606159368 381445 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :int-e: hmm, so can you have a type that represents two-element lists and make that a Functor and a Foldable, and is there one in the ghc library, and is that the one with the name including zip? < 1606159395 708854 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :I mean for when you want (all even (foo 1 2)) to be true < 1606159410 926218 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: you can have a datatype with a single type parameter. data Square a = Square a a < 1606159488 782526 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :int-e: sure, but can it be a Functor and Foldable the way that your original example wants? < 1606159492 19655 :int-e!~noone@int-e.eu PRIVMSG #esoteric :or newtype Square a = Square (a, a), if you want the representation to be the same as that of (a, a). (naming: (,) a b corresponds to a product, A x B, and in that view, A x A = A^2 is a square) < 1606159559 583194 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@let data Square a = Square a a; instance Functor Square where { fmap f (Square a a) = Square (f a) (f a) } < 1606159560 545731 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : .L.hs:169:24: error: < 1606159560 594727 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : • Conflicting definitions for ‘a’ < 1606159560 594770 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Bound at: .L.hs:169:24 < 1606159573 896064 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@let data Square a = Square a a; instance Functor Square where { fmap f (Square a b) = Square (f a) (f b) } < 1606159575 221155 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1606159612 518862 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@let instance Foldable Square where foldMap f (Square a b) = f a <> f b < 1606159614 232113 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1606159645 17745 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@let instance Applicative Square where Square f g <*> Square a b = Square (f a) (g b) < 1606159646 294553 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : .L.hs:174:10: error: [-Wmissing-methods, -Werror=missing-methods] < 1606159646 294605 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : • No explicit implementation for < 1606159646 333689 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘pure’ < 1606159657 272210 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@let instance Applicative Square where Square f g <*> Square a b = Square (f a) (g b); pure a = Square a a < 1606159659 218476 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1606159672 965000 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> length (Square 1 2) < 1606159674 713042 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 2 < 1606159686 640822 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> all even (Square 1 2) < 1606159688 505511 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : False < 1606159694 753015 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :> map (s -> all even s) [Square 1 2, Square 14 6, Square 9 5, Square 11 4] < 1606159697 143035 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error: < 1606159697 143059 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Pattern syntax in expression context: s -> all even s < 1606159702 368066 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :> map (\s -> all even s) [Square 1 2, Square 14 6, Square 9 5, Square 11 4] < 1606159704 265174 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [False,True,False,False] < 1606159727 326017 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :looks good, provided those satisfy the laws for those typeclasses < 1606159756 489383 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@let data Square' a = Square' a a deriving (Eq, Ord, Show, Read, Functor, Foldable) < 1606159758 355145 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1606159766 525225 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> length (Square' 1 2) < 1606159768 957069 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 2 < 1606159804 154210 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :what... how do you derive Functor? that's not a newtype deriving < 1606159808 63113 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :and Foldable too < 1606159815 328574 :int-e!~noone@int-e.eu PRIVMSG #esoteric :GHC has extensions for this < 1606159840 471898 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :`python3 -cprint(len((1,2))) < 1606159841 417587 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :2 < 1606159865 270338 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :(funnily python's len function deliberately doesn't work for arbitrary iterables) < 1606159874 639970 :int-e!~noone@int-e.eu PRIVMSG #esoteric :In fact, GHC has a ton of extensions in this area: DeriveAnyClass DeriveFunctor DeriveTraversable DeriveDataTypeable DeriveGeneric DerivingStrategies DeriveFoldable DeriveLift DerivingVia < 1606159931 697134 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(and that's missing GeneralizedNewtypeDeriving, and probably a couple more) < 1606159947 724083 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :the Typeable thing is understandable, that it can be derived for many types is sort of the point < 1606159973 714386 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :b_jonas: well, not allowing len for infinite data isn't that stupid < 1606160019 877621 :int-e!~noone@int-e.eu PRIVMSG #esoteric :the Typeable thing is special in that it is *required* to make Typeable safe(-ish). < 1606160425 999141 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :int-e: yeah. rust ends up with a nice general trait system, and then like two dozen traits that need various kinds of compiler magic, not counting the ones that just define what an arithmetic punctuation operator syntax is shortcut to < 1606160449 571150 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :and the list will probably grow even further < 1606160603 600975 :int-e!~noone@int-e.eu PRIVMSG #esoteric :GHC... might be done? Hard to say. < 1606160617 813188 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I bet they thought they were done with DeriveAnyClass < 1606160624 135262 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1606160715 387763 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Which builds on top of GHC's generics (which destructure datatypes into sums and products and some other building blocks for applications and some basic types...) > 1606160727 973949 PRIVMSG #esoteric :14[[07HAN14]]4 N10 02https://esolangs.org/w/index.php?oldid=78855 5* 03Aryantech123 5* (+2905) 10Added initial information < 1606160758 102151 :int-e!~noone@int-e.eu PRIVMSG #esoteric :With the idea that if you have an instance Generic x => Foo x, then you can use that instance to derive Foo for any type that you can derive a Generics instance for < 1606160778 832017 :b_jonas!~x@catv-176-63-12-45.catv.broadband.hu PRIVMSG #esoteric :I se > 1606160817 26857 PRIVMSG #esoteric :14[[07HAN14]]4 M10 02https://esolangs.org/w/index.php?diff=78856&oldid=78855 5* 03Aryantech123 5* (+6) 10Fixed catagories < 1606160826 540547 :int-e!~noone@int-e.eu PRIVMSG #esoteric :However... this wasn't the end. We now have DerivingVia (which allows you to give an explicit newtype whose instance to use... so it's mixing GND and DeriveAnyClass and all the other stuff) < 1606160874 455855 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And DerivingStrategies is also new, which finally allows you distinguish between derivinig Ord by builtin the mechanism, or by another strategy like GND or the via thing. < 1606160898 863887 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So... I'm not going to bet on whether there'll be more extensions. < 1606160910 942695 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But I will say that the system feels quite flexible now. > 1606160947 232357 PRIVMSG #esoteric :14[[07HAN14]]4 M10 02https://esolangs.org/w/index.php?diff=78857&oldid=78856 5* 03Aryantech123 5* (+1) 10 > 1606161073 573396 PRIVMSG #esoteric :14[[07HAN14]]4 10 02https://esolangs.org/w/index.php?diff=78858&oldid=78857 5* 03Aryantech123 5* (+41) 10 > 1606161156 645124 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=78859&oldid=78829 5* 03Aryantech123 5* (+10) 10 > 1606161185 78151 PRIVMSG #esoteric :14[[07HAN14]]4 M10 02https://esolangs.org/w/index.php?diff=78860&oldid=78858 5* 03Aryantech123 5* (-13) 10 > 1606161377 357944 PRIVMSG #esoteric :14[[07User:Aryantech12314]]4 M10 02https://esolangs.org/w/index.php?diff=78861&oldid=78048 5* 03Aryantech123 5* (+23) 10 > 1606161438 105372 PRIVMSG #esoteric :14[[07User:Aryantech12314]]4 10 02https://esolangs.org/w/index.php?diff=78862&oldid=78861 5* 03Aryantech123 5* (+0) 10 < 1606162474 185627 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1606165370 877509 :uninitializedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca JOIN :#esoteric < 1606165469 977785 :uninitializedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PRIVMSG #esoteric :fungot < 1606165470 89796 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :uninitializedPtr: " to start with." teppic shrugged, and got no shorter." < 1606165763 529965 :uninitializedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PRIVMSG #esoteric :> printStrLn "Hello" < 1606165765 325397 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error: < 1606165765 390395 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : • Variable not in scope: printStrLn :: [Char] -> t < 1606165765 390438 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : • Perhaps you meant one of these: < 1606165814 519557 :uninitializedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PRIVMSG #esoteric :> import Prelude < 1606165817 29836 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:1: error: :1:1: error: parse error on input ‘import’ < 1606165852 982055 :uninitializedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PRIVMSG #esoteric :>import Prelude < 1606165860 94707 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it's not ghci < 1606165898 783862 :uninitializedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PRIVMSG #esoteric :Can it still print? (Sorry, I do not know very much Haskell) < 1606165900 830150 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> putStrLn "Foo" -- no IO either < 1606165903 267955 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : < 1606165908 662656 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> "Foo" < 1606165910 959635 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "Foo" < 1606165927 104246 :uninitializedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PRIVMSG #esoteric :> * 4 (+ 2 2) < 1606165929 626474 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:1: error: :1:1: error: parse error on input ‘*’ < 1606165935 893561 :uninitializedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PRIVMSG #esoteric :> 4 * (2 + 2) < 1606165938 560908 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 16 < 1606165941 471171 :uninitializedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PRIVMSG #esoteric :Thank you < 1606165991 452459 :uninitializedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PRIVMSG #esoteric :?google < 1606165991 472965 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Empty search. < 1606165996 114708 :uninitializedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PRIVMSG #esoteric :?google is this search < 1606165997 255205 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :No Result Found. < 1606166111 754506 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@google bitrot < 1606166112 448118 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :No Result Found. < 1606166164 784178 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It turns out that trying to scrape HTML for relevant text is... brittle. < 1606166287 307112 :uninitializedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PRIVMSG #esoteric :add x y = x + y < 1606166292 155215 :uninitializedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PRIVMSG #esoteric :> add x y = x + y < 1606166294 688503 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:9: error: :1:9: error: parse error on input ‘=’ < 1606166326 958296 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> let add x y = x + y in foo 1 2 < 1606166329 335110 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error: < 1606166329 387421 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : • Variable not in scope: foo :: t0 -> t1 -> t < 1606166329 387453 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : • Perhaps you meant ‘for’ (imported from Data.Traversable) < 1606166334 233050 :int-e!~noone@int-e.eu PRIVMSG #esoteric :err < 1606166337 939904 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> let add x y = x + y in add 1 2 < 1606166340 624891 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 3 < 1606166398 853961 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Anyway, https://www.haskell.org/documentation/ has lots of places to start < 1606166428 147006 :int-e!~noone@int-e.eu PRIVMSG #esoteric :There's also #haskell. < 1606166599 113399 :int-e!~noone@int-e.eu PRIVMSG #esoteric :uninitializedPtr: but don't spam that channel with lambdabot experiments! < 1606166707 135833 :uninitializedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PRIVMSG #esoteric :Sorry < 1606166796 195805 :uninitializedPtr!415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca PART :#esoteric < 1606166803 903779 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mmm < 1606166823 455428 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that went well < 1606167654 3518 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :they seem a little flakey. < 1606167706 490133 :Frater_EST!adrianbibl@184.20.161.39 JOIN :#esoteric > 1606170176 512534 PRIVMSG #esoteric :14[[07ABCDE14]]4 M10 02https://esolangs.org/w/index.php?diff=78863&oldid=73454 5* 03Expliked 5* (+1) 10literally added a single "n" > 1606170218 394314 PRIVMSG #esoteric :14[[07ABCDE14]]4 M10 02https://esolangs.org/w/index.php?diff=78864&oldid=78863 5* 03Expliked 5* (-1) 10removed a single "n" from a different area of the page > 1606172247 861036 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Bloodyknucles 5* 10New user account < 1606172305 536071 :Frater_EST!adrianbibl@184.20.161.39 QUIT :Ping timeout: 264 seconds > 1606172916 12128 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=78865&oldid=78826 5* 03Bloodyknucles 5* (+93) 10 > 1606173009 472195 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=78866&oldid=78865 5* 03Bloodyknucles 5* (+214) 10 < 1606173108 390123 :Arcorann_!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net JOIN :#esoteric < 1606173670 163217 :int-e!~noone@int-e.eu PRIVMSG #esoteric :esowiki: hope they aren't coming for speling corection. > 1606174269 497665 PRIVMSG #esoteric :14[[07BitSwitch14]]4 N10 02https://esolangs.org/w/index.php?oldid=78867 5* 03Bloodyknucles 5* (+514) 10Created page with "BitSwitch is an [[esolang]] made by [[User:Bloodyknucles|BloodyKnukles]].
Here is a table of the commands in BitSwitch:
{| class="wikitable sortable" |- ! Name !! Func..." > 1606174415 916186 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=78868&oldid=78859 5* 03Bloodyknucles 5* (+14) 10 > 1606174473 886141 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=78869&oldid=78868 5* 03Bloodyknucles 5* (+2) 10 < 1606175662 402229 :Frater_EST!~adrianbib@184.20.161.39 JOIN :#esoteric < 1606175697 798596 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hrm, weird one < 1606175801 11069 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(the weird part is how little the implementation matches the "language" description)