< 1457913758 548354 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Gah! Must switch projects again! < 1457913761 449219 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Damn you brain! < 1457913779 134821 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :vanila: What would be great for Kitten? < 1457913795 470043 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I don't know what kitten is < 1457913828 644848 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1457913904 729062 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? vespene < 1457913905 780522 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :vespene? ¯\(°​_o)/¯ < 1457914078 851724 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :vanila: Check the topic < 1457914777 418236 :boily!~alexandre@rrcs-198-179-121-100.nys.biz.rr.com JOIN :#esoteric < 1457914818 151571 :boily!~alexandre@rrcs-198-179-121-100.nys.biz.rr.com PRIVMSG #esoteric :hellœrjan. < 1457914940 478617 :boily!~alexandre@rrcs-198-179-121-100.nys.biz.rr.com PRIVMSG #esoteric :`wisdom < 1457914942 679610 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :int-e/int-e är inte svensk. < 1457914982 132882 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boheily < 1457915016 687590 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`le/rn wat/Angkor Wat is a famous temple complex in Cambodia. < 1457915019 710391 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «wat» < 1457915040 949817 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1457915055 717359 :boily!~alexandre@rrcs-198-179-121-100.nys.biz.rr.com PRIVMSG #esoteric :ooh? < 1457915067 142883 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn_append wat It is the largest religious monument in the world. < 1457915069 118406 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Quit: Bye < 1457915069 997176 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'wat': Angkor Wat is a famous temple complex in Cambodia. It is the largest religious monument in the world. < 1457915083 887996 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION did not know that < 1457915089 669914 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net JOIN :#esoteric < 1457915586 493478 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote 112 < 1457915587 499314 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :112) Some people are reasonable, some people who are not reasonable insist on changing things so therefore progress depends on not reasonablepeple < 1457915634 440936 :boily!~alexandre@rrcs-198-179-121-100.nys.biz.rr.com PRIVMSG #esoteric :hellochaf. < 1457915640 992547 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yowly < 1457915651 203176 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@yowly < 1457915651 336311 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :While you're chewing, think of STEVEN SPIELBERG'S bank account ... his < 1457915651 336394 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :will have the same effect as two "STARCH BLOCKERS"! < 1457915706 176442 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? attack < 1457915707 81049 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :attack? ¯\(°​_o)/¯ < 1457915748 804932 :boily!~alexandre@rrcs-198-179-121-100.nys.biz.rr.com PRIVMSG #esoteric :attack? < 1457915806 323949 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : No. I was wondering whether the Alphago team had somehow solved this problem... now I know they didn't. <-- . o O ( do human brains have horizon effects ) < 1457915833 933903 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: probabl! < 1457915834 761244 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :y < 1457915842 922919 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I don't think tehy do < 1457915845 805952 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(was that an instance... I hope not...) < 1457915852 972853 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: *MWAHAHAHA* < 1457915919 140045 :hppavilion[1]!~DevourerO@74.121.217.2 QUIT :Ping timeout: 244 seconds < 1457915990 498699 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: do you recall enough of ghc's #8827 to have an idea how safe or unsafe Data.Coerce is? < 1457916016 224803 :hppavilion[1]!~DevourerO@74.121.217.2 JOIN :#esoteric < 1457916034 722707 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :vanila: but perhaps you just say that because you didn't think about it deeply enough. < 1457916042 353174 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric ::P < 1457916057 658020 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :vanila: You know J? < 1457916066 98148 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :there was a very funny video of someone who made a NES AI < 1457916069 207820 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :hppavilion[1], a bit! < 1457916069 746872 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :vanila: #esoteric should make something like that. < 1457916078 419658 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :and then when he tried it on tetris it sucked < 1457916084 224760 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :An uber-terse array language of awesomeness < 1457916088 249525 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :and when it almost lost it just paused the game < 1457916097 659355 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :and kept it paused so that it would never lose < 1457916107 354638 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :oerjan: I think so, indirectly < 1457916107 488169 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that's a brilliant strategy! < 1457916116 650627 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :there are some safety mechanisms to avoid them but not perfect < 1457916134 816988 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? defense < 1457916136 230908 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :defense? ¯\(°​_o)/¯ < 1457916406 126976 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: any unsafeness is due to modules defining data types with unexposed constructors that are not meant to be convertible, without considering the role mechanism? < 1457916464 36778 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: Looking at https://ghc.haskell.org/trac/ghc/wiki/SafeRoles I gather that type roles are respected, and hence one cannot break the reprentational aspect of the type system through coerce; at the same time it may still be possible to break abstractions... how bad is that? Can I use `coerce` to convert runST into unsafePerformIO, say? [probably not because of the rank 2 type, but maybe... < 1457916468 682517 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so all the discussion is about how far to safeguard against that. there is in any case usually no breach of memory safety, only invariants < 1457916470 37184 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :...there are other constructs like that...] < 1457916529 692123 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: in Unsafe mode you can break abstractions, i don't remember if coerce is supported in Safe mode. < 1457916543 234810 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(and ST has a nominal type role for its phantom type argument...) < 1457916553 190885 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :heh < 1457916556 259660 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: the module is Unsafe < 1457916571 988764 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@let import Control.Monad.Free < 1457916573 76961 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : : < 1457916573 210274 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : The package (profunctors-5.1.1) is required to be trusted but it isn't! < 1457916615 299939 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: i'm not talking about the module you're importing, but the one you're defining < 1457916631 335156 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :This is the reason why I'm asking... profunctors' Data.Profunctors.Unsafe module is marked "Trustworthy" and effectively exports `coerce`. < 1457916632 226180 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :an Unsafe module can use unsafeCoerce, after all. < 1457916672 914260 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wheras Data.Coerce is Unsafe. < 1457916676 549847 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: oh, i'm not clear enough about the current state to say whether that's bad < 1457916677 683448 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :i don't know why people still bother with haskell < 1457916678 33873 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@let import Data.Coerce < 1457916679 238442 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : .L.hs:75:1: < 1457916679 371760 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Data.Coerce: Can't be safely imported! < 1457916679 371847 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : The module itself isn't safe. < 1457916713 733041 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it is possible that you need Unsafe mode just to _use_ coerce, even if it's imported from somewhere trustworthy < 1457916720 369753 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't quite remember < 1457916740 311558 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net QUIT :Quit: Bye < 1457916750 697108 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :vanila: i barely do now, i don't have ghc on my laptop :P < 1457916765 214928 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: "effectively" means I can define coerce' a = (#.) undefined (const a) undefined < 1457916769 314545 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I think it would be nice to write a new haskell compiler < 1457916784 57135 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net JOIN :#esoteric < 1457916786 614185 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and it has just the same type as coerce. < 1457916790 481541 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm < 1457916803 22599 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or perhaps you mean inferring Coercible constraints is restricted < 1457916804 126164 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :What do you al feel about modern haskell? < 1457916943 131101 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :vanila: are you getting at anything in particular, or are you just trolling? < 1457916947 777917 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :um ok < 1457916953 754786 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :good for you < 1457916981 183003 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I do have complaints about Haskell... but no more than about other programming languages that I use. < 1457916988 972817 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :not interested dude talk to someone else < 1457916993 864581 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net QUIT :Ping timeout: 240 seconds < 1457917007 782216 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ah, trolling it is then. Fine. < 1457917020 829126 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :you're an idiot < 1457917021 426092 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : or perhaps you mean inferring Coercible constraints is restricted <-- yeah < 1457917106 769946 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :vanila: are you aiming for a ban tdnh < 1457917125 932966 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :@slap vanila < 1457917126 66278 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :I don't perform such side effects on command! < 1457917220 353439 :boily!~alexandre@rrcs-198-179-121-100.nys.biz.rr.com PRIVMSG #esoteric :lambdabot: you should use this chännel's traditional weapons. < 1457917234 758147 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :It didn't work? I tested it on myself in a private chat first. Oh well. < 1457917253 794410 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :lambdabot is somewhat random < 1457917424 530675 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net JOIN :#esoteric < 1457917435 769619 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :boily: like parenthesis? < 1457917469 665384 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: okay, then the puzzle is why Data.Coerce is not marked as Trustworthy... < 1457917536 515912 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: (I played around a bit, and yes, it looks that Coercible inference is restricted in SafeHaskell. Thanks for the hint!) < 1457917639 335568 :boily!~alexandre@rrcs-198-179-121-100.nys.biz.rr.com PRIVMSG #esoteric :b_jhellonas. unbalancing parentheses is a crime against humanity. < 1457917641 938529 :boily!~alexandre@rrcs-198-179-121-100.nys.biz.rr.com PRIVMSG #esoteric :ACTION eyes fungot < 1457917642 405061 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: last time i checked elucidatewhy is to become proficient in scheme programming by seeing how i can get it's just what oklopol and bsmntbombdood did have the occasional orgies, though. < 1457917670 578167 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: on thinking, i think throwing around trolling accusations shouldn't be done this lightly < 1457917713 27808 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: Well, I guess I see why; it's really about giving library authors time to sprinkle `nominal` type constraints in their code where needed (like Data.Map). < 1457917926 244111 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: i think the role considerations just haven't converged to a stable state yet. < 1457917954 648762 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Quit: hey, be careful with that cable! < 1457917978 431858 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :0.0 < 1457917985 566914 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :lambdabot quit !? < 1457917989 613011 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also, #8827 isn't implemented yet < 1457918001 625639 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: i assume int-e is reconfiguring things < 1457918009 63175 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :oerjan: Ah < 1457918013 968410 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan's right < 1457918015 141116 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :possibly related to our coerce discussion < 1457918017 348737 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :oerjan: Wait, int-e is in charge of lambdabot? < 1457918022 680203 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: yes < 1457918033 882203 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :oerjan: *miniature mind blow* < 1457918037 295759 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::P < 1457918038 800056 :vanila!~vanila@unaffiliated/vanila PART #esoteric :"Leaving" < 1457918051 86776 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :*not a big mind blow, but still technically a mind blow* < 1457918063 15136 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I've decided to trust profunctors for now...) < 1457918072 795001 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :int-e: Profunctors...? < 1457918081 389018 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :oerjan: For some reason, I can never get my mind off the concept of a language called Unilang < 1457918084 925437 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hppavilion[1]: one of ekmett's many libraries < 1457918092 523966 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :int-e: Ah? < 1457918098 302631 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :my memory is a bid vague, i'm not entirely sure whether int-e came here to the channel of his own accord, or whether he tagged along with lambdabot after we nagged to get it here < 1457918119 154637 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :https://hackage.haskell.org/package/profunctors < 1457918130 866477 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :he may not have been the maintainer back then < 1457918141 201680 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I came here on my own accord the first time... not sure about my return ;) < 1457918156 422504 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s/on/of/ (meh) < 1457918226 170544 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1457918242 218031 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But it was probably unrelated to lambdabot. < 1457918245 634526 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@bot < 1457918250 172890 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric ::) < 1457918313 674038 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i was going to suggest on/of are both acceptable, sadly stackexchange disagrees with me < 1457918335 164592 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but one comment suggests confusion with "on my own account" < 1457918569 290425 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : If it hadn't done this while behind that would also have made me happy. But it takes a really strong player (or some artificial setup; [...] <-- afaiu go has a pretty extensive handicap system, so not _that_ artificial... < 1457918655 960380 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION chuckles evilly at boily < 1457918711 205417 :boily!~alexandre@rrcs-198-179-121-100.nys.biz.rr.com PRIVMSG #esoteric :huh? < 1457918725 975168 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :boily: Unbalanced parens. < 1457918730 147530 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: actually the first time I came here the esolangs mailing list was still functioning; perhaps it mentioned the IRC channel? < 1457918746 399906 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :perhaps < 1457919731 967356 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :eek is easter that soon < 1457919837 319749 :boily!~alexandre@rrcs-198-179-121-100.nys.biz.rr.com PRIVMSG #esoteric :Easter Approaches. The Holy Zombie will Come and Enlighten us All. < 1457919865 419724 :boily!~alexandre@rrcs-198-179-121-100.nys.biz.rr.com PRIVMSG #esoteric :> (61 - 32) * 5 / 9 < 1457919866 837193 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 16.11111111111111 < 1457919885 33174 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :I've got a framework for a bot working! < 1457919894 772900 :boily!~alexandre@rrcs-198-179-121-100.nys.biz.rr.com PRIVMSG #esoteric :> 21 * 9 / 5 + 32 < 1457919896 278838 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 69.8 < 1457919944 700379 :boily!~alexandre@rrcs-198-179-121-100.nys.biz.rr.com PRIVMSG #esoteric :hppavellon[1]! < 1457919952 443279 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :ahoily! < 1457920556 595768 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm. well, your head exploded yes that's a good point to stop reading ;) ... reading old logs is fun :) < 1457920737 25897 :boily!~alexandre@rrcs-198-179-121-100.nys.biz.rr.com QUIT :Quit: COLLECTIVE CHICKEN < 1457920742 840781 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? sand < 1457920753 319608 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sand? ¯\(°​_o)/¯ < 1457920790 756521 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`learn Sand is what microprocessors are made of. GregorR invented it. < 1457920799 692292 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'sand': Sand is what microprocessors are made of. GregorR invented it. < 1457920807 161494 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :if you don't stop reading when your head explodes, severe side effects may occur. < 1457920848 207995 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :( I wrote my compiler! And I built my processor, mother board, RAM, hard disk etc from sand. Sand that I /invented/!) (context was trust) < 1457920862 92675 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Gregor dropped the R eventually, i guess the people revolted against him. < 1457920863 748136 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :trust in software and hardware, that is. < 1457920972 171595 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and he had only got cheap deathrayatcost defenses that failed at the worst possible moment < 1457921138 205683 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :clearly he should have kept to the build everything yourself policy < 1457921198 149067 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :I'm working on thoof4irc < 1457921837 815138 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :!ps < 1457922088 446767 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Hm... < 1457922097 152347 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :The bot is a bit buggy < 1457922160 681396 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :!sh ps < 1457922161 24156 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​\ \ Signal 18 (CONT) caught by ps (procps version 3.2.8). \ Please send bug reports to or < 1457922174 427545 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :If anyone wants to experiment a bit with it, I can add a help and join it to #esoteric < 1457922186 341499 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :But it doesn't seem to always get the messages I send it < 1457922222 83060 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :The trigger is %% < 1457922223 844091 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :^prefixes < 1457922223 977426 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ . < 1457922226 520066 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric : hmm. I'm not doing much esoteric stuff anymore. < 1457922243 351358 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: date? < 1457922252 302778 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :2006-05-27 < 1457922261 631444 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1457922264 977924 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve JOIN :#esoteric < 1457922275 850264 :hppavilion[1]!~DevourerO@74.121.217.2 QUIT :Quit: Leaving < 1457922289 47945 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve PRIVMSG #esoteric :Hola < 1457922291 342411 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve PRIVMSG #esoteric :hello < 1457922462 583677 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: so yeah, my return in late 2013 is connected to me taking over lambdabot < 1457922487 295563 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@let import Control.Monad.Free < 1457922488 508218 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1457922491 624142 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@undef < 1457922491 757684 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Undefined. < 1457922492 502669 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fine. < 1457922503 829542 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :in any case, good night < 1457922783 530118 :hppavilion[1]!~DevourerO@74.121.217.2 JOIN :#esoteric < 1457922786 404222 :hppavilion[1]!~DevourerO@74.121.217.2 QUIT :Client Quit < 1457923033 445786 :hppavilion[1]!~DevourerO@74.121.217.2 JOIN :#esoteric < 1457923058 414818 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Lilly_Goodman: ¿Tiene algún interés en los lenguajes de programación esotéricos? O la programación en absoluto? < 1457923062 778758 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :@messages- < 1457923062 912197 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :oerjan said 4m 14s ago: CHICKEN :P < 1457923081 979400 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve PRIVMSG #esoteric :hppavilion[1]: si < 1457923083 861027 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Probably was not supposed to put that public xD < 1457923101 317987 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Lilly_Goodman: ¿Qué tipo de programación? < 1457923190 257355 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Lilly_Goodman: Qué lenguajes de programación lo sabes? < 1457923249 876623 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve PRIVMSG #esoteric :hppavilion[1]: se el de castellano y me interesa conrespecto a la computadora en si < 1457923294 417859 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Lilly_Goodman: < 1457923294 605725 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Google no se está traduciendo que adecuadamente. ¿Se puede reformular? O corregir los errores tipográficos? < 1457923371 920601 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :oerjan: Would an IRC bot that does category theory be of interest to this channel? Or does lambdabot already serve that function? < 1457923373 800642 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve PRIVMSG #esoteric :hppavilion[1]: me puedes decir el hardware, se compone de la unidad central, los periféricos de entrada y salida?? < 1457923412 962443 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Lilly_Goodman: No estoy seguro de lo que estás pidiendo < 1457923474 369831 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve PRIVMSG #esoteric :una pregunta... el hardware de la computadora, se compone de la unidad central, los periféricos de entrada y salida? responde < 1457923496 898694 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Lilly_Goodman: < 1457923497 89710 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Eso suena bastante bien < 1457923524 191777 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Por otra parte, yo no soy un tipo de hardware < 1457923647 174227 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve PRIVMSG #esoteric :hppavilion[1]: de que parte eres? < 1457923682 645245 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :shachaf: Could you figure out my puzzle now? < 1457923702 619255 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Lilly_Goodman: Hago la programación de computadoras. La mayoría de nosotros. Pocos de nosotros comprende el metal desnudo, por lo que yo puedo decir. < 1457923740 2415 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: I didn't look at it since yesterday. < 1457923753 485197 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve PRIVMSG #esoteric :hppavilion[1]: a esta bien... < 1457923787 46990 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Lilly_Goodman: OK < 1457923833 569925 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve PRIVMSG #esoteric :hppavilion[1]: tengo otra pregunta,,, para introducir cambios en un documento es necesario tipiarlo todo de nuevo? responde < 1457923854 957155 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :shachaf: Would a bot with category theory as a builtin function be of interest to #esoteric? Assuming λbot doesn't already fulfill that function? < 1457923891 797881 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Lilly_Goodman: < 1457923891 982973 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :tipiarlo no se traducirá < 1457923998 120736 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve PRIVMSG #esoteric :hppavilion[1]: tengo otra pregunta,,, para introducir cambios en un documento es necesario escribirlo todo de nuevo? responde < 1457924024 248921 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Lilly_Goodman: No < 1457924044 646589 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve PRIVMSG #esoteric :hppavilion[1]: dime el porque de tu respuesta < 1457924051 745792 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :¿Dónde está este documento? (También, tener en cuenta #esoteric NO es el soporte técnico) < 1457924081 659838 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Lilly_Goodman: < 1457924081 844500 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Sería estúpido si tiene que volver a escribir un documento para hacer un cambio menor < 1457924100 265331 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know what such a bot would be. < 1457924120 345088 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :shachaf: A bot that includes a simple command API for manipulating categories < 1457924128 129095 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve PRIVMSG #esoteric :hppavilion[1]: jajajaja es para una tarea y no puedo responder asi < 1457924128 262562 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :shachaf: And category theorizing < 1457924170 645000 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Lilly_Goodman: Pero ¿dónde está el documento que necesita cambiar? ¿Qué software? < 1457924263 132630 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Lilly_Goodman: Escucha, parece agradable, pero realmente no parece que este es el canal que está buscando. Creo que se debe encontrar en otro lugar que se adapta mejor a lo que usted está tratando de logros como un canal de soporte técnico con el español como idioma principal. < 1457924307 33474 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know what that would be like. < 1457924338 197118 :sajonara!~sajonara@188.64.25.51 JOIN :#esoteric < 1457924353 672693 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve PRIVMSG #esoteric : hppavilion[1]: en Word < 1457924423 753113 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Lilly_Goodman: < 1457924423 946443 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Por favor. Encontrar un canal que hace de soporte técnico. Este canal no está hecho para responder a sus preguntas de la tecnología, que está aquí para geeks que tienen un lugar para pasar el rato. < 1457924511 473377 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve PRIVMSG #esoteric :donde pueden que me ayuden < 1457925729 662325 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? frenemy < 1457925740 324598 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Frenemy is the relationship between Kirby and king Dee Dee. < 1457926731 841815 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :shachaf: vaporware told me to tell you that it is scow < 1457926757 79421 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What is vaporware? < 1457926764 895673 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :shachaf: Here's a preliminary approximation of a category theory CMD: http://pastebin.com/GGWvepfX < 1457926776 821080 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :shachaf: Someone on ifMUD is named "vaporware" < 1457926783 683920 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :They told me to tell you < 1457926793 514895 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Aha. I know who that is. < 1457926823 565964 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Tell vaporware that it's too good. < 1457926853 48618 :sajonara!~sajonara@188.64.25.51 QUIT :Quit: Leaving < 1457927024 293917 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://ifmud.port4000.com:4001/finger?user=vaporware < 1457927071 770895 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :shachaf: So what did I do wrong? < 1457927100 961991 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Posted a link to pastebin.com without using raw.php < 1457927107 175830 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://pastebin.com/raw/GGWvepfX -- so much better < 1457927126 41198 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :*fine* < 1457927138 266004 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :http://pastebin.com/raw/GGWvepfX < 1457927140 855641 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, I don't think that's a helpful way of thinking about categories. < 1457927141 96752 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Happy? < 1457927148 377426 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For the thing that people usually do with them. < 1457927149 425759 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :shachaf: That's for finite categories < 1457927151 901528 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But maybe it is. I don't know. < 1457927162 901963 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :shachaf: That's just the API for building categories, isn't it? < 1457927188 78758 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :shachaf: There'll also be ways to build bigger (i.e. infinite) categories, if I do it right < 1457927201 708634 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :make sure you can build large categories hth < 1457927376 550501 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Can I talk to vaporware without making an account? < 1457927469 70066 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :shachaf: Yes; enter "connect guest" when it asks you to login < 1457927479 399866 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :And then you can type "page vaporware =" and the message < 1457927569 544203 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can I also talk to them in a public place? < 1457927572 34746 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Like an IRC channel? < 1457927607 143490 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Who's Olly? A bot or a human? < 1457927627 898199 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :You can't use channels if you are a guest < 1457927638 69784 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :But you can type "lounge" to enter the same location they are in < 1457927649 132465 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :And then enter text with a quotation mark at first to say stuff < 1457928081 574519 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :shachaf: Yep, that was the goal < 1457928124 322223 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve PRIVMSG #esoteric :donde hay un grupo que se pueda preguntar en español < 1457928147 237700 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :aqui < 1457928225 530510 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Lilly_Goodman: Sorry I am not very good Spanish, this channel is for English. (Possibly some people can write/read other language too but mostly is just commonly English, therefore I would expect English writing please.) < 1457928300 580030 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :shachaf: So how should the interface work for infinite categories? Obviously, you can't add arbitrary morphism < 1457928302 70950 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :s < 1457928312 751433 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Am I making a fool of myself in the lounge? < 1457928333 248384 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I don't know, although you are allowed to go into other location too if you prefer < 1457928351 554051 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But then how will I know what people are saying in the lounge? < 1457928354 778086 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(Including back into the starting location, or into the apartment building) < 1457928385 855162 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :You can type "@recapchannel lounge" to read it. (If you have an account this can be abbreviated to "@recap lounge") < 1457928393 9146 :Lilly_Goodman!~canaima@181-18-120-217.dyn.movilnet.com.ve QUIT :Ping timeout: 250 seconds < 1457928997 177995 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: How do I find out where you are? < 1457929016 32530 :dingbat!uid70835@gateway/web/irccloud.com/x-byegtmcogbaxhcfk JOIN :#esoteric < 1457929052 142359 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :shachaf: You can use the "finger" command; type "finger zzo38" or "finger #20071" < 1457929069 756917 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How do I get there? < 1457929083 130343 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :To get to the apartment building from the lounge, go east, and then go south to reach apartment building, and go to the top floor < 1457929092 965698 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Oh, I can also type "where zzo38". < 1457929093 99429 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :And then go into the east hall < 1457929102 857560 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Yes that works too < 1457929111 10557 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(I didn't know that, now I know) < 1457929873 580336 :puckipedia!~puck@irc.puckipedia.com QUIT :Ping timeout: 240 seconds < 1457929969 739067 :treaki__!~treaki@p5B11CE30.dip0.t-ipconnect.de JOIN :#esoteric < 1457930050 302512 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I can describe workings of ifMUD if you want it < 1457930135 169385 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I can also tell you what things to set if you do have account < 1457930143 35462 :puckipedia!~puck@irc.puckipedia.com JOIN :#esoteric < 1457930163 974919 :treaki_!~treaki@p54BF27F3.dip0.t-ipconnect.de QUIT :Ping timeout: 240 seconds < 1457930247 458841 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :The command " to say to the current room, while ; is say to your current channel, : is describe yourself to do something (for example ": does something"), . followed by a name and space and text to whisper, and % followed by a channel name and space and text allows you to type to a specific channel which is not necessarily your current channel. < 1457930252 760989 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :`? sparta < 1457930259 716497 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sparta? ¯\(°​_o)/¯ < 1457930262 691004 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :-_- < 1457930328 987150 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the difference between page and whisper? < 1457930345 82914 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :If you do have account, then the first few things you might want to do are to use @desc to write a description for yourself (enter "@desc me =" and a description); the description can also contain a JotaCode program if you want, and to use @option to set options. < 1457930379 451852 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :shachaf: They work similarly. You might use whisper for in-character and page for out-of-character, although nobody really cares about such distinction much. < 1457930438 819938 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :They also save the messages to different lists so that you can recap one or the other < 1457930598 14390 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Also guests cannot use @exec either; registered users can use @exec to execute JotaCode programs and then it will tell you the answer, for example "@exec @mul(6,7)" is a valid program. < 1457931338 547628 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Each object has fields and flags. You can view fields of objects someone else programmed only if the "examinable" flag is set on that object, although some fields are private and cannot be seen at all (even by the object's owner!). This includes your current channel, however there is a hack you can use to programmatically access your own current channel (setting yourself examinable will not allow other people's programs to access your current chan < 1457931496 797317 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`le/rn sparta/WE. DON'T. KNOW. ANYTHING. ABOUT. SPARTA! < 1457931500 549739 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «sparta» < 1457931698 295136 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :`? c++ < 1457931699 831936 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Along with C, C++ is a language for smart people. < 1457931716 943885 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :`? haskell < 1457931718 57463 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Unbound implicit parameter (?haskell::Wisdom) \ arising from a use of implicit parameter `?haskell' < 1457931835 314556 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :shachaf: So what's the optimal way to implement categories if the way I tried isn't good? < 1457931850 426875 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Is it to give it a function to tell it whether or not an arrow can occur? < 1457932019 818286 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Hm... < 1457932110 452021 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :`? c < 1457932112 770299 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :C is the language of��V�>WIד�.��Segmentation fault < 1457932137 147837 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :lambda-11235: Are there any good models that don't have a ubiquitous language for them? < 1457932147 468167 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :For declarative programming? < 1457932162 366928 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :(Logic :: PROLOG, λ-calc :: Haskell) < 1457932469 152871 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1457932974 234282 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Implement categories for what? < 1457933001 488992 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :hppavilion[1]: For dependently typed languages, representing λΠω on the λ-cube, there is the choice of Agda, Coq, or Idris, without any of them necessarily being the goto language. < 1457933326 244767 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :Looking through Wikipedia, dataflow programming might be one such model, although I'm not very familiar with that paradigm or the languages that implement it. < 1457933327 269866 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :INTERPROVE- for INTERCALian mathematicians < 1457933335 25296 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :It has, for example, the REEL type < 1457933404 273179 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :CHALLENGE: Haskell with only tuples, lists, and bools < 1457933508 278058 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :lambda-11235: What could be done as a type theory that makes absolutely no sense? < 1457933529 939513 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :hppavilion[1]: You only need lists. < 1457933537 281819 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :lambda-11235: Oh, right < 1457933541 945251 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :[]=0, [[]]=1 < 1457933555 64915 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :lambda-11235: Wait, but what do you do for tuples? < 1457933585 584784 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :hppavilion[1]: []=0, 1=[[],[]], otherwise they won't be the same type. < 1457933608 587992 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Oh < 1457933611 136211 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Right, right < 1457933619 891603 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :Why do you need tuples? < 1457933632 686180 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :lambda-11235: They just seem like they'd be useful < 1457933686 278666 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :Then why only use tuples, lists, and bools if it should be useful? < 1457933727 265992 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :Actually, all you need is functions. < 1457933810 774472 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :lambda-11235: I'd like to see a way of constructing functions on pure lists out of pure lists < 1457933825 544355 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :(Non-homogenous) < 1457933926 872162 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :hppavilion[1]: What do you mean? f :: [a] -> [a]? < 1457934252 519573 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :As far as what can be done with type theory that is hard to make sense of, check out http://homotopytypetheory.org/. < 1457934387 228130 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :I haven't found interest or time to read it yet, and to be honest I'm only starting to learn type theory. < 1457934447 747786 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :But I know it's a HoTT topic in the type theory community. :) < 1457935994 425905 :hppavilion[1]!~DevourerO@74.121.217.2 QUIT :Ping timeout: 260 seconds < 1457936196 24435 :hppavilion[1]!~DevourerO@74.121.217.2 JOIN :#esoteric < 1457936390 210674 :bender|_!~benderx2@2404:e800:e61a:41d:ac88:f162:c2af:741e JOIN :#esoteric < 1457937323 100048 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Hm... < 1457937334 960035 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :What I really want to do right now is put a new spin on functional programming < 1457937664 380872 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Probably... hm.... < 1457937753 12821 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Quit: Leaving < 1457938035 111889 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net QUIT :Quit: Bye < 1457939073 178785 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Hm... < 1457939077 805636 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :What to do, what to do < 1457939116 89854 :Effilry!~firefly@oftn/oswg-member/FireFly JOIN :#esoteric < 1457939288 520049 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :ACTION bashes his head against the wall of #esoteric < 1457939317 105345 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that's not how you work your brain hth < 1457939406 225391 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :oerjan: Yeah < 1457939420 757266 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's some good tea twh < 1457939424 445366 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :It's late, so I'm not drugged up anymore < 1457939431 568520 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :And thus my brain is even worse at focusing than usual < 1457939500 336504 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :I still want to play Nomic, but I can't get anyone to play xD < 1457939612 327043 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :this latest girl genius arc seems to be a run of chekhov's guns fizzling out < 1457939726 815655 :izabera1!~izabera@unaffiliated/izabera JOIN :#esoteric < 1457939728 604030 :heroux!sandroco@gateway/shell/insomnia247/x-gktqckwcgddlsteg QUIT :*.net *.split < 1457939728 845107 :vodkode!~vodkode@fl-71-52-127-115.dhcp.embarqhsd.net QUIT :*.net *.split < 1457939729 7270 :atehwa!atehwa@aulis.sange.fi QUIT :*.net *.split < 1457939729 174600 :Nithogg!~ethiraric@jrc16-h01-176-150-43-109.dsl.sta.abo.bbox.fr QUIT :*.net *.split < 1457939729 405606 :FireFly!~firefly@oftn/oswg-member/FireFly QUIT :*.net *.split < 1457939729 539029 :izabera!~izabera@unaffiliated/izabera QUIT :*.net *.split < 1457939729 672657 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi QUIT :*.net *.split < 1457939765 955182 :heroux!sandroco@gateway/shell/insomnia247/x-gktqckwcgddlsteg JOIN :#esoteric < 1457939766 88732 :vodkode!~vodkode@fl-71-52-127-115.dhcp.embarqhsd.net JOIN :#esoteric < 1457939766 88856 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1457939766 88888 :Nithogg!~ethiraric@jrc16-h01-176-150-43-109.dsl.sta.abo.bbox.fr JOIN :#esoteric < 1457939770 233122 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: from my coffee shop days, i recall rooibos < 1457939774 703275 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi JOIN :#esoteric < 1457939837 500558 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you past your coffee shop period < 1457939842 980818 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what period are you in now twh < 1457939870 321424 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :right now i seem to be in an italian restaurant period < 1457939904 684490 :kline!~kline@nds/committee/kline QUIT :Ping timeout: 276 seconds < 1457940048 536737 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Is it true that Norwegian pizza is the best in the world? < 1457940122 48835 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Foods in Canada are better than others < 1457940138 454122 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(Even if it is the same chain of restaurant in a different country) < 1457940194 592773 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: yep. specifically the norwegian pizza made by kurds running italian restaurants. < 1457940213 607230 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Why? < 1457940231 29663 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :*Sigh* < 1457940244 680163 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :I'm setting up nomic over Github. Now to find somebody to play < 1457940254 276945 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :s/somebody/some people/ < 1457940267 264854 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does it use VoIP? < 1457940268 488876 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :I might adjust the rules more frequently < 1457940279 208299 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I would play if it used VoIP, except that I have no mic. < 1457940284 61334 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :shachaf: I don't even know what VoIP is xD < 1457940286 567597 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Voice over IP? < 1457940290 340975 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1457940308 396175 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Is that just basically skype for classical hackers? < 1457940348 657666 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Well, I heard the chains are the best. < 1457940353 94089 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Like Peppes and the other one. < 1457940389 492403 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :shachaf: I don't know why, but in my experience, it is. < 1457940402 380347 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Which other countries have you tried? < 1457940562 618736 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :United States < 1457940570 712033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which states? < 1457940574 975668 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Also some stuff imported from England < 1457940591 163431 :kline!~kline@nds/committee/kline JOIN :#esoteric < 1457940602 731543 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I forget which states, but I think the ones near British Columbia < 1457940875 276632 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :How about singleton nomic? Nomic where the entire game must be governed by a single overly-complicated rule < 1457940881 447152 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :But a still-atomic rule < 1457940921 58877 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :shachaf: Well, my nomic doesn't have VoIP unfortunately < 1457940931 207134 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i just wanted to make a pun hth < 1457940934 639581 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :Oh < 1457940938 679017 :hppavilion[1]!~DevourerO@74.121.217.2 PRIVMSG #esoteric :What was the pun? < 1457941064 25267 :izabera1!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ba-dum-tss < 1457941918 961664 :J_Arcane_!~chatzilla@37-219-245-89.nat.bb.dnainternet.fi JOIN :#esoteric < 1457942021 116751 :J_Arcane!~chatzilla@37-219-114-166.nat.bb.dnainternet.fi QUIT :Ping timeout: 244 seconds < 1457942033 226345 :J_Arcane_!~chatzilla@37-219-245-89.nat.bb.dnainternet.fi NICK :J_Arcane < 1457942666 317479 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`pastequotes zzo38 < 1457942672 117230 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.9775 < 1457942731 513780 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`pastequotes > bin/aglist < 1457978382 235761 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :shachaf >> bin/aglist < 1457978389 1187 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :shachaf: thx tdh < 1457978392 79499 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` echo shachaf >> bin/aglist < 1457978394 148911 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457978582 518092 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` echo bin/*list < 1457978584 19871 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/FireFlist bin/aglist bin/danddreclist bin/don'taskdon'ttelllist bin/dontaskdonttelllist bin/emptylist bin/erflist bin/flist bin/list bin/listlist bin/llist bin/makelist bin/mlist bin/olist bin/pbflist bin/slist bin/smlist bin/testlist bin/wrlist < 1457978616 355754 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` cat bin/makelist < 1457978617 346054 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cp bin/emptylist bin/"$1" < 1457978621 477655 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`makelist ehlist < 1457978623 449054 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457978630 710530 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` echo b_jonas >> bin/ehlist < 1457978633 244053 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457978635 678156 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` rot13 < bin/ehlist < 1457978636 494595 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rpub -a "$(onfranzr "$0")${@:+ }$@: "; gnvy -a+2 "$0" | knetf; rkvg \ o_wbanf < 1457978665 771234 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn ehlist is update notification for the Everyday Heroes webcomic. http://eheroes.smackjeeves.com/ < 1457978668 212210 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'ehlist': ehlist is update notification for the Everyday Heroes webcomic. http://eheroes.smackjeeves.com/ < 1457978686 799083 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok, now what should I call the Bardsworth one? barlist, balist, bwlist? < 1457978713 845287 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or maybe bardsworthlist? < 1457978831 806005 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? slist < 1457978835 238050 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? wrlist < 1457978841 565247 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh right, I know what wrlist is < 1457978846 358257 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that one will probably never be active < 1457978850 645072 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? flist < 1457978866 914498 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: you should `list hth < 1457978871 607347 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wrlist? ¯\(°​_o)/¯ < 1457978877 971505 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :flist? ¯\(°​_o)/¯ < 1457978893 459674 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`makelist bardsworthlist < 1457978907 13403 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` echo b_jonas > bardsworthlist < 1457978915 271704 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :argh < 1457978919 989329 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` rm bardsworthlist < 1457978924 85750 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` echo b_jonas > bin/bardsworthlist < 1457978938 229724 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457978939 730857 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Update notification for the webcomic Homestuck. < 1457978940 805689 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rm: cannot remove `bardsworthlist': No such file or directory < 1457978944 582716 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457978947 989079 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457978956 619946 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn bardsworthlist is update notification for the Bardsworth webcomic. http://www.bardsworth.com/ < 1457978960 104327 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'bardsworthlist': bardsworthlist is update notification for the Bardsworth webcomic. http://www.bardsworth.com/ < 1457978960 237999 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` rm bardsworthlist < 1457978962 76601 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457978969 825684 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` rot13 < bin/bardsworthlist < 1457978970 720861 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :o_wbanf < 1457978975 317366 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :uh < 1457978982 809334 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :binsworthlist < 1457978985 78803 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :bin/sworthlist < 1457978997 92 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` makelist bardsworthlist && echo b_jonas >> bin/bardsworthlist < 1457978998 841190 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457979001 388536 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` rot13 < bin/bardsworthlist < 1457979002 527508 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rpub -a "$(onfranzr "$0")${@:+ }$@: "; gnvy -a+2 "$0" | knetf; rkvg \ o_wbanf < 1457979008 981603 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :better < 1457979144 159410 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :can we create stuff like this for non-webcomic stuff too? < 1457979193 335793 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i don't understand < 1457979207 666995 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what is this "non-webcomic stuff"? < 1457979218 516773 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :there cannot possibly be such a thing < 1457979231 319775 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure there can be < 1457979236 975030 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There should be a list for new messages in #esoteric. < 1457979266 698294 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` makelist ioccclist && cat b_jonas > bin/ioccclist < 1457979268 681240 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: b_jonas: No such file or directory < 1457979287 104441 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` cat bin/makelist < 1457979287 902759 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cp bin/emptylist bin/"$1" < 1457979340 766177 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn ioccclist is update notification for when a new year of the International Obfuscated Contest is announced, or the winners for a year is announced, or the source codes of winners are released. http://www.ioccc.org/#news < 1457979344 707708 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'ioccclist': ioccclist is update notification for when a new year of the International Obfuscated Contest is announced, or the winners for a year is announced, or the source codes of winners are released. http://www.ioccc.org/#news < 1457979374 695676 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` echo -e 'shift\nfor n in "$@"; do echo "$n" > bin/"$1"; done' >> bin/makelist < 1457979376 586941 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457979385 170319 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oops < 1457979392 161140 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that completely doesn't work tdnh < 1457979393 340523 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`revert < 1457979403 660622 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. < 1457979473 378193 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`mkx bin/makelist//file="bin/$1"; shift; cp bin/emptylist "$file"; for n in "$@"; do echo "$n" >> "$file"; done < 1457979477 513274 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/makelist < 1457979531 170119 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe lists should print usage information when run with no arguments. < 1457979536 683748 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Then they can be self-contained. < 1457979555 902177 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` rot13 < bin/ioccclist < 1457979556 713174 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457979563 679659 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1457979569 422745 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :did you revert me? < 1457979583 743221 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? ioccclist < 1457979584 668450 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ioccclist is update notification for when a new year of the International Obfuscated Contest is announced, or the winners for a year is announced, or the source codes of winners are released. http://www.ioccc.org/#news < 1457979593 894564 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh right < 1457979605 997722 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` makelist ioccclist && echo b_jonas > bin/ioccclist < 1457979608 522239 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457979611 269330 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` rot13 < bin/ioccclist < 1457979612 104775 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :o_wbanf < 1457979615 418840 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :nope < 1457979618 754067 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` makelist ioccclist && echo b_jonas >> bin/ioccclist < 1457979620 685143 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457979641 35793 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :we need a subscribe command (which also figures out your nickname, which needs a HackEgo infrastructure update) < 1457979655 219740 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: whoa whoa whoa, I just fixed makelist < 1457979656 445346 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :maybe you could stop the bot spamming < 1457979672 396068 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: You can `` makelist listname user1 user2 < 1457979675 479890 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` rot13 < ioccclist < 1457979676 219084 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bash: ioccclist: No such file or directory < 1457979683 853746 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` rot13 < bin/ioccclist < 1457979684 716488 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rpub -a "$(onfranzr "$0")${@:+ }$@: "; gnvy -a+2 "$0" | knetf; rkvg \ o_wbanf < 1457979695 363397 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: I see. but you still need a way for people to subscribe later < 1457979702 925965 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They can still use echo. < 1457979712 189018 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(maybe change the list template so that `foolist subscribe would subscribe you) < 1457979722 921628 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But then how do you subscribe someone else? < 1457979746 445260 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(no wait, don't do that, that would be a bad interface, for you could accidentally trigger the list too easly) < 1457979753 772934 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(it needs to be a separate top-level command) < 1457979771 20318 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe you should have to confirm when you trigger the list. < 1457979771 721097 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: extra argument probably. like `subscribe foolist versus `subscribe foolist shachaf < 1457979778 795185 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`olist confirm 1 < 1457979807 422200 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: or just make it check the actual webpage source and remember the number of the last strip and trigger only if it's updated since < 1457979819 17634 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's no Internet connection. < 1457979826 648694 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And some lists don't have numbers. < 1457979861 56631 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But for lists that do have numbers, you can require a number, and even not alert if someone else has listed that number before. < 1457979887 332094 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` elinks -dump http://www.math.bme.hu/~ambrus/pu/verst < 1457979887 897119 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bash: elinks: command not found < 1457979889 621151 :Guest91351!~sprocklem@131.104.23.11 QUIT :Ping timeout: 240 seconds < 1457979931 236156 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` curl http://www.math.bme.hu/~ambrus/pu/verst | sed -n '/^Alf/,$p' < 1457979932 779267 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Failed to connect to socket 2. \ \ curl: (52) Empty reply from server < 1457979974 663742 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :Is it possible to have HackEgo delete the root fs? < 1457979978 564841 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: yes, maybe, but I still recommend not using the foolist subscribe syntax < 1457980285 981439 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :In the case of danddreclist at least, my own convention is that I post messages having a specific syntax in order to notify < 1457980329 480990 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :The message happens to be a HackEgo command so that other people can program it to emit names or to do whatever other stuff they might want < 1457980332 403258 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I haven't read any danddreclist updates ina long time. < 1457980372 528172 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :They are also all logged in the public IRC logs, so searching there also make it possible to find the date/time < 1457980449 366436 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But sometimes the IRC logging bot stops working. < 1457980487 800644 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Yes although there are two < 1457980497 506636 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, but they might both stop working at the same time. < 1457980598 317182 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :That is possible yes. < 1457980624 320434 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :At least it can be known by checking if any numbers are skipped. < 1457980649 231537 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :well, these update notification lists are opportunistic anyway. you should periodically check the original sources where the webcomics appear, rather than just rely on the irc messages. < 1457980817 267830 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :should we have an xkcdwhatiflist? < 1457980833 190066 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Lists are only useful with more than one subscriber. < 1457980895 964732 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe, but creating one is the best way to find out who wants to subscribe < 1457980899 232662 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I think it can be useful even if the command does not exist, although then the command can later be added if someone want to. < 1457980906 945623 :Sprocklem!~sprocklem@131.104.23.4 JOIN :#esoteric < 1457980911 680390 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :b_jonas: Yes and that is part of it too < 1457980930 162770 :Sprocklem!~sprocklem@131.104.23.4 NICK :Guest42719 < 1457980937 39088 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: I mean, you just brought aglist to have more than one member < 1457980957 23118 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :True. < 1457981000 282350 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I won't create an xkcdwhatiflist now though. < 1457981025 181867 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what if you did? < 1457981044 13131 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`whatiflist < 1457981210 60207 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1457981589 718428 :Guest42719!~sprocklem@131.104.23.4 QUIT :Quit: [ < 1457981620 507832 :Sprocklem_!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1457981677 848410 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` makelist keenlist b_jonas && learn 'keenlist is notification for when Tom Hall finally acquires the necessary intellectual property rights to create the videogame series Commander Keen: The Universe is Toast' < 1457981680 781689 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'keenlist': keenlist is notification for when Tom Hall finally acquires the necessary intellectual property rights to create the videogame series Commander Keen: The Universe is Toast < 1457981683 968955 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` rot13 < bin/keenlist < 1457981686 138069 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rpub -a "$(onfranzr "$0")${@:+ }$@: "; gnvy -a+2 "$0" | knetf; rkvg \ o_wbanf < 1457981703 598858 :Sprocklem_!~sprocklem@unaffiliated/sprocklem NICK :Sprocklem < 1457981835 684721 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Afukada 5* 10New user account < 1457981854 819357 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Should we have a listlist as update notification for when a new list is created, and make makelist automatically trigger it? < 1457981968 950000 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Or a listlistlist that announces whenever listlist gets implemented < 1457981969 827634 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :This is not SQL < 1457982181 412216 :zzo38!~zzo38@24-207-50-123.eastlink.ca QUIT :Remote host closed the connection < 1457982940 982055 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 250 seconds < 1457983118 555228 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de JOIN :#esoteric < 1457983286 658365 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1457983539 449208 :gremlins!~nothing@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1457983608 374756 :Reece`!~nothing@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Ping timeout: 246 seconds < 1457983983 866275 :gremlins!~nothing@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Ping timeout: 240 seconds < 1457983994 346022 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Remote host closed the connection < 1457984027 931248 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1457984343 200205 :AlexR42!~textual@ip-79-111-109-202.bb.netbynet.ru QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1457984368 677899 :AlexR42!~textual@ip-79-111-109-202.bb.netbynet.ru JOIN :#esoteric < 1457984650 737617 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, toast < 1457984765 626861 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :At the bottom and in the comments, http://qntm.org/spells refers to a supposed esolang named Hoon. Does anyone have information about this language other than what's directly on that page? I couldn't load the links given there. < 1457984939 43829 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Remote host closed the connection < 1457984970 2835 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1457985131 482525 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :aha, https://github.com/cgyarvin/urbit/blob/master/doc/book/0-intro.markdown has information about it < 1457985169 34660 :lleu!~gnomebad@cpc15-croy20-2-0-cust489.croy.cable.virginm.net JOIN :#esoteric < 1457985169 168146 :lleu!~gnomebad@cpc15-croy20-2-0-cust489.croy.cable.virginm.net QUIT :Changing host < 1457985169 168211 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1457985169 168228 :lleu!~gnomebad@unaffiliated/lleu QUIT :Read error: Connection reset by peer < 1457985182 353854 :llue!~gnomebad@unaffiliated/lleu QUIT :Read error: Connection reset by peer < 1457985199 24287 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1457985307 884856 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Nock14]]4 10 02https://esolangs.org/w/index.php?diff=46593&oldid=40989 5* 03B jonas 5* (+106) 10 < 1457985957 859807 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Nock14]]4 10 02https://esolangs.org/w/index.php?diff=46594&oldid=46593 5* 03B jonas 5* (+208) 10 < 1457985960 228783 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hoon14]]4 N10 02https://esolangs.org/w/index.php?oldid=46595 5* 03B jonas 5* (+310) 10Created page with "'''Hoon''' is a dynamically typed esoteric functional programming language. It compiles to a small lower level dynamically typed functional esoteric language called [[Nock]]...." < 1457986032 467755 :lynn!~lynn@unaffiliated/lynn PRIVMSG #esoteric :Can't believe there was no Hoon page yet < 1457986048 479789 :lynn!~lynn@unaffiliated/lynn PRIVMSG #esoteric :I know a bit about it, b_jonas! < 1457986057 670172 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wait wait, there's a newer webpage < 1457986067 274226 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the one I linked to says it's moved to https://github.com/urbit/urbit < 1457986078 887117 :lynn!~lynn@unaffiliated/lynn PRIVMSG #esoteric :http://urbit.org/docs/dev/hoon/ is up-to-date < 1457986143 340215 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :lynn: supposedly. I just get some nonsense javascript from there. presumably that javascript might mean something in some browsers. < 1457986152 774172 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll give links to the github thing instead < 1457986222 424483 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :lynn: ps. I hate when people post "I'm surprised nobody has mentioned $foo yet" to a forum thread. If you think there should be a page, just create it. < 1457986247 937331 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :hoon is dumb < 1457986251 674898 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :urbit sucks < 1457986255 310330 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Nock14]]4 10 02https://esolangs.org/w/index.php?diff=46596&oldid=46594 5* 03B jonas 5* (+74) 10 < 1457986258 490251 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hoon14]]4 10 02https://esolangs.org/w/index.php?diff=46597&oldid=46595 5* 03B jonas 5* (+93) 10 < 1457986273 422916 :lynn!~lynn@unaffiliated/lynn PRIVMSG #esoteric :I rather meant: I was silently assuming there'd be a Hoon page < 1457986290 248739 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :vanila: yes, it is dumb, but we're trying to build a comprehensive encyclopedia of esolangs here < 1457986291 688147 :lynn!~lynn@unaffiliated/lynn PRIVMSG #esoteric :If I'd known, I would've gladly written a stub about it :) < 1457986368 762757 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe it would be better to describe both Nock and Hoon as typeless rather than dynamically typed < 1457986383 468518 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hoon14]]4 10 02https://esolangs.org/w/index.php?diff=46598&oldid=46597 5* 03B jonas 5* (-18) 10 < 1457986392 858770 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Nock14]]4 10 02https://esolangs.org/w/index.php?diff=46599&oldid=46596 5* 03B jonas 5* (-18) 10 < 1457986395 21240 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1457986416 373345 :lynn!~lynn@unaffiliated/lynn PRIVMSG #esoteric :Nock is definitely typeless; Hoon sort of is, depending on how you look at it < 1457986643 549855 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :feel free to edit the pages. the newer github repo has some more docs, but I'm not going to read them and try to understand them. < 1457986743 446166 :lynn!~lynn@unaffiliated/lynn PRIVMSG #esoteric :yes, it's really hard to make sense of em :< < 1457987030 562506 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net JOIN :#esoteric < 1457987386 730461 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hoon14]]4 10 02https://esolangs.org/w/index.php?diff=46600&oldid=46598 5* 03B jonas 5* (+54) 10 < 1457987439 868905 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=46601&oldid=46592 5* 03B jonas 5* (+22) 10 < 1457987903 968371 :nycs!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 244 seconds < 1457988089 532762 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1457988599 88961 :jaboja!~jaboja@eju175.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1457988662 801880 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`wisdom < 1457988682 110364 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :atrix/Atrix is a brand of hand cream. Not to be confused with atriq. < 1457988809 225591 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`culpritz wisdom/atrix < 1457988809 823666 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: culpritz: not found < 1457988812 725170 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`culprits wisdom/atrix < 1457988832 652523 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@google how to erase lines from IRC backlog < 1457988834 482227 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://www.irccloud.com/faq < 1457988835 747950 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :int-e ais523 oerjan oerjan elliott Bike FreeFull ais523 ais523 oerjan < 1457989238 76578 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :int-ello. you can't erase. all lines are permanent. the Internet's Ink is indelible. < 1457989612 435930 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@google how to turn the Sun into a supernova < 1457989614 297956 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :http://www.universetoday.com/107791/will-the-sun-explode/ < 1457989614 431369 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Title: Will The Sun Explode? - Universe Today < 1457989729 633081 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I can't allow that, int-e. < 1457989755 452267 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well how are you going to stop me? < 1457989803 675278 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I will find you, and I will mapole you. < 1457989826 899353 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(unless you sunexplode before I get to that.) < 1457989863 891231 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sounds like a challenge < 1457990028 137929 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: you aren't going to escape the long mapole of the law < 1457990037 966858 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :pity that page says it's likely not going to work, not even with the added energy of a mapole. < 1457990041 32654 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`learn_append int-e Det kommer att explodera solen. < 1457990046 702835 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'int-e': int-e är inte svensk. Det kommer att explodera solen. < 1457990061 283524 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :olsner: hellolsner. do you validate the Swedish used there? < 1457990091 143989 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Heute die Welt, Morgens das Sonnensystem! < 1457990123 693657 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :. o O ( shachaf said something. there must be a pun somewhere, but I can't see any... ) < 1457990181 674655 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :boily: it's misdirection. < 1457990192 20287 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :boily: sounds a bit off. "it will explode the sun"? < 1457990205 228751 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: ITYM "Morgen". ("Morgens" means "in the morning") < 1457990237 780589 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :olsner: I was trying to make it translate "he" or "she", but Google Translate was stuck on "it" for whatever reason. < 1457990242 267883 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or "morgen" actually < 1457990252 141392 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Probably. The first Google result was http://tvtropes.org/pmwiki/pmwiki.php/Main/TodayXTomorrowTheWorld which misled me. < 1457990270 378716 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :Morgens die Welt, Nachmittags das Sonnensystem? < 1457990299 590405 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`? fternooner < 1457990300 687521 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :fternooner (Danish »fternooner«, Norwegian «ttermiddag», Swedish ”ftermiddag”) is a screamingly delicious pastry. < 1457990347 223654 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :boily: Hen kommer att spränga solen. (that's e, he/she would be han/hon) < 1457990606 456106 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`le/rn int-e/int-e är inte svensk. Hen kommer att spränga solen. < 1457990608 638341 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Relearned «int-e» < 1457990627 724171 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :what's the difference between spränga and explodera? < 1457990716 886723 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :same meaning really, but the wrong/right one is in/transitive < 1457990732 494170 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :I can never remember which of those words means which kind of verb :) < 1457990751 714545 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :if it's the same as in german, things can explode, but you can't explode them; you'd blow them up. < 1457990752 442740 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :transitive has a direct object; intransitive can't have one hth < 1457990778 874447 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or detonate them, that's better < 1457990779 383365 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :so, yeah, explodera doesn't take an object < 1457990801 442124 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :make them go FOOF! < 1457990822 277608 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :German has "sprengen". < 1457991025 625963 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? splode < 1457991026 344008 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :splode? ¯\(°​_o)/¯ < 1457991256 840120 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sunsplosions are purdy < 1457991304 265385 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? supernova < 1457991305 51563 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :supernova? ¯\(°​_o)/¯ < 1457991307 790503 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? sunscreen < 1457991308 924670 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sunscreen? ¯\(°​_o)/¯ < 1457991378 94518 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? sunglasses < 1457991379 748200 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? eye drops < 1457991379 914468 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sunglasses? ¯\(°​_o)/¯ < 1457991380 880084 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :eye drops? ¯\(°​_o)/¯ < 1457991383 986545 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? eye serum < 1457991384 990278 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :eye serum? ¯\(°​_o)/¯ < 1457991386 879977 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? eye scream < 1457991387 911406 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :eye scream? ¯\(°​_o)/¯ < 1457991472 691999 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`learn scream = icecream - eye < 1457991474 692732 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'scream': scream = icecream - eye < 1457991490 636732 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm < 1457991493 43777 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`revert < 1457991501 29339 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that doesn't work, right... < 1457991502 485383 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. < 1457991530 178025 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`rm canary < 1457991531 839507 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457991542 153701 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? scream < 1457991545 894195 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :scream = icecream - eye < 1457991550 659928 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`rm wisdom/scream < 1457991552 681593 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457991570 803034 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`cat cana < 1457991572 421069 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: cana: No such file or directory < 1457991572 554403 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`cat canary < 1457991573 155202 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​*tsjørp* < 1457991631 851232 :AlexR42!~textual@ip-79-111-109-202.bb.netbynet.ru QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1457991649 247148 :AlexR42!~textual@ip-79-111-109-202.bb.netbynet.ru JOIN :#esoteric < 1457991883 434310 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? canary < 1457991884 377143 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​*tsjørp* < 1457991895 421542 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :lol < 1457991921 188156 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`stat wisdom/canary < 1457991921 791291 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ File: `wisdom/canary' -> `../canary' \ Size: 9 Blocks: 0 IO Block: 1024 symbolic link \ Device: 12h/18d Inode: 1054017 Links: 1 \ Access: (0777/lrwxrwxrwx) Uid: ( 5000/ UNKNOWN) Gid: ( 0/ UNKNOWN) \ Access: 2016-03-14 17:20:28.000000000 +0000 \ Modify: 2015-12-09 04:13:17.000000000 +0000 \ Change: 2015-12-09 04: < 1457991930 242093 :AlexR42!~textual@ip-79-111-109-202.bb.netbynet.ru QUIT :Ping timeout: 276 seconds < 1457992280 968377 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1457992398 247617 :MoALTz!~no@78-11-183-124.static.ip.netia.com.pl QUIT :Ping timeout: 276 seconds < 1457992444 609825 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca QUIT :Quit: :qa! < 1457992448 676928 :MoALTz!~no@78-11-183-124.static.ip.netia.com.pl JOIN :#esoteric < 1457992618 457197 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net QUIT :Ping timeout: 252 seconds < 1457993043 993888 :nycs!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 264 seconds < 1457993478 316536 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=46602&oldid=46601 5* 03Erinius 5* (+12) 10/* L */ < 1457993730 299618 :boily!~alexandre@96.127.201.149 QUIT :Quit: CONSERVATIVE CHICKEN < 1457994443 886526 :Sgeo__!~Sgeo@ool-18e43ef5.dyn.optonline.net JOIN :#esoteric < 1457995106 108937 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? dowry < 1457995107 95588 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :dowry? ¯\(°​_o)/¯ < 1457995215 577770 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn A dowry is a pribe paid for a brice, or maybe a bribe paid for a pride. < 1457995218 366969 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'dowry': A dowry is a pribe paid for a brice, or maybe a bribe paid for a pride. < 1457995678 868883 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it could be a bribe paid for a price; that would actually make sense < 1457995704 556618 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: no, it's a price paid for a bride < 1457995712 881703 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I knew that. < 1457995760 688745 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but you had "pribe paid for a brice" and I just swapped two letters. < 1457995781 912426 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I'm not sure where you placed the "d") < 1457995798 539521 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the d is in the pride < 1457995861 32659 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :anyway I'm afraid we're miscommunicating again < 1457995897 571197 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I am, yes < 1457996298 228297 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1457996760 448482 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1457997881 723087 :jaboja!~jaboja@eju175.neoplus.adsl.tpnet.pl QUIT :Remote host closed the connection < 1457998325 219117 :vanila!~vanila@unaffiliated/vanila QUIT :Quit: Leaving < 1457999539 927484 :hppavilion[1]!~DevourerO@97-102-128-200.res.bhn.net JOIN :#esoteric < 1457999631 315198 :lynn!~lynn@unaffiliated/lynn QUIT :Ping timeout: 246 seconds < 1457999659 18989 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric