< 1445385632 350035 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1445385826 324008 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hm... < 1445385834 399839 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What particularly strange fields are there? < 1445385846 216156 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(the Reals make up a field, don't they?) < 1445385846 711057 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1445385893 678141 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Or rings. < 1445385896 625837 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Or anything like that. < 1445385958 292653 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :
ACTION rings the EsoBell
< 1445386122 200430 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :we have an esobell? < 1445386144 821398 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Yes. We do. < 1445386187 370510 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It's a psionically-driven bell that calls out to all denizens of #esoteric. It only calls the subconsious, though. < 1445386216 434111 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, it made me check the channel < 1445386230 233607 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(or perhaps that's just the way that #esoteric's name turns green in my IRC client) < 1445386305 927901 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :The green is just programming. The Esobell affects your subconsious; only those who care about what is being said can really perceive it, and even then, "perceive" is a strong word for it. < 1445386436 540515 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hello did someone call me? < 1445386447 644490 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I felt a strange sensation. It's kind of hard to describe < 1445386477 644543 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :That would be the esobell. Read up next time. < 1445386488 317787 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :xD < 1445386500 411185 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh I see < 1445386534 994033 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm not sure what would make a field "strange" < 1445386566 294084 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I'm looking for strange fields/rings that I can implement calculators for (similar to that first calculator we've all implemented, that asks for two numbers and an operation then returns the result) that uses something other than just the normal numbers we all deal with regularly < 1445386575 885149 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :kallisti: Esoness. < 1445386598 343440 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well it's just that a field by definition obeys pretty normal ass laws < 1445386606 101187 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so for it to be "strange" it would just have to be related to quirky objects < 1445386609 527617 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which isn't all that internet . < 1445386612 874476 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :uh, interesting < 1445386615 811301 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but also not very internet < 1445386635 667040 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I just want to deal with something other than numbers with a calculator xD < 1445386665 674251 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :For example, I could do Kleene algebra, but then I thought "I wonder if there's anything more interesting". < 1445386712 540467 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :uh... functions over fields are fields < 1445386750 600715 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :look at the Num instance for (->) defined by lambdabot < 1445386771 303380 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Hm... < 1445386792 726043 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> (+5) * (+10) $ 12 < 1445386794 330016 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : No instance for (Show a0) < 1445386794 507165 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : arising from a use of ‘show_M8463575583549700228385’ < 1445386794 507236 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : The type variable ‘a0’ is ambiguous < 1445386800 291458 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hm < 1445386806 364451 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :maybe it's not the same < 1445386830 1076 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :should be like: (*) f g x = f x * g x < 1445386863 286653 :ent0nces!~ent0nces@75-164-218-244.ptld.qwest.net JOIN :#esoteric < 1445386887 698224 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`relcome ent0nces < 1445386889 411872 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​08ent0nces: 09Welcome 02to 06the 13international 04hub 07for 08esoteric 09programming 02language 06design 13and 04deployment! 07For 08more 09information, 02check 06out 13our 04wiki: 07. 08(For 09the 02other 06kind 13of 04esoterica, 07try 08#esoteric 09on 02EFnet 06or 13DALnet.) < 1445386921 610343 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: does the esobell work on #esoteric /regulars/ only, or on any esolanger? < 1445387017 605398 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@instances Num < 1445387020 562640 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(Data.Fixed.Fixed a), (Shrink2 a), Blind a, CReal, Complex a, Double, Expr, Float, Int, Int16, Int32, Int64, Int8, Integer, Interval a, Large a, Natural, Product a, Ratio a, Small a, Sum a, Sym a, Word, Word16, Word32, Word64, Word8 < 1445387029 802564 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Shrink2? < 1445387038 933725 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric ::t Shrink2 < 1445387040 199585 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :a -> Shrink2 a < 1445387044 23107 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@src Shrink2 < 1445387044 200118 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Source not found. I don't think I can be your friend on Facebook anymore. < 1445387065 178339 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> Shrink2 5 * Shrink2 10 < 1445387066 899861 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Shrink2 {getShrink2 = 50} < 1445387073 265914 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :waow < 1445387082 49858 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :was the collection of insults in @src to at least make it more interesting when it inevitably fails to find whatever you're looking for? < 1445387082 558518 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@help < 1445387082 735389 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :help . Ask for help for . Try 'list' for all commands < 1445387085 634689 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What's a 'Small a'? < 1445387087 695241 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@list < 1445387087 872249 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :What module? Try @listmodules for some ideas. < 1445387091 994470 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@listmodules < 1445387092 171543 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime metar more oeis offlineRC pl pointful poll pretty quote search slap source spell system tell ticker todo topic type undo unlambda unmtl version where < 1445387094 192190 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: Usually it only affects denizens of the channel, but it has been known to trigger avid esolangers who haven't discovered the channel or who have but aren't very active < 1445387102 162106 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@list base < 1445387102 339187 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :base has no visible commands < 1445387111 533998 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@list instances < 1445387111 711036 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :instances provides: instances instances-importing < 1445387126 628308 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hm, guess you can't find the instances that are defined for a type? < 1445387131 39962 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :rather than the instances of a class? < 1445387134 149444 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@instances Shrink2 < 1445387135 585841 :variable!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1445387136 209270 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Couldn't find class `Shrink2'. Try @instances-importing < 1445387176 396998 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@unlambda ``.a.b.c < 1445387176 580949 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ab < 1445387176 851399 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Shrink2 is probably just some kind of newtype wrapper that has specific instances < 1445387194 66082 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I didn't realise lambdabot had an unlambda interp < 1445387217 157047 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@unlambda ```sii``si.a < 1445387217 334094 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa... < 1445387244 871393 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I wonder if anyone's made a Haskell compiler targeting unlambda. < 1445387299 199 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I wonder if anyone's made an Unlambda impl that has vaguely efficient integers < 1445387312 730075 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :unlambda has integers? < 1445387315 83118 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah that was my first thought "integers would be annoying" < 1445387349 776005 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :boily: it has church numerals, most vaguely functional languages do < 1445387362 613477 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah you just use church numerals. < 1445387367 774034 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@def church2 f x = f f x < 1445387368 935804 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : .L.hs:158:17: < 1445387369 112733 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: < 1445387369 112786 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : t1 ~ t1 -> t2 -> t < 1445387372 62169 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err < 1445387374 640063 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@def church2 f x = f (f x) < 1445387375 787537 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1445387382 776287 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@def church3 f x = f (f (f x)) < 1445387384 189272 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1445387394 884948 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@def dechurch x = (x (+1)) 0 < 1445387396 113275 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1445387397 963280 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :church numerals + bijection between integers and naturals = tada! integers < 1445387409 584223 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> dechurch church2 < 1445387412 282198 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 2 < 1445387412 459134 :bender|!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1445387418 615839 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> dechurch (church2 . church3) < 1445387420 593705 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 6 < 1445387423 79988 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> dechurch (church2 .church3) < 1445387425 6575 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 6 < 1445387425 183690 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err < 1445387427 148737 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> dechurch (church2 church3) < 1445387429 538658 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 9 < 1445387439 528583 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> dechurch (church3 church3 church3) < 1445387441 453664 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : *Exception: stack overflow < 1445387455 313142 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> dechurch (church3 (church3 church3)) < 1445387456 926103 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 19683 < 1445387459 315017 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :is there any effective difference between church numerals and peano arithmetic? they seem more or less to be the same representation < 1445387516 916443 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they seem different to me < 1445387525 904150 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :peano arithmetic is heavily based around a successor function < 1445387540 181569 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and the successor function is nontrivial to write in church arithmetic (you can do it but it's much more complex than some others) < 1445387563 398286 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you convert a church numeral into a peano number by giving it a successor and zero function as arguments < 1445387583 108214 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah right < 1445387585 757177 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you can think of church numerals as being represented as parameterizations of peano arithmetic < 1445387618 259590 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah I was just thinking visually they look similar < 1445387679 108820 :bender|!~benderx2@unaffiliated/bender/x-9459530 QUIT :Ping timeout: 240 seconds < 1445387695 846598 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :they look the same but they use different mathematical representations < 1445387803 861254 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :if you had a church number and you wanted to convert it to Peano you'd write f S Z, right? < 1445387828 827317 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so church numerals are like a fold function for peano numbers. < 1445387860 362997 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kallisti: right < 1445388254 33179 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the Recuderon is similar to unlambda / lambda calculus / system F with a specialized integer constructor < 1445388603 727720 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : What particularly strange fields are there? <-- well i mentioned p-adic fields the other day, and then there are galois fields. the fields of meromorphic functions are also nice... < 1445388615 35904 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh yeah. < 1445388634 748214 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :then there's the field of one element, which manages to be interesting despite not existing. < 1445388726 960079 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1445388817 662745 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : uh... functions over fields are fields <-- nope, you get things that you cannot divide on other than (const 0). (the nice thing about the meromorphic functions are that they evade this.) < 1445388922 753557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : look at the Num instance for (->) defined by lambdabot <-- i think that was removed < 1445388941 3955 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is in backscroll, in case it wasn't obvious
< 1445388943 616642 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :R I P < 1445389047 599130 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so it's a ring < 1445389204 768614 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : and the successor function is nontrivial to write in church arithmetic [...] <-- nothing compared to predecessor < 1445389210 86690 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :indeed < 1445389232 180472 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1445389416 699019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i did write deadfish in unlambda. it's probably not a good idea to square to much in that one. < 1445389421 688578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*too < 1445389477 529132 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm it's possibly you won't even notice until you try an o command (and possibly d) < 1445389481 776129 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*possible < 1445389496 326053 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :what does predecessor look like? < 1445389498 884234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait, maybe the 256 check makes it strict enough. < 1445389518 456247 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :seems... difficult < 1445389672 307639 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1445389677 339980 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1445389682 528004 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1445389715 581409 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1445390053 128784 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So, I think I've come up with two English words that are both extremely common, but when you put one after the other, you get a phrase which is extremely rare. It probably just can't appear in any valid English sentence. < 1445390057 956097 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Spoiler: the phrase is "the and". < 1445390063 246726 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> 3^(3*3) < 1445390065 34658 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 19683 < 1445390115 493556 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 255 seconds < 1445390131 996206 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah I agree the and in that phrase probably isn't valid english. :> < 1445390155 458328 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I disagree. the English is valid, and the the and moreso. < 1445390189 433544 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :why can't it be the the and the and together making it invalid? < 1445390254 853124 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :tswett: 'the "and"' might occur sometimes < 1445390270 105545 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :/thə thʌ ənd thi: ænd/ < 1445390273 378526 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :"and the" is definitely a lot more common < 1445390275 51916 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :FreeFull: it certainly does. < 1445390292 222700 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ITC: irresponsible lack of quotation marks usage. BUT IS IT INVALID ENGLISH? (warning: you will be labeled a dirty prescriptivist if you disagree with me) < 1445390311 732804 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nothing wrong with not using quotation marks hth < 1445390324 143224 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kallisti: you can basically encode \n -> fst (n (\(x,y) -> (y,y+1)) (0,0)) < 1445390332 366198 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :/θʌ/? < 1445390334 800554 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I assert that a phrase such as "the the and the and" is obviously not a real usage of the phrase "the and". < 1445390341 267961 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :boily: doink < 1445390342 209654 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> (3^3)^3 < 1445390343 773141 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 19683 < 1445390357 402324 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :/ðə ðʌ ənd ði: ænd/ < 1445390368 434920 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it is an imaginary usage of the phrase within the imaginary plane of english phrases. < 1445390383 651614 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The complex plane? < 1445390392 917037 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :nope < 1445390429 571718 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :tswett: How about "the of"? < 1445390516 838925 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :FreeFull: hmm. Yeah, that also seems illegal in all contexts. < 1445390538 483074 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :presumably, you want a usage in which both the "the" and the "and" are used rather than mentioned. < 1445390542 591003 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :the the and of the the of. < 1445390545 53571 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FreeFull: you can interpret "of" as a proper noun, at a stretch < 1445390587 170828 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sort-of like TURKEY BOMB, except with an of instead of a TURKEY BOMB < 1445390597 996584 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm this doesn't work in norwegian because the word for "the" is also a pronoun. < 1445390613 335150 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Polish doesn't have a word for "the" < 1445390643 889728 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(or several, if you consider number/gender) < 1445390647 747437 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Read error: Connection reset by peer < 1445390655 78982 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1445390711 943965 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: I, you, he, she, the? < 1445390833 295504 :doesthiswork1!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1445390833 566665 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Read error: Connection reset by peer < 1445390869 132386 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: "den/det" ~ it, "de" ~ they < 1445390907 561296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also the "of" doesn't work if you're willing to use slightly archaic grammar < 1445390944 63746 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1445390944 345560 :doesthiswork1!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Read error: Connection reset by peer < 1445390944 884190 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(you can then have prepositional phrases before the noun) < 1445391002 277497 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1445391002 602145 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Read error: Connection reset by peer < 1445391005 819317 :doesthiswork1!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1445391087 441335 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I realized something about DRM and shit. < 1445391090 120578 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :notre fungot, qui êtes aux cieux, que ton baragouinage soit sanctifié, protège-nous de la grammaire norvégienne... < 1445391090 297710 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: the seventh bit set, and their abbreviations. the color ram which is used. the variable(s) in the character, and therefore most advanced. the < 1445391105 177332 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :hppavilion[1]: What did you realise? < 1445391106 666202 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :You know how you can't make a proprietary application in Python because then people can crack it? < 1445391140 757519 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Really, you can. Just make sure to bundle the code into an executable ahead of time < 1445391145 942674 :boily!~alexandre@96.127.201.149 QUIT :Quit: THORN CHICKEN < 1445391147 316806 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: oh I see so you pass a tuple to the church numeral. the wikipedia definition was confusing me < 1445391157 55402 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Any proprietay application will be broken someday; it's just a matter of time. < 1445391196 795561 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :If you implement it in Python or something, it will be cracked more easily, but that doesn't matter; society has conditioned us not to pirate software like that and the ones who it didn't work on will pirate it anyway. < 1445391213 437514 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :same with open source applications, we will all fall victim to the heat death of the universe. < 1445391217 664354 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(Of course, that doesn't mean it isn't /slow/, and if the application has trade secrets, then...) < 1445391246 626293 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Meh, proprietary is a legal thing, ease of access to source is a technical thing < 1445391279 271105 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Yep. < 1445391306 933750 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :My point is that you might as well make a major application that you plan on selling in Python if speed isn't a concern. < 1445391316 746390 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :doesn't the py2exe stuff just bundle the python bytecode interpreter and point it to your compiled scripts? < 1445391322 75307 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :seems pretty easy to reverse engineer < 1445391336 515558 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kallisti: that's probably more efficient somehow, if my brain could grasp it < 1445391341 29785 :pikhq_!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Stupid work, injecting virons into me. < 1445391402 883955 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :kallisti: I know, it is easy to reverse engineer < 1445391414 686151 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :My POINT is that it doesn't matter how easy it is to reverse engineer < 1445391436 927116 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh, sure < 1445391450 364261 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It'll be broken eventually no matter what you do and the pirates are going to pirate it; but most of your buyers think piracy is evil and thus won't < 1445391497 564130 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I agree with that. I didn't get that from what you were saying though. sounded like you were saying that bundling an exe was "the solution" to Python being easy to crack. < 1445391502 418035 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Now, you file is still pretty big and it's slow, but if that doesn't matter then you might as well just use python. < 1445391543 173111 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :kallisti: Ah, no. You do probably need to make it an exe (else it's too complicated for some people), but otherwise you're fine. < 1445391575 591723 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I used to really enjoy Python... when it was the only language I knew... when I was only two years or so into learning how to program... and singing guido's praises like a mindless drone with the other really bad Python programmers that make up the "Pythonic programmer community" < 1445391720 478460 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's an okay language, I guess. it's hard for me to like it now. It's like Ive escaped some kind of secret brainwashing cult < 1445391772 78894 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :programming languages. scary stuff. < 1445391802 464043 :pikhq_!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Python doesn't suck. I think that's its primary strength. < 1445391808 912272 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah pretty much < 1445391826 347623 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :could be worse. I could have drank the Scheme or Ruby kool-aid. I've heard that stuff is pretty potent. < 1445391911 883212 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was fairly about Ruby for a while. < 1445391986 891497 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think at some point in the programming experience you go from being resistant to other methodologies other than your favorite pet idea, to being able to adapt what you've learn from different tools when using others. < 1445392002 648591 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :at least that's been my experience < 1445392113 916702 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think it goes hand-in-hand with understanding that, what originally seemed like very divergent modes of expressing a computation are actually representing the same underlying ideas. < 1445392700 980345 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :asyncronous while would be useful < 1445392729 587102 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Exit the while loop the MOMENT the next atomic operation finishes after the condition stops being "true" < 1445392803 873403 :aretecode!~aretecode@64.120.6.170 QUIT :Read error: Connection reset by peer < 1445392979 220464 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1445393011 133958 :aretecode!~aretecode@64.120.6.170 JOIN :#esoteric < 1445394068 315525 :ent0nces!~ent0nces@75-164-218-244.ptld.qwest.net QUIT :Ping timeout: 244 seconds < 1445394109 147299 :ent0nces!~ent0nces@67-5-169-50.ptld.qwest.net JOIN :#esoteric < 1445396657 839661 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1445397003 984536 :bb010g!uid21050@gateway/web/irccloud.com/x-sbbhtycazvkyzeec QUIT :Quit: Connection closed for inactivity < 1445397150 366658 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hppavilion[1]: pretty sure there's something like that in the JS async library < 1445397161 838811 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Huh < 1445397267 691174 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hm maybe not < 1445397278 403214 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :not exactly in the way you described < 1445397338 612457 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but most of the iteration functions in async.js allow you to simply break out of the loop by calling the continuation with an error result (or not calling it at all, though I'm not sure you'll get a result at that point) < 1445397365 673257 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :https://github.com/caolan/async#each < 1445397368 894191 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :like this one for example < 1445397402 911746 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :looks like there's async.whilst < 1445397408 415883 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Repeatedly call fn, while test returns true. Calls callback when stopped, or an error occurs. < 1445397415 428196 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :whilst(test, fn, callback) < 1445397419 498535 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :test() - synchronous truth test to perform before each execution of fn < 1445397426 300463 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fn(callback) - A function which is called each time test passes. The function is passed a callback(err), which must be called once it has completed with an optional err argument. < 1445397431 543228 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :callback(err) - A callback which is called after the test fails and repeated execution of fn has stopped. < 1445397474 879258 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I used async.js quite a bit when working on an express-based website. it's pretty handy. < 1445397499 885107 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :async.during is similar but uses an async conditional < 1445397586 10103 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :async.waterfall is pretty nice, though it's basically a continuation monad. javascript would be so much better with something like do notation. < 1445397728 523443 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :apparently since 2010 wikipedia has disagreed with our wiki on what "turing tarpit" means https://en.wikipedia.org/w/index.php?title=Turing_tarpit&diff=343527061&oldid=343523576 < 1445397733 439349 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :for all javascript's flaws, and as much as Python "doesn't suck", I can safely say that creating something like async.js in Python would be completely impractical < 1445397745 643553 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :because of the lack of a multi-line lambda construct in Python < 1445397774 902220 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :this is the biggest flaw of Python IMO < 1445397785 33506 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: verifiability, not truth ;-) < 1445397801 8197 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(that said, the sources may have been correct at the time, and we may have forcibly redefined the phrase from under them) < 1445397862 852070 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well this was spurred by this recent edit https://en.wikipedia.org/w/index.php?title=Esoteric_programming_language&action=edit&undoafter=681716919&undo=686669920 < 1445397871 838057 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think ais523 is right on this one < 1445397885 693320 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in other words, someone forced the article about esolangs to use the wp definition < 1445397894 298039 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :a lot of stuff on wikipedia around that time had something of an "esolang bias" < 1445397905 258138 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :probably as a result of contributors from this community < 1445397907 319587 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh right, the Esolang AfDs < 1445397912 537728 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's actually sort-of the other way round < 1445397929 632173 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Esolang was originally created in order to have somewhere to store all the esolang articles that Wikipedia wouldn't accept < 1445397987 665271 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :original research lack of sources not notable etc < 1445397993 957420 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :makes sense < 1445398009 160081 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but I think we're talking about different instances of time < 1445398017 877341 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :2010 isn't exactly when the esolang wiki was made was it? < 1445398022 724687 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :https://en.wikipedia.org/wiki/User:Ais523/esolangafd < 1445398025 616301 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the question is, what should that last link be saying < 1445398031 826485 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(that i gave) < 1445398055 421682 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it was happening often enough that I created a useful navbox to put on any future mass esolang nominations, so that people could easily find the previous cases < 1445398057 47549 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it makes no sense to include turing tarpits in the article if it isn't using our definition < 1445398098 820875 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :friendly reminder that I originally created this when I was 15 https://en.wikipedia.org/wiki/Wikipedia:Don%27t-give-a-fuckism and it has somehow survived 5 deletion nominations. < 1445398103 677105 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :wikipedia is weird < 1445398212 65634 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I don't know, WP-turing-tarpits tend to be esolangs too < 1445398226 393677 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :metaspace wikipedia is pretty much anything-goes though < 1445398232 52850 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's pretty hard to get deleted there < 1445398234 950474 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :given that the implication is still that they're excessively low-level to the point of unusability, just that they don't have golfed specs < 1445398249 977896 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kallisti: I patrol the weird namespaces sometimes < 1445398258 459723 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it took me a year and two tries to get a corrupted page in TimedText: deleted < 1445398275 921288 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Wikipedia:Miscellany_for_deletion/TimedText:Depeche_mode_pipeline.ogg.en.srt_%282nd_nomination%29 < 1445398290 853826 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one of the more ridiculous page names of pages I've created < 1445398301 300771 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm not familiar with that namespace < 1445398307 250233 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's for subtitles < 1445398324 597671 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh, must be new. or, well, newer than when I stopped caring about wikipedia editing. < 1445398332 316305 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep, reasonably new < 1445398335 491291 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which was probably around 2008-2009 maybe? < 1445398340 247561 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :maybe earlier < 1445398405 500102 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :https://en.wikipedia.org/wiki/User:The_prophet_wizard_of_the_crayon_cake your user page will never be as cool as mine. B) < 1445398538 408680 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my userpage used to have a clock written in pure wikimarkup < 1445398546 409588 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I blanked it a while back when I retired < 1445398553 449698 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and now that MediaWiki supports Lua it'd be way less impressive < 1445398563 899486 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh didn't know that < 1445398585 827787 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I wonder why they chose Lua < 1445398589 596228 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :easy to sandbox? < 1445398753 52205 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :IIRC the lua runtime has some pretty nice features to restrict IO < 1445398780 320259 :Xe!~xe@unaffiliated/xe PRIVMSG #esoteric :i use lua a lot because it is easy to embed and doesn't reek of ass < 1445398802 145611 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah Lua as a language is pretty solid. my primary complaint with Lua is the desert of standard libraries < 1445398814 405502 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: however, there are few esolangs that are _not_ wp-turing-tarpits. < 1445398891 845388 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :indeed < 1445398906 422328 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Funge-98 is an exception here < 1445398965 208706 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's not hard to make a decent dynamically typed language. strong typing, arbitrarily complex anonymous functions, no weird type coercions (see: strong typing), extensible runtime based largely on some kind of hash/table structure. < 1445398970 285859 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yet somehow everyone fucks it up < 1445399118 699703 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I like the typing discipline in which everything is a string and strings that look like ints or floats are optimized internally, but it doesn't work so well for functions < 1445399150 469534 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :if you go down that road you need to not overload your operators with 5 million different special cased coercion rules < 1445399161 240612 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :something like perl where you have int-context operators vs string context operators < 1445399175 376567 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION makes some noise https://en.wikipedia.org/w/index.php?title=Talk:Esoteric_programming_language&diff=686759139&oldid=651792496
< 1445399279 266588 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :now that GHC has OverloadedLists you can actually make a pretty convincing javascript-like type coercion system in Haskell < 1445399280 626674 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kallisti: well such a language doesn't need coercion rules < 1445399287 630705 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it only has one type, thus no coercing < 1445399290 713788 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :without having to call any conversion functions on syntactic literals < 1445399297 589775 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(it does, however, need rules for how things like addition work on strings that don't look like ints) < 1445399312 127060 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah that's really not any different from what I'm saying < 1445399329 155817 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you've just decided to say "there aren't types. there's just operators that interpret the data different in different contexts" < 1445399331 527430 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which is basically weak typing < 1445399385 261037 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kallisti: well, there's a huge difference between languages like Javascript, in which 1 !== "1" < 1445399389 431884 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I still want to see a Topology-Oriented Fungeoid < 1445399400 45538 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and Tcl, in which the difference between JS-== and JS-=== isn't even meaningful < 1445399407 410278 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And I still don't understand topology. Anyone have any suggestions? < 1445399413 410544 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I like Tcl-style languages and dislike JS-style languages < 1445399427 247046 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm pretty sure no one actually likes javascript weak typing < 1445399453 678806 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Weak typing is evil. Strong typing where you can define conversions is where it's at. < 1445399476 428346 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :perl manages to have a sensible weak typing convention actually < 1445399486 45319 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :eq is string equality and == is integer equality < 1445399490 93032 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :. is concatenation and + is addition < 1445399494 726425 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ew. < 1445399496 624053 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :rather than overloading everything into == and + < 1445399500 588154 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :see: javascript < 1445399500 765375 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, Perl is mostly emulating the "everything is a string" model < 1445399510 302970 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but then it has a few corner cases because it's Perl < 1445399510 852641 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds < 1445399513 757448 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and then they added references < 1445399529 200390 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I prefer Python. Of course. xD. < 1445399567 968075 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I've been enjoying my Lua hacking while working on dota 2 mods actually < 1445399568 189627 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Someone should change the front page to Thue or Emmental or something. Then we'd get too many derivatives of a different language instead. < 1445399614 215318 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the only problems I have with Lua is lack of good libraries (which I think I mentioned), and lack of a decent module system. only one of those is really a problem with the language, and a sensible module system could easily be added to it (something like require.js or node.js module system for example) < 1445399616 915574 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but no one has done it yet. < 1445399648 419446 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hppavilion[1]: I think the plan was to change it to Funciton, but nobody's written a blurb for it < 1445399651 108642 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: it's already been Emmental < 1445399660 309681 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh.' < 1445399669 618326 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh yeah lack of assignment-as-expression is pretty annoying ,but not the end of the world < 1445399680 680550 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and nothing like perl's // < 1445399692 867795 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Right, right. I like assignment-as-expression, even though I've never used it. < 1445399694 923742 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :strangely enough, nobody's nominated Thue yet < 1445399700 990719 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :most of my code in Lua is literally just getting stuff from tables then checking for nil, then doing stuff with the table < 1445399706 673640 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I NOMINATE THUE! < 1445399707 452361 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I NOMINATE THUE! < 1445399707 882656 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I NOMINATE THUE! < 1445399708 746136 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :when it would be more sensible to have a built-in construct to do it < 1445399718 853821 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: there's a page to put nominations hth < 1445399723 15949 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh. < 1445399733 445293 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can only nominate once, though < 1445399735 211149 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Where? < 1445399738 483236 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the only thing we lack is a page for people to suggest blurbs < 1445399745 885394 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :http://esolangs.org/wiki/Featured_languages/Candidates < 1445399754 292564 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, until the language gets accepted < 1445399757 714331 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :we were planning to change it more often < 1445399758 703536 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :give Lua a decent module system, or give Python multi-line lambdas. and I'd be happy with that. < 1445399763 313489 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but all the admins are too busy < 1445399778 702891 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Meh, I think I responded to spam < 1445399786 580876 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :uh oh < 1445399809 294101 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Hopefully the worst that could happen is I made a fool of myself and/or signed up for more spam < 1445399841 92814 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :It was from some gmail address telling me to connect to someone with the same name. I just said "Who is this?", but the reply-to was different < 1445399848 745513 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Featured languages/Candidates14]]4 N10 02http://esolangs.org/w/index.php?oldid=44815 5* 03Hppavilion1 5* (+129) 10Attempted to nominate a language. May have instead turned Amsterdam into smoldering ruins. < 1445399873 434568 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Featured languages/Candidates14]]4 M10 02http://esolangs.org/w/index.php?diff=44816&oldid=44815 5* 03Hppavilion1 5* (+4) 10Fixed (?) formatting < 1445399884 987808 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I should really learn how wikimarkup works. < 1445399890 924599 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Thue is a good nom, anyway < 1445399954 893656 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What happens next? < 1445399978 115620 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :at the current rate of progress, heat death hth < 1445399979 583954 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1445400021 209560 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you need to persuade one of the admins to write a blurb for a featured article and get it onsite < 1445400028 557692 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :http://esolangs.org/wiki/Placement is awesome xD < 1445400030 46507 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and we're all busy, lazy or both (except possibly fizzie) < 1445400034 593706 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Oh no. < 1445400061 712223 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lol placement < 1445400098 892056 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I need to think of a good language for a name I just thought of... < 1445400162 18281 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Kleinfunge14]]4 N10 02http://esolangs.org/w/index.php?oldid=44817 5* 03Hppavilion1 5* (+108) 10Reserved Page < 1445400190 313804 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :one day humans will adapt to a zero entropy environment < 1445400193 251406 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(Not that language) < 1445400194 283182 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and heat death will be irrelevant < 1445400198 675065 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :True fact. < 1445400198 852233 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure lahey-lines really work on a klein bottle < 1445400219 13661 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :ais523: I was just naming the Topoligical Funge < 1445400233 163094 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :It has nothing to do with klein bottles, really. < 1445400238 204616 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so I assume it's a -93 derivative? (presumably you just swap both x and y coordinates when wrapping from one side to the other?) < 1445400239 837890 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right < 1445400281 361668 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :AFK < 1445400431 435391 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ais523: btw using === as an example of javascripts type system is kind of pointless because it's pretty much the only operator that does explicit strong typing < 1445400441 63120 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kallisti: * < 1445400442 824851 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :+ < 1445400457 146220 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :admittedly I can't think of others offhand but it wouldn't surprise me < 1445400469 958861 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :IIRC == isn't even transitive < 1445400479 16057 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm pretty sure + is not strongly typed because it coerces stuff < 1445400495 29074 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kallisti: "1" + "2" versus 1 + 2 < 1445400504 774796 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it doesn't coerce consistently, thus it's aware of argument types < 1445400516 779292 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes but 1 + "1" is "11" < 1445400520 240264 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so not 100% strongly typed, but not 100% weakly typed either < 1445400546 676840 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is my point, JavaScript isn't sufficiently weakly typed to work as a weakly typed language < 1445400547 844609 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :is that even a requirement of weak typing? < 1445400554 264974 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kallisti: they're extremes < 1445400554 509265 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :to be unaware of argument types? < 1445400567 803390 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in 100% weak typing, types don't even exist really < 1445400584 93083 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you only have one sort of data and talking about what "type" it is is meaningless, it just self-coerces < 1445400595 587462 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*datum, I guess < 1445400629 650310 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess the strongest possible typing is in languages like OCaml, where you can't even add two floats with the same operator you use to add two ints < 1445400682 286997 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well I wouldn't say that polymorphism removes strong typedness < 1445400683 35854 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net NICK :MDream < 1445400694 94692 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :weak typing is a really ambiguous concept though < 1445400718 284626 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :Crud, Yahoo Pipes is shut down < 1445400750 629583 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kallisti: polymorphism doesn't, it can only exist in the presence of at least moderately strong typing though < 1445400763 19359 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :otherwise you don't have enough of a type to be polymorphic /on/ < 1445400774 284946 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I guess polymorphism does kind of imply some form of weak typing. with typeclasses in Haskell you can completely emulate every minute detail of a perl or javascript-esque type system < 1445400798 611070 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but in doing so you basically work with only one type, which is what I think weak typing is all about really, a kind of polymorphic universal type < 1445400828 528790 :MDream!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :Yahoo pipes seemed neat, but I never figured out how to make it loop back on itself and filter well enough to really mess with it. < 1445400856 150905 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kallisti: right < 1445400906 995540 :MDream!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :Would have been fun to throw together an emulator in it, or kind of recursive Twitter chatbot. < 1445400935 422168 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :So is there some way I can easily encode Kleinfunge's topology? < 1445400945 726242 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Like, how a "straight" line moves, for example? < 1445400954 274799 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :And how wrapping works? < 1445400995 162568 :MDream!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :Yes. < 1445400996 461024 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(I'll probably make them two separate commands, l and w perhaps) < 1445401011 688134 :MDream!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Klein_bottle Look at the section on construction. < 1445401038 262896 :JesseH!~JesseH@oftn/member/JesseH JOIN :#esoteric < 1445401061 178230 :MDream!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :It's just a torus with one axis mirrored along the wraparound edge. < 1445401120 517773 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I was thinking of what would make the most sense for a weakly typed Haskell environment < 1445401127 158303 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and I think it's basically just the Convertible typeclass < 1445401127 335269 :MDream!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :Unless kleinfunge isn't to be neccesarily topologically equivalent to a klein bottle. < 1445401137 892717 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :with a library of functions that are overloaded on it < 1445401166 73105 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :if' :: (Convertible b Bool) -> b -> a -> a -> a < 1445401189 343442 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it gets kind of weird with number types though < 1445401201 724918 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :because you have to pick an arbitrary number type and assume everything that's number-like has a convertible instance for it < 1445401240 528903 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :actually I guess you could just use Num < 1445401250 459231 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(Convertible a n, Num n) should work fine no? < 1445401279 398283 :Sgeo__!~Sgeo@ool-44c0f875.dyn.optonline.net PRIVMSG #esoteric :@oots_update and the Order of the Stick Automatic FB page are on manual operation until further notice. < 1445401279 575220 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1445401316 861892 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the other approach is to have a WeakType typeclass that explicitly defines the set of things that you convert between: toBool, toString, toList, toObject, toNum, etc < 1445401386 957254 :JesseH!~JesseH@oftn/member/JesseH QUIT :Remote host closed the connection < 1445401467 177401 :jaboja!~jaboja@esa207.neoplus.adsl.tpnet.pl QUIT :Remote host closed the connection < 1445401472 462992 :aretecode!~aretecode@64.120.6.170 QUIT :Ping timeout: 265 seconds < 1445401487 921062 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Kleinfunge14]]4 M10 02http://esolangs.org/w/index.php?diff=44818&oldid=44817 5* 03Hppavilion1 5* (+24) 10Created empty wikitable (hopefully) < 1445401683 58082 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so i saw scott aaronson misspelling asperger as aspberger, and wanted to check in google to be sure. then i suddenly got the idea of seeing how well google's suggestions know me, by pushing one letter at a time and see if i needed 3 or 4 before it showed up. < 1445401691 207979 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :turns out i just needed 2 < 1445401711 558794 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :do you think there would be any benefit to being able to locally define instances in Haskell, rather than doing the newtype kind of stuff? < 1445401766 659479 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I've talked to people that want that kind of functionality, but to me newtyping and redefining instances along with GeneralizedNewtypeDeriving seems like a better approach < 1445401784 998166 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kallisti: edwardk has pretty good arguments for not allowing more than one instance of each class+type < 1445401799 998644 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :how often do you want to have an instance for only one expression? enough to warrant writing an entire typeclass instance for it? < 1445401835 159114 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :unless you have a way to name instances, and keep them out of bounds somehow until someone decides to bring them in < 1445401851 456204 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kallisti: have you seen the reflection library twh < 1445401873 205457 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I don't know what twh is < 1445401873 840418 :pikhq_!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :oerjan: We're pretty good at inference HTH. < 1445401877 631006 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but I have seen the reflection library yes < 1445401911 408030 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in any case, you basically _need_ to define a type to avoid incorehence. but you could do that locally as well... < 1445401946 275982 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this may all become moot once goldfire gets pi types working. < 1445401951 195367 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kallisti: "that would help" < 1445401959 474062 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan has an entire set of local acronyms, mostly ending in h < 1445401967 349996 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that you get used to after a while < 1445401978 227474 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :has it been that long < 1445401980 494172 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I could see the merits of being able to define the body of an instance declaration, then store it away into a name, without bring it into "scope" of the instance resolution mechanism < 1445401989 546925 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and then have a way to do like: let instance MyNameInstance in ... < 1445402006 349286 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :when he uses them, it gives me the impression that he's bitter about something < 1445402021 961830 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but you can do the same stuff with newtypes, in a more principle way. < 1445402024 826047 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Kleinfunge14]]4 M10 02http://esolangs.org/w/index.php?diff=44819&oldid=44818 5* 03Hppavilion1 5* (+1094) 10Added commands (nowhere near complete) < 1445402030 885 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :*principled < 1445402066 499824 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm acronyms as neurotic tics... < 1445402071 524780 :aretecode!~aretecode@64.120.6.170 JOIN :#esoteric < 1445402079 74730 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Kleinfunge14]]4 M10 02http://esolangs.org/w/index.php?diff=44820&oldid=44819 5* 03Hppavilion1 5* (+0) 10Fixed a command character < 1445402080 205697 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :for overlapping purposes you'd give the locally bound instance priority over everything else, even instances with the OVERLAPPING pragma < 1445402111 227403 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :speaking of OVERLAPPING and friends. I wonder if they'll ever make that part of the language syntax < 1445402116 312311 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :instance overlapping ... < 1445402122 319888 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :instead of {-# OVERLAPPING #-} < 1445402175 918395 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :"think of all the code we'd break" -- GHC devs, 1991-2015 < 1445402242 331148 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Kleinfunge14]]4 M10 02http://esolangs.org/w/index.php?diff=44821&oldid=44820 5* 03Hppavilion1 5* (+2) 10Wikimarkup error < 1445402276 804050 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :kallisti: I think they started saying that /before/ GHC was developed or started or conceived of or possible under the current laws of physics. < 1445402308 15417 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, i dislike that those pragmas change the semantics of code < 1445402313 757746 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :"but what if we break code that expects a completely different compiler named ghc in PATH?" -- GHC devs, 1991 < 1445402325 481328 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :anything that does should be triggered by a LANGUAGE one < 1445402347 12769 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: I honestly think that's the reasoning behind having them as pragmas. somewhere, someone named variable overlaps, overlapping, or overlappable < 1445402357 49908 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and they don't want to force that guy to do a find-replace on his source. :P < 1445402377 173741 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that was the original intent of the pragma system, that anything other than LANGUAGE could be ignored by a compiler that doesn't understand it, and code will still work fine. < 1445402400 795204 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :possibly less efficiently, but it will still have the same meaning < 1445402464 395767 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's definitely not a thing they should continue doing < 1445402474 336591 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :imagine if type families and other syntax changing extensions used pragmas instead... < 1445402480 245843 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :type {-# family #-} .... < 1445402493 191468 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OK, so I've added a thing to Kleinfunge that allows you to change the direction of down. < 1445402511 659798 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I guess it wouldn't work with type families because the rest of the declaration is completely different < 1445402515 385906 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :from a normal type declaration < 1445402529 651980 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :whereas the instance declaration is completely the same other than the overlap* qualifier < 1445402616 161650 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: I guess the problem with using a new LANGUAGE pragmas is that they already had an existing pragma called OverlappingInstances and it would get pretty weird to make a new extension with a slightly different name < 1445402629 171980 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kallisti: "family" is ok because it's not in a position that can be confused. indeed you can still use it as an identifier with type families enabled. < 1445402631 517159 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :PerInstanceOverlappingInstancesPragmaThing < 1445402639 718258 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Ping timeout: 264 seconds < 1445402656 353274 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kallisti: well i guess that's why they did it < 1445402703 685861 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and that they couldn't find a place to put just "overlapping" where an identifier couldn't be < 1445402724 151943 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and then if they made it so that you use OverlappingInstances, but now you have to have the pragmas... that breaks all the code that was previously using OverlappingInstances and expecting implicit module-wide behavior < 1445402753 232679 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think PerInstanceOverlappingInstances would have worked, though it's a pretty cumbersome name. :P < 1445402773 327531 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the nice thing about LANGUAGE pragmas is that the compiler can error if it doesn't support the extension < 1445402775 453928 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric ::( < 1445402784 615910 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :in this case there's no precedence for an OVERLAPS pragma so other compilers just silently ignore it < 1445402825 213671 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose at least the code will _eventually_ break < 1445402847 679109 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if the overlap is actually used. hm, i guess that's good enough in a sense. < 1445402852 113731 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :right but Hasell ain't about that life < 1445402889 203533 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Which life? < 1445402893 470679 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :The thug life? < 1445402899 787798 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hm, I guess the overlap would be a compile error still right? < 1445402904 138502 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :
ACTION apologizes profusely
< 1445402952 116350 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I think, in the old system, if there was ever a situation where the overlappable/overlapping system came into effect, it would have already resulted in a compile error, right? < 1445403010 597221 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it only happens in situations where they're equally specific instances < 1445403024 104322 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :then it chooses based on incoherence/the new overlap pragmas < 1445403096 732777 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh actually they are breaking code < 1445403107 492234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let type Test family = family < 1445403107 705483 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Parse failed: Parse error: family < 1445403124 829487 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that breaks even without the extension enabled < 1445403147 912750 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :too many cooks < 1445403185 251096 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@let family = 2 < 1445403187 278556 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1445403193 612573 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :huh < 1445403246 758084 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oerjan: are you sure it breaks without the extension? < 1445403283 909642 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh it does < 1445403285 904165 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :in ghci at least < 1445403320 697428 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i did, like, check < 1445403340 581797 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but are you SUUUUURE????? < 1445403378 476065 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fails in normal ghc too < 1445403380 985668 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :might be a bug? < 1445403416 452619 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1445403493 800505 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I could be wrong, but I'm pretty sure "family" is a valid type variable identifier in a Haskell2010 type declaration < 1445403510 884073 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :me too < 1445403676 880432 :doesthiswork1!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1445403785 784322 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :reported https://ghc.haskell.org/trac/ghc/ticket/10996#ticket < 1445403876 301704 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :nice < 1445403951 58285 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it should be easier to fix than some the other "GHC uses one LALR(1) parser grammar regardless of extensions enabled" bugs < 1445403978 69462 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*some of < 1445404028 24864 :ent0nces!~ent0nces@67-5-169-50.ptld.qwest.net QUIT :Remote host closed the connection < 1445404186 3066 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so the reason why family can still be allowed as a _value_ identifier, i think, is that the lexer knows whether type or value identifiers can follow. < 1445404226 836316 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(even with TypeFamilies enabled) < 1445404227 859823 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :> undefined :: family < 1445404229 303230 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:14: parse error on input ‘family’ < 1445404241 113700 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> family :: undefined < 1445404242 511585 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : No instance for (Num undefined1) arising from a use of ‘family’ < 1445404242 688598 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Possible fix: < 1445404242 688678 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : add (Num undefined1) to the context of < 1445404252 959512 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1445404258 189380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t family < 1445404259 246077 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Num a => a < 1445404263 463787 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :family = 2 < 1445404268 553849 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...oh right < 1445404303 998769 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let type hi :++ there = (hi, there) < 1445404305 779593 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1445404324 246551 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :s/hi/family/ and you see that things get weird. < 1445404362 262138 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ah yeah < 1445404381 832241 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1445404382 9482 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you could almost say < 1445404386 848027 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Haskell isn't a family-friendly language. :3 < 1445404390 224755 :variable!~variable@freebsd/developer/variable QUIT :Remote host closed the connection < 1445404407 553904 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose you _could_ hack around it, since :++ cannot follow type family < 1445404411 245031 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well, glasgow haskell < 1445404424 86407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(with family as the keyword) < 1445404447 737083 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yeah it's possible to disambiguate due to the forced uppercase restriction on monomorphic type names < 1445404463 601481 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um no < 1445404498 233291 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's because you can always distinguish an operator from an identifier < 1445404532 285755 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or do you have a different example in mind that would break < 1445404551 576192 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1445404561 738017 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you mean because "family" couldn't be one, right < 1445404580 918564 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think you mean "constructor" not monomorphic < 1445404586 291349 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :right < 1445404588 219524 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :type constructor < 1445404612 901595 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :@let type x = y < 1445404613 78870 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Parse failed: Illegal test declaration < 1445404623 572815 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1445404674 402057 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :basically I'm just saying that the only time you can have "family" after "type" is a) you have TypeFamilies enabled b) you're defining a type operator < 1445404698 118481 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1445404699 777257 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or any lower case identifier, for that matter < 1445404777 977080 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm honestly surprised no one has reported that parse error yet < 1445404793 326623 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it must be really new or just no one names anything family anymore < 1445404867 393121 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's probably because nearly everyone uses 1-char type variable names < 1445404875 812400 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or 3 at most < 1445405070 975879 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :https://ghc.haskell.org/trac/ghc/ticket/10800 < 1445405081 570268 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :jesus, up to 2 million type-level terms in the simplifier < 1445405248 984868 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm so 7.10.2 didn't fix all those < 1445405307 403661 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :https://ghc.haskell.org/trac/ghc/ticket/8582 this would be really nice to have. making pattern synonyms work with record syntax < 1445405326 693353 :kallisti!3260a08e@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :helps with some of the complaints people have about records not being extensible < 1445405348 959741 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1445405962 257734 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1445406240 243419 :variable!~variable@freebsd/developer/variable QUIT :Remote host closed the connection < 1445406279 164926 :tromp__!~tromp@rtc35-217.rentec.com JOIN :#esoteric < 1445406345 687720 :tromp!~tromp@rtc35-217.rentec.com QUIT :Remote host closed the connection < 1445408669 327452 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 244 seconds < 1445408748 63673 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1445408999 91129 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 240 seconds < 1445410258 458560 :aretecode!~aretecode@64.120.6.170 QUIT :Read error: Connection reset by peer < 1445410417 806665 :aretecode!~aretecode@64.120.6.170 JOIN :#esoteric < 1445410911 651062 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1445411230 850234 :lleu!~gnomebad@cpc15-croy20-2-0-cust489.croy.cable.virginm.net JOIN :#esoteric < 1445411231 65439 :lleu!~gnomebad@cpc15-croy20-2-0-cust489.croy.cable.virginm.net QUIT :Changing host < 1445411231 65489 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1445411567 437007 :aretecode!~aretecode@64.120.6.170 QUIT :Read error: Connection reset by peer < 1445411737 961192 :aretecode!~aretecode@64.120.6.170 JOIN :#esoteric < 1445411853 342900 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Ping timeout: 268 seconds < 1445412837 846687 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1445413496 570703 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1445413906 329537 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Read error: Connection reset by peer < 1445416419 805173 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1445416512 243034 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 244 seconds < 1445416585 286260 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1445416730 805808 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 260 seconds < 1445416962 38026 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1445417011 297553 :teuchter!choochter@nat/ibm/x-qpaowtdbdhtfrcai QUIT :Read error: Connection reset by peer < 1445418634 837129 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1445419921 631485 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1445420229 317116 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 250 seconds < 1445420386 944272 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1445420728 571041 :J_Arcane!~chatzilla@37-219-247-16.nat.bb.dnainternet.fi QUIT :Ping timeout: 265 seconds < 1445420799 307506 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1445421503 301953 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 250 seconds < 1445421946 487920 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1445422044 192680 :myndzi!myndzi@tetrisguide.com QUIT :Quit: . < 1445422060 382285 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1445422263 122646 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1445422276 500524 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1445422784 151878 :bender|!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1445422849 284784 :J_Arcane!~chatzilla@37-219-247-16.nat.bb.dnainternet.fi JOIN :#esoteric < 1445423039 119672 :bender|!~benderx2@unaffiliated/bender/x-9459530 QUIT :Ping timeout: 240 seconds < 1445423077 455967 :aretecode!~aretecode@64.120.6.170 QUIT :Ping timeout: 265 seconds < 1445423096 431166 :bender|!~benderx2@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1445423833 438575 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1445423904 339418 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1445423947 719641 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1445425121 480894 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1445425362 305940 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1445425425 731334 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1445425953 571968 :jaboja!~jaboja@esa207.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1445426675 565164 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@massages-loud < 1445426675 781302 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :You don't have any messages < 1445426691 339959 :boily!~alexandre@96.127.201.149 QUIT :Quit: PINPOINT CHICKEN < 1445427745 440360 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1445427767 152992 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@botsnack < 1445427767 329939 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric ::) < 1445427779 792594 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@uptime < 1445427779 969506 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :uptime: 23d 14h 38m 13s, longest uptime: 1m 10d 23h 44m 29s < 1445428342 186285 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1445429546 8498 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 252 seconds < 1445429554 466893 :TieSleep!~TieSoul@2a02:a448:4a62:0:548d:2bb6:e105:b48e NICK :TieSoul < 1445429720 261002 :mroman!~mroman@160.85.232.149 JOIN :#esoteric < 1445429729 673895 :mroman!~mroman@160.85.232.149 PRIVMSG #esoteric :fnord < 1445429787 479813 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wait, it was complaining about the missing const? < 1445429790 381533 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fuck you, compiler < 1445429809 426274 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :http://imgur.com/gallery/tPZ7e :o < 1445430104 785821 :sine`!o@bal.ms JOIN :#esoteric < 1445431803 648819 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Mercator puzzle: https://gmaps-samples.googlecode.com/svn/trunk/poly/puzzledrag.html < 1445432208 295519 :JesseH!~JesseH@oftn/member/JesseH JOIN :#esoteric < 1445432588 581619 :JesseH!~JesseH@oftn/member/JesseH QUIT :Remote host closed the connection < 1445432672 695414 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1445432986 743983 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1445433064 320774 :JesseH!~JesseH@oftn/member/JesseH JOIN :#esoteric < 1445434092 80495 :myndzi!myndzi@tetrisguide.com JOIN :#esoteric < 1445434341 528128 :jaboja!~jaboja@esa207.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 255 seconds < 1445434685 29343 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hey, I got Finland as a separate piece. Is that always the case? < 1445434708 753982 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Looks that way, at least reloading seems to get the same puzzle. < 1445434719 944449 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I was expecting it to randomly select a subset of countries. < 1445434733 264370 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: the pieces are always the same, I think < 1445434749 384816 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but four of them don't seem to match anywhere < 1445434765 999247 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I did get all 15 in. < 1445434830 901171 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh < 1445434834 918450 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think now I'm only missing four < 1445434836 690396 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no < 1445434838 689777 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :three < 1445434942 642825 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh! < 1445434944 626345 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :now only two missing < 1445434983 821335 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I redid most of it, but now I'm missing one. < 1445434985 746298 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ah < 1445434987 59201 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :only one now < 1445434999 538721 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Done. < 1445434999 815856 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ah! < 1445435000 956653 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :solved < 1445435003 101485 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :all done < 1445435048 196311 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the difficult ones are Mauritania, Peru, Saudi Arabia. < 1445435049 302624 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1445435287 788816 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, Mauritania does have a pretty distinctive shape. < 1445435306 944851 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Although I first thought it might've been a US state, those tend to be quite straight-edge too. < 1445435327 725967 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net QUIT :Ping timeout: 264 seconds < 1445435359 458339 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also I somehow assumed that South Africa's hole was a body of water. < 1445435363 293545 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: probably I just don't know much about africa < 1445435370 202698 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, South Africa was easy < 1445435374 979484 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and Madagascar too < 1445435381 387551 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but the two central african ones are tricky < 1445435449 766571 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I mostly just did pattern-matching on the country boundaries on the underlying map, I'm not good at all at a priori recognition of country shapes. < 1445435455 798879 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, except for Finland. < 1445435584 521052 :|f`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1445435741 30567 :MDream!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net NICK :MDude < 1445437303 839952 :jaboja!~jaboja@esa207.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1445439190 576097 :aretecode!~aretecode@64.120.6.170 JOIN :#esoteric < 1445439201 324826 :Frooxius!~Frooxius@ip-89-177-144-144.net.upcbroadband.cz QUIT :Quit: *bubbles away* < 1445439667 786769 :nisstyre!~yourstrul@li611-52.members.linode.com QUIT :Quit: WeeChat 1.3 < 1445439722 468340 :bender|!~benderx2@unaffiliated/bender/x-9459530 QUIT :Ping timeout: 246 seconds < 1445440064 818569 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1445440335 348401 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1445441874 825680 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Ping timeout: 260 seconds < 1445442118 256099 :J_Arcane!~chatzilla@37-219-247-16.nat.bb.dnainternet.fi QUIT :Ping timeout: 244 seconds < 1445442146 531348 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1445443677 826930 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1445443781 572118 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric < 1445444546 604890 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1445444682 622734 :aretecode!~aretecode@64.120.6.170 QUIT :Ping timeout: 265 seconds < 1445444988 103961 :aretecode!~aretecode@64.120.6.170 JOIN :#esoteric < 1445445299 913289 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1445445417 577773 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1445445479 405929 :ent0nces!~ent0nces@67-5-169-50.ptld.qwest.net JOIN :#esoteric < 1445446477 361935 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1445446566 634036 :mroman!~mroman@160.85.232.149 QUIT :Quit: Lost terminal < 1445447962 972530 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1445448215 467375 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net JOIN :#esoteric < 1445448326 164420 :ocharles__!sid30093@gateway/web/irccloud.com/x-ifdekqmgievmwrnd QUIT :Ping timeout: 240 seconds < 1445448399 872318 :ocharles__!sid30093@gateway/web/irccloud.com/x-eckyuwatzlybecyv JOIN :#esoteric < 1445448572 931593 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :@tell mroman aw jeez, burlesque's EveryNth (en) doesn't start at the first item in the list? :( < 1445448573 108402 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1445448589 447322 :HackEgo!~HackEgo@162.248.166.242 QUIT :Ping timeout: 240 seconds < 1445448612 359800 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :@tell mroman i need, say, a list [1, 8, 15, ... 100] in steps of 7, and all i can find is Pp{pP.%1==}FO which sucks < 1445448612 536754 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1445448633 135429 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1445448937 60365 :mauris!~mauris@unaffiliated/nooodl PRIVMSG #esoteric :@tell mroman ok there's literally discussion about this on the PPCG question i'm solving nevermind < 1445448937 237259 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1445449353 572400 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Ping timeout: 255 seconds < 1445449386 997416 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh is GG back to updating early? < 1445449448 453292 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1445449844 829602 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1445450795 172800 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :mauris: What's this language? < 1445451018 25671 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Ping timeout: 252 seconds < 1445451401 189571 :bb010g!uid21050@gateway/web/irccloud.com/x-aygkzwkjhncreihp JOIN :#esoteric < 1445451655 233114 :jaboja64!~jaboja@acvs189.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1445451870 808303 :jaboja!~jaboja@esa207.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 260 seconds < 1445452583 155261 :jaboja64!~jaboja@acvs189.neoplus.adsl.tpnet.pl NICK :jaboja < 1445452773 202807 :aretecode!~aretecode@64.120.6.170 QUIT :Read error: Connection reset by peer < 1445452840 822063 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1445452959 234628 :aretecode!~aretecode@64.120.6.170 JOIN :#esoteric < 1445453350 378033 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1445453355 574191 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I wonder... < 1445453394 766776 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :What happens when you run a church denumeraliztion algorithm (or the same for set theory) on an invalid church numeral (or set theoretical equivalent)? < 1445453413 673528 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Is there an algorithm primitive enough that it can generate numbers that don't exist? < 1445453521 89368 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1445454405 643158 :ent0nces!~ent0nces@67-5-169-50.ptld.qwest.net QUIT :Remote host closed the connection < 1445454745 758242 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :numbers that don't exist... that's confusing < 1445455305 266545 :^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1445457527 438981 :TieSoul!~TieSoul@2a02:a448:4a62:0:548d:2bb6:e105:b48e NICK :TieSleep < 1445457724 472271 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1445458010 719097 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :hppavilion[1], I have a representation of naturals based on a finite rose tree forest. < 1445458022 691130 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Things get interesting if you extend it to infinite rose forests < 1445458870 236089 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :rose trees are naturally infinite, it seems < 1445458877 733529 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but maybe my heuristic is bad < 1445459190 845047 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1445459391 235833 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1445459404 232901 :bb010g!uid21050@gateway/web/irccloud.com/x-aygkzwkjhncreihp QUIT :Quit: Connection closed for inactivity < 1445459870 507066 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1445460226 472400 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 265 seconds < 1445460548 396596 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net QUIT :Ping timeout: 250 seconds < 1445461325 263598 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Quit: Leaving... < 1445462042 732657 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :does anyone here know why i can't set the content type in a .htaccess file? all i'm doing is Content-Type: application/jose+json < 1445462046 356019 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :and i get a 500 error < 1445462084 31022 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :do i have to enable something or what < 1445462151 602827 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 255 seconds < 1445462301 360649 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's normally an error log. But I don't think there is a directive called "Content-Type". You don't put headers in a .htaccess file; you put in configuration directives. < 1445462331 624810 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ForceType 'application/whatever' perhaps, as per http://httpd.apache.org/docs/current/mod/core.html#forcetype < 1445462350 950102 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you should definitely check the error log < 1445462353 748860 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"When placed into an .htaccess file or a , or or section, this directive forces all matching files to be served with the content type identification given by media-type." < 1445462359 64988 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that server sounds pretty discontent < 1445462468 786353 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it works <.< thank you < 1445462678 8958 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1445462970 479555 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1445463148 548816 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :join #esoteric-dsl < 1445463170 510707 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Whoops. "Forgot" the /. < 1445464670 503046 :J_Arcane!~chatzilla@37-219-247-16.nat.bb.dnainternet.fi JOIN :#esoteric < 1445464787 362129 :Frooxius!~Frooxius@ip-89-177-144-144.net.upcbroadband.cz JOIN :#esoteric < 1445465058 853336 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds < 1445465440 408801 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1445465669 695168 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1445465717 715027 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1445465815 785607 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fungot: fungellot. I was wondering today about your diet. what do you eat? < 1445465816 1518 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: cb13 vc9 vc8 vc7 vc6 vc5 vc4 vc3 vc2 vc1 vc0 < 1445465829 188343 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :fungot: oh, pure vitamin complexes. very efficient! < 1445465829 365343 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: bit bit when set to 239 ( ef), the microprocessor to write more than one of the serial bus, in fact imply the principle, although only two physical screen lines long, at 74171.2136compuserve.com. < 1445465838 288064 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Bit bit bit. < 1445465838 465448 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: switch sense line." the parts of the pointer willbe loaded into the y and x is the address bus drivers allowing the two versions of pet/ cbm by raeto west. < 1445465863 403917 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think from now on, if I feel like saying "make sense" to someone, I'll say "switch sense line" instead. < 1445466060 492702 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bhiloy < 1445466157 265550 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I can't remember what that style was trained with. < 1445466196 396343 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: What was that book, and where do I have a copy of it? < 1445466196 606894 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: 120 open 1,1,1,"tape-file": input a: if the flag interrupt is a corresponding 1 to 7, which is available to hold incoming keystrokes until they can be changed to point to integer conversion, in order for ring modulation to be independently selected in order to arrive at an even distribution of or behind other objects on the screen, and < 1445466227 832412 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :bojansoeir. < 1445466498 560568 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net JOIN :#esoteric < 1445466597 149998 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1445467389 517871 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 255 seconds < 1445468004 982059 :ent0nces!~ent0nces@67-5-169-50.ptld.qwest.net JOIN :#esoteric < 1445468437 609340 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1445468549 577093 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 265 seconds < 1445469961 184847 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Read error: Connection reset by peer < 1445470202 331508 :hppavilion[1]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1445470860 393489 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Quit: adu < 1445471192 258177 :sine`!o@bal.ms PART :#esoteric < 1445471937 677212 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1445471984 117062 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`wisdom < 1445471985 366768 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot/lambdabot is a fully functional bot. just don't ask about @src.