< 1443571326 592153 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`? stack stack < 1443571329 168080 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :stack stack? ¯\(°​_o)/¯ < 1443571399 738675 :bb010g!uid21050@gateway/web/irccloud.com/x-wwcgshwycftucfcz QUIT :Quit: Connection closed for inactivity < 1443571412 394617 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1443571589 862619 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :see funge98 spec hth < 1443571654 433447 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Blerg. How does one find out the size of C types when one is not in C? < 1443571712 610210 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :I thought of a new elementary programming challenge < 1443571715 587679 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :"Goldfish" < 1443571726 565524 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :You take input < 1443571734 638837 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :Put "Blub" between each word < 1443571778 13266 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :And a certain number of words in, cut off the word halfway through and append "- OH MY *BLUB* GOD IT'S A *BLUB* CAT" < 1443572135 111018 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07ABCD14]]4 10 02http://esolangs.org/w/index.php?diff=44545&oldid=44544 5* 03LegionMammal978 5* (+25) 10 < 1443572446 658168 :FireFly!firefly@oftn/member/FireFly QUIT :Ping timeout: 246 seconds < 1443572529 612748 :heddwch!heddwch@76.8.3.189 QUIT :Ping timeout: 265 seconds < 1443573162 700457 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1443573401 892134 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1443573436 591616 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :♪ fish go bluuuub ♪ < 1443573841 489466 :heddwch!~heddwch@76.8.3.189 JOIN :#esoteric < 1443573862 474764 :FireFly!firefly@oftn/member/FireFly JOIN :#esoteric < 1443574077 763006 :_denis_!~denis@host125-184-dynamic.25-79-r.retail.telecomitalia.it QUIT :Quit: Sto andando via < 1443575085 850153 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> let f inp = let (xs,x) = (init &&& last) (words inp) in intercalate " *BLUB* " (xs ++ [take (length x `div` 2) x]) ++ "- OH MY *BLUB* GOD IT'S A *BLUB* CAT" in f "welcome to esolang everyone" < 1443575087 560420 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "welcome *BLUB* to *BLUB* esolang *BLUB* ever- OH MY *BLUB* GOD IT'S A *BLUB... < 1443575167 332061 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :?let goldfish inp = let (xs,x) = (init &&& last) (words inp) in intercalate " *BLUB* " (xs ++ [take (length x `div` 2) x]) ++ "- OH MY *BLUB* GOD IT'S A *BLUB* CAT" < 1443575169 418225 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1443575185 88896 :somethingsomethi!~ccl@frisjes.xs4all.nl JOIN :#esoteric < 1443575199 562430 :somethingsomethi!~ccl@frisjes.xs4all.nl PART :#esoteric < 1443575225 401698 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :@goldfish I am the walrus < 1443575225 584525 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1443575229 579724 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :?goldfish I am the walrus < 1443575229 770527 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1443575242 207839 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :@call goldfish I am the walrus < 1443575242 398759 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Maybe you meant: tell roll < 1443575254 575969 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :newsham: How do I call goldfish? < 1443575255 45761 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats hppavilion[1] -----### < 1443575255 271285 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> text $ goldfish "I am the walrus" < 1443575257 114937 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : I *BLUB* am *BLUB* the *BLUB* wal- OH MY *BLUB* GOD IT'S A *BLUB* CAT < 1443575270 971399 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :There we go < 1443575272 631913 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric ::) < 1443575314 621622 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: lambdabot doesn't allow user defining actual @commands < 1443575354 854441 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :oerjan: Didn't think so < 1443575372 529934 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : ?let only affects the environment used by > and @run < 1443575377 618976 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t goldfish < 1443575378 676959 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :String -> [Char] < 1443575385 148222 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and a couple others < 1443575393 76350 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :?let goldfish' = text . goldfish < 1443575394 618737 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1443575426 78095 :boily!~alexandre@96.127.201.149 QUIT :Quit: SOPRANO CHICKEN < 1443575469 38000 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :> text $ goldfish' "I am the walrus" < 1443575470 315382 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Couldn't match type ‘Doc’ with ‘[Char]’ < 1443575470 493423 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Expected type: String < 1443575470 493500 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Actual type: Doc < 1443575484 731520 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :I have no clue how this level of Haskell works xD < 1443575649 277258 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> goldfish' "you dont need text with this one" < 1443575650 933970 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : you *BLUB* dont *BLUB* need *BLUB* text *BLUB* with *BLUB* this *BLUB* o- OH... < 1443575682 511207 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :Oh < 1443575689 550565 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :Duh xD < 1443575703 426760 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :hppavilion[1], does i have an encoding in lambda calculus? < 1443575724 343915 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :Sgeo: Yes, of course. Just not a well-known one. < 1443575732 425329 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :Or, possibly, an at-all-known one < 1443575782 596019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the i x = x S K one? < 1443575806 824633 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's pretty trivial. < 1443575838 439084 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in fact it's right there on the Iota page. < 1443575852 248709 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :oerjan: No. i the number < 1443575858 617867 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1443575873 336539 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :I asked him earlier to encode @ into λ-calculus as a partial joke < 1443575894 702629 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well first you need to encode complex numbers in general. < 1443575931 923727 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I think we still have 3 competing definitions of |a + b@| < 1443575941 248880 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :(And two people making those definitions) < 1443575964 94064 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :are they irishmen < 1443575974 582952 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :At least one is Jewish < 1443576016 222896 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :What’s @ there? < 1443576039 299295 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :A number defined (or perhaps || redefined, to be more accurately possible) such that |@| = -1 < 1443576067 537891 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok good, the first google hit i found said "israelis" < 1443576090 324401 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose you're not israeli though < 1443576186 254876 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(that i recall) < 1443576258 8022 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what i recall from that discussion is that you couldn't even decide to make it a proper ring :P < 1443576284 724468 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :even though that _seems_ to be basically compatible with the premise. < 1443576310 411418 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, technically anything that doesn't speak about || would be compatible < 1443576370 458253 :FireFly!firefly@oftn/member/FireFly QUIT :Ping timeout: 272 seconds < 1443576380 784164 :heddwch!~heddwch@76.8.3.189 QUIT :Excess Flood < 1443576390 452374 :heddwch!heddwch@76.8.3.189 JOIN :#esoteric < 1443576457 765006 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Ring? < 1443576475 197941 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Ring ring ring ring, bananaphone < 1443576484 941237 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1443576503 949313 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well you kept discussing what addition should do, which is really trivial if you assume a ring... < 1443576508 766263 :hppavilion[1]!~Devourero@66.58.171.133 PRIVMSG #esoteric :Sgeo: You know. A ring. Like, from ring theory < 1443576538 950219 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Aaa how do I find out how big size_t is? < 1443576547 649766 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Melvar: sizeof(size_t)? < 1443576547 828793 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, it seems logical to make it a real vector space. < 1443576556 240041 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Or do you mean SIZE_T_MAX? < 1443576557 742231 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :pikhq: I’m not writing in C. < 1443576569 429684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar: what language are you writing in? < 1443576603 169801 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :oerjan, I haven't considered multiplication much, but I think |a + b@| is more... answerable than a + b@, like how you can't simplify a+bi < 1443576603 782282 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Well, so far really I’m not writing in any at all, but if I found a halfway promising route it would be Idris. < 1443576672 527158 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: my intuition says that if you are including both i and @, and say that @^2 = 1 (i think that was suggested), then a + bi + c@ + di@ would be the general form of your numbers < 1443576691 177640 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :making addition and multiplication obvious. < 1443576717 564685 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and then you just have to define || to fit reasonably. < 1443576733 109562 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(a b c d reals) < 1443576741 215795 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :That makes sense, I think I've sort of been assuming that. That last part is what's tricky, and I'm not convinced that there's only one reasonable || definition < 1443576749 830977 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :I can call C functions, but I can only marshal int, double, (char *), pointer, and uint{8,16,32,64}_t values and have to know which to use. < 1443576778 209324 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar: well you are the idris expert here in the channel afaik < 1443576793 754671 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :doesn't it have an ffi? < 1443576828 960997 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in which case either the ffi should have a way to tell, or you could use it to write a small C wrapper that did < 1443576847 58785 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i guess the latter wouldn't be a compile time result < 1443576853 801273 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :I listed the available types just above. < 1443576892 465655 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i'm pretty sure the C standard doesn't _require_ size_t to be any of them. < 1443576916 89877 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :The C standard would permit size_t to be a uint80_t. < 1443576943 751604 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :The C standard also does not require uint8_t, uint16_t, uint32_t, or uint64_t to exist. < 1443576959 138644 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although i vaguely assume uint32_t and uint64_t to be the most likely < 1443576990 376744 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!c printf("%d", sizeof(size_t)); < 1443576994 672515 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :It has the pretty loose requirement that uint*_t exist if your system has a conforming type. :) < 1443576997 310728 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :8 < 1443577013 235222 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :And you're correct, *in practice* uint32_t and uint64_t are the likely types. < 1443577040 884383 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :With uint16_t much less likely but technically still possible, and that rounds up the ones you're realistically going to see. < 1443577070 817828 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Well, the uint types listed must exist to compile the idris C rts. < 1443577082 215625 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Sounds like a poorly thought out RTS. < 1443577148 474390 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Furthermore, I expect that any system on which it is possible to compile Idris will not only have those, but will also have size_t be one of those sizes. < 1443577151 960899 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t Foreign.C.Types.CSize < 1443577153 213050 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Word64 -> Foreign.C.Types.CSize < 1443577203 833312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm guessing that's Haskell's version < 1443577227 147193 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Well yes, POSIX requires the types to exist (and it's unlikely as hell that size_t will be a weird type in such a case). :) < 1443577326 652794 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( [Int, Bits8, Bits16, Bits32, Bits64] < 1443577326 890874 :idris-bot!~idris-bot@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :04[12Int04, 12Bits804, 12Bits1604, 12Bits3204, 12Bits6404] : 12List 12Type < 1443577409 78839 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Another telling thing: it says "pointer". C pointers do not necessarily have the same representation. < 1443577431 241619 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :char* and void* have the same representation, and must be able to point to any object. < 1443577438 780050 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :All other pointer types do not have this property. < 1443577506 679355 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :(sizeof(double*) and sizeof(char*), say, don't even have to be the same) < 1443577520 570834 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :It seems to be a (void *). < 1443577579 133691 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :(C: the language that nobody actually understands! :P) < 1443578058 148754 :bb010g!uid21050@gateway/web/irccloud.com/x-nxsdjxbojxcjijcb JOIN :#esoteric < 1443578133 952795 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net JOIN :#esoteric < 1443578204 60087 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :@type sizeOf < 1443578205 528025 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘sizeOf’ < 1443578205 706888 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant one of these: < 1443578205 706966 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘IM.size’ (imported from Data.IntMap), < 1443578420 907670 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :So, well, where do things like compilers with FFIs that provide for size_t get their info about how it needs to be dealt with? < 1443578726 625758 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :libffi is a popular choice. < 1443578829 636406 :bender|!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1443579171 163094 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t sizeof < 1443579172 117028 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘sizeof’ < 1443579172 295385 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant one of these: < 1443579172 295463 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘IM.size’ (imported from Data.IntMap), < 1443579272 139910 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :I see. I have been informed that the french my dad speaks is not quebecois french, it is "horrible french" < 1443579289 378188 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :this explains a lot < 1443579303 466530 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric ::P < 1443579360 683319 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :XD < 1443579425 293043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :horriblois < 1443581060 171441 :heroux!sandroco@gateway/shell/insomnia247/x-ludlndmjbictrzuc JOIN :#esoteric < 1443581196 451119 :hppavilion[1]!~Devourero@66.58.171.133 QUIT :Ping timeout: 272 seconds < 1443581237 270552 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1443581278 493563 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1443581467 598425 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Isn't there some kind of deep reason you can have a system of imaginaries like 1 + i + j + k but not 1 + i + j? Because I imagine @ giving complications similar to the latter when mixed with normal imaginaries < 1443581478 325173 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I don't actually know what those complications are though < 1443581630 535050 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :so the dilemma is whether |a+bi+c@+di@| should equal sqrt(a^2+b^2-c^2-d^2), equal sqrt((a-c)^2+(b-c)^2) or possibly something different? < 1443581704 279275 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I think I had a good reason for disliking the former, the latter could be simplified < 1443581715 12770 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Well not simplified, but differneized < 1443581784 656128 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Why don't I start like this: |(a+b@)(c+d@)| = |ac + (ad+bc)@ + bd@^2| < 1443581814 700512 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :meh we don't really know |@^2| although = 1 seems reasonable < 1443581968 791905 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Under the |a+b@| = |a| - |b| we get (|a| - |b|)(|c| - |d|) = |ac| - |ad + bc| + |bd|? = |a||c| - |a||d| - |b||c| + |b||d| < 1443581969 830072 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :also I think I heard that in quaternions k is just a notational convenience but is not any different from ij. < 1443581997 320029 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :(Assuming |a||b| = |ab|) < 1443582020 139418 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :That looks really wrong. < 1443582156 969174 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :|ac| - |ad + bc| + |bd| = |ac| - |ad| - |bc| + |bd|; |ad + bc| = |ad| + |bc|; which is known incorrect < 1443582231 745997 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :If |@| = -1 and |@@| = 1 and |ab| = |a||b| for a and b in c@mplexes, then |a+b@| = |a| - |b| is a bad definition. < 1443582238 338249 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :We know something concrete, yay! < 1443582270 88424 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Let's see if I can plug in an example to the original equation to make it obvious < 1443582291 675382 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :a = c = d = 1; b = -1 < 1443582316 483533 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :yes, can we recover |a+@b| = |a|-|b| for either pure imaginary or pure real numbers? < 1443582404 111360 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :hmm |2-3| = |-1| = 1 < 1443582428 3965 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :meh don't feel like plugging it i < 1443582429 119449 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :n < 1443582445 767376 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :ok, only the positive numbers then? < 1443582454 242959 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :How about that other definition, |a+b@| = 2a - |a+bi| < 1443582477 359274 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :(Where a and b are real, so we can use abs of complex to mean "distance") < 1443582523 557374 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :what is the rational behind it? < 1443582548 311394 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :doesthiswork, imagining a and b as values along dimensions, and || as distance, except b contributes negatively < 1443582600 542164 :hppavilion[1]!~Devourero@133-171-58-66.gci.net JOIN :#esoteric < 1443582632 675107 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :|a+bi| - 2|a-bi|... hmm < 1443582639 490124 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I originally worked it out with sqrt and squares < 1443582698 362023 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :It should be in logs somewhere, but right now it looks a bit weird < 1443582702 598996 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :I am haveing trouble imagining an orthogonal vector that decreases distance from the orgin < 1443582717 452930 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :but that is just a failure of imagination < 1443582722 636669 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: the problem with 1 + i + j is defining division, afair < 1443582769 427155 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :other than that, any reasonable multiplication of the basis elements should work for a ring < 1443582795 127397 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Back to examining |a+b@| = 2a - |a+bi| < 1443582805 213474 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(reasonable: the multiplication gives a group on what you can reach with it) < 1443582819 675681 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :|(a+b@)(c+d@)| = |ac + (ad+bc)@ + bd@^2| < 1443582843 758156 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, for things like ij = -k or the like. it's probably complicated if you mix in addition there < 1443582881 34812 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :(2a - |a+bi|)(2c - |c+di|) = |(ac... crud < 1443582922 224756 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Questionable assumption: |a + b@@| isn't necessarily |a+b| even if |@@| = 1, right? < 1443582923 232308 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: oh hm there's an obvious property you _could_ try to get (it works for complex numbers): |zw| = |z||w| < 1443582945 707679 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i have my doubts it works here... < 1443582952 218864 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I assumed that before in my definition disproof for |a+b@| = |a| - |b| < 1443582984 896459 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :if @@ = i (it doesn't obviously) |1 + i| != |1+1| < 1443583027 65166 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Oh you gave an assumption @@ = 1, so I can just append that to my above disproof < 1443583037 296462 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :|a|^2=|a^2| so 1 is an very reasonable value for |@^2| < 1443583052 473325 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :doesthiswork, but that's not the question < 1443583068 631435 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :I know, I was talking to my self < 1443583073 979033 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Ah, sorry < 1443583103 187429 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :I'm still several steps behind the channel < 1443583170 234932 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :(2a - |a+bi|)(2c - |c+di|) = 2(ac + bd) - |(ac + bd) + (ad + bc)i| < 1443583236 391049 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Well the 4 vs 2 is scaring me a bit, but let's keep going < 1443583305 787450 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :4ac - 2a|c+di| - 2c|a+bi| + |a+bi||c+di| = 2ac + 2bd - |(ac + bd) + (ad + bc)i| < 1443583437 678486 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :2ac - 2a|c+di| - 2c|a+bi| = 2bd - |ac + bd + adi + bci| < 1443583454 349344 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I feel like I'm getting nowhere fast < 1443583606 5711 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :doesthiswork: hey i'm even further back ok < 1443583623 493200 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION not going to try understanding the details < 1443583858 668096 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :I wonder what max(@,-@) does < 1443583909 972184 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? @ < 1443583910 939917 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​@ is an OS made out of only the finest vapour. < 1443583941 595921 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :|(ac + bd) + (ad + bc)i| = sqrt((ac + bd)^2 - (ad + bc)^2); sqrt((ac)^2 + 2abcd + (bd)^2 - (ad^2) - 2abdc - (bc)^2) = why do I do this to myself < 1443583997 275848 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :sqrt((ac)^2 + (bd)^2 - (ad)^2 - (bc)^2) < 1443584018 978642 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :This looks really wrong but it's not even the prior problem < 1443584294 877667 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net PRIVMSG #esoteric :does sqrt(@^2)=-1? < 1443584312 978080 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :In the same way sqrt(1) = -1 < 1443584352 161619 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Dealing with that is a good reason to avoid |a+b@| = sqrt(a^2 - b^2) as a definition < 1443584379 61005 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Because it only makes the inside negat... well if |@| = i instead of |@| = -1 that could be an approach < 1443584396 382237 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Then |@^2| = -1 < 1443584540 37098 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I'll call it # such that |#| = i and #^2 = @ < 1443584589 174918 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Although it's hard to determine the sign of the sqrt function < 1443584611 355721 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :But let's say we want to find |a + b@| = |... crud < 1443584740 624161 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :2ac - 2a|c+di| - 2c|a+bi| = 2bd - |ac + bd + adi + bci| < 1443584901 821579 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :2a|c+di| + 2c|a+bi| - 2ac = |(ac + bd) + (ad + bc)i| - 2bd < 1443585003 420015 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Read error: Connection reset by peer < 1443585042 225470 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1443585078 349923 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if |@| = i instead, we'd have minkowski geometry. < 1443585101 917637 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is a very respectable thing, although i'm not sure if it has a multiplication. < 1443585149 286989 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :! < 1443585211 499617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's basically |(a,b,c,d)| = sqrt(a^2 - b^2 - c^2 - d^2) < 1443585226 168991 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(in 4 dimensions, the most important one for physics) < 1443585432 271379 :bender|!~benderx2@unaffiliated/bender/x-9459530 NICK :bender < 1443585454 946387 :bender!~benderx2@unaffiliated/bender/x-9459530 NICK :bender| < 1443585472 27537 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Read error: Connection reset by peer < 1443585496 116125 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1443585630 262100 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Woohoo I have an extra hour to do math before having to do work stuff < 1443585652 602490 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Although I might be slightly stumped right now < 1443585745 649488 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Tempted to plug in random numbers and see what happens < 1443585749 441133 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric ::t abs < 1443585750 580750 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Num a => a -> a < 1443585894 49407 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :> let dist a b = sqrt (a^2 + b^2); f a b c d = 2 * a * dist c d + 2 * c * dist a b - 2 * a * c; g a b c d = dist (a * c + b * d) (a * d + b * c) - 2 * b * d in (f 1 -1 1 1, g 1 -1 1 1) < 1443585895 335010 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Could not deduce (Num a0) < 1443585895 513147 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : from the context (Floating a, < 1443585895 513204 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Floating a6, < 1443585902 150647 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Bleh? < 1443586627 923862 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1443587456 805691 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let dist a b = sqrt (a^2 + b^2); f a b c d = 2 * a * dist c d + 2 * c * dist a b - 2 * a * c; g a b c d = dist (a * c + b * d) (a * d + b * c) - 2 * b * d in (f 1 (-1) 1 1, g 1 (-1) 1 1) < 1443587459 44332 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (3.6568542494923806,2.0) < 1443587464 166629 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: ^ < 1443587493 823926 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 1 1 < 1443587495 83452 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Could not deduce (Num a0) < 1443587495 261932 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : from the context (Num a, Num (a -> t)) < 1443587495 262019 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : bound by the inferred type for ‘e_111’: (Num a, Num (a -> t)) => t < 1443587505 162762 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :oerjan, ty < 1443587519 231258 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :And... that's not the answer I was hoping for < 1443587545 65427 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Although any of my algebra could be wrong too < 1443587802 916786 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : boily: I think it's in Vorpal's Funge-98 interpreter <-- it was. it is fixed < 1443587808 453635 :hppavilion[1]!~Devourero@133-171-58-66.gci.net QUIT :Ping timeout: 272 seconds < 1443587816 220323 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :bbl < 1443588547 181250 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Wonder if I can actually create a definition < 1443588557 686904 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1443588584 497625 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Hmm, probably no < 1443588599 694990 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :(I meant by using that rule that I expect to hold) < 1443588646 112964 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :> 2^3 -- checking pow vs xor < 1443588647 600512 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 8 < 1443589019 13667 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :ACTION eyes the @@=1 assumption suspiciously < 1443589097 642041 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x y -> (x::Int) `xor` y == x^y < 1443589099 348863 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : *** Failed! Falsifiable (after 1 test): < 1443589099 527019 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 0 0 < 1443589104 492531 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x y -> (x::Int) `xor` y /= x^y < 1443589105 876472 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : *** Failed! Exception: 'Negative exponent' (after 2 tests and 1 shrink): < 1443589106 54387 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 1 -1 < 1443589110 625545 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1443589123 295739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x y -> y>=0 => (x::Int) `xor` y /= x^y < 1443589123 473807 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : .hs: 1: 14:Parse error: => < 1443589137 733399 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x y -> y<0 || (x::Int) `xor` y /= x^y < 1443589139 239595 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : +++ OK, passed 100 tests. < 1443589195 863221 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x y -> y<0 || (x::Int) `xor` y /= x^y < 1443589197 375246 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : +++ OK, passed 100 tests. < 1443589243 249711 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 0^0 < 1443589244 770292 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 1 < 1443589302 232080 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph it's not actually true < 1443589305 527757 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x y -> y<0 || (x::Int) `xor` y /= x^y < 1443589307 82249 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : +++ OK, passed 100 tests. < 1443589333 440877 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> ( \x y -> y<0 || (x::Int) `xor` y /= x^y ) 0 0 < 1443589334 895508 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : True < 1443589347 296022 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> ( \x y -> y<0 || (x::Int) `xor` y /= x^y ) 1 0 < 1443589348 739207 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : False < 1443589359 861488 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : @check doesn't check enough < 1443589365 289981 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x y -> y<0 || (x::Int) `xor` y /= x^y < 1443589366 679508 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : +++ OK, passed 100 tests. < 1443589546 708846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (Test.QuickCheck.=>) < 1443589547 826775 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Not in scope: ‘Test.QuickCheck.=>’ < 1443589606 176811 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x y -> y>=0 ==> (x::Int) `xor` y /= x^y < 1443589606 354921 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : : -1: -1:Ambiguous infix expression < 1443589625 611890 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x y -> (y>=0) ==> ((x::Int) `xor` y /= x^y) < 1443589627 176818 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : +++ OK, passed 100 tests. < 1443589746 843696 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@list check < 1443589747 58536 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :check provides: check < 1443589750 938188 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@list scheck < 1443589751 116172 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :No module "scheck" loaded < 1443589884 27825 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :(2a - |a+bi|)(2c - |c+di|) = 2(ac + bd) - |(ac + bd) + (ad + bc)i| < 1443589976 765157 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :@check \a b c d -> let dist a b = sqrt (a^2 + b^2) in (2 * a - dist a b) * (2 * c - dist c d) ==> 2 * (a * c + b * d) - dist (a * c + b * d) (a * d + b * c) < 1443589978 85866 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Couldn't match expected type ‘Test.QuickCheck.Safe.SProperty’ < 1443589978 264042 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : with actual type ‘Bool’ In the second argument of ‘(*)’, namely ‘c’ In the f... < 1443590053 407610 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I have no idea how to check < 1443590087 454176 :hppavilion[1]!~Devourero@133-171-58-66.gci.net JOIN :#esoteric < 1443590392 454299 :hppavilion[1]!~Devourero@133-171-58-66.gci.net QUIT :Ping timeout: 272 seconds < 1443590447 454357 :hppavilion[1]!~Devourero@133-171-58-66.gci.net JOIN :#esoteric < 1443590806 673457 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: the thing to the right of ==> should probably be a boolean expression < 1443590827 357494 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :What do I put to the left of it? < 1443590830 375429 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, the precedence of ==> seemed to require some parentheses < 1443590837 404683 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :another boolean expression < 1443590845 321030 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :@check \a b c d -> True ==> let dist a b = sqrt (a^2 + b^2) in (2 * a - dist a b) * (2 * c - dist c d) == 2 * (a * c + b * d) - dist (a * c + b * d) (a * d + b * c) < 1443590846 835330 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : *** Failed! Falsifiable (after 2 tests and 1088 shrinks): < 1443590847 13306 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : -0.24087198985222466 0.590250929928695 -1.0415408383336255 -0.16549717990989027 < 1443590860 328836 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um you don't need ==> at all then < 1443590876 404900 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's for when you have a prerequisite for the check < 1443590891 568799 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1443590894 691241 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and you don't want the prerequisite failing to count as the whole failing. i assume. < 1443590897 728302 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1443590909 292092 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x -> False ==> x == 1 < 1443590910 606244 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : No instance for (Show prop0) arising from a use of ‘myquickcheck’ < 1443590910 784348 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : The type variable ‘prop0’ is ambiguous Note: there are several potential ins... < 1443590911 702312 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :oerjan, I learned @check by example not by real learning < 1443590918 879797 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :ACTION looks at lambdabot ! < 1443590920 135653 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x -> False ==> (x::Int) == 1 < 1443590921 414711 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : No instance for (STestable Int) arising from a use of ‘==>’ < 1443590921 592738 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : In the first argument of ‘(==)’, namely ‘False ==> (x :: Int)’ In the expres... < 1443590930 238728 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x -> False ==> ((x::Int) == 1) < 1443590931 535644 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : *** Gave up! Passed only 0 tests. < 1443590948 684096 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x -> True ==> ((x::Int) == 1) < 1443590950 151093 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : *** Failed! Falsifiable (after 1 test): < 1443590950 329034 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 0 < 1443590969 273981 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x -> (x == 1 || x > 1e9) ==> ((x::Int) == 1) < 1443590970 728512 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : No instance for (Fractional Int) arising from the literal ‘1e9’ < 1443590970 906485 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : In the second argument of ‘(>)’, namely ‘1e9’ In the second argument of ‘(||... < 1443590981 562920 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x -> (x == 1 || x > 1000000) ==> ((x::Int) == 1) < 1443590983 5392 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : *** Gave up! Passed only 22 tests. < 1443590985 922928 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I wonder if there's a differnt definition for @^2 that would make it work < 1443591031 578412 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*as the whole succeeding < 1443591032 60776 :evalj!~jeval@BC066B86.catv.pool.telekom.hu JOIN :#esoteric < 1443591063 735569 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (==>) < 1443591064 833629 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :STestable prop => Bool -> prop -> Test.QuickCheck.Safe.SProperty < 1443591100 57436 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1443591171 164765 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x -> ((x::Int) < 5) ==> \y -> ((y::Int) < 5) ==> x+y < 9 < 1443591172 560208 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Couldn't match expected type ‘Test.QuickCheck.Safe.SProperty’ < 1443591172 738310 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : with actual type ‘Int’ In the second argument of ‘(+)’, namely ‘y’ In the fi... < 1443591187 397294 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x -> ((x::Int) < 5) ==> \y -> ((y::Int) < 5) ==> (x+y < 9) < 1443591188 942866 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : +++ OK, passed 100 tests. < 1443591219 699981 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so the thing to the right of ==> can be somewhat more, maybe anything you can pass to @check itself < 1443591259 654987 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which seems like it's nice to prune the search < 1443591507 163369 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :?type (==>) < 1443591508 496580 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :STestable prop => Bool -> prop -> Test.QuickCheck.Safe.SProperty < 1443591529 423337 :evalj!~jeval@BC066B86.catv.pool.telekom.hu QUIT :Remote host closed the connection < 1443591639 556184 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :@check \a b c d -> let dist a b = sqrt (a^2 + b^2) in (2 * a - dist a b) * (2 * c - dist c d) == 2 * (a * c - b * d) - dist (a * c + b * d) (a * d + b * c) < 1443591641 119665 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : *** Failed! Falsifiable (after 2 tests and 1085 shrinks): < 1443591641 297605 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 0.47739896661811293 -1.171602104864355 -15.621137908887599 -0.406648332848909 < 1443591727 970588 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Quit: adu < 1443591788 588699 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net JOIN :#esoteric < 1443591990 334629 :blurelIse!~bluelse@c-67-168-205-81.hsd1.or.comcast.net QUIT :Quit: I love my HydraIRC -> http://www.hydrairc.com <- < 1443592021 484541 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> 冬冷写友永池決汽油温港湖漢点炭無牛犬犯理由甲申界皇真礼社神空窓笑笛第久互囚図国地巾己年弔当形悪戸所才打正止歩死 < 1443592022 831344 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: < 1443592023 9599 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘冬冷写友永池決汽油温港湖漢点炭無牛犬犯理由甲申界皇真礼社神空窓笑笛第久互囚図国地巾己年弔当形悪戸所才打正止歩死’ < 1443592039 640027 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :wtf I didn't type a > < 1443592069 751190 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> let 湖 = (+) in 湖 3 5 < 1443592071 112737 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 8 < 1443592134 164440 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> map isUpper "冬冷写友永池決汽油温港湖漢点炭無牛犬犯理由甲申界皇真礼社神空窓笑笛第久互囚図国地巾己年弔当形悪戸所才打正止歩死" < 1443592135 656423 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [False,False,False,False,False,False,False,False,False,False,False,False,Fal... < 1443592296 74453 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> filter isUpper "冬冷写友永池決汽油温港湖漢点炭無牛犬犯理由甲申界皇真礼社神空窓笑笛第久互囚図国地巾己年弔当形悪戸所才打正止歩死" < 1443592297 419466 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "" < 1443592349 617193 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :\oren\: Unicode Lo category does not have a separate casing < 1443592452 878924 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Quit: mihow < 1443592461 915039 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :is that the same thing as saying "there's no uppercase and lowercase [hk]an[zj][ia]"? < 1443592510 123302 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :(to cover hanzi, kanji, hanja) < 1443592511 555524 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :so no "data" decls using chinese characters? < 1443592515 231653 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :yes. < 1443592528 636697 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :i see < 1443592529 630166 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :and many other scripts < 1443592548 816394 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :I thought they would simply alway be considered lowercase < 1443592576 239391 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :or something < 1443592608 446636 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :?data T湖 = C犬 | C神 < 1443592608 624757 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1443592612 181000 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :?let data T湖 = C犬 | C神 < 1443592613 586103 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1443592622 836576 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :may seem so, but "uncased" script would be more appropriate < 1443592653 36478 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :newsham: TLake = CDog | CGod? < 1443592668 210804 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :?let un湖 C犬 a b = a; un湖 C神 a b = b < 1443592669 632324 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1443592694 324565 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :lifthrasiir: neat, reverse "dog" == "god" < 1443592697 981747 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :good choice < 1443592702 738530 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :i jsut randomly picked 3 < 1443592718 953845 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :newsham: heh, that's a good correspondence < 1443592807 25203 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :newsham: you don't know you hkanzjia? < 1443592821 134829 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :turns out: no < 1443592825 401402 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :i see < 1443592879 805297 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :the haskell capitalization rules seem to penalize those langauges that dont use caps < 1443592887 16455 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :newsham: so does Ruby < 1443592910 613909 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :what rules does ruby have for caps? < 1443592934 273084 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :what do people usually do in that situation? < 1443592944 344563 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :well just remember that to drink, you want the bottle with with 牛 on it, and not the one with 油 on it! < 1443592967 113129 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :牛 is beer and 油 is arsenic < 1443592990 547700 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :no, cow (milk), and oil respectively < 1443593001 979483 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1443593026 383969 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :cow and milk use the same character? < 1443593032 634799 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net JOIN :#esoteric < 1443593035 635484 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :what's your poison? < 1443593050 209735 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :牛乳 = cow milk < 1443593090 763304 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :so if you see any character but 牛 before 乳 you're not getting the right kind of milk < 1443593107 49738 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :newsham: Ruby considers any uncased letters as lowercase, so they cannot be used as the first letter of class name etc. < 1443593171 131798 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :do programmers prefix with a roman uppercase letter or something like that, in such situations? < 1443593187 732607 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :ie C犬 < 1443593191 125228 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :they simply avoid using non-ASCII letters in the code. < 1443593236 592999 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :yeah programs usually are written either with english or the romanization of the language < 1443593286 961360 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :bummer < 1443593315 392535 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :we should be giving them an easy prefix letter to override that caps rule. < 1443593327 737658 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :like "words starting with . are considered upper case" or something < 1443593332 992879 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :better, ditch caps rule < 1443593402 239871 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :does parsing Haskell demand knowning what is a type versus variable name? < 1443593440 173306 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :prob requires knowing what is a constructor < 1443593481 629380 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :right s/type/constructor/ s/variable/function < 1443593490 819010 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :\oren\: don't change me! < 1443593516 934439 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :i'm not a number < 1443593521 365616 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :i'm a free variable! < 1443593536 88585 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :newsham: and I'm not? < 1443593538 51671 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :how dare you < 1443593572 560793 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :variable: you're always changing < 1443593583 758295 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :newsham: I'm immutable < 1443593597 623000 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :so you're not variable < 1443593608 360242 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :sorry, i always mix you up with the variable you shadow < 1443593609 588010 :variable!~variable@freebsd/developer/variable NICK :constant < 1443593613 491841 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :i can never tell you guys apart < 1443593634 875523 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :its true, he is constant.. constantly changing < 1443593642 536985 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :thatsracist.gif < 1443593654 5614 :constant!~variable@freebsd/developer/variable PRIVMSG #esoteric :yeah, nothing stops an immutable variable from changing on you < 1443593681 3407 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :unsafePerformConstChange < 1443593737 165679 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> let pi = 3 in 45 * pi / 180.0 < 1443593738 669986 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 0.75 < 1443593809 781157 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> π < 1443593811 108527 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘π’ < 1443593842 894924 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> let π = pi in e ^ (π * i) < 1443593847 827960 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1443593858 709611 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :wtf < 1443593899 5545 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :wuddidijusdo.gif < 1443593909 624368 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :you broke the math < 1443593967 768381 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> let ⯦ = 4 in ⯦ + 5 < 1443593969 375898 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:5: lexical error at character '\11238' < 1443593979 408233 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :fuck that < 1443593985 846059 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Quit: mihow < 1443594022 820928 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :oh wait that's one of my font's non-unicode characters < 1443594033 628804 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :\oren\: it's the i that makes it not halt, it isn't actually the i you think < 1443594048 623521 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t let π = pi in e ^ (π * i) < 1443594049 776471 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Expr < 1443594077 837882 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> let ❄ = 4 in ❄ + 5 < 1443594079 253273 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:1: parse error in let binding: missing required 'in' < 1443594112 587478 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> let a = 4 in a + 5 < 1443594114 1167 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 9 < 1443594116 958189 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net JOIN :#esoteric < 1443594155 26539 :bender|!~benderx2@unaffiliated/bender/x-9459530 PRIVMSG #esoteric :let a = 4 in a + a < 1443594161 924285 :bender|!~benderx2@unaffiliated/bender/x-9459530 PRIVMSG #esoteric :> let a = 4 in a + a < 1443594163 306164 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 8 < 1443594167 225779 :bender|!~benderx2@unaffiliated/bender/x-9459530 PRIVMSG #esoteric :oh cool < 1443594173 890990 :JesseH!~JesseH@oftn/member/JesseH QUIT :Ping timeout: 252 seconds < 1443594177 737735 :bender|!~benderx2@unaffiliated/bender/x-9459530 PRIVMSG #esoteric :> let a = 4 let a = a+a < 1443594179 23705 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:1: parse error in let binding: missing required 'in' < 1443594213 535398 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> let ♨ = 4 in ♨ + ♨ < 1443594214 924177 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:1: parse error in let binding: missing required 'in' < 1443594233 321323 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :why is 'in' required? < 1443594239 987615 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :fuck you lamdabot why can't you parse a hot spring < 1443594289 81841 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it knows that after an expression it needs 'in' and then another expression, right? < 1443594313 373026 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> let ☃ = 4 in ☃ + ☃ < 1443594314 673996 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:1: parse error in let binding: missing required 'in' < 1443594319 102472 :bender|!~benderx2@unaffiliated/bender/x-9459530 PRIVMSG #esoteric :\oren\, er, I don't think it supports unicode? < 1443594333 917637 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Client Quit < 1443594343 458766 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> let 五 = 4 in 五 + 五 < 1443594344 819934 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 8 < 1443594350 688480 :bender|!~benderx2@unaffiliated/bender/x-9459530 PRIVMSG #esoteric :lolwhat < 1443594371 335689 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> let 職人 = fix in 職人 id < 1443594373 894663 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :it supports unicode but only some characters. Wut. Duh. Fuk. < 1443594375 152208 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1443594404 837787 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :also that last thing I typed had an in-joke < 1443594458 775921 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> isAlphaNum '☃' < 1443594460 206340 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : False < 1443594480 464214 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> let x ☃ y = x + y in 3 ☃ 5 < 1443594481 799677 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 8 < 1443594494 735109 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :its not the unicodeness that was the problem < 1443594497 699844 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :it was the alphanumness < 1443594512 831932 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :OH! so haskell wants non-alnums to be operators not variables < 1443594523 550197 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :yup < 1443594532 403799 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> let ᚴ = 4 in ᚴ + ᚴ < 1443594533 740216 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 8 < 1443594547 980734 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :runes are letters < 1443594611 168647 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> ⅚ < 1443594612 544653 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:1: lexical error at character '\8538' < 1443594631 167496 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :hmm but it doesn't know what five sixths it < 1443594705 211314 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> let ⅚ = 4 in ⅚ + ⅚ < 1443594706 568037 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:5: lexical error at character '\8538' < 1443594745 305919 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> let a⅚ = 4 in a⅚ + a⅚ < 1443594746 720112 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 8 < 1443594790 604346 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> isAlphaNum '⅚' < 1443594791 956634 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : True < 1443594806 336690 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :?let ⅚ = 5%6 < 1443594806 950948 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Parse failed: Illegal character ''\8538'' < 1443594820 174263 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> isNum '⅚' < 1443594820 439572 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :a variable can't begin with a number apparently < 1443594821 417569 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘isNum’ < 1443594838 344340 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> isDigit '⅚' < 1443594839 944209 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : False < 1443594873 449639 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> isAlpha '⅚' < 1443594874 699827 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : False < 1443594884 121245 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net JOIN :#esoteric < 1443594892 237408 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> isNumeric '⅚' < 1443594893 490956 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘isNumeric’ < 1443594899 501867 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> isNumer '⅚' < 1443594900 766765 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘isNumer’ < 1443594900 944764 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant ‘isNumber’ (imported from Data.Char) < 1443594905 7135 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> isNumber '⅚' < 1443594906 631174 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : True < 1443594913 850536 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : why is 'in' required? <-- it's not ambiguous without a separator. < 1443594937 289483 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :did you mean it's ambiguous without a separator ? < 1443594941 653804 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :"Note that numeric digits outside the ASCII range are selected by this function but not by isDigit. Such digits may be part of identifiers but are not used by the printer and reader to represent numbers. < 1443594944 625172 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er yes < 1443594949 203471 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :says 'isAlphaNum' doc < 1443594960 679481 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let i = sin in 3 + i 5 < 1443594962 253295 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 2.0410757253368614 < 1443595108 203983 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Maybe I'm approaching this wrong, and what I really need to do is find a sane definition of |a + b@ + c@^2| < 1443595118 442977 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :That is compatible with whatever definition I have in mind < 1443595120 208741 :\oren\!~oren@65.94.102.49 PRIVMSG #esoteric :> let x ☭ y = (x + y)/2 in 4 ☭ 7 < 1443595121 602685 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 5.5 < 1443595254 962852 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :|b@ + c@^2| = |@||b+c@| = -|b+c@| < 1443595326 149634 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :If @^2 = 1, then |b@ + c| = -|b+c@|, which is... I can't tell if that's exactly a property I want or if it's garbage < 1443595393 329096 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :b = c = 1, |@ + 1| = -|@ + 1| ? < 1443595486 706788 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :That definitely doesn't work with my dimensional definition < 1443595758 551418 :J_Arcane!~chatzilla@37-219-59-230.nat.bb.dnainternet.fi QUIT :Ping timeout: 265 seconds < 1443596267 798180 :GoToTell!~GotoTell@212-88-250-157.access.telenet.be JOIN :#esoteric < 1443596273 662957 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :|a + b@| = |#||a/# + b#| = i*??? < 1443596447 334948 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :What happens if I pretend I can do this? |a + b@| = |a + b##| = sqrt(a^2 - (b#)^2) = sqrt(a^2-@b^2) < 1443596517 32908 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :If @ can signal || to produce negative, then why can't it signal "sqrt" in some similar way? < 1443596543 6995 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :I don't know how to take the square root of c@mplex numbers < 1443596577 590946 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what is # ? < 1443596585 94419 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :|#| = i < 1443596609 970661 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Apparently this is a reasonable thing that occurs in real math. < 1443596624 284203 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Except probably not that symbol < 1443596691 759639 :Sgeo!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :|@| = sqrt(-@) = i*# = not what we wanted.... unless i# is inexplicibly -1 < 1443596834 985741 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 260 seconds < 1443596862 150764 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :wat < 1443597536 796086 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Remote host closed the connection < 1443597539 833731 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for square root of complex number, (a+bi)^2 = c+di <=> a^2 - b^2 = c, 2ab = d; just solve that hth < 1443597878 451351 :hppavilion[1]!~Devourero@133-171-58-66.gci.net QUIT :Ping timeout: 272 seconds < 1443597903 752480 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esoteric algorithm14]]4 10 02http://esolangs.org/w/index.php?diff=44546&oldid=43644 5* 03Oerjan 5* (+0) 10case < 1443598065 104486 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Dropsort14]]4 10 02http://esolangs.org/w/index.php?diff=44547&oldid=43646 5* 03Oerjan 5* (+16) 10case, sp, fmt < 1443598272 437298 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :instead of dropping the elements, add them to a new list < 1443598280 804418 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :dropsort again, then merge < 1443598285 504203 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User talk:InputUsername14]]4 10 02http://esolangs.org/w/index.php?diff=44548&oldid=43652 5* 03Oerjan 5* (-1) 10Poor guy languishing in the wrong channel < 1443598417 685987 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Langar.io14]]4 10 02http://esolangs.org/w/index.php?diff=44549&oldid=43654 5* 03Oerjan 5* (+48) 10unsigned, also you do know people get told about new messages in their user talk page, right? < 1443598455 179522 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :izabera: 1. how do you merge them? 2. that'll ruin runtime < 1443598481 894571 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :merge them like in merge sort < 1443598492 180757 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :see 2. then < 1443598501 681218 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i wasn't 100% serious < 1443598502 819276 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it is basically a slower version of mergesort < 1443598538 259199 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :particularly with a list that starts in reverse order < 1443598625 501758 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it's faster if the data is almost sorted < 1443598734 70107 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Read error: Connection reset by peer < 1443599335 190237 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com JOIN :#esoteric < 1443599538 47113 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck Sharp14]]4 10 02http://esolangs.org/w/index.php?diff=44550&oldid=43921 5* 03Oerjan 5* (+30) 10Some proofreading < 1443599725 637510 :constant!~variable@freebsd/developer/variable QUIT :Ping timeout: 246 seconds < 1443599773 797048 :contrapumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1443599936 503637 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 250 seconds < 1443599946 392191 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:WASD14]]4 10 02http://esolangs.org/w/index.php?diff=44551&oldid=43671 5* 03Oerjan 5* (+46) 10ominous lack of sign < 1443600208 41996 :oerjan!oerjan@sprocket.nvg.ntnu.no NICK :oerjan_ < 1443600214 942617 :oerjan_!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boo! < 1443600218 462860 :oerjan_!oerjan@sprocket.nvg.ntnu.no NICK :oerjan < 1443601360 520257 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Brainfact14]]4 M10 02http://esolangs.org/w/index.php?diff=44552&oldid=43692 5* 03Oerjan 5* (+49) 10unsigned < 1443601469 786287 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^ul (a(:^)*S):^ < 1443601470 6565 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :(a(:^)*S):^ < 1443601647 627600 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Smallfuck14]]4 M10 02http://esolangs.org/w/index.php?diff=44553&oldid=43698 5* 03Oerjan 5* (+51) 10unsigned < 1443601740 983019 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1443601948 520196 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm, what's the url of ayacc? < 1443601981 131074 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :didn't ais523 paste some darcs thing < 1443602043 34220 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i found the discussion of VCS war very ironic after it, anyway < 1443602067 49994 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm wait, that may have been underlambda < 1443602091 521240 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's somewhere on the nethack4 site, anyway, i think he keeps most his stuff there < 1443602135 671090 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :he had a plain download url. I have the url at home, but not here < 1443602139 998 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? ayacc < 1443602139 923538 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ayacc? ¯\(°​_o)/¯ < 1443602467 54512 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh wait, maybe it's in the nethack4 or the c-intercal source code < 1443602513 355755 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Quit: mihow < 1443602578 14659 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07InDec14]]4 M10 02http://esolangs.org/w/index.php?diff=44554&oldid=43706 5* 03Oerjan 5* (+3) 10sp, fmt < 1443602699 221941 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07ZeptoBasic14]]4 M10 02http://esolangs.org/w/index.php?diff=44555&oldid=43707 5* 03Oerjan 5* (+8) 10links < 1443603431 646732 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Ultimate Programming Language to Take Over a Prison, Then He World14]]4 10 02http://esolangs.org/w/index.php?diff=44556&oldid=43725 5* 03Oerjan 5* (+25) 10some proofreading, and vague unease < 1443603620 559520 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/move14]]4 move10 02 5* 03Oerjan 5* 10moved [[02Non-Specific Assignment10]] to [[Non-specific assignment]]: Not a proper name < 1443603626 881420 :heddwch!heddwch@76.8.3.189 QUIT :Read error: Connection reset by peer < 1443603680 469860 :heddwch!heddwch@76.8.3.189 JOIN :#esoteric < 1443603842 868541 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :b_jonas: http://nethack4.org/media/alex/ayacc/ayacc.pl if that's still relevant. < 1443603847 355379 :J_Arcane!~chatzilla@37-219-59-230.nat.bb.dnainternet.fi JOIN :#esoteric < 1443603884 772671 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: thanks < 1443603965 203088 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`le/rn ayacc/ayacc is ais523's yacc parser generator implementation, get it from http://nethack4.org/media/alex/ayacc/ayacc.pl < 1443603967 659129 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «ayacc» < 1443603971 299431 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? ayacc < 1443603972 444858 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ayacc is ais523's yacc parser generator implementation, get it from http://nethack4.org/media/alex/ayacc/ayacc.pl < 1443604038 231041 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Non-specific assignment14]]4 10 02http://esolangs.org/w/index.php?diff=44558&oldid=44557 5* 03Oerjan 5* (+0) 10case and grm < 1443604225 535195 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang talk:Sandbox14]]4 10 02http://esolangs.org/w/index.php?diff=44559&oldid=43717 5* 03Oerjan 5* (-703) 10C'est vrai! < 1443604454 351820 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I remember when some of my friends made a roguelike for Ludum Dare < 1443604465 517297 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It had, iirc, "Dutch" as a race < 1443604708 821871 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And the name generator gave you the same name ("Colin") unless you were a specific race/class combination < 1443604908 101131 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yeah, the races were Human, Dutch, Elf, Dwarf, Halfling, and Quarterling, and the classes were Miner, Attorney, Clog Maker, Huntsman, Chef, Tourist, and Dog < 1443604999 436998 :myname!~myname@84.200.43.57 PRIVMSG #esoteric ::D < 1443605012 564590 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Zzo38/FurryScript14]]4 10 02http://esolangs.org/w/index.php?diff=44560&oldid=43724 5* 03Oerjan 5* (+8) 10wayback < 1443605022 730897 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i'd love to play a dwarven attorney < 1443605038 551994 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :If you played as a Human Attorney and asked for a random name, it called you "Javert" < 1443605097 490735 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :surely that should be an inspector < 1443605132 126672 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :There isn't an inspector class < 1443605265 454187 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Object oriented thue14]]4 10 02http://esolangs.org/w/index.php?diff=44561&oldid=43728 5* 03Oerjan 5* (+0) 10/* External Resources */ casus belli < 1443605528 802987 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Human attorney, Dutch clog maker, elven huntsman, dwarven miner, halfling chef and quartering... I-don't-know-what, for maximum typecasting. < 1443605580 664775 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :A quarterling is like a halfling but even more so < 1443605603 614920 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Glypho14]]4 M10 02http://esolangs.org/w/index.php?diff=44562&oldid=43733 5* 03Oerjan 5* (+7) 10links < 1443605668 632324 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The mobs in the game were hedgehog, squirrel, duck, goose, orc, cave pirate, wolfman, fallen angel, and dragon < 1443605742 454147 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In ascending order of difficulty? < 1443605747 460175 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yes < 1443605776 442969 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1443605789 515964 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Source code is here: https://github.com/HackSoc/LudumDare29 < 1443605823 60555 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And we learnt the valuable lesson that a roguelike in C isn't very good for ludum dare when your build instructions are "make" < 1443605841 961767 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this is a quarterling hth http://yafgc.net/comic/2443-halfs/ < 1443605927 523226 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i see today's comic is up too, and confirming the speculation i read in the forum... < 1443605997 410203 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1443606295 922473 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 252 seconds < 1443607322 224050 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1443607560 694172 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Retina14]]4 M10 02http://esolangs.org/w/index.php?diff=44563&oldid=43939 5* 03Oerjan 5* (+0) 10section name < 1443608505 56528 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later < 1443609288 942432 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1443609728 971234 :mroman_!~mroman@160.85.232.158 JOIN :#esoteric < 1443609765 101093 :mroman_!~mroman@160.85.232.158 PRIVMSG #esoteric :How come to average number to reach 1.0 from 0.0 by adding a random number between 0..1 is not 2? < 1443609773 817987 :mroman_!~mroman@160.85.232.158 PRIVMSG #esoteric :*average number of steps < 1443609800 421801 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It isn't? < 1443609803 340421 :mroman_!~mroman@160.85.232.158 PRIVMSG #esoteric :No. < 1443609807 421823 :mroman_!~mroman@160.85.232.158 PRIVMSG #esoteric :It's e^1 < 1443609811 360178 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Huh < 1443609844 55856 :mroman_!~mroman@160.85.232.158 PRIVMSG #esoteric :double d = 0.0; while(d < 1.0) { d += rnd(); steps++; } < 1443609848 134956 :mroman_!~mroman@160.85.232.158 PRIVMSG #esoteric :^- like that < 1443609853 928397 :mroman_!~mroman@160.85.232.158 PRIVMSG #esoteric :average number of steps will be e < 1443609969 672181 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :there are much more floats between 0 and 0.05 tthan between 0.05 and 0.1, arenkt they? < 1443609992 698103 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman_: well, it's more than 2 because the amount that you overshoot the target (1) is lost. < 1443610011 810322 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :also that one < 1443610029 586833 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :e sounds reasonable because of the distribution of floats to me < 1443610055 905943 :mroman_!~mroman@160.85.232.158 PRIVMSG #esoteric :http://codepad.org/gbrKc3dw < 1443610087 30662 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(lost compared to just adding rnd and checking when you jump across a natural number) < 1443610147 660655 :Frooxius!~Frooxius@ip-78-102-58-167.net.upcbroadband.cz JOIN :#esoteric < 1443610185 792497 :mroman_!~mroman@160.85.232.158 PRIVMSG #esoteric :The expected value of rnd() is 0.5. So the sum of two rnd() is expected to be 1. < 1443610200 750387 :mroman_!~mroman@160.85.232.158 PRIVMSG #esoteric :Either it has something to do with the float/double data types < 1443610211 875738 :mroman_!~mroman@160.85.232.158 PRIVMSG #esoteric :or it's something else :) < 1443610220 421243 :mroman_!~mroman@160.85.232.158 PRIVMSG #esoteric :(or possibly the rnd() function itself) < 1443610297 337090 :mroman_!~mroman@160.85.232.158 PRIVMSG #esoteric :but it's too close to e to be a coincidence :) < 1443610399 837873 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :shachaf : ok, ty < 1443610567 771944 :mroman_!~mroman@160.85.232.158 PRIVMSG #esoteric :but yeah, you loose the overshoot < 1443610569 712489 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman_: yes, it is e; the probabilities that you're still below 1 after 0,1,2,...,k steps are 1,1,1/2,...,1/k!. < 1443610576 514387 :mroman_!~mroman@160.85.232.158 PRIVMSG #esoteric :if you'd do an average of rnd()+rnd() you'd get 1. < 1443610683 793001 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :In fact for a threshold 0 <= t <= 1, the expected number of steps to exceed t is e^t. But for t>1 it gets messy. < 1443610776 408072 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1443610869 258160 :GoToTell!~GotoTell@212-88-250-157.access.telenet.be PRIVMSG #esoteric :the possible sums 0 > n > 4 that's equals or exceeds 4 is: 1111 1112 1113 112 113 122 123 13 22 23 33 < 1443610910 920566 :GoToTell!~GotoTell@212-88-250-157.access.telenet.be PRIVMSG #esoteric :30 steps in total, divided by 11 possibilities = 2.7272727272727272727272727272727 < 1443610928 955456 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :GoToTell: that's for integers, I think the problem is for reals < 1443610952 338557 :mroman_!~mroman@160.85.232.158 PRIVMSG #esoteric :2.7272 looks like almost e though < 1443610982 123217 :GoToTell!~GotoTell@212-88-250-157.access.telenet.be PRIVMSG #esoteric :it will approach the same avg steps for reals for larger and larger integers. < 1443611026 637576 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :GoToTell : `0 > 4' ? < 1443611050 747227 :GoToTell!~GotoTell@212-88-250-157.access.telenet.be PRIVMSG #esoteric :0 > n > 4 < 1443611089 836987 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :obviously `n' can't *both* be greater than `4' *and* lesser than `0' .. < 1443611119 677896 :GoToTell!~GotoTell@212-88-250-157.access.telenet.be PRIVMSG #esoteric :Dammit. < 1443611134 289906 :GoToTell!~GotoTell@212-88-250-157.access.telenet.be PRIVMSG #esoteric :Symbol blindness. My apologies. < 1443611146 5651 :GoToTell!~GotoTell@212-88-250-157.access.telenet.be PRIVMSG #esoteric :0 < n < 4 < 1443611168 439588 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: so what do you know about exponential growth? < 1443611168 621402 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: my mistake, the srfi site. really great to see a benchmark < 1443611176 299538 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^style < 1443611176 477638 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube < 1443611211 488103 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^style alice < 1443611211 666223 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Selected style: alice (Books by Lewis Carroll) < 1443611218 136975 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: bread or taxes? < 1443611218 314929 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: at last the post shall carry, when thirteen days are gone and past of fnord. " for any one with true fnord fnord, fnord, fnord, < 1443611242 32695 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh well it was worth a try < 1443611244 842767 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^style irc < 1443611245 20687 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) < 1443611290 630542 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :where is the oots style from? < 1443611435 112515 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^style oots < 1443611435 290582 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Selected style: oots (Order Of The Stick) < 1443611439 907345 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^style irc < 1443611440 85241 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) < 1443611452 348299 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :myname: this wiki, I'd assume: http://oots.wikia.com/wiki/New_Edition < 1443611461 401 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :okay < 1443611480 483974 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(which has transcripts of the comics as you can see in that link) < 1443611576 302016 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, I think I scraped it from some wiki. < 1443611589 510287 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^style oots < 1443611589 688314 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Selected style: oots (Order Of The Stick) < 1443611593 473748 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: What do you sound like? < 1443611593 651789 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: was that supposed to get you down here. < 1443611607 663413 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: No, and I think that's probably a direct quote. < 1443611607 841474 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: as the shrew! even i don't get to live. your trial and then, gods willing, for that kind of stuff, i figured that one out on my own, but < 1443611617 595297 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: But what? < 1443611617 773310 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: you would probably have to skip the combat dialogue. someone hand that i think, " hmm, i think, " hmm, i think that i shall i prepare " roy" to live. < 1443612038 406414 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fungot: hmm, I think ♪ hmm, I think ♪ < 1443612038 584464 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: i get to go. y'know, the rune over behind xkyon's throne labeled " castle blowing her cover. < 1443612552 649433 :boily!~alexandre@96.127.201.149 QUIT :Quit: TRANSFINITE CHICKEN < 1443612552 866440 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Read error: Connection reset by peer < 1443612579 296157 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1443612583 798457 :Taneb!~Taneb@runciman.hacksoc.org NICK :nvd < 1443612588 77618 :nvd!~Taneb@runciman.hacksoc.org NICK :Taneb < 1443613055 598863 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :meanwhile, new OotS strip today < 1443613089 752539 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( `olist $N+1 ) < 1443613338 328177 :GoToTell!~GotoTell@212-88-250-157.access.telenet.be QUIT :Quit: HydraIRC -> http://www.hydrairc.com <- Like it? Visit #hydrairc on EFNet < 1443614352 406461 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 264 seconds < 1443614359 444755 :bender|!~benderx2@unaffiliated/bender/x-9459530 PRIVMSG #esoteric :. o O ( help ) < 1443614472 876325 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( In your thoughts, you're all alone. ) < 1443615328 488693 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Blarf. Is there any spec on the implementation of wait status manipulation macros, or can they do effectively anything? < 1443615447 203220 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :POSIX guarantees a number of things about them. < 1443615454 526888 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Each of the following statements shall apply to all macros unless explicitly stated otherwise: < 1443615457 567618 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Any definition of an object-like macro in a header shall expand to code that is fully protected by parentheses where necessary, so that it groups in an arbitrary expression as if it were a single identifier. < 1443615461 571507 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :All object-like macros listed as expanding to integer constant expressions shall additionally be suitable for use in #if preprocessing directives. < 1443615464 615798 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Any definition of a function-like macro in a header shall expand to code that evaluates each of its arguments exactly once, fully protected by parentheses where necessary, so that it is generally safe to use arbitrary expressions as arguments. < 1443615468 567420 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Any definition of a function-like macro in a header can be invoked in an expression anywhere a function with a compatible return type could be called." < 1443615478 392678 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think point #3 is what you might be most interested about. < 1443615547 435890 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(POSIX, System Interfaces > General Information > Use and Implementation of Macros.) < 1443615691 269451 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Okay, but that’s about macros in general. The structure of the status value is not specified, I assume. < 1443615758 829609 :MoALTz_!~no@78.11.179.104 JOIN :#esoteric < 1443615836 292846 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :The problem being of course that I can’t invoke a macro from non-C code. < 1443615878 758665 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :WEXITSTATUS is always the low-order 8 bits of the status value, but that's all you get. < 1443615892 688969 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :oωo? < 1443615916 736120 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not very helpful, perhaps, because the WIFEXITED test isn't specified, and WEXITSTATUS is only relevant if that is true. < 1443615939 344047 :MoALTz!~no@78.11.179.104 QUIT :Ping timeout: 244 seconds < 1443615981 282194 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, maybe I read the documentation of WEXITSTATUS wrong, sorry. < 1443616002 817185 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :I’m pretty sure that’s referring to the low bits of the value the program returned, not of the wait status. < 1443616006 265667 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. < 1443616029 589703 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :In particular, my system has “#define __WEXITSTATUS(status) (((status) & 0xff00) >> 8)”. < 1443616041 997553 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, I just read it too quickly. < 1443616089 634471 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But there's a guarantee about the value 0, so if you're okay with just differentiating "terminated normally with a return value of 0" from "everything else". < 1443616098 955622 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 260 seconds < 1443616130 215305 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Oh, now that sounds interesting. < 1443616161 871394 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"The value stored at the location pointed to by stat_loc shall be 0 if and only if the status returned is from a terminated child process that terminated by one of the following means: [three reasonable things]" < 1443616254 642010 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The "everything else" bucket does include "still running" as well as all the possible different ways of failing, though. < 1443616362 41189 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :It’s a good start, since it allows me to at least tell if nothing went wrong with a system() call. < 1443616885 974465 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :ACTION gets ideas about using libclang to get at the expansions of the macros and then interpret them, but that would require being able to create callbacks, because you can’t traverse a clang AST normally. < 1443616911 78802 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1443617234 139765 :TieSoul!~TieSoul@86.89.119.147 JOIN :#esoteric < 1443617498 981624 :TieSoul!~TieSoul@86.89.119.147 QUIT :Ping timeout: 260 seconds < 1443617531 50312 :TieSoul!~TieSoul@2a02:a448:4a62:0:548d:2bb6:e105:b48e JOIN :#esoteric < 1443618047 917632 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1443619185 406273 :doesthiswork1!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1443619185 654853 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Read error: Connection reset by peer < 1443619225 203776 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 244 seconds < 1443619325 579852 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1443619642 527192 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1443621222 662736 :theprobist69420!~theprobis@86.104.31.121 JOIN :#esoteric < 1443621227 953067 :theprobist69420!~theprobis@86.104.31.121 QUIT :Read error: Connection reset by peer < 1443621502 539415 :Frooxius!~Frooxius@ip-78-102-58-167.net.upcbroadband.cz QUIT :Ping timeout: 246 seconds < 1443622871 510673 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1443623163 547242 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 265 seconds < 1443623214 986596 :doesthiswork1!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1443623486 714058 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1443624120 488489 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 265 seconds < 1443625717 338726 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :thinking about the dropsort thingy < 1443625736 154607 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :instead of adding them to a list, add them to a list in the correct order < 1443625761 4792 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :like the insertion sort thingy < 1443625782 724502 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :and do this for the first, say, 20 elements < 1443625786 366744 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :then add them to a new list < 1443625809 912717 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :so you end up with several small sorted lists < 1443625813 633501 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :and you can merge them < 1443625869 722171 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :how awful is that? < 1443625998 838303 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`olist 1007 < 1443626000 622031 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :olist 1007: shachaf oerjan Sgeo FireFly boily nortti < 1443626343 611591 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :izabera: that's essentially mergesort < 1443626360 103402 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yes but the first part is faster < 1443626385 62861 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think it'd still work out O(nlogn) < 1443626430 462746 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :well of course.. < 1443626588 561501 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :If you make the lists for as long it's ascending/descending, then you get GHC's sort function < 1443626625 499042 :mroman_!~mroman@160.85.232.158 QUIT :Quit: Lost terminal < 1443627058 949447 :FireFly!~firefly@oftn/member/FireFly QUIT :Ping timeout: 246 seconds < 1443627069 448016 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :øøh list < 1443627078 578307 :heddwch!heddwch@76.8.3.189 QUIT :Ping timeout: 265 seconds < 1443627254 593057 :XorSwap!XorSwap@wpa-6-563.cc.umanitoba.ca JOIN :#esoteric < 1443627361 267429 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: why int-e would _allude_ to `olist without actually doing it... maybe he's turned into a vampire. < 1443627387 477440 :bender|!~benderx2@unaffiliated/bender/x-9459530 NICK :bender < 1443627406 35164 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well, neither int-e nor b_jonas are on the list < 1443627414 723984 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1443627416 151213 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but i admit it looks bad. pretty suspicious < 1443627434 127681 :FireFly!firefly@oftn/member/FireFly JOIN :#esoteric < 1443627442 465132 :heddwch!heddwch@76.8.3.189 JOIN :#esoteric < 1443627509 569012 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :which list? < 1443627564 713512 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? olist < 1443627565 931099 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Update notification for the webcomic Order of the Stick. http://www.giantitp.com/cgi-bin/GiantITP/ootscript < 1443627617 530865 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nostalgia time is over < 1443627621 376646 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` sed -i 's#cgi-bin.*#comics/ootslatest.html#' wisdom/olist < 1443627623 284528 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1443627757 790150 :bender!~benderx2@unaffiliated/bender/x-9459530 QUIT :Quit: [May the Kool Klocks Klan be with you!] < 1443627781 79167 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, that < 1443629017 157579 :XorSwap!XorSwap@wpa-6-563.cc.umanitoba.ca QUIT :Quit: Leaving < 1443629140 560398 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: I see you've added more characters. but the green vs white is inconsistent again. < 1443629217 331801 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: also, it looks as if either some of the characters in the kanji&hanzi region of the sample page were either of the wrong width or substituted from another font < 1443629230 286094 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :because they don't line up to a nice grid < 1443629242 178482 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or it could be just that the font is older than page < 1443629707 427387 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1443630021 844021 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1443630127 447862 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net JOIN :#esoteric < 1443630237 40112 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Haneb < 1443630244 445545 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :hellochaf < 1443630258 697028 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what do you think of this olist < 1443630298 510367 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think that it's an olist < 1443630368 432073 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are you a d&d rules expert < 1443630376 655861 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :shouldn't what's-his-name be dead by now < 1443630558 289457 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's just a flesh wound < 1443630626 570636 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :negative hit points? < 1443630633 146156 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this game is bizarre < 1443630759 93443 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org JOIN :#esoteric < 1443630771 61294 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :I would like to see LISP based on another structure besides Lists. < 1443630783 922025 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :Table is sort of like that for Associative Arrays, I suppose < 1443630799 970919 :bb010g!uid21050@gateway/web/irccloud.com/x-nxsdjxbojxcjijcb QUIT :Quit: Connection closed for inactivity < 1443630822 782864 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf: in 4e, you can survive up to negative half your health < 1443630831 522761 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(rounded towards zero) < 1443630836 41646 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this is 3.5e < 1443630846 110536 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :does it only go to -10 or something? < 1443630872 5230 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also did this harm bring what's-his-name to 1 hp < 1443630873 710896 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I don't know 3.5e < 1443632479 84662 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1443632775 316443 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :can it go to -11 if you get a spinal tap < 1443632794 368372 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Man, I hope so < 1443633321 979367 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :> goldfish' "my amp goes to eleven" < 1443633323 296714 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘goldfish'’ < 1443633409 40768 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :alas, lambdabot has memory like a ... < 1443634132 222441 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org JOIN :#esoteric < 1443634163 581626 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :like an arrow < 1443634166 328487 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :otherwise lambdabot would be insane by now < 1443634214 462661 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :exsanity quodlibet < 1443634223 497195 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :exinsanity < 1443634793 548524 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1443636674 563987 :mauris_!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1443636799 129954 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1443636880 511025 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 265 seconds < 1443636987 963067 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net JOIN :#esoteric < 1443637217 943908 :bb010g!uid21050@gateway/web/irccloud.com/x-wipmiimjxazbscsr JOIN :#esoteric < 1443637329 114590 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org JOIN :#esoteric < 1443637811 96831 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Gnight < 1443637820 884986 :TieSoul!~TieSoul@2a02:a448:4a62:0:548d:2bb6:e105:b48e QUIT :Read error: Connection reset by peer < 1443637859 93312 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1443637924 140226 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org JOIN :#esoteric < 1443638643 109282 :JesseH!~JesseH@oftn/member/JesseH JOIN :#esoteric < 1443638712 539651 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :Anyone on? < 1443638855 455893 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net PRIVMSG #esoteric :`echo `whoami` is on < 1443638856 268023 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​`whoami` is on < 1443638859 668829 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net PRIVMSG #esoteric ::( < 1443638907 848650 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`whoami < 1443638908 888324 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :whoami: cannot find name for user ID 5000 < 1443638922 335629 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` wc -l /etc/passwd < 1443638923 730647 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wc: /etc/passwd: No such file or directory < 1443638969 986324 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net PRIVMSG #esoteric :hah < 1443638983 64549 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net PRIVMSG #esoteric :no passwd file = no sudo, I presume < 1443639002 214004 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net PRIVMSG #esoteric :at least, that would make sense < 1443639333 579343 :mauris_!~mauris@unaffiliated/nooodl NICK :mauris < 1443639772 925300 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1443639919 83881 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1443640716 140393 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` who am i < 1443640717 45701 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1443641049 294372 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`` can i condemn this man to slavery < 1443641050 185812 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bash: can: command not found < 1443641464 607642 :lemurian!~sh4n3@unaffiliated/lemurian JOIN :#esoteric < 1443641750 800714 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Quit: mihow < 1443642551 601903 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org JOIN :#esoteric < 1443642838 894078 :glowcoil!uid3405@gateway/web/irccloud.com/x-egytuiuhqgxlfvzj JOIN :#esoteric < 1443642874 168641 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Zachgates 5* 10New user account < 1443643081 997435 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net JOIN :#esoteric < 1443643139 163573 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1443643207 734852 :qwertyo!~qwertyo1@2620:101:f000:3006:1::894 JOIN :#esoteric < 1443643503 259853 :qwertyo!~qwertyo1@2620:101:f000:3006:1::894 QUIT :Quit: Leaving < 1443644084 583504 :mauris!~mauris@unaffiliated/nooodl QUIT :Read error: Connection reset by peer < 1443644241 424704 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1443644355 839393 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1443644985 125521 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : no passwd file = no sudo, I presume <-- it runs in some sort of container too iirc. It used to use User mode linux, not sure it it migrated to something more modern or not < 1443645308 140436 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org JOIN :#esoteric < 1443645372 119669 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Still UML. < 1443645418 937422 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(The sandbox itself is called "UMLBox".) < 1443645468 823262 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, I know, I use it for another purpose myself < 1443645514 825618 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, I actually run apparmor + umlbox to try to protect against bugs in umlbox as well < 1443645800 242839 :bb010g!uid21050@gateway/web/irccloud.com/x-wipmiimjxazbscsr QUIT :Quit: Connection closed for inactivity < 1443646143 546648 :danofthedeep!~danofthed@c-50-128-162-167.hsd1.fl.comcast.net JOIN :#esoteric < 1443646394 607865 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1443646531 800875 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net QUIT :Quit: Leaving < 1443646617 550640 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 255 seconds < 1443646679 136581 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1443646739 116569 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org JOIN :#esoteric < 1443646777 475971 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :@tell oerjan yafgc is a drug, you should warn people before posting links like that < 1443646777 691260 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1443647184 564955 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 255 seconds < 1443647329 937028 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1443647566 548836 :MoALTz_!~no@78.11.179.104 QUIT :Quit: Leaving < 1443647697 441794 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 255 seconds < 1443648142 849539 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :uGH < 1443648148 424840 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :*Ugh < 1443648256 260585 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :I'm modifying a stripped-down variant of a toy language called "IMP" by Jay Conrod (http://www.jayconrod.com/posts/37/a-simple-interpreter-from-scratch-in-python-part-1) and I'm trying to implement operator right associativity for a recently-added ^ operator (which I know is usually bitwise xor in programming, but I think it makes more sense to use it as exponentation for arithmetic). I have NO clue how to do it. < 1443648519 126081 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1443648566 151711 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org JOIN :#esoteric < 1443648596 526315 :lemurian!~sh4n3@unaffiliated/lemurian QUIT :Ping timeout: 265 seconds < 1443648684 780568 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :Anyone have any ideas? < 1443648744 126193 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :How are you parsing? < 1443648763 423062 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :Melvar: Combinators. How else? xD < 1443648785 183575 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :I'm a n00b, and it's based largely on the work of someone else who does parsers, so < 1443648796 367933 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :(who used parser combinators) < 1443648803 364413 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Well, how are you doing the operators in it? < 1443648827 361923 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :It' someone else's work, that I just barely understand < 1443648838 670861 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :The operator parser is produced with a FOR loop < 1443648873 773915 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :That produces a series of EXP parsers (which generate lists of things separated by other things) with ALTERNATE parsers separating them, such as to produce operator precedence < 1443648922 60132 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :I tried something that I doubted would work, but it worked better than I thought. That is, instead of crashing or producing random answers, it did absolutely nothing < 1443648988 308185 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :I may have to produce a "REVEXP" combinator that works in reverse < 1443649375 765593 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :I'm now going to make a language called "MegaStackLang", which should basically be the most powerful RPN language ever made. < 1443649381 100893 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :Sort of like PostScript < 1443649405 414677 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1443649444 405428 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :With FOR loops and all these nice things < 1443649467 364519 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :) x < 1443649472 765893 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :huh < 1443649475 633310 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :( x < 1443649475 811238 :idris-bot!~idris-bot@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :No such variable x < 1443649511 249171 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what's that apl/j like language of the guy that used to do stuff here? :s < 1443649528 917582 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 246 seconds < 1443649713 580943 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :hppavilion[1]: Will it allow a foreach-until loop? < 1443649733 406722 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :Melvar: Never head of that loop < 1443649738 116462 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :But probably yes < 1443649748 653529 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Quit: mihow < 1443649850 730752 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Because I once got to use this crazy forth variant that allowed any loop opener to be used with any loop closer, and what I was doing was most easily expressed by opening with foreach and closing with until. < 1443650158 228925 :glowcoil!uid3405@gateway/web/irccloud.com/x-egytuiuhqgxlfvzj QUIT :Quit: Connection closed for inactivity < 1443650321 239949 :danofthedeep!~danofthed@c-50-128-162-167.hsd1.fl.comcast.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1443650458 332599 :danofthedeep!~danofthed@c-50-128-162-167.hsd1.fl.comcast.net JOIN :#esoteric < 1443650652 325832 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :SO my syntax is fairly simple < 1443650674 317774 :Melvar!~melvar@dslb-092-072-164-249.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :hppavilion[1]: Okay, so, the right-associative operator should be doable without Exp, because Exp is meant to avoid left-recursion, but you can parse a right-associative operator with right-recursion. < 1443650711 561944 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :It's a standard stacky lang with the added part where {...code...} is lazily evaluated (that is, it's pushed on the stack to be evaluated later) < 1443650768 418095 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org PRIVMSG #esoteric :(This is for MegaStackLang) < 1443650999 188768 :danofthedeep!~danofthed@c-50-128-162-167.hsd1.fl.comcast.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1443651059 132924 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1443651961 504830 :Frooxius!~Frooxius@ip-78-102-58-167.net.upcbroadband.cz JOIN :#esoteric < 1443652223 928037 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1443652705 137938 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org JOIN :#esoteric < 1443652959 61920 :hppavilion[1]!~Devourero@74-114-87-94.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1443653637 525459 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 255 seconds < 1443654713 471588 :danofthedeep!~danofthed@c-50-128-162-167.hsd1.fl.comcast.net JOIN :#esoteric < 1443655041 557668 :erdic!~erdic@unaffiliated/motley QUIT :Quit: leaving < 1443655056 237490 :hppavilion[1]!~Devourero@133-171-58-66.gci.net JOIN :#esoteric < 1443655143 40226 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1443655751 889796 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It would be great to have a language where <<<<<<< etc. are valid identifiers, to make merges difficult. < 1443655854 312989 :FireFly!firefly@oftn/member/FireFly PRIVMSG #esoteric :[ 'myname: this one?' < 1443655854 966055 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :FireFly: myname: this one? < 1443655871 837097 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i mean common rather than valid < 1443655873 994136 :FireFly!firefly@oftn/member/FireFly PRIVMSG #esoteric :Although that is J, not J-like < 1443656085 468600 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> let (<<<<<<<) = (*) in 3 <<<<<<< 5 < 1443656086 889953 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 15 < 1443656143 666168 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1443656773 938881 :sc00fy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 246 seconds < 1443656826 699523 :Phantom___Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1443656990 566617 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds