< 1439078640 752250 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439079506 956679 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439079543 304634 :Frooxius!~Frooxius@c-73-170-31-160.hsd1.ca.comcast.net QUIT :Ping timeout: 256 seconds < 1439079639 751411 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1439079676 28120 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439079715 208650 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1439080193 86142 :Frooxius!~Frooxius@c-73-170-31-160.hsd1.ca.comcast.net JOIN :#esoteric < 1439080675 590055 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439081558 24321 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1439081580 570220 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439081786 85988 :Frooxius!~Frooxius@c-73-170-31-160.hsd1.ca.comcast.net QUIT :Ping timeout: 244 seconds < 1439082129 672566 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Read error: Connection reset by peer < 1439082146 983142 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1439082483 8111 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1439082521 413802 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439083199 721570 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1439083484 675509 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1439083522 958015 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Read error: Connection reset by peer < 1439083814 435155 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net NICK :TodPunk < 1439085760 372931 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Quit: Textual IRC Client: www.textualapp.com < 1439086173 292361 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1439086843 569194 :a21!~CADD@12.227.104.109 JOIN :#esoteric < 1439086851 921457 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439087121 978868 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1439087212 87062 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1439088553 379570 :heroux!sandroco@gateway/shell/insomnia247/x-lltzxqewfjqtiazx QUIT :Ping timeout: 256 seconds < 1439088656 673093 :heroux!sandroco@gateway/shell/insomnia247/x-rxjqlgzswaxnkars JOIN :#esoteric < 1439089394 955327 :heroux!sandroco@gateway/shell/insomnia247/x-rxjqlgzswaxnkars QUIT :Ping timeout: 260 seconds < 1439089427 393091 :heroux!sandroco@gateway/shell/insomnia247/x-kbqihgxnjaulmrdb JOIN :#esoteric < 1439090900 567415 :heroux!sandroco@gateway/shell/insomnia247/x-kbqihgxnjaulmrdb QUIT :Ping timeout: 245 seconds < 1439091025 142523 :heroux!~heroux@gateway/shell/insomnia247/x-ajsdzuvplxfinyxq JOIN :#esoteric < 1439091356 95259 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439091939 869495 :heroux!~heroux@gateway/shell/insomnia247/x-ajsdzuvplxfinyxq QUIT :Ping timeout: 252 seconds < 1439091987 634184 :heroux!sandroco@gateway/shell/insomnia247/x-uhmvqtseudxcokjh JOIN :#esoteric < 1439093208 160228 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1439094137 444777 :Frooxius!~Frooxius@c-73-170-31-160.hsd1.ca.comcast.net JOIN :#esoteric < 1439096838 11139 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439097085 957338 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1439097291 228858 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :How do I make a backslash in a .IP command in a man page? < 1439099080 682258 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :\\ maybe? < 1439099492 606597 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439099884 631674 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I tried that and it does not work; I get a blank space < 1439100537 736230 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439100789 725078 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1439101511 588100 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi PRIVMSG #esoteric :https://www.reddit.com/r/esolangs/comments/3gakuy/if_the_answer_is_church_integer_42_which_lambda/ < 1439101884 271187 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net NICK :MDream < 1439102754 757177 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Quit: Textual IRC Client: www.textualapp.com < 1439103422 993778 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net JOIN :#esoteric < 1439104681 605875 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1439104873 661816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell edwardk oerjan: i mentioned the superkind tricks for fixing (,) :: Constraint -> Constraint -> Constraint right? <-- yes. but even with the current system, it should be possible to at least export a type synonym for it. < 1439104873 767678 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1439104893 676402 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :you can do that -- sorta < 1439104916 163154 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :class (p,q) => p & q; instance (p,q) => p & q < 1439104929 599640 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :now you can work with (&) :: Constraint -> Constraint -> Constraint < 1439104934 148536 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :it can be partially applied, etc. < 1439104942 186338 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i mean one that you can actually make instances for (,) with, of course < 1439105070 103762 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(oh and that evil code i @told you earlier was a trick for making an instance that applies to just (,) :: Constraint -> Constraint -> Constraint) < 1439105109 352403 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you can't make the head right, but you can restrict it with the context < 1439105163 663520 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, you can define a type that evaluates to exactly (,), but alas through a type family. < 1439105215 94374 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :type family Hack (c :: Constraint) :: Constraint -> Constraint -> Constraint < 1439105228 585762 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :type instance (f a b) = f < 1439105232 954487 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1439105244 860881 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :* type instance Hack (f a b) = f < 1439105256 55333 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :type C = Hack (Eq Int, Eq Int) < 1439105307 755370 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm Hack ((),()) also works. < 1439105393 562613 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unfortunately, ghc makes no attempt to allow instances for type families, even fully applied. < 1439106030 992275 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : sadly given that it interacts weirdly with things like eisenberg's efforts to get us dependent types i don't see it happening <-- the problem would be that it would make his * a compound kind expression? (i am thinking of conor mc bride's formulation that used two kind parameters to combine all of *, Constraint and #) < 1439106233 388493 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait it was you, why did i think it was mcbride < 1439106287 172006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think my brain made a faulty ermine/epigram connection. < 1439106319 336825 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :i think mostly because it complicates the story for kinds/sorts a great deal once you have * in * < 1439106343 815173 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :since it'd be something like Sort T T in Sort T T -- or something like that < 1439106348 719435 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1439106524 128963 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and because of DataKinds, there's nothing other than * that can be the end of the road like that < 1439106656 573499 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: i just had an evil idea. could you make Sort a type family? < 1439106684 475101 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :sadly no, because you need the inference to flow back to the arguments < 1439106691 916947 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :'injective type family' perhaps < 1439106710 300951 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :you need f a ~ f b to imply a ~ b < 1439106834 546947 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Rdebath14]]4 10 02http://esolangs.org/w/index.php?diff=43713&oldid=43211 5* 03Rdebath 5* (+11) 10/* Current Languages to go back to. */ < 1439106979 608507 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net QUIT :Quit: mihow < 1439107729 355923 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439108001 256751 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 256 seconds < 1439108966 112280 :lleu!~gnomebad@unaffiliated/lleu QUIT :Ping timeout: 240 seconds < 1439108986 246627 :lleu!~gnomebad@88.202.254.4 JOIN :#esoteric < 1439108986 338822 :lleu!~gnomebad@88.202.254.4 QUIT :Changing host < 1439108986 338879 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1439109077 591845 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 JOIN :#esoteric < 1439109111 547238 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :I HAVE COME UP WITH < 1439109125 230470 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :A THING < 1439109139 776013 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AYEEEH < 1439109177 81569 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :It may have been done before < 1439109186 90142 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :I'm calling it "Non-specific assignment" < 1439109256 656273 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Basically, it's derived from math < 1439109269 591799 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :I'm putting it in the retroactive category of "Esoteric Computer Science" < 1439109283 945016 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Bascially, we have x := 5 < 1439109296 346871 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :I'm suggesting adding: < 1439109300 876982 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :x :< 5 < 1439109304 285058 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :x :> 5 < 1439109307 827928 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :x :!= 5 < 1439109311 254301 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :x :<= 5 < 1439109316 654456 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :x :>= 5 < 1439109342 112080 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ic < 1439109356 770371 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :I know < 1439109363 155457 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Also, augmented versions < 1439109364 950476 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Of course < 1439109384 947661 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :I may have to write a computer program to generate parts of the article for me :P < 1439109398 506528 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Because the augmented operators include things like <<> < 1439109428 549460 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :(Assign rhs to rhs to all values less than rhs << lhs) < 1439109440 303670 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :I typed that wrong xD < 1439109493 222242 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Shall I create an article on it? < 1439109593 801082 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :oerjan (referencing you because you appear to be the only one paying attention)? < 1439109714 191525 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Well < 1439109716 751254 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :I'll go with yes < 1439109722 810322 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why not < 1439109733 574333 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :There you are < 1439109756 459899 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :I'm going to call it an "Esoteric Abstract Concept in Esoteric Programming" unless there's a better term < 1439109773 466111 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :And I'm going to make a subpage containing an autogenerated table of EVERY SINGLE operator < 1439109797 638041 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :erm... < 1439109804 94318 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :For fun, of course < 1439109815 160490 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :let's not go completely overboard with pages < 1439109847 271210 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :It'd just be _one_ extra page < 1439109851 871483 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1439109854 488679 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :misread. < 1439109867 272908 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Sure, it wouldn't add much educational value because you can probably guess its contents :P < 1439109949 776938 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :I don't think it'd be humanly possible to create a page for all of them with educational content < 1439109965 420068 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :humanely impossible < 1439109980 658697 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Defintely that < 1439110127 840100 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[1]: you can't easily create a page for each operator, because if you try to put the spelling of the operator in the title, you often get an invalid title for mediawiki < 1439110154 575001 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Yeah < 1439110176 384179 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Which is why I'm just going to create one subpage with an auto-generated table < 1439110212 203971 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :I'm going to make a program to generate a list of string tuples containing operators and an autogenerated description < 1439110224 617391 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Then run a program with a for loop to convert that to a table < 1439110242 94942 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Then paste that table into a GUI for easy copying < 1439110699 595570 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439110750 378695 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Iag14]]4 10 02http://esolangs.org/w/index.php?diff=43714&oldid=31799 5* 03Rdebath 5* (+34) 10/* External resources */ < 1439110849 785478 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Non-Specific Assignment14]]4 N10 02http://esolangs.org/w/index.php?oldid=43715 5* 03Hppavilion1 5* (+1701) 10Created Page < 1439110861 471707 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Created that page for now < 1439110865 423595 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Will work more on it later < 1439110897 595660 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Non-Specific Assignment14]]4 M10 02http://esolangs.org/w/index.php?diff=43716&oldid=43715 5* 03Hppavilion1 5* (+3) 10Added colons < 1439111625 180050 :Aearnus_!uid103822@gateway/web/irccloud.com/x-mgnamxzbrakyfunm QUIT :Quit: Connection closed for inactivity < 1439111847 759191 :Skin!~ah@74-61-60-199.war.clearwire-wmx.net JOIN :#esoteric < 1439111855 548434 :Skin!~ah@74-61-60-199.war.clearwire-wmx.net NICK :Walpurgisnacht < 1439111867 279995 :Walpurgisnacht!~ah@74-61-60-199.war.clearwire-wmx.net NICK :walpurgisnacht < 1439112511 520697 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 PRIVMSG #esoteric :Hellu < 1439113414 178459 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Quit: Leaving. < 1439114271 321048 :walpurgisnacht!~ah@74-61-60-199.war.clearwire-wmx.net QUIT :Quit: mmmm < 1439114387 608794 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1439114652 593130 :hppavilion[1]!423aab85@gateway/web/freenode/ip.66.58.171.133 QUIT :Ping timeout: 246 seconds < 1439115186 391206 :evalj!~jeval@BC066B86.catv.pool.telekom.hu JOIN :#esoteric < 1439115817 207105 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : https://www.reddit.com/r/esolangs/comments/3gakuy/if_the_answer_is_church_integer_42_which_lambda/ <-- that prose is harder to understand than unlambda itself... < 1439115826 889561 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION may be biased
< 1439115895 747241 :Slereah!~Slereah@APuteaux-653-1-29-228.w86-195.abo.wanadoo.fr PRIVMSG #esoteric :Isn't there a list of short Church integers somewhere anyway < 1439115969 301679 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :probably < 1439115981 129151 :Slereah!~Slereah@APuteaux-653-1-29-228.w86-195.abo.wanadoo.fr PRIVMSG #esoteric :I remember making one for combinators < 1439116353 666846 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :there *was* /r/esolangs?! < 1439116362 853115 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :still is < 1439116365 999582 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :
ACTION subscribes
< 1439116393 807166 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's not very active, but occasionally. < 1439116804 115880 :Slereah!~Slereah@APuteaux-653-1-29-228.w86-195.abo.wanadoo.fr PRIVMSG #esoteric :https://dl.dropboxusercontent.com/u/19940612/Church%206.txt < 1439116815 721522 :Slereah!~Slereah@APuteaux-653-1-29-228.w86-195.abo.wanadoo.fr PRIVMSG #esoteric :Pretty hard to condense them when they are not powers of 2 < 1439116835 28726 :Slereah!~Slereah@APuteaux-653-1-29-228.w86-195.abo.wanadoo.fr PRIVMSG #esoteric :`m`m``sbi is quite nice < 1439116844 715481 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: m`m``sbi: not found < 1439117145 659193 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1439117147 58780 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1439117287 90656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(\6 f x.(\6.6(6 f)(6 f x)))(\f x.f(f(f(f(f(f x)))))) < 1439117335 406122 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellørjan! < 1439117347 993943 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boheily < 1439117408 85186 :Slereah!~Slereah@APuteaux-653-1-29-228.w86-195.abo.wanadoo.fr PRIVMSG #esoteric :I should tidy up the page on Lazy Bird < 1439117412 544477 :Slereah!~Slereah@APuteaux-653-1-29-228.w86-195.abo.wanadoo.fr PRIVMSG #esoteric :A lot of links are dead < 1439117709 758452 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Quit: J_A_Work < 1439118093 998535 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439119089 920286 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later < 1439119914 440708 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Quit: J_A_Work < 1439120234 92322 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439120434 663723 :llue!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1439120625 640368 :lleu!~gnomebad@unaffiliated/lleu QUIT :Ping timeout: 245 seconds < 1439120794 401477 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439121046 418201 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1439121087 513935 :avonis!~avonis@41.100.211.71 JOIN :#esoteric < 1439121815 835241 :avonis!~avonis@41.100.211.71 PART #esoteric :"Leaving" < 1439121836 887400 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1439122058 245513 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Quit: J_A_Work < 1439122632 484299 :llue!~gnomebad@unaffiliated/lleu QUIT :Ping timeout: 255 seconds < 1439122818 545642 :lleu!~gnomebad@88.202.254.4 JOIN :#esoteric < 1439122818 638792 :lleu!~gnomebad@88.202.254.4 QUIT :Changing host < 1439122818 638867 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1439123960 665351 :boily!~alexandre@96.127.201.149 QUIT :Quit: いつも鶏 < 1439124439 896000 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439124590 959458 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net QUIT :Ping timeout: 260 seconds < 1439124870 631191 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1439125672 155479 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Read error: Connection reset by peer < 1439126700 674817 :getpwnam!~ian@67.216.138.168.pool.hargray.net JOIN :#esoteric < 1439127129 957309 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439127937 943118 :getpwnam!~ian@67.216.138.168.pool.hargray.net QUIT : < 1439128010 953259 :getpwnam!~ian@67.216.138.168.pool.hargray.net JOIN :#esoteric < 1439128837 578126 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1439129120 469879 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Ping timeout: 265 seconds < 1439129680 936028 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1439129836 375458 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439130033 666857 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang talk:Sandbox14]]4 10 02http://esolangs.org/w/index.php?diff=43717&oldid=14360 5* 03Rdebath 5* (+708) 10Hello World! < 1439130097 438212 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net JOIN :#esoteric < 1439130320 466369 :getpwnam!~ian@67.216.138.168.pool.hargray.net QUIT :Changing host < 1439130320 558601 :getpwnam!~ian@unaffiliated/getpwnam JOIN :#esoteric < 1439131487 415376 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1439131992 243641 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Quit: J_A_Work < 1439131994 573046 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1439132782 12729 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439133283 201558 :TieSoul!~quassel@86.89.119.147 JOIN :#esoteric < 1439133573 427592 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net NICK :MDude < 1439133956 615687 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439134261 467292 :sebbu!~sebbu@ADijon-152-1-18-99.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1439134303 876926 :sebbu!~sebbu@ADijon-152-1-18-99.w83-194.abo.wanadoo.fr QUIT :Changing host < 1439134303 970855 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1439135173 814939 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1439135503 607662 :Wright!~Wright@c-98-225-44-92.hsd1.wa.comcast.net JOIN :#esoteric < 1439135541 392912 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439135725 668423 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Ping timeout: 245 seconds < 1439135950 507470 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1439136479 116981 :getpwnam!~ian@unaffiliated/getpwnam QUIT : < 1439137570 415872 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1439137970 83459 :Aearnus_!uid103822@gateway/web/irccloud.com/x-qtgzwrenqyepcipd JOIN :#esoteric < 1439138171 370894 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439138974 929876 :getpwnam!~ian@unaffiliated/getpwnam JOIN :#esoteric < 1439140009 680686 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1439140132 879999 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1439140229 422522 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439140364 453817 :evalj!~jeval@BC066B86.catv.pool.telekom.hu QUIT :Ping timeout: 250 seconds < 1439140540 402460 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Nest14]]4 10 02http://esolangs.org/w/index.php?diff=43718&oldid=40221 5* 0375.36.136.61 5* (-1) 10/* Orthostructs */ < 1439140621 24082 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1439141012 582197 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1439141162 472223 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1439141862 460111 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1439142613 965631 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 246 seconds < 1439142663 612360 :lleu!~gnomebad@unaffiliated/lleu QUIT :Ping timeout: 265 seconds < 1439142719 349422 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1439143409 89529 :_256Q!~toastyten@5.80.44.78 JOIN :#esoteric < 1439143424 920333 :_256Q!~toastyten@5.80.44.78 QUIT :Changing host < 1439143424 974753 :_256Q!~toastyten@unaffiliated/256q/x-9307863 JOIN :#esoteric < 1439143457 446516 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if i weren't so lazy, i should make the worst lens package ever and call it pestilens < 1439143563 772883 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: did you see lens issue 552 < 1439143598 651965 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't have lens issues on my daily web schedule, so probably not < 1439143600 656532 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Ping timeout: 245 seconds < 1439143641 786286 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you missed out on a class-E scow hth < 1439143652 532676 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :oerjan: nice < 1439143670 119490 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439143859 740689 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: wait how does your scow class system work < 1439143958 469893 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tell me when you find out < 1439144175 453393 :rg_!~rg_@ool-457c9f2d.dyn.optonline.net QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1439144501 28912 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :classification of finite simple scows < 1439144992 848159 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i have so far deduced the classes Dumb, E, Fnord, Zalgo and HTH < 1439145013 731843 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i hope this clears things up < 1439145055 336216 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :those are in order from lousy to worst hth < 1439145240 318463 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Within minutes, gentleman scholar and help expert oerjan correctly identified the class of hth scows, the scow of scows. < 1439146128 722196 :pikhq!~pikhq@2601:646:8700:3d63:eade:27ff:fe08:b48b PRIVMSG #esoteric :That's a scow scow. < 1439146438 900128 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :scow is an anagram of cows < 1439146442 762948 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`quote cows < 1439146451 401214 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :400) Look, I often walk my dog through a field with cows in it. And I punched myself in the face once. \ 988) metar lead to canada, more metar and cows \ 994) man at least job applications in biosciences are just like "you are willing to put your arms through a cow" Bike: please send us a link to your CowHub profile o < 1439147551 477661 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439147826 372066 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1439148163 348553 :sebbu2!~sebbu@ADijon-152-1-26-129.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1439148190 423205 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 250 seconds < 1439148208 736024 :sebbu2!~sebbu@ADijon-152-1-26-129.w83-194.abo.wanadoo.fr QUIT :Changing host < 1439148208 790256 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1439149991 92618 :lleu!~gnomebad@88.202.254.4 JOIN :#esoteric < 1439149991 315040 :lleu!~gnomebad@88.202.254.4 QUIT :Changing host < 1439149991 369398 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1439150708 695927 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: hi i managed to write unsafeCoerce with Data.Constraint.Forallin in Safe mode hth < 1439150725 9411 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wth did my terminal just do < 1439150744 425754 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :well damn. < 1439150757 791390 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :how? < 1439150800 3503 :mihow!~mihow@c-76-27-244-171.hsd1.or.comcast.net JOIN :#esoteric < 1439150831 283319 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://lpaste.net/138354 < 1439150959 334212 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically i derived a contradiction from Forall's assumption that there are only two types in the universe... < 1439151144 814688 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :come to think of it i didn't need ConstraintKinds enabled, i just assumed it from the outset. < 1439151666 473478 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Ping timeout: 240 seconds < 1439151687 890840 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi JOIN :#esoteric < 1439151825 172672 :Aearnus_!uid103822@gateway/web/irccloud.com/x-qtgzwrenqyepcipd QUIT :Quit: Connection closed for inactivity < 1439151858 572762 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1439152146 580491 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 265 seconds < 1439153028 454515 :Aearnus_!uid103822@gateway/web/irccloud.com/x-mhweeuvcgzbcrmwy JOIN :#esoteric < 1439153955 427380 :J_A_Work!~J_Arcane@37-219-110-192.nat.bb.dnainternet.fi QUIT :Quit: J_A_Work < 1439154656 321648 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1439154853 297313 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds < 1439155632 854758 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1439155645 969549 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1439156686 122259 :GoToTell!~GotoTell@62.205.125.190 JOIN :#esoteric < 1439157855 27577 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 260 seconds < 1439159030 935087 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1439159103 340671 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds < 1439159115 326257 :lleu!~gnomebad@unaffiliated/lleu QUIT :Read error: Connection reset by peer < 1439159138 571226 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1439160739 144612 :shayra!~canaima@186-89-108-201.genericrev.cantv.net JOIN :#esoteric < 1439160747 625868 :lemurian!~sh4n3@unaffiliated/lemurian JOIN :#esoteric < 1439160957 175407 :shayra!~canaima@186-89-108-201.genericrev.cantv.net PART :#esoteric < 1439161201 424178 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: now i'm confused hth < 1439162517 235917 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: about scow classes, i mean < 1439162563 606357 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but edwardk doesn't see messages in this channel unless you mention his name or lens or a few other things < 1439162570 693 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :=P < 1439162572 942677 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :pretty much < 1439162606 711458 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The Forall thing looks interesting, will look when I'm back at a computer. < 1439162658 734224 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :oerjan: interesting < 1439162724 325097 :edwardk!sid47016@haskell/developer/edwardk PRIVMSG #esoteric :https://github.com/ekmett/constraints/issues/10 < 1439163072 474745 :GoToTell!~GotoTell@62.205.125.190 QUIT :Quit: HydraIRC -> http://www.hydrairc.com <- It'll be on slashdot one day... < 1439163279 591307 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric