< 1536624387 626939 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1536624986 952666 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Quit: Qutting < 1536626962 490286 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net JOIN :#esoteric < 1536627349 357840 :arseniiv!~arseniiv@89.189.142.190.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds < 1536627520 352182 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net JOIN :#esoteric < 1536628735 286927 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net QUIT :Ping timeout: 246 seconds < 1536628764 491707 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net JOIN :#esoteric < 1536629361 491144 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net QUIT :Ping timeout: 252 seconds < 1536629559 743831 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net JOIN :#esoteric < 1536630417 63955 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net QUIT :Quit: Ping timeout (120 seconds) < 1536630498 350178 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net JOIN :#esoteric < 1536634069 277698 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net QUIT :Ping timeout: 246 seconds < 1536635414 960688 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net JOIN :#esoteric < 1536635886 471463 :fungot!~fungot@88.98.228.179 JOIN :#esoteric < 1536635924 639448 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: How are you feeling? < 1536635925 78935 :fungot!~fungot@88.98.228.179 PRIVMSG #esoteric :fizzie: right. like pbx06, so stick with me home to play with, too. < 1536636049 366927 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Heh. There was a message for fungot, 1y 3m 16d 9h 30m 20s old. < 1536636049 676477 :fungot!~fungot@88.98.228.179 PRIVMSG #esoteric :fizzie: because it's a ridiculous amount of money). for years.) < 1536637354 912432 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net QUIT :Ping timeout: 272 seconds < 1536637640 440862 :erkin!~erkin@unaffiliated/erkin QUIT :Remote host closed the connection < 1536639288 329647 :Lyka!~lyka@unaffiliated/schrodingerscat JOIN :#esoteric < 1536639340 382681 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net JOIN :#esoteric < 1536639356 388247 :Lyka!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :hi < 1536639490 84920 :S_Gautam!uid286066@gateway/web/irccloud.com/x-lukhzhjqfccekepf JOIN :#esoteric < 1536639612 333561 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net QUIT :Ping timeout: 252 seconds < 1536639748 991267 :copumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Ping timeout: 272 seconds < 1536639780 346961 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net JOIN :#esoteric < 1536639797 276911 :Lyka!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :ACTION peers at her friend Sgeo_'s monitor and wonders if he ever got his friend's memory stick out of his laptop < 1536639823 650009 :copumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1536639825 827687 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :Hi Lyka! I did, a few years ago < 1536639875 790615 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :I used a paperclip < 1536639928 752190 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :March 21, 2015. < 1536639965 43489 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :Got scratched up but reportedly still worked < 1536639974 811854 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :I think that laptop has since died < 1536640033 588846 :Lyka!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :https://pastebin.com/T6KxW1EG < 1536640075 178745 :Lyka!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :i think i was the one who stuck it in there by accident < 1536640107 21474 :Lyka!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :what do the channel make of the language i made? < 1536640121 245434 :Lyka!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :*what does < 1536640198 731883 :Lyka!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :echidna < 1536640272 366853 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net QUIT :Ping timeout: 252 seconds < 1536640398 693648 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :https://drive.google.com/open?id=0Bxa-onC9NxdaWEVfOER3WmU2UTRSYVZEM21pVUtqanhpdVBn < 1536640407 988876 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :https://drive.google.com/open?id=0Bxa-onC9NxdaZjhCUlJUOGgxcFdqaGpyZzhzYVFad1UtVXFr < 1536640493 868082 :Lyka!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :i have the pictures, this is open channel < 1536640529 607426 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :ACTION isn't too bothered if people see them (if I was I would have private messaged) but maybe I should disable anyway < 1536643758 308866 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Lyka: that language looks decidedly non-esoteric? More like a low level assembly language < 1536643783 639092 :Lyka!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :oops < 1536643786 476770 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :but I lack the context for how it works from just that pastebin < 1536643808 914083 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :so if that is really the simplest way to add two numbers together, I'm more interested < 1536643828 827497 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :given that you have ADD and SUB instruction in there < 1536643834 962285 :Lyka!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :digits, not numbers < 1536643851 875452 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :huh? < 1536643871 150400 :Lyka!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :single digit numbers < 1536643881 718918 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :base 10? < 1536643889 242789 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :what does the ADD and SUB do then? < 1536643891 529499 :Lyka!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :yes < 1536643954 673223 :Lyka!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :i am too tired to remember < 1536643959 236090 :Lyka!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :night < 1536643971 384039 :Lyka!~lyka@unaffiliated/schrodingerscat PART :#esoteric < 1536643993 646304 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oh well < 1536645661 330464 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net QUIT :Ping timeout: 246 seconds < 1536645906 491202 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net JOIN :#esoteric < 1536646191 489952 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net QUIT :Ping timeout: 252 seconds < 1536647145 702193 :JWinslow23!62901603@gateway/web/freenode/ip.98.144.22.3 JOIN :#esoteric < 1536647409 657333 :JWinslow23!62901603@gateway/web/freenode/ip.98.144.22.3 QUIT :Ping timeout: 252 seconds < 1536648094 491767 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1536649424 325799 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric < 1536650953 344955 :AnotherTest!~turingcom@d51A46C74.access.telenet.be QUIT :Ping timeout: 245 seconds < 1536651198 46224 :xkapastel!uid17782@gateway/web/irccloud.com/x-ikaxgumzqweoxovs QUIT :Quit: Connection closed for inactivity < 1536652471 361827 :AnotherTest!~turingcom@natx-145.kulnet.kuleuven.be JOIN :#esoteric < 1536653643 361776 :deltab!~deltab@ds6266.dedicated.turbodns.co.uk PRIVMSG #esoteric :it's reading in two ASCII digits (\x30 to \x39), subtracting 0x30 from each to get the values, adding them, divmod to get tens and units, converting back to ASCII and outputting > 1536654136 37447 PRIVMSG #esoteric :14[[07Reversible14]]4 N10 02https://esolangs.org/w/index.php?oldid=57550 5* 03Ais523 non-admin 5* (+43) 10search aid / bluelink target; redir to [[:Category:Reversible computing]] > 1536654212 589040 PRIVMSG #esoteric :14[[07Counter machine14]]4 N10 02https://esolangs.org/w/index.php?oldid=57551 5* 03Ais523 non-admin 5* (+28) 10redir to [[Minsky machine]] for now; at some point, we may want the pages to be separate, with this page describing the general concept and that page describing the specific formalization < 1536654648 551115 :copumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Ping timeout: 244 seconds < 1536654757 516271 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I beat Super Mario Land in under half an hour (25 minutes, 20 sec. or so)! < 1536654955 838106 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :It's my fastest time but isn't fast unough to be a speedrun also it would not count since I'm playing on a Kongfeng GB Boy Colour < 1536655160 127577 :copumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1536655919 678090 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I've never beaten any Mario game other than Galaxy and that took me a long time but I got all 242 stars < 1536656008 291393 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :I imagine "beat" in the half-an-hour context refers to like, "beating Bowser for the last time" and not "getting all collectibles" < 1536656028 604291 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :FireFly: only for the unambitious < 1536656042 716765 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :But yes, it took me a lot less long to see the end credits < 1536656056 144663 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :FireFly: well this is the original Super Mario Land for Game Boy 1989, so... there aren't any collectables < 1536656061 588140 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :*nod* < 1536656078 660186 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :FireFly: and bowser isn't even in it < 1536656080 41230 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :I've played SML a li'l bit ages ago, I don't really remember it honestly :p < 1536656091 258495 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :whcih is sorta weird < 1536656127 802291 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :also mario is rescuing Daisy, which seems like he's cucking his brother, I thought luigi's canon GF was daisy < 1536656156 829354 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :\oren\: I think that was established after SML, also rescuing is allowed to be platonic < 1536656185 936279 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: not if u fly off in an airplane surrounded by hearts lol < 1536656263 175967 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :side note, I need to remember to buy more game boy games, and not just play the ones builtin to the console < 1536656576 978702 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :but srsly this thing is amazing, it's a GBC clone with games built in and most importantly - a BACKLIGHT < 1536656587 709126 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :hm what thing? < 1536656656 8314 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.ebay.ca/itm/GB-Boy-Classic-Color-Handheld-Game-Console-2-7-Game-Player-Backlit-66-Games-A-/223120822883?oid=192365737359 < 1536656659 554527 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :FireFly: ^ < 1536656870 724552 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :o neat < 1536656986 106554 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :most of the games built in aren't that great but I have been playing a lot of super mario land lately on my commute < 1536658231 899943 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I've been messing around with trying to do category theory in Agda < 1536658249 29971 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Managed to prove that the category of categories is a category last night < 1536658309 30244 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it? < 1536658320 844264 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess you have levels of categories or something. < 1536658417 158144 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yeah, that's exactly what I'm doing < 1536658444 824480 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It's a bit of a mess but this is what I have currently: https://gist.github.com/Taneb/6bca8c7d5fd47b12db32b3884cab097e < 1536658623 444285 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo define (co)products as adjoints to the diagonal functor hth < 1536658664 572216 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf: not a bad suggestion < 1536658685 228984 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I haven't defined adjoints yet < 1536658686 684179 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo it is a bad suggestion < 1536658703 487586 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but you could maybe reframe it as a good suggestion somehow < 1536658717 876518 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Well, "define (co)products as strings" would have been a bad suggestion < 1536658852 2813 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Would you call the diagonal functor forgetful? < 1536658908 124732 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess I would. < 1536658927 806869 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also I'd call fromInteger : Z -> R forgetful. < 1536658978 984004 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm not sure if I agree < 1536658998 736268 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :On which one? < 1536659003 254987 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The first one < 1536659015 328111 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think I'd call them forgetful for the sameish reason. < 1536659027 109954 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :An integer is like a real number with a proof that the fractional part is 0. < 1536659058 12616 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I don't have a clear intuition for forgetful functors < 1536659081 456765 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And a thing in C is like a thing in C*C with a proof that the two things are the same thing. < 1536659108 508277 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Good job "forgetful" doesn't mean anything < 1536659132 201435 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(am i britishing) < 1536659141 932292 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actually, I think "forgetful" means a right adjoint or something. < 1536659174 20909 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I should definitely define adjoints < 1536659183 772872 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Adjunctions are the best. < 1536659185 154799 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :They seem to come up everywhere < 1536659220 273679 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I tried to talk to a bunch of people about adjoints this past week but it didn't work? < 1536659414 981643 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Some people have no taste < 1536659432 38500 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, some of them were interested but then I needed to explain categories and things < 1536659474 445271 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm going to sleep but you should find some good adjunctions for me for when I wake up. < 1536659493 857573 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm afraid I'm at work and may still be at work when you wake up < 1536659501 400702 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What are the good old adjunctions? < 1536659505 660595 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :* Free/cofree things < 1536659508 341267 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :* Limits/colimits < 1536659518 532437 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Exponentials and tensors and things < 1536659532 617536 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(-> r) -| (-> r) < 1536659543 900420 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cofree comonads? Do I know any other good cofree things? < 1536659550 525696 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(I guess Coyoneda is a cofree functor.) < 1536659582 3444 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What else? I'm missing a lot here. < 1536659657 394743 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Abelianization is a left adjoint of the inclusion functor Ab -> Grp < 1536659674 996429 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That one's definitely forgetful. < 1536659682 720961 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yeah < 1536659693 345514 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'd call that the free abelian group on a group. < 1536659759 675593 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, uh, there are a million adjunctions I'm not thinking of here. < 1536659822 757894 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :There's the currying adjunction < 1536659850 61559 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's exponentials. < 1536659890 716398 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yeah < 1536659924 932489 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Look, I need to sleep < 1536659965 116135 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I want 4 adjunctions on my desk by end of day. < 1536659988 743136 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, there's the Eilenberg-Moore and Kleisli adjunctions for a monad, of course. < 1536661083 891064 :S_Gautam!uid286066@gateway/web/irccloud.com/x-lukhzhjqfccekepf QUIT :Quit: Connection closed for inactivity < 1536661501 490086 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Ah adjunction, my mortal enemy. < 1536661514 516930 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :int-e: elaborate please < 1536661521 738808 :int-e!~noone@int-e.eu PRIVMSG #esoteric :That's where I gave up when trying to get into category theory. < 1536661926 486151 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: So basically it's a marker stone between abstraction and nonsense for me. < 1536661983 93456 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :int-e: a big part of why I'm trying to do this in Agda is to concretize the nonsense < 1536662447 497399 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric > 1536662600 560684 PRIVMSG #esoteric :14[[07Flow of Holes14]]4 N10 02https://esolangs.org/w/index.php?oldid=57552 5* 03Ais523 non-admin 5* (+15758) 10new language; I've been planning this for a while, but wanted examples, an interpreter, pictures, etc. and to post the whole thing at once; however, that's delaying it too much, so just post a spec for now > 1536662630 639837 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=57553&oldid=57517 5* 03Ais523 non-admin 5* (+20) 10/* F */ +[[Flow of Holes]] > 1536662654 746691 PRIVMSG #esoteric :14[[07User:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=57554&oldid=57036 5* 03Ais523 non-admin 5* (+19) 10+[[Flow of Holes]], even though it's somewhat unfinished > 1536663663 62680 PRIVMSG #esoteric :14[[07Game of Life14]]4 M10 02https://esolangs.org/w/index.php?diff=57555&oldid=57225 5* 03Ais523 non-admin 5* (+1) 10grammar < 1536667524 138855 :S_Gautam!uid286066@gateway/web/irccloud.com/x-fnngqzyfqollbsxj JOIN :#esoteric < 1536667876 859816 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric < 1536668603 458577 :nfd9001!~nfd9001@c-73-157-90-101.hsd1.wa.comcast.net QUIT :Ping timeout: 245 seconds > 1536669230 877827 PRIVMSG #esoteric :14[[07User:Sinthorion/drafts/Unsafe14]]4 N10 02https://esolangs.org/w/index.php?oldid=57556 5* 03Sinthorion 5* (+3731) 10Created page with "'''Unsafe''' is a programming language designed with two main considerations: * ''extremely'' lightweight runtime (no data types, no GC, not even a proper stack...) * ''extrem..." < 1536669352 363140 :arseniiv!~arseniiv@89.189.142.190.dynamic.ufanet.ru JOIN :#esoteric < 1536672348 491591 :zseri!~zseri@i5E86D232.versanet.de JOIN :#esoteric < 1536672643 760921 :xkapastel!uid17782@gateway/web/irccloud.com/x-bpuoybsgqbwbfatg JOIN :#esoteric < 1536672775 998358 :sleepnap!~thomas@2603:3015:260e:1900::13ed JOIN :#esoteric < 1536673672 108605 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Quit: Leaving < 1536674418 508414 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection < 1536674565 960062 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1536674928 443902 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1536675092 580988 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :oh! I think this is the language ais523 mentioned earlier that he was trying to design < 1536675096 207090 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :https://esolangs.org/wiki/Flow_of_Holes < 1536675887 475262 :grumble!~grumble@freenode/staff/grumble QUIT :Ping timeout: 600 seconds < 1536675903 266333 :S_Gautam!uid286066@gateway/web/irccloud.com/x-fnngqzyfqollbsxj QUIT :Quit: Connection closed for inactivity < 1536675989 579793 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric > 1536676257 971270 PRIVMSG #esoteric :14[[07List of ideas14]]4 10 02https://esolangs.org/w/index.php?diff=57557&oldid=57401 5* 03Sinthorion 5* (+329) 10prime factor numbers < 1536676328 772874 :copumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Quit: Textual IRC Client: www.textualapp.com < 1536676835 804082 :zseri!~zseri@i5E86D232.versanet.de QUIT :Quit: Leaving < 1536677317 832896 :copumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1536677368 868727 :copumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Client Quit < 1536678461 690028 :copumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1536678478 327564 :AnotherTest!~turingcom@natx-145.kulnet.kuleuven.be QUIT :Ping timeout: 245 seconds < 1536679562 360642 :bradcomp!~bradcomp@38.104.142.186 JOIN :#esoteric < 1536679908 483769 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net JOIN :#esoteric < 1536680167 489591 :pimlu!~pimlu@70-90-173-49-California.hfc.comcastbusiness.net QUIT :Ping timeout: 240 seconds < 1536680422 973680 :AnotherTest!~turingcom@d51a46c74.access.telenet.be JOIN :#esoteric < 1536682117 752293 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1536682578 417552 :Melvar!~melvar@dslb-088-077-243-244.088.077.pools.vodafone-ip.de QUIT :Ping timeout: 245 seconds < 1536682749 317081 :S_Gautam!uid286066@gateway/web/irccloud.com/x-vgzopaaqkugusxeg JOIN :#esoteric < 1536682832 346752 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :OH! < 1536682858 112354 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ffee - coffee < 1536683116 606455 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`? coffee < 1536683117 803614 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Coffee is a strange brew. Enticing wisps of vapour catch the eye, the soul ensnared into dark vortices of flavour. Some minds mix in milk and sugar to counteract coffee's black magic. < 1536683135 814356 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`? ffee < 1536683136 904906 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :ffee? ¯\(°​_o)/¯ < 1536683159 133069 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :wait why is there a zwsp in that < 1536683178 833414 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`unicode < 1536683179 563051 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :No output. < 1536683186 434673 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`unicode °​_ < 1536683187 803022 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :U+00B0 DEGREE SIGN \ UTF-8: c2 b0 UTF-16BE: 00b0 Decimal: ° \ ° \ Category: So (Symbol, Other) \ Bidi: ET (European Number Terminator) \ \ U+200B ZERO WIDTH SPACE \ UTF-8: e2 80 8b UTF-16BE: 200b Decimal: ​ \ ​ \ Category: Cf (Other, Format) \ Bidi: BN (Boundary Neutral) \ \ U+005F LOW LINE \ UTF-8: 5f UTF-16BE: 005f Decimal: _ \ _ \ Category: Pc (Punctuation, Connector) \ Bidi: ON (Other Neutrals) < 1536683552 149641 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ok this is somewhat bizarre < 1536683580 253441 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :wob_jonas: irssi sometimes displays zwsp with a width of 1, sometimes with 0 < 1536683695 190807 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :even crazier, it depends on which way I tab through my channels. tabbing leftward, it displays zwsp with a width of 1 thus showing up with the glyph my font has for it. tabbing rightward, the opposite happens! < 1536683803 444666 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :unicode needs to take more effort defining how their standard works in a fixed-width environment < 1536683819 371672 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1536685890 495494 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 252 seconds < 1536687194 959604 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1536687538 872894 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: What about adjunctions in Haskell? Do you accept those? < 1536687575 348881 :int-e!~noone@int-e.eu PRIVMSG #esoteric :no < 1536687688 952303 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you know how to make State out of (e,) -| (e->)? It's p. good. < 1536687722 372394 :int-e!~noone@int-e.eu PRIVMSG #esoteric :please stop pretending that abstract nonsense makes sense :P < 1536687734 499926 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This is concrete nonsense! < 1536687740 297393 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Abstract sense? < 1536687749 7330 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? category theory < 1536687750 453176 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :In the theory of categories, category theory is a theory in the category of theories. < 1536687753 507185 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm < 1536687769 267530 :int-e!~noone@int-e.eu PRIVMSG #esoteric :anyway, "abstract nonsense" is a common term for "category theory" :P > 1536687777 533362 PRIVMSG #esoteric :14[[07User:Sinthorion/drafts/Unsafe14]]4 10 02https://esolangs.org/w/index.php?diff=57558&oldid=57556 5* 03Sinthorion 5* (+4362) 10 < 1536687784 321308 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For a specific flavor of category theory < 1536687829 696487 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Look, the point is, you have two functions: eps :: (e, e -> a) -> a, and eta :: a -> (e -> (e, a)) < 1536687989 196497 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :With the laws eps . fmap eta = id and fmap eps . eta = id < 1536688005 931282 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'll stop saying things because this is a bit rude. < 1536688020 314568 :spiegelau!~spiegelau@82.144.205.57 JOIN :#esoteric < 1536688352 403793 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 JOIN :#esoteric < 1536688384 776525 :deltab!~deltab@ds6266.dedicated.turbodns.co.uk PRIVMSG #esoteric :\oren\: it's an enticing zwisp < 1536688432 486591 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :\oren\: so the same instances of zwsp in the same lines display differently depending on the previous tab? does it persist if after switching the tab you press control-L to redraw the screen? < 1536688476 95820 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :\oren\: something like this could happen if the terminal and whatever console-driver library (or libc) your irssi uses has different idea about the width of that character < 1536688520 776158 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :\oren\: is at least your terminal taking utf-8 encoding and does irssi know that correctly? < 1536688630 262225 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :\oren\: perhaps it could also happen if you're using an old font that doesn't have the right glyph for the zwsp character < 1536688788 858947 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :\oren\: does it also happen with the U+FEFF character used instead of the U+200B ? < 1536688850 77410 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... < 1536689263 812756 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1536689376 511016 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Remote host closed the connection < 1536689403 961826 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1536691010 489767 :spiegelau!~spiegelau@82.144.205.57 QUIT :Quit: leaving < 1536691075 172112 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :wob_jonas: I experimented a bit. basically it depends on tmux, not irssi per se. tmux redraws the screen differently depending on whether it has to erase the line or not < 1536691099 473802 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :\oren\: hmm. < 1536691125 638743 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :\oren\: still, some of the comments apply. does it happen if you have irssi redraw the screen and then have tmux redraw the screen? < 1536691134 410252 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :does it happen with U+FEFF? < 1536691144 241189 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :is some of the software you're using very old versions? < 1536691164 107968 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :and check for the font < 1536691184 237112 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I'm using iterm2, so the terminal is new. the font is my own font which provides a visible character for zwsp < 1536691218 269472 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :(which normally is never drawn) < 1536691223 479424 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :\oren\: how about tmux, irssi, and the libc under both? < 1536691241 364477 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :irssi is a very old version < 1536691242 849346 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :oh right... you use your own font. so at least that one is fine < 1536691345 728971 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :I should try to hear more instrumental synth pop music during work. I'm not familiar enough with the genre because it wasn't played enough on the pop radio stations I listened to, but I think there are a lot of songs I'd enjoy and I should get to know the genre more. < 1536691376 349677 :spiegelau!~spiegelau@82.144.205.57 JOIN :#esoteric < 1536691395 68846 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I don't understand why so many packages on modern ubuntu are extremely old versions < 1536691403 101018 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :like nano for instance < 1536691557 168606 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :\oren\: nobody likes to do the chore of packaging new versions of sotware < 1536691680 234162 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? sotware < 1536691681 596356 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :sotware? ¯\(°​_o)/¯ < 1536691861 880850 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :um < 1536691865 60001 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :software obviously < 1536691870 349605 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 PRIVMSG #esoteric :but yeah < 1536691959 538948 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Sotware is the result of drunk coding. See also: Microsot; Ballmer Peak.) < 1536692191 277170 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :oh, the newest LTS version finally updated nano to a version above 2.7 < 1536692228 450969 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :(2.7 added the all-important ability to display line numbers!) < 1536692515 339622 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1536692522 274910 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( "nano" is a bilingual name deriving from Austrian "na" (i.e., no) and English "no" (i.e., no). ) < 1536693559 211579 :spiegelau!~spiegelau@82.144.205.57 QUIT :Quit: leaving < 1536693579 358653 :spiegelau!~spiegelau@82.144.205.57 JOIN :#esoteric > 1536696612 445512 PRIVMSG #esoteric :14[[07User:Sinthorion/drafts/Unsafe14]]4 M10 02https://esolangs.org/w/index.php?diff=57559&oldid=57558 5* 03Sinthorion 5* (-14) 10/* Runtime and Memory */ < 1536696683 614326 :Melvar!~melvar@dslb-088-078-016-215.088.078.pools.vodafone-ip.de JOIN :#esoteric < 1536696904 564114 :S_Gautam!uid286066@gateway/web/irccloud.com/x-vgzopaaqkugusxeg QUIT :Quit: Connection closed for inactivity < 1536698141 533724 :Melvar!~melvar@dslb-088-078-016-215.088.078.pools.vodafone-ip.de QUIT :Ping timeout: 244 seconds < 1536698167 492208 :Melvar!~melvar@dslb-088-078-016-215.088.078.pools.vodafone-ip.de JOIN :#esoteric < 1536699468 409470 :wob_jonas!b03f185d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.93 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1536700101 311016 :bradcomp!~bradcomp@38.104.142.186 QUIT :Ping timeout: 252 seconds < 1536700544 409306 :bradcomp!~bradcomp@38.104.142.186 JOIN :#esoteric < 1536700852 777971 :bradcomp!~bradcomp@38.104.142.186 QUIT :Ping timeout: 272 seconds < 1536700933 564475 :bradcomp!~bradcomp@38.104.142.186 JOIN :#esoteric < 1536701238 519641 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1536702208 25955 :AnotherTest!~turingcom@d51a46c74.access.telenet.be QUIT :Ping timeout: 252 seconds < 1536702573 614334 :sleepnap!~thomas@2603:3015:260e:1900::13ed PART :#esoteric < 1536704125 352902 :arseniiv!~arseniiv@89.189.142.190.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds < 1536705607 520066 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Quit: Qutting < 1536705900 399392 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1536706047 413343 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1536706775 152865 :S_Gautam!uid286066@gateway/web/irccloud.com/x-mgdzowwcpmeihgxu JOIN :#esoteric > 1536707163 754042 PRIVMSG #esoteric :14[[07Minsky machine14]]4 10 02https://esolangs.org/w/index.php?diff=57560&oldid=45819 5* 03B jonas 5* (+140) 10mention Aho, Ullman book < 1536707916 736575 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection > 1536707925 219371 PRIVMSG #esoteric :14[[07Esolang:Categorization14]]4 10 02https://esolangs.org/w/index.php?diff=57561&oldid=56866 5* 03B jonas 5* (+87) 10/* Year of creation */ > 1536708095 21614 PRIVMSG #esoteric :14[[07PL/MIX14]]4 10 02https://esolangs.org/w/index.php?diff=57562&oldid=54835 5* 03B jonas 5* (+306) 10year, unimplemented < 1536708161 933364 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1536708378 944132 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 252 seconds < 1536709320 952000 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net JOIN :#esoteric < 1536709341 385148 :bradcomp!~bradcomp@38.104.142.186 QUIT :Ping timeout: 252 seconds < 1536709599 648098 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :Is there a demoscene for MMIX? There should be