< 1410221097 103932 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu QUIT :Ping timeout: 255 seconds < 1410221423 509118 :zzo38!~zzo38@24-207-51-179.eastlink.ca JOIN :#esoteric < 1410221446 853473 :Lymia!~fujoshi@inportb/loli/cirno-chan JOIN :#esoteric < 1410221449 773128 :Lymia!~fujoshi@inportb/loli/cirno-chan PRIVMSG #esoteric :nya~ < 1410221512 426024 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi < 1410222425 373071 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu JOIN :#esoteric < 1410223108 260832 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1410223473 154589 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1410223895 924458 :drdanmaku!uid17782@gateway/web/irccloud.com/x-twhyeunnrgfeyznz QUIT :Quit: Connection closed for inactivity < 1410224139 640454 :Melvar`!~melvar@dslb-088-078-253-084.088.078.pools.vodafone-ip.de JOIN :#esoteric < 1410224217 620699 :Melvar!~melvar@dslb-088-078-253-084.088.078.pools.vodafone-ip.de QUIT :Ping timeout: 245 seconds < 1410224226 23820 :idris-bot!~ircslave@dslb-088-078-253-084.088.078.pools.vodafone-ip.de QUIT :Ping timeout: 272 seconds < 1410224293 475009 :idris-bot!~ircslave@dslb-088-078-253-084.088.078.pools.vodafone-ip.de JOIN :#esoteric < 1410224449 543938 :G33kDude!~G33kDude@unaffiliated/g33kdude JOIN :#esoteric < 1410224473 530320 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :Anyone here that can help me with piet? I'm having a very hard time understanding the roll command < 1410225222 766673 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :? < 1410225235 380031 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :i can't. < 1410225239 186823 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :where is roll documented? < 1410225457 534393 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :near the bottom of this page http://www.dangermouse.net/esoteric/piet.html < 1410225509 703667 :Melvar`!~melvar@dslb-088-078-253-084.088.078.pools.vodafone-ip.de NICK :Melvar < 1410225630 112943 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :seems clear. eg. roll on stack a b c d e 4 2 results in a d e b c < 1410225688 530777 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :roll on stack a b c d e 4 1 results in a e b c d < 1410225752 669877 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :With left on top, 2 4 5 4 3 2 1 is returning 3 2 5 4 1 < 1410225766 960589 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :i have top on right < 1410225795 307200 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :taking the first 2 items, and putting the bottom of the items into what will be the 4th stack spot. But then what does 'negative roll' do? < 1410225802 214458 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :Experimentation leaves me confused < 1410225867 311650 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :roll on stack a b c d e 4 -1 results in a c d e b < 1410225878 325473 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :same as roll on stack a b c d e 4 3 < 1410225930 322441 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :oh < 1410225940 33290 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :I've been thinking about this completely in the wrong way < 1410226087 411398 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :I'm not too familiar with stack manipulations < 1410226091 944420 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :hence my confusion < 1410226109 690070 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :roll is standard among all stack based languages < 1410226147 146046 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :of which none I am familiar with < 1410226189 606129 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :it literally moves stack elements around < 1410226212 299921 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu QUIT :Ping timeout: 246 seconds < 1410226212 799992 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :in a circular motion < 1410226225 655751 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :I understand now < 1410226234 969661 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :I did not understand roughly 6 minutes ago < 1410227035 371339 :scounder!~scounder@2a01:7a0:10:151:236:17:48:1 QUIT :Ping timeout: 260 seconds < 1410227037 465983 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu JOIN :#esoteric < 1410227420 429384 :scounder!~scounder@2a01:7a0:10:151:236:17:48:1 JOIN :#esoteric < 1410228262 497030 :Bicyclidine!~Glossina@wl-nat101.it.wsu.edu QUIT :Ping timeout: 245 seconds < 1410230680 658657 :Lymia!~fujoshi@inportb/loli/cirno-chan PRIVMSG #esoteric :!bfjoust ping < < 1410230934 182048 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :tromp_: Thank you for your help < 1410230947 733001 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :My piet interpreter works now :) < 1410231545 893083 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :gratz, G33kDude! < 1410232638 394002 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :tromp_: My test program was http://www.dangermouse.net/esoteric/piet/pietquest.png < 1410232652 712783 :G33kDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :It's a text adventure; very fun. < 1410232764 452583 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :hmm, is this handwritten in piet or compiled to piet? < 1410233652 622997 :polytone_!~monotone@room208.org JOIN :#esoteric < 1410233759 358397 :jix_!~jix@jixco.de JOIN :#esoteric < 1410233838 683437 :yorick_!~yorick@oftn/member/yorick JOIN :#esoteric < 1410234032 964855 :not^v!~notnot^v@2601:4:4500:e15:514e:ec26:3ce:a281 QUIT :*.net *.split < 1410234033 280068 :jix!~jix@jixco.de QUIT :*.net *.split < 1410234033 420276 :yorick!~yorick@oftn/member/yorick QUIT :*.net *.split < 1410234033 895963 :polytone!~monotone@room208.org QUIT :*.net *.split < 1410234083 682061 :G33kDude!~G33kDude@unaffiliated/g33kdude NICK :GeekDude < 1410234351 473713 :16WAAD3I5!~notnot^v@2601:4:4500:e15:514e:ec26:3ce:a281 JOIN :#esoteric < 1410234602 10962 :paul2520!~paul2520@2602:306:8060:d3d0:106d:2d3a:8665:edff JOIN :#esoteric < 1410235092 971472 :not^v!~notnot^v@2601:4:4500:e15:6d2d:8047:9576:41e2 JOIN :#esoteric < 1410235284 152662 :16WAAD3I5!~notnot^v@2601:4:4500:e15:514e:ec26:3ce:a281 QUIT :Ping timeout: 272 seconds < 1410235452 35149 :FireFly!~firefly@oftn/member/FireFly QUIT :Ping timeout: 240 seconds < 1410235452 35305 :GeekDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :tromp_: that was compiled > 1410235612 764241 JOIN :#esoteric > 1410235616 888937 JOIN :#esoteric > 1410235617 404278 JOIN :#esoteric > 1410235652 922729 JOIN :#esoteric > 1410235657 44917 JOIN :#esoteric > 1410235657 559979 JOIN :#esoteric < 1410235667 987649 :glogbot!dlopen@libdl.so JOIN :#esoteric < 1410235685 545699 :Gregor!dlopen@libdl.so JOIN :#esoteric < 1410235743 499890 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1410236420 262220 :GeekDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :tromp_: < 1410236424 204651 :GeekDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :I'll be back tomorrow < 1410236425 817241 :GeekDude!~G33kDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1410236533 405792 :scounder!~scounder@2a01:7a0:10:151:236:17:48:1 QUIT :Ping timeout: 260 seconds < 1410237334 428854 :scounder!~scounder@2a01:7a0:10:151:236:17:48:1 JOIN :#esoteric < 1410237633 64811 :clog!~nef@bespin.org QUIT :Ping timeout: 268 seconds < 1410238802 457128 :not^v!~notnot^v@2601:4:4500:e15:6d2d:8047:9576:41e2 NICK :v^Bot < 1410238852 41672 :v^Bot!~notnot^v@2601:4:4500:e15:6d2d:8047:9576:41e2 QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1410243484 911324 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Integers with multpilication form a group, right? < 1410243497 66327 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No. < 1410243534 205225 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I suspected so. < 1410243559 307937 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Is it because you can't define an inverse? < 1410243597 984587 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :yea < 1410243635 101709 :Bike!~Glossina@69.166.47.137 PRIVMSG #esoteric :naturals mod a prime (or more? eh) should be alright though. < 1410243922 174112 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh wait. overloading doesn't work with java generics < 1410243930 377911 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :screw this. Who made this crappy language? < 1410244039 852185 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Bike: at least mod a prime < 1410244044 520559 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :since you can define an inverse for everything then < 1410244072 680616 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm not sure if there are non primes that have an inverse for everything < 1410244336 150346 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :mroman_: Backwards compatibility, y'see. < 1410244353 839113 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Overloading is overrated, anyway. < 1410244778 989091 :clog!~nef@bespin.org JOIN :#esoteric < 1410245108 260914 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hrm. The London subway map is not terribly intelligible in grayscale. < 1410245385 275135 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It'd be tricky anyway < 1410245391 422343 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :for example class Foo < 1410245402 904316 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Foo(T t) { ..} Foo(U u) {..} < 1410245409 235607 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :since that would require a constraint T != U < 1410245415 532602 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and I don't think Java supports that < 1410245563 581653 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You'd presumably do that with private Foo(T t, U u) {..} public static Foo fromT(T t) { return new Foo(t, null); } public static Foo fromU(U u) { return new Foo(null, u); } < 1410245575 998400 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yep < 1410245627 416979 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it would be sorta cool because you probably then could extract an element by type < 1410245633 80302 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e U get(); T get(); < 1410245662 80355 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, you can't overload based on only return type in the first place, anyway. < 1410245664 459900 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :rather than U getU(); T getT(); < 1410245680 504769 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :not in Java, yes @return type only < 1410245694 650882 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :since U and T are both erased to Object < 1410245699 882282 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :anyway < 1410245717 262206 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, even without that. The language won't let you write an int get() and a double get(). < 1410245805 383726 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I know. < 1410245841 862689 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :mroman_: integers are a group if you drop 0 < 1410245857 64000 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :coppro: ? < 1410245883 218220 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :02:18:04 < mroman_> Integers with multpilication form a group, right? < 1410245886 876917 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So which integer is the multiplicative inverse of 2? < 1410245898 266153 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oh... integers < 1410245898 795855 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :nvm < 1410245902 282712 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :somehow I read rationals < 1410246149 899265 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1410246155 623555 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :there's now T.getClass() either < 1410246158 627087 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*no < 1410246244 24373 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In quite a lot of cases, you just ask clients to pass a Class object if you need a "type token" inside the code. < 1410246262 698252 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/nSxBZMFi < 1410246267 495613 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^- this isn't working as well < 1410246304 389327 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :technically I'd expect (U)t; to fail on the Integer < 1410246316 156819 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but it doesn't. < 1410246330 321109 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :probably because it's (Object)t anyway < 1410246371 661486 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :mroman_: public U get(Class clazz) { return clazz.cast(whatever); } < 1410246407 896936 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but that's uncool < 1410246408 74623 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :objs.get(Integer.class); will then properly barf out at cast-time with a ClassCastException. < 1410246428 468898 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Incidentally, the fromT/fromU I wrote above needs to be (sigh) public static Tmp fromT(R t) { return new Tmp<>(t, null); } and then you have to call it as Tmp.fromT(foo); < 1410246449 738882 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it works though of course < 1410246509 785282 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it would be much more usefull if Java could provide U.getClass < 1410246517 134408 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which is technically possible < 1410246522 677426 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :probably < 1410246536 906217 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ah no < 1410246548 302941 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the compiler knows U < 1410246551 561180 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but the runtime doesn't < 1410246564 355286 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, and the compiler can only generate the one method, since it's not templates or anything. < 1410246565 518939 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but maybe the compiler could inject some boiler-plate code < 1410246588 970778 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :A hidden type token parameter injected at each call site? < 1410246591 34251 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the compiler *could* create multiple methods < 1410246593 690476 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :like C++-style < 1410246601 495138 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but yeah. < 1410246606 377332 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that ain't gonna happen soon < 1410246617 19518 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(I suppose Java 8 nor Java 9 will have such features?) < 1410246631 407641 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Java 8 has been out for quite a while, and it doesn't do that. < 1410246639 90535 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The streams are nice, though. < 1410246702 766832 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's anonymous inner classes all the way down, of course, but with lots of syntactic sugar. < 1410246729 852241 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :actually < 1410246740 799086 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Tmp.<> shouldn't be necessary in Java 8? < 1410246763 184975 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's possible, I think I heard something vague about improving the type inference. < 1410246782 560944 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't have a Java 8 thing on this thing. < 1410246841 120368 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :List names = students.stream().map(Student::getName).filter(name->name.startsWith("A")) < 1410246844 454988 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :.collect(Collectors.toList()); < 1410246845 572984 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, I must've messed something earlier, it does work in Java 7 without that too. < 1410246858 243028 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :interesting @streams < 1410247192 179133 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The method references are fancy. If class Bar has a method Foo fooify(); then passing Bar::fooify to a method taking an interface Foolator { Foo arbitraryName(Bar b); } is close to passing new Foolator() { Foo arbitraryName(Bar b) { return b.fooify(); } } < 1410247262 707186 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:AutoMouse14]]4 10 02http://esolangs.org/w/index.php?diff=40425&oldid=8333 5* 03Rdebath 5* (+5701) 10Bit of digging. < 1410247267 67236 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what's the type of lambda expressions actually? < 1410247275 30525 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :All those fancy example pages never list that < 1410247288 894395 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07AutoMouse14]]4 10 02http://esolangs.org/w/index.php?diff=40426&oldid=37444 5* 03Rdebath 5* (-8) 10Source code says 1998 < 1410247303 500865 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :looks like it infers it < 1410247312 168614 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e n -> Boolean is Predicate < 1410247448 400856 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://java.dzone.com/articles/introduction-functional-1 < 1410247517 389914 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(that sounds like any "functional interface" works, but doesn't say anything about inference) < 1410247830 31278 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, you're supposed to be able to stick a lambda wherever a "functional interface" is expected. < 1410249186 823580 :AnotherTest!~turingcom@d51a42834.access.telenet.be JOIN :#esoteric < 1410250343 10075 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 240 seconds < 1410250960 50485 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :automouse sounds great, except this microsoft windows thingie < 1410251140 655151 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1410251265 26740 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1410251666 55331 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03CRS-ECHO51 5* 10New user account < 1410251668 580112 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Alphuck14]]4 10 02http://esolangs.org/w/index.php?diff=40427&oldid=40416 5* 03Rdebath 5* (+242) 10/* The least you can do is make it mnemonic */ < 1410252081 876632 :KingOfKarlsruhe!~KingOfKar@unaffiliated/kingofkarlsruhe QUIT :Ping timeout: 264 seconds < 1410252338 984974 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1410252820 655171 :KingOfKarlsruhe!~KingOfKar@unaffiliated/kingofkarlsruhe JOIN :#esoteric < 1410252968 514424 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i should make numfuck with 1 to 8 as instructions, just because i can! < 1410253368 359227 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1410253598 766008 :yorick_!~yorick@oftn/member/yorick NICK :yorick < 1410253750 956840 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok < 1410253756 716787 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if you do that I'lll create XMLFuck < 1410253799 55859 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric : . < 1410253808 754765 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :something ugly like thatt < 1410253812 263843 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how can that possibly not have been done already. < 1410253831 58929 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wait < 1410253833 409718 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :there's an XMLfuck < 1410253851 26626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages- < 1410253851 204351 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :boily said 10h 13m 14s ago: on a wiki-editing frenzy again? < 1410253857 709306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: thought so < 1410253887 296362 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well... < 1410253891 699113 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :HTMLfuck is probably still open < 1410253897 324503 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell boily I am reading the wiki recent changes in very large batches recently < 1410253897 502122 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1410253906 920515 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: wouldn't bet on it. < 1410253937 635170 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :mroman_: type=increment? < 1410253952 78628 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :mroman_: besides that: go for it < 1410254063 208743 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I will! < 1410254230 303560 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I think that a program in register forwarding format should have only one kind of terminator for each block, which consists of a register number inside of the current block, and a set of zero or more (values,block,arguments) triples. If it matches a value in the list, the next block is the specified one with the specified arguments (each argument is a register number from the current block). If none match, undefined behaviour is caused. < 1410254263 870533 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(Note that pseudo-blocks such as RETURN are also possible.) < 1410254357 112897 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://mroman.ch/bfhtml.html <- there you go < 1410254377 934903 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(The block can also be any block within the current function, or the initial block of any other function in the program.) < 1410254407 659095 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :
..
shall be treated as a loop . < 1410254413 394756 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the rest is usual brainfuck style < 1410254418 956926 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :except that < > are < > of course < 1410254445 241557 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it also provides neat indentation . < 1410254505 355197 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :however, most browsers refuse to copy the [ and ] in the webpage < 1410254564 433113 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which makes it kinda pythony < 1410254570 196913 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :instead of [] you have to use indentation . < 1410254584 948900 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :aka Braynfuck < 1410254662 956764 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so you remove one character from the Brainfuck-Alphabet without loosing anything < 1410254671 999714 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the perfect brainfuck minimalization < 1410254719 500 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :You minimalize nothing. Instead of [ and ] you now need spaces and line breaks. < 1410254736 388788 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Still two characters each. < 1410254756 40542 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :three if you have windows < 1410254787 565584 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I didn't expect people to find out that soon that it's bogus < 1410254832 448226 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I don't know if you expected anyone else to, but I did. < 1410255039 888947 :impomatic_!~digital_w@81.174.174.142 PRIVMSG #esoteric :How about Huffman encoded BF? < 1410255078 482898 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Or noe encoded bf < 1410255084 107998 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :noe oughta be really well with brainfuck < 1410255163 13782 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : since you can define an inverse for everything then <-- everything that isn't divisible by the prime, you mean. < 1410255194 122584 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I'm not sure if there are non primes that have an inverse for everything <-- then you change it to "everything that is relatively prime to your modulus" < 1410255211 687772 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :noe can compress helloworld bf by 30% < 1410255235 876374 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :at least < 1410255265 776556 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what's noe < 1410255285 343868 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :some stupid compression algorithm I had the idea to < 1410255286 538962 :impomatic_!~digital_w@81.174.174.142 PRIVMSG #esoteric :00 = + / 01 = - / 10 = < / 110 = > / 11100 = [ / 11101 = ] / 11110 = . / 11111 = , < 1410255302 769215 :impomatic_!~digital_w@81.174.174.142 PRIVMSG #esoteric :3.625 bits per average instruction instead of 3. < 1410255382 530621 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i have a hunch you're not referring to https://github.com/noe/encoding < 1410255415 584432 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what < 1410255419 895155 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*not*? < 1410255427 230721 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm referring to that < 1410255429 798841 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1410255439 170740 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i didn't think you were spanish < 1410255448 351779 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1410255449 30998 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wait < 1410255449 445343 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :no < 1410255464 50697 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :https://github.com/FMNSSun/noe/ < 1410255467 236988 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^- im refering to that < 1410255471 454896 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :sry. I read your url wrong < 1410255559 246546 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It can compress http://www.iwriteiam.nl/Ha_bf_inter.html by 46% < 1410255587 688747 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the simple version of noe < 1410255593 740752 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the real version oughta do much better < 1410255629 577660 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1410255888 537729 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm. or not. < 1410255974 97976 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :gotta tune the params. < 1410256075 603046 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :47% < 1410256079 144345 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :not really that much better < 1410256110 849757 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :however, you can combine it with huffman < 1410256121 775438 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. by not encoding a char with 8bits you obviously get even more < 1410256144 583724 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :technically you'd need 3 bits max for a bf instruction < 1410256186 930776 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shannon will get you anyhow. < 1410256206 957556 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah it's 47% for the selfinterpreter < 1410256430 227157 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :55% with simple if you use 3 bits < 1410256434 456878 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which sounds odd < 1410256437 705413 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> 8.0/3.0 < 1410256439 405316 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 2.6666666666666665 < 1410256451 158806 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> 1/2.666 < 1410256452 601579 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0.37509377344336087 < 1410256463 592982 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> 1-(1/2.666) < 1410256464 957706 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0.6249062265566392 < 1410256472 314393 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :just using 3bits should already give you 62% < 1410256521 795300 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :wait < 1410256527 249545 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :my ratio calculation looks terribly wrong < 1410256632 135616 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 3/8 < 1410256633 538434 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0.375 < 1410257135 461686 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah. < 1410257146 738035 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it can't compress anything if a symbol only has three bits < 1410257327 316433 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :noe works differently < 1410257555 422238 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1410257609 273390 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's usually able to compress single english sentences by 25% - 35% < 1410258143 179484 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so I thought < 1410258162 841133 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :a more reasonable benchmark says around 8% :( < 1410258283 831757 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but yeah. It's a sucky compression algorithm except in a few edgecases < 1410258595 325680 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :other sucky compression algorithms in my head are using permutations < 1410258596 843683 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. < 1410258606 976316 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if you have 5 symbols, you need 3 bits for one symbol < 1410258625 686655 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which means to encode a string of 5 symbols you need 15bits < 1410258633 690749 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :however, there are only 120 permutations of 5 symbols < 1410258647 634857 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. you could encode which permutation of 5 symbols it is in 7bits < 1410258653 656125 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :saving 8 bits < 1410258741 248904 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :also < 1410258744 754124 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you can create a tape < 1410258754 73840 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e "ABCDE" if you have 5 symbols < 1410258767 174691 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and the pointer is at A < 1410258779 963327 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :1 means left, 0 means right < 1410258815 128135 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if the you want to compress BACDEAB you'd write 0100000 < 1410258872 447672 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(also 7 bits instead of 15) < 1410258908 52584 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But what if I want to encode "Qzyzzalroum"? < 1410258916 175461 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :you lost me there. isn't “0100000” ambiguous? < 1410258958 648430 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You lost me earlier about the permutation thing, if your alphabet is "ABCDE", which permutation numbers you write down for the string "AAAAABBBBB". < 1410258979 894780 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :boily: maybe i made a mistake there < 1410258982 512030 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :let me check that < 1410259007 32759 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :true < 1410259022 982767 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I forgot the stop sign < 1410259024 485987 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::) < 1410259026 579648 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh I actually brought this word up here before. Interesting :) < 1410259053 573695 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :`? qzyzzalroum < 1410259054 327937 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :qzyzzalroum? ¯\(°​_o)/¯ < 1410259065 722961 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :int-e: then define it ^^ < 1410259076 29503 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fizzie: It's not a general purpose compression ;) < 1410259130 173239 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`define qzyzzalroum You should start the crossword over. < 1410259131 949557 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Failed to connect to socket 2. \ \ Looking up 127.0.0.1:3128 \ Making HTTP connection to 127.0.0.1:3128 \ Sending HTTP request. \ HTTP request sent; waiting for response. \ Alert!: Unexpected network read error; connection aborted. \ Can't Access `http://google.com/search?q=define:%71%7a%79%7a%7a%61%6c%72%6f%75%6d%20%59%6f%75%20%73%68%6f%75%6c%64% < 1410259153 482785 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :obviously the tape thingy is only working if you have lots of sorted substrings < 1410259163 538948 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :`learn qzyzzalroum You should start the crossword over. < 1410259167 545822 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :I knew that. < 1410259177 201308 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so what's `define? < 1410259183 399069 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I don't know. < 1410259192 226902 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can tell from the URL. < 1410259199 319521 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It used to be "ask google for a definition of a word". < 1410259209 903417 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Now it's "break down". < 1410259210 135204 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :mroman_: well, you can achieve that with that banana matrix from bzip2 I guess. < 1410259225 973786 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: oh I missed the readable part in all the gibberish < 1410259229 49879 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :(how is it called again? I only have the wikipédia example in my head...) < 1410259259 551645 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ah! burrows-wheeler. but I still prefer “banana matrix”. < 1410259260 13255 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> map (chr.fst.head.reads.tail) $ iterate (drop 3) "%71%7a%79%7a%7a%61%6c%72%6f%75%6d%20%59%6f%75%20%73%68%6f%75%6c%64%" :: String < 1410259261 429131 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "G\aO\a\a=\ACKH\ACKK\ACK\DC4;\ACKK\DC4ID\ACKK\ACK@*Exception: Prelude.head: ... < 1410259291 103161 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> map (chr.fst.head.reads.("0x"++).tail) $ iterate (drop 3) "%71%7a%79%7a%7a%61%6c%72%6f%75%6d%20%59%6f%75%20%73%68%6f%75%6c%64%" :: String < 1410259292 624261 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "qzyzzalroum You should\NUL*Exception: Prelude.tail: empty list < 1410259396 290124 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> read "0x" :: Int < 1410259397 735318 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : *Exception: Prelude.read: no parse < 1410259428 37852 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> reads "0x" :: [(Int, String)] < 1410259429 500990 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [(0,"x")] < 1410259441 965602 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Sure. < 1410259454 607267 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> reads "0x1" :: [(Int, String)] < 1410259455 736618 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [(1,"")] < 1410259525 185364 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` perl -e 'use URI::Escape;print uri_unescape("%71%7a%79%7a%7a%61%6c%72%6f%75%6d%20%59%6f%75%20%73%68%6f%75%6c%64%")' < 1410259525 415609 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Can't locate URI/Escape.pm in @INC (@INC contains: /etc/perl /usr/local/lib/perl/5.14.2 /usr/local/share/perl/5.14.2 /usr/lib/perl5 /usr/share/perl5 /usr/lib/perl/5.14 /usr/share/perl/5.14 /usr/local/lib/site_perl .) at -e line 1. \ BEGIN failed--compilation aborted at -e line 1. < 1410259530 642026 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :of course. < 1410259671 444105 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` python -c 'import urllib; print urllib.unquote("%71%7a%79%7a%7a%61%6c%72%6f%75%6d%20%59%6f%75%20%73%68%6f%75%6c%64%")' < 1410259672 473420 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :qzyzzalroum You should% < 1410259911 783966 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`run perl -e 'print pack("C*", map {hex} ("%71%7a%79%7a%7a%61%6c%72%6f%75%6d%20%59%6f%75%20%73%68%6f%75%6c%64%" =~ /%(..)/g));' < 1410259912 397296 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :qzyzzalroum You should < 1410260431 296623 :GeekDude!~G33kDude@unaffiliated/g33kdude JOIN :#esoteric < 1410260434 719103 :GeekDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :hello tromp_ < 1410260438 257055 :GeekDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :and everyone else < 1410260551 517321 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :GeekDood morning! < 1410260853 319430 :boily!~boily@96.127.201.149 QUIT :Quit: QZYZZALROUMISCH CHICKEN < 1410261961 118846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? qzyzzalroum < 1410261961 814532 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :qzyzzalroum You should start the crossword over. < 1410262001 862575 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell boily I think the pdf maintainer should know how `learn actually works twh < 1410262002 40173 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1410262035 733272 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo "You should start the crossword over." >wisdom/qzyzzalroum < 1410262038 497727 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1410262042 701683 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? qzyzzalroum < 1410262043 446787 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :You should start the crossword over. < 1410263113 871629 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`cat bin/learn < 1410263114 464099 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\? .*//') \ echo "$1" >"wisdom/$topic" \ echo "I knew that." < 1410263212 88293 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? I < 1410263213 254542 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :i love monoids < 1410263267 576559 :idris-bot!~ircslave@dslb-088-078-253-084.088.078.pools.vodafone-ip.de QUIT :Ping timeout: 276 seconds < 1410263292 662765 :Melvar!~melvar@dslb-088-078-253-084.088.078.pools.vodafone-ip.de QUIT :Ping timeout: 245 seconds < 1410264082 863619 :AnotherTest!~turingcom@d51a42834.access.telenet.be QUIT :*.net *.split < 1410264119 917764 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1410264314 161969 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1410264316 274792 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :My hobby: Make people scared by trying to login to their computer and watch them see the "There has been one failed attempt" message . < 1410264336 50658 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :That was even in an xkcd I guess? < 1410264350 950152 :AnotherTest!~turingcom@d51a42834.access.telenet.be JOIN :#esoteric < 1410264967 697603 :Lymia!~fujoshi@inportb/loli/cirno-chan QUIT :Ping timeout: 245 seconds < 1410265009 529546 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1410265036 886726 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@hoogle ldapClose < 1410265038 623681 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :No results found < 1410265040 394611 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@hoogle ldapOpen < 1410265040 572288 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :No results found < 1410265049 296963 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :LDAP has ldapOpen < 1410265053 164342 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but does it have ldapClose o_O < 1410265242 128621 :tromp!~tromp@ool-4570a006.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1410265654 965530 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1410265655 143319 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1410266867 323742 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(("objectCategory" `ldapEqu` "person") `ldapAnd` ("objectCategory" `ldapEqu` "contact")) `ldapAnd` (("sn" `ldapEqu` "Smith") `ldapOr` ("sn" `ldapEqu` "Johnson")) < 1410266870 394124 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(&(&(objectCategory=person)(objectCategory=contact))(|(sn=Smith)(sn=Johnson))) < 1410266897 384609 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^- Somebody should do this < 1410266901 132906 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but more serious < 1410266957 69668 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :What’s it called again where you stick the module name in everything? ;_; < 1410266974 622212 :tromp!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1410266997 166665 :GeekDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :this is going to be painful to implement < 1410267108 394932 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*Main> "fooAttrib" `ldapEqu` "(.*)" < 1410267108 586500 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(fooAttrib=\28.\2a\29) < 1410267127 814110 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but that's as much functionality as my quick hacking gives < 1410267169 874710 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: ldapGlassHalfFull < 1410267249 177028 :polytone_!~monotone@room208.org NICK :monotone < 1410267404 553868 :AnotherTest!~turingcom@d51a42834.access.telenet.be QUIT :Ping timeout: 252 seconds < 1410267497 444936 :AnotherTest!~turingcom@d51A42834.access.telenet.be JOIN :#esoteric < 1410267740 707155 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Melvar: "in everything"? < 1410267748 591617 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You mean re-export it? < 1410267755 623337 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or qualified import? < 1410267857 239370 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :mroman_: No, I mean having “ldap” in “ldapEqu”, “ldapAnd”, “ldapOr”, etc. < 1410267894 994763 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's called "avoid collisions with other operators from other modules" < 1410267907 305953 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@hoogle or < 1410267909 422913 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Prelude or :: [Bool] -> Bool < 1410267909 601036 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Data.List or :: [Bool] -> Bool < 1410267909 601231 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Data.Foldable or :: Foldable t => t Bool -> Bool < 1410267914 332896 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^- see < 1410267917 604256 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or is already taken :) < 1410267924 667922 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :You let the *user* decide that. < 1410267927 936117 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :foldable? < 1410267930 435140 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :interesting < 1410267932 611097 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :They can import your module qualified if they like. < 1410267934 101514 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@info Foldable < 1410267934 279221 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Foldable < 1410267939 277567 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :-.- < 1410267955 876099 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1410267968 421496 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's that secret-black-magic * -> * stuff < 1410268049 257421 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Any examples using Foldable Maybe? < 1410268053 78920 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I can't figure one out < 1410268171 966578 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> fold (\a b -> a + b) [Just 5, Just 6] < 1410268173 370491 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Show.Show a0) < 1410268173 548236 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘M114505817426468540712624.show_M1145058174264685407... < 1410268173 548416 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable ‘a0’ is ambiguous < 1410268173 548507 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Note: there are several potential instances: < 1410268173 548599 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : instance [safe] GHC.Show.Show (b GHC.Types.Int) => < 1410268192 976124 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> (fold (\a b -> a + b) [Just 5, Just 6]) :: Maybe Int < 1410268194 362403 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘[Data.Maybe.Maybe a0]’ < 1410268194 548043 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with ‘Data.Maybe.Maybe GHC.Types.Int’ < 1410268194 548200 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: [Data.Maybe.Maybe a0] < 1410268194 548292 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> [Data.Maybe.Maybe a0] -> [Data.Maybe.Maybe a0] < 1410268194 548386 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: [Data.Maybe.Maybe a0] < 1410268198 413736 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :@type fold < 1410268199 639438 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Monoid m, Foldable t) => t m -> m < 1410268235 129031 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> fold (Just 5) < 1410268236 635968 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Show.Show a0) < 1410268236 813740 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘M712488520844229804512663.show_M7124885208442298045... < 1410268236 813920 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable ‘a0’ is ambiguous < 1410268236 814064 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Note: there are several potential instances: < 1410268236 814160 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : instance [safe] GHC.Show.Show (b GHC.Types.Int) => < 1410268244 710627 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Maybe is a foldable < 1410268248 269978 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :What do you want the monoid to be? < 1410268254 95641 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I have no idea < 1410268279 207444 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but Maybe is also a Monoid < 1410268291 578216 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> fold (Just (Just 5)) < 1410268293 535119 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Show.Show a0) < 1410268293 713117 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘M514486933773938025012685.show_M5144869337739380250... < 1410268293 713313 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable ‘a0’ is ambiguous < 1410268293 713407 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Note: there are several potential instances: < 1410268293 713497 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : instance [safe] GHC.Show.Show (b GHC.Types.Int) => < 1410268294 680535 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Only for Monoid element type. < 1410268296 261332 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::( < 1410268305 685345 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> fold (Just (succ)) < 1410268307 157221 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Data.Typeable.Internal.Typeable a0) < 1410268307 723117 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘M163181566624904154912697.show_M1631815666249041549... < 1410268307 723270 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable ‘a0’ is ambiguous < 1410268307 723360 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Note: there are several potential instances: < 1410268307 723451 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : instance Data.Typeable.Internal.Typeable Data.Dynamic.Dynamic < 1410268321 747713 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@type fold < 1410268323 171581 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Monoid m, Foldable t) => t m -> m < 1410268330 771772 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it want's a Foldable that contains a Monoid < 1410268336 461762 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and returns the Monoid < 1410268339 636181 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*wants < 1410268342 491166 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Yes. < 1410268345 511046 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so < 1410268350 105389 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Maybe is Foldable < 1410268363 926794 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and also a Monoid < 1410268371 193983 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :then Just Nothing should be t m? < 1410268371 436472 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Only for monoid element type. < 1410268385 361404 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@type Just Nothing < 1410268386 669451 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Maybe (Maybe a) < 1410268397 980979 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1410268428 778204 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :fold (Just "foo") < 1410268433 335577 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :> fold (Just "foo") < 1410268434 836932 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "foo" < 1410268440 161069 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Maybe isn't a Monoid < 1410268451 918143 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :> fold (Nothing :: Maybe String) < 1410268453 415546 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "" < 1410268485 87640 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hu < 1410268490 49536 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :String is a monoid? < 1410268504 940776 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :[a] is one at least, I see < 1410268519 788543 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> fold (Sum 8) < 1410268521 715223 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Could not deduce (Data.Foldable.Foldable Data.Monoid.Sum) < 1410268521 893025 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘Data.Foldable.fold’ < 1410268521 893172 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : from the context (Data.Monoid.Monoid m, GHC.Num.Num m) < 1410268521 893261 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : bound by the inferred type of < 1410268521 893350 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : it :: (Data.Monoid.Monoid m, GHC.Num.Num m) => m < 1410268537 913679 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> fold (Just (Sum 8)) < 1410268539 371428 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Sum {getSum = 8} < 1410268561 629394 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :“instance Monoid a => Monoid (Maybe a)” < 1410268584 66385 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :> fold (Nothing :: Maybe (Sum Integer)) < 1410268585 549493 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Sum {getSum = 0} < 1410268590 368001 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> fold [Sum 8] < 1410268591 805624 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Sum {getSum = 8} < 1410268595 879491 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> fold [Sum 8, Sum 9] < 1410268597 601917 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Sum {getSum = 17} < 1410268610 344598 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> fold [Just 8, Just 9] < 1410268611 722407 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (GHC.Show.Show a0) < 1410268611 900193 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘M62230355020165895612855.show_M62230355020165895612... < 1410268611 900363 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The type variable ‘a0’ is ambiguous < 1410268611 900454 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Note: there are several potential instances: < 1410268611 900546 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : instance [safe] GHC.Show.Show (b GHC.Types.Int) => < 1410268631 532458 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> (fold [Just 8, Just 9]) :: Maybe Int < 1410268632 858854 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : No instance for (Data.Monoid.Monoid GHC.Types.Int) < 1410268633 36523 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : arising from a use of ‘Data.Foldable.fold’ < 1410268636 614115 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok < 1410268637 881898 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I see < 1410268643 916330 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I understand now < 1410268646 169798 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :For Maybe, fold = maybe mempty id . < 1410268652 702319 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> fold [All False, All True] < 1410268654 115275 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : All {getAll = False} < 1410268678 279378 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but... < 1410268684 489468 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> mconcat [All False, All True] < 1410268686 8567 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : All {getAll = False} < 1410268691 229535 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :where's the difference? < 1410268698 188557 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :For List, fold = mconcat . < 1410268731 188645 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> fold $ Just (Any False) < 1410268732 506168 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :fold works on all Foldables, mconcat only on lists. < 1410268732 683829 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Any {getAny = False} < 1410268743 10838 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :@type fold < 1410268743 967643 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Monoid m, Foldable t) => t m -> m < 1410268745 708607 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :@type mconcat < 1410268746 657773 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Monoid a => [a] -> a < 1410268756 401392 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ic. < 1410268770 743962 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :What are usually usecases for fold where fold /= mconcat? < 1410268817 115682 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :You get to be generic in your container type. < 1410268818 112447 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Foldable ((,) a) wtf < 1410268827 333423 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(,) is a function? < 1410268830 377833 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@type (,) < 1410268831 529104 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :a -> b -> (a, b) < 1410268842 698409 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you can make instances of functions? < 1410268852 617453 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :@kind (,) < 1410268853 600335 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :* -> * -> * < 1410268859 804293 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :It’s that one. < 1410268901 593392 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :@kind (,) Integer < 1410268902 681571 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :* -> * < 1410268934 411354 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@kind id < 1410268935 483647 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Not in scope: type variable ‘id’ < 1410268941 828328 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@kind Just < 1410268942 683566 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :k -> Maybe k < 1410268948 147390 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :k < 1410268953 461534 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Oh, datakinds. < 1410268980 644952 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> let foo = Just :: (k -> Maybe k) < 1410268982 22001 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : not an expression: ‘let foo = Just :: (k -> Maybe k)’ < 1410268986 693418 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> let foo = Just :: (k -> Maybe k) in undefined < 1410268988 87646 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : *Exception: Prelude.undefined < 1410269011 201165 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :mroman_: Kinds are the types of types. < 1410269050 152818 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and super kinds are the type of kinds? < 1410269052 971675 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :;P < 1410269074 26151 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@type [] < 1410269075 206097 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :[t] < 1410269078 229816 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@kind [] < 1410269079 129503 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :* -> * < 1410269101 572549 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@data Foo a b c = Foo a b c < 1410269101 750256 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Unknown command, try @list < 1410269108 177854 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@define Foo a b c = Foo a b c < 1410269109 127712 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:181:1: Not in scope: data constructor ‘Foo’ < 1410269109 305542 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : < 1410269109 305687 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:181:13: Not in scope: data constructor ‘Foo’ < 1410269109 305809 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : < 1410269109 305899 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : .L.hs:181:17: < 1410269110 227805 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :I think those are usually called sorts, but haskell doesn’t do anything at that level I think. < 1410269130 664188 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@kind Maybe < 1410269131 625549 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :* -> * < 1410269139 43027 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1410269139 923695 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok < 1410269149 240098 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Also < 1410269156 892556 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :@let data Foo a b c = Foo a b c < 1410269159 231567 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1410269204 189755 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Now you have one Foo at the type level and one Foo at the data level. < 1410269215 221864 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :@kind Foo < 1410269216 127638 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :* -> * -> * -> * < 1410269221 986025 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :This is the former. < 1410269224 612427 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :@type Foo < 1410269225 607454 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :a -> b -> c -> Foo a b c < 1410269229 797792 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :This is the latter. < 1410269285 770676 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Similarly with (,) . < 1410269289 162663 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/Vv2ggd5x < 1410269310 441960 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Fancy stuff < 1410269348 407295 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Probably needs an extension of some kind if you want to state the kind explicitly. It can infer it though. < 1410269360 570232 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :-XKindSignatures is at least required < 1410269431 318622 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( :t Maybe < 1410269431 740635 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :12Prelude.Maybe.Maybe : 12Type -> 12Type < 1410269450 996555 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( :t Just < 1410269452 346125 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :04Prelude.Maybe.Just : 13a -> 12Maybe 13a < 1410269478 394567 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( Just Maybe < 1410269478 822362 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :04Just 12Maybe : 12Maybe (12Type -> 12Type) < 1410269546 979712 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1410269575 19029 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :can't have multiple kinds? < 1410269586 492619 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :class Foo (t :: * -> * -> *, u :: * -> *) < 1410269607 186819 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :“class Foo (t :: * -> * -> *) (u :: * -> *)”? < 1410269618 806898 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ah < 1410269621 689863 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Multiparamtypeclasses < 1410269624 599921 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yay < 1410269670 127891 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :@type traverse_ < 1410269671 527708 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘traverse_’ < 1410269671 751458 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1410269671 751602 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘F.traverse_’ (imported from Data.Foldable), < 1410269689 663940 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :@type F.traverse_ < 1410269690 674234 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Foldable t, Applicative f) => (a -> f b) -> t a -> f () < 1410269741 917094 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :@type F.traverse_ print (Just "foo") < 1410269742 824157 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :IO () < 1410269784 207810 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/pMAn78K6 <- I think I understand it now < 1410269785 600361 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :That’s another thing to do with a Foldable Maybe. < 1410269789 668605 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I just don't know anything useful to do with it < 1410269919 911754 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/FLi0rKHf <- that's the most useful thing I can imagine < 1410269979 45741 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :That still doesn’t require the kind signatures. < 1410270007 335282 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :not? < 1410270019 738477 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(t :: * -> *) at least is illegal without -XKindSignatures < 1410270030 721699 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :The kinds can be inferred. < 1410270072 667940 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :class Convert t u isn't working though < 1410270103 816921 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :What’s it saying? < 1410270206 63444 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :More precisely: WFM. < 1410270216 274138 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :‘Convert’ is applied to too many type arguments In the instance declaration for ‘Convert (Maybe) ([])’ < 1410270226 861619 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ah < 1410270228 617883 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :damn reload < 1410270273 635168 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it works, yes < 1410270278 197644 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :“class Functor f where fmap :: (a -> b) -> f a -> f b” doesn’t require an explicit signature either. < 1410270338 433502 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :I believe you need the kind signatures if you want a polymorphic kind, but I don’t have any particular idea that would require those. < 1410270497 452145 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 260 seconds < 1410270547 700514 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( :t sequence < 1410270547 878149 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Prelude.Traversable.sequence : 12Traversable 13t => 12Applicative 13f => 13t (13f 13a) -> 13f (13t 13a) < 1410270549 11730 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1410270574 388231 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :with Vect sequence [[1,2,3],[4,5,6]] < 1410270577 97837 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( with Vect sequence [[1,2,3],[4,5,6]] < 1410270577 613399 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :04[04[04104, 04404]04, 04[04204, 04504]04, 04[04304, 04604]04] : 12Vect 043 (12Vect 042 12Integer) < 1410270705 842381 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what does "with" do? < 1410270791 929107 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@hoogle u (t a) -> u a < 1410270792 289901 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Control.Monad.List ListT :: m [a] -> ListT a < 1410270792 467504 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Language.Haskell.TH.Syntax Q :: (forall m. Quasi m => m a) -> Q a < 1410270792 467651 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Data.Maybe catMaybes :: [Maybe a] -> [a] < 1410271919 931340 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> catMaybes $ map Just [99,99] < 1410271921 363890 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [99,99] < 1410271948 425836 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :( id 4 < 1410271948 604003 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :044 : 12Integer < 1410271963 987567 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :( :t id < 1410271964 165420 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Prelude.Basics.id : 13a -> 13a < 1410271964 165517 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Control.Category.id : 12Category 13cat => 13cat 13a 13a < 1410271971 313136 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :( :t (+) < 1410271973 797510 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Prelude.Classes.(+) : 12Num 13a => 13a -> 13a -> 13a < 1410271973 975171 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Prelude.Fin.(+) : 12Fin 13n -> 12Fin 13m -> 12Fin (13n 09+ 13m) < 1410271985 276966 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :( :t Fin.(+) < 1410271985 455127 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Prelude.Fin.(+) : 12Fin 13n -> 12Fin 13m -> 12Fin (13n 09+ 13m) < 1410271992 522369 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :( Fin 9 < 1410271992 728196 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :12Fin 049 : 12Type < 1410272007 640251 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :( :t (Fin 9) Fin.(+) (Fin 1) < 1410272008 434728 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :(input):1:12:When elaborating an application of constructor 04__infer: < 1410272008 612510 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : 12Fin (09fromInteger 049) does not have a function type (12Type) < 1410272017 381923 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :( :t (Fin 9) `Fin.(+)` (Fin 1) < 1410272017 560058 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :(input):1:22:When elaborating an application of function 09Prelude.Fin.+: < 1410272017 560199 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : Can't unify < 1410272017 560290 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : 12Type < 1410272017 560381 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : with < 1410272017 560520 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric : 12Fin 13m14↵… < 1410272027 326383 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :( :t (Fin 9) + (Fin 1) < 1410272027 504049 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Can't resolve type class 12Num 12Type < 1410272031 210339 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :boo! < 1410272463 119178 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Bitoven14]]4 N10 02http://esolangs.org/w/index.php?oldid=40428 5* 03Imaginer1 5* (+3057) 10Created page with "'''Bitoven''' is a WIP programming language by [[User:Imaginer1]] in early September 2014, with the goal of making a musical programming language focusing more on free express..." < 1410272606 929436 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :WIP? < 1410272616 123925 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :TIOBE-Sprachen-Index: C++ und Java auf Allzeit-Tief <- suck it C++ and Java < 1410272767 544848 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Everything that matches /trivial brainfuck substitution/ or the like should be treated as spam :( < 1410272787 192042 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :unless it's funny < 1410272798 872313 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which most of those "joke" languages aren't really funny I'm afraid < 1410273233 9881 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1410273326 125487 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1410273527 245069 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :ais523: It says to prefer that namespace if it can’t disambiguate something otherwise. < 1410273546 984542 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Melvar: right, I was guessing it was something like that < 1410273571 723845 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :mroman_: Fin 9 is a type. You can’t add types together. < 1410273620 374268 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Melvar: I add together types all the time :-( < 1410273626 631575 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(seriously, that's one of the things I do in my research) < 1410273668 656128 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Oh sure, I mean there is no function named (+) that does it in the Idris stdlib. < 1410273707 781077 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, that makes more sense < 1410273725 146885 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, is linear typing expressable in Idris? < 1410273735 965783 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( the (Fin 9) 3 + the (Fin 2) 1 < 1410273736 199729 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :04fS (04fS (04fS (04fS 04fZ))) : 12Fin 0411 < 1410273802 159129 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :ais523: Not directly. You can write an EDSL that has linear types, I expect, but it’ll be a pain. < 1410273815 691444 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1410273825 698925 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because you'd need some sort of wrapper to prevent you copying data < 1410273842 384505 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :indeed, linear types are a pain in languages not designed for them < 1410273855 128756 :AnotherTest!~turingcom@d51A42834.access.telenet.be QUIT :Ping timeout: 255 seconds < 1410273857 208190 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :The latest versions do have UniqueType, a universe of uniqueness types IIUC, but those are unique, not linear. < 1410273868 713816 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and aren't really a good fit for languages like Idris where statements don't stop being true just because you used them to prove something < 1410273987 559374 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1410274063 747215 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :There is also an idiom using Effects where you have a resource, and you can use operations that destroy the resource, and thereafter use no operations that require the resource. < 1410274339 849991 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( the (Fin 9) 3 + the (Fin 2) 1 < 1410274340 108505 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :04fS (04fS (04fS (04fS 04fZ))) : 12Fin 0411 < 1410274343 626495 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :mroman_: ↑ < 1410274496 913377 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :too complicated ;) < 1410274596 630186 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1410274608 628398 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1410274614 20995 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Not sure how it’s complicated. < 1410274952 32872 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Like a Bird on a moving vehicle chased by the police aiming their guns at it while driving off a cliff. < 1410275062 213553 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( the (Fin 9) 3 < 1410275062 391204 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :04fS (04fS (04fS 04fZ)) : 12Fin 049 < 1410275067 511705 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( the (Fin 2) 1 < 1410275068 81763 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :04fS 04fZ : 12Fin 042 < 1410275235 888525 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( :t Fin.(+) < 1410275236 102749 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Prelude.Fin.(+) : 12Fin 13n -> 12Fin 13m -> 12Fin (13n 09+ 13m) < 1410275260 651884 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( :t Fin.(+) {n=9} {m=2} < 1410275260 829885 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09(+) : 12Fin (09fromInteger 049) -> 12Fin (09fromInteger 042) -> 12Fin (09fromInteger 049 09+ 09fromInteger 042) < 1410275268 454687 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( Fin.(+) {n=9} {m=2} < 1410275268 632611 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09(+) : 12Fin 049 -> 12Fin 042 -> 12Fin 0411 < 1410275644 358517 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :More spam that assumes previous contact with spammers: http://sprunge.us/IPPE < 1410276156 439837 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1410276387 529279 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1410276890 939065 :not^v!~notnot^v@2601:4:4500:e15:382d:1ba7:319d:987a JOIN :#esoteric < 1410277077 356467 :not^v!~notnot^v@2601:4:4500:e15:382d:1ba7:319d:987a QUIT :Client Quit < 1410277419 666718 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :Heh. Fun: https://github.com/vsedach/Vacietis < 1410277912 970906 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1410278028 311461 :AnotherTest!~turingcom@d51A42834.access.telenet.be JOIN :#esoteric < 1410278049 945864 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net JOIN :#esoteric < 1410278193 143961 :Schoening!5f9a142a@gateway/web/freenode/ip.95.154.20.42 JOIN :#esoteric < 1410278229 629536 :Schoening!5f9a142a@gateway/web/freenode/ip.95.154.20.42 PRIVMSG #esoteric :Is there a programming language that uses morse code? < 1410278324 207557 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Schoening: well, apparently GRUB has an option to use morse code for its interface < 1410278331 602815 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :presumably so that you can hear error messages if you don't have a working screen < 1410278340 557755 :Schoening!5f9a142a@gateway/web/freenode/ip.95.154.20.42 PRIVMSG #esoteric :lol < 1410278405 520557 :Schoening!5f9a142a@gateway/web/freenode/ip.95.154.20.42 PRIVMSG #esoteric :well that settles that hehe < 1410278542 720399 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1410278626 402234 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais: hear? I thought it would use morse to blink the keyboard leds. < 1410278640 970268 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: it used the speaker < 1410278645 873705 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok < 1410278679 437975 :Schoening!5f9a142a@gateway/web/freenode/ip.95.154.20.42 PART :#esoteric < 1410278792 435261 :sivteck!~sivteck@unaffiliated/sivteck JOIN :#esoteric < 1410279025 103389 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07SMITH14]]4 10 02http://esolangs.org/w/index.php?diff=40429&oldid=33720 5* 03Nthern 5* (-3) 10Fixed the long-dead geocities link to my perl implementation < 1410280012 667733 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1410280036 160992 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net QUIT :Quit: adu < 1410280729 420422 :MoALTz!~no@user-46-112-48-243.play-internet.pl JOIN :#esoteric < 1410280745 639577 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :https://news.ycombinator.com/item?id=8287700 < 1410280942 729108 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl JOIN :#esoteric < 1410281176 629407 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1410282221 130862 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1410283589 895034 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :anyone else watching apple event in safari? < 1410284844 188430 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 255 seconds < 1410285503 978300 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1410285533 742721 :sebbu!~sebbu@ADijon-152-1-60-175.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1410285581 544840 :conehead!~conehead@67.10.235.179 JOIN :#esoteric < 1410285590 355657 :sebbu!~sebbu@ADijon-152-1-60-175.w83-194.abo.wanadoo.fr QUIT :Changing host < 1410285590 563943 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1410285590 564073 :conehead!~conehead@67.10.235.179 QUIT :Signing in (conehead) < 1410285590 564146 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1410287085 261422 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net NICK :datAutoJoinijz < 1410287092 101925 :datAutoJoinijz!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net NICK :^8 < 1410287261 437073 :drdanmaku!uid17782@gateway/web/irccloud.com/x-yprbqyqnsfflmclj JOIN :#esoteric < 1410287697 627806 :prooftechnique!~NihilistD@65-183-137-193-dhcp.burlingtontelecom.net JOIN :#esoteric < 1410287831 843516 :erdic!erdic@unaffiliated/motley QUIT :Remote host closed the connection < 1410287871 66811 :erdic!erdic@unaffiliated/motley JOIN :#esoteric < 1410290072 212876 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1410290462 569164 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1410290880 573961 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1410291172 411473 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1410291749 412414 :AnotherTest!~turingcom@d51A42834.access.telenet.be QUIT :Ping timeout: 260 seconds < 1410292499 582716 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu JOIN :#esoteric < 1410292595 576766 :sebbu!~sebbu@ADijon-152-1-60-175.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1410292631 773139 :sebbu!~sebbu@ADijon-152-1-60-175.w83-194.abo.wanadoo.fr QUIT :Changing host < 1410292632 7884 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1410292923 202184 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1410293253 556032 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1410293457 128645 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 255 seconds < 1410293573 79592 :sivteck!~sivteck@unaffiliated/sivteck QUIT :Quit: Good Night\Day :- < 1410293950 81025 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (&~) < 1410293951 34337 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :s -> State s a -> s < 1410293968 582358 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1410293982 72099 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@type execState < 1410293982 994659 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :State s a -> s -> s < 1410293984 340656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (%~) < 1410293985 199921 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Profunctor p => Setting p s t a b -> p a b -> s -> t < 1410294017 800811 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(just checking whether I remembered the roles of run/exec/eval correctly) < 1410294038 579856 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i just realized that it would have been more logical for %~ to have been called &~ once & exists < 1410294058 55419 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :run is for everything, eval is for the value, exec is for the effect < 1410294082 926004 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :execute evil effects < 1410294109 126507 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( :t run < 1410294109 334116 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Effects.run : 12Applicative 13m => {tacimp env : 12Env 13m 13xs} -> 12Eff 13a 13xs 13xs' -> 13m 13a < 1410294135 244889 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :alternatively, & should have been called %, except that's taken by Data.Ration iirc < 1410294142 669041 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's a suspicious function. < 1410294142 867171 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*-n < 1410294170 554602 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: & used to be called % < 1410294178 352621 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1410294191 134870 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It was renamed due to data rationing. < 1410294200 639332 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( :t runEnv < 1410294200 833470 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :09Effects.runEnv : 12Applicative 13m => 12Env 13m 13xs -> 12Eff 13a 13xs 13xs' -> 13m 12(13x 12** 12Env 13m (13xs' 13x)12) < 1410294204 379267 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ic. i'm not sure that was a good enough reason... < 1410294253 349486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t ($~) < 1410294253 754528 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well it's actually Data.Ratio but i was going along with your thing < 1410294254 215786 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘$~’ < 1410294254 411310 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1410294254 411466 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘$!’ (imported from Prelude), ‘$’ (imported from Data.Function), < 1410294270 658784 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Should’ve used ÷ for Ratio. < 1410294293 249162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar: they're not big on unicode operators in the standard. < 1410294297 527759 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :That isn't ASCII though. < 1410294302 700999 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Yeah I know. < 1410294321 535897 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :ASCII forms should always be made available even if there are non-ASCII alternatives. < 1410294322 874112 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: of code points above 127, anyway < 1410294562 422714 :sivteck!~sivteck@unaffiliated/sivteck JOIN :#esoteric < 1410294671 255874 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1410294679 747058 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Some Haskell libraries use only non-ASCII operators and I want to have ASCII equivalents (including of constructors, and Haskell does not allow you to make up a new name for existing constructors). < 1410294834 641149 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh, there *are* negative width unicode characters. charming... < 1410294856 909302 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I really think that such a thing should be dependent on the font. < 1410294951 224121 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Complex scripts, spacing, character width and height, line breaking, ligatures, kerning, etc should all be specified as part of the font metrics (which use whatever character set the font is for, which could be Unicode or anything else). < 1410295070 677924 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, or perhaps the author is wrong. I'd say http://www.fileformat.info/info/unicode/char/0300/index.htm is a zero-width character that overlaps with the previous one. < 1410295105 204861 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(though the precise placement should depend on the previous character) < 1410295990 287349 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :zzo38, are you there? < 1410296007 479242 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Vorpal: Am I where? < 1410296019 418354 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :zzo38, Out of interest, what gopher server do you use? < 1410296065 824659 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Vorpal: I wrote the software myself < 1410296086 136210 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Is it the best one available? Do you have a link to it? < 1410296086 838079 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is the software you wrote available? < 1410296106 475697 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Vorpal: I don't know if it is best one available < 1410296129 138029 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :What alternatives are there? And do you have links to any of them? < 1410296179 293602 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I wrote it in BASIC, but probably one written in C may be better < 1410296191 333340 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I do not have links; you will have to look yourself < 1410296222 541672 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Right, so your doesn't run on Linux then= < 1410296286 64891 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It is FreeBASIC, so probably it will run on Linux. < 1410296300 717821 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :zzo38: Fonts do need to implement these things; the Unicode standard specifies a way to tell the fonts what you want, to a degree. < 1410296305 410426 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have actually written a similar gopher server in C on Linux too, but I don't have it available. < 1410296394 947959 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Melvar: I am saying it should not be specific to Unicode, nor should a program use hardcoded tables to decide how to typeset characters. < 1410296441 637914 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Unicode is kinda the only thing like itself though. < 1410296864 232375 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Unicode is kinda really stupid though. < 1410297243 103489 :KingOfKarlsruhe!~KingOfKar@unaffiliated/kingofkarlsruhe QUIT :Quit: ZNC - http://znc.in < 1410297539 228101 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi QUIT :Quit: Nettalk6 - www.ntalk.de < 1410297614 725357 :^v!~notnot^v@198.109.114.66 JOIN :#esoteric < 1410297698 501877 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi JOIN :#esoteric < 1410297813 226980 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hello from the land of London. < 1410297827 334948 :GeekDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :hello < 1410297850 927622 :GeekDude!~G33kDude@unaffiliated/g33kdude PRIVMSG #esoteric :From cloud cuckoo land < 1410297862 523031 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1410297878 113067 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :query: is a lisp that is bad at recursion essentially missing the bloody point? < 1410297944 443783 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :what does being bad at recursion entail < 1410297970 461598 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bicyclidine: i get it < 1410297996 897915 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :that wasn't a joke < 1410298005 228164 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :i mean, intentionally. i guess if you laughed anyway that's cool < 1410298045 406890 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :Bicyclidine: poor performance, no TCO, poor exception handling, inability to gracefully break loops ... < 1410298065 945761 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :what do any of those have to with recursion except the second i guess < 1410298070 271361 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :you can just say it's bad < 1410298125 723980 :prooftechnique!~NihilistD@65-183-137-193-dhcp.burlingtontelecom.net QUIT :Quit: return () < 1410298129 667869 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :ACTION is mostly just passive aggressively griping about Clojure because a simple list eater just forced a complete system reboot to end a rogue process ... < 1410298154 175796 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :common lisp doesn't guarantee tail recursion < 1410298242 246820 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :back in my day, when a lisp 1.5 program froze i had to replace the vacuum tubes myself! kids these days < 1410298252 739552 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :elliott: my understanding was that the standard doesn't necessarily require it but that most of the popular implementations are pretty efficient and even have TCO. < 1410298267 257683 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :J_Arcane: yeah, but it's not really considered that idiomatic. < 1410298270 534597 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :afaik. < 1410298276 240187 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :yeah. < 1410298282 857937 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :it's nice to be able to turn it off though. for debugging. < 1410298318 677908 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :The code I was running actually was an attempt to port a piece of CL code. XD Clearly that was not the correct solution. :P < 1410298394 978068 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think clojure can do tail recursion, you just have to mark it. dunno about general tail calls < 1410298468 540905 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :Yeah, you're supposed to call it with recur. < 1410298471 504304 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :I thought the JVM prohibited it or something. I read that like years ago though < 1410298606 40598 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :recursion isn't really that great anyway. < 1410298608 287791 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :The JVM can't do TCO, but recur apparently does some tricks to improve things: http://clojure.org/special_forms#Special%20Forms--(recur%20exprs*) < 1410298839 580107 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :fuck recursion, execute programs by NP graph rewriting < 1410298859 43661 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric ::D < 1410298873 519344 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :Well, in this case it was for an exercise specifically about recursion. < 1410298994 521851 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :those exercises suck < 1410299019 608823 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :define exponentiation BUT YOU'RE NOT ALLOWED TO USE ADDITION, THIS IS IMPORTANT < 1410299076 314662 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :Bicyclidine: The one before it was similarly redundant: find a recursive solution for proving a number is even. < 1410299092 871985 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :You know, because (mod n 2) is too easy ... < 1410299123 713502 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> iterate not True !! 100 < 1410299124 849158 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : True < 1410299156 223642 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :even numbers are a lie < 1410299157 747139 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :yeah, see, those suck. < 1410299170 867634 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :i don't know why people have such trouble with recursion. or supposedly do. maybe classes make it seem harder than it is < 1410299175 847853 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> (iterate (\f x -> iterate f x !! 4) id !! 3) succ 0 < 1410299177 352483 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1 < 1410299215 559558 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1410299230 77856 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :maybe if they picked something that wasn't tail recursion and thus completely fucking pointless to do that way < 1410299233 802738 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :Bicyclidine: I use it all the time in Racket, though I'm still not great with list eaters. < 1410299255 962672 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :like... how about hyper? I bet if you just told students to do hyper they'd do a recursive solution. < 1410299256 438881 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> (iterate (\f x -> iterate f x !! 4) succ !! 3) 0 < 1410299257 832926 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 64 < 1410299268 300019 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :It had just never occured to me to solve something like even? as a recursive function because, like, why thefuck would you need to do that? < 1410299277 855352 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm too tired for Church numerals. < 1410299305 77419 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :well, that's kind of the problem, you've gotten that impression because your class is uncreative. < 1410299344 220799 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :"an even number is one greater than an odd number" is actually an important observation. you're not gonna figure that out from having to write that as a computer program, probably. < 1410299391 252860 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :anyway i'm not complaining about you really. i was at a party last week and CS students were joking about a professor who didn't explain things. "When you're writing a recursive function you have to assume that the recursive case works! DON'T ASK ME WHY!" < 1410299404 182232 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :Heh heh. < 1410299445 15312 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :eh. right, it's self-evident. *chuckles* < 1410299446 991194 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :Well, I liked the clojurescript version of the koans, but the full clojure version basically just dumps you into recursion and says "figure it out". Several of the solutions are literally just blank functions. < 1410299518 492411 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :And when Clojure doesn't exactly handly that like most lisps, well ... it's unhelpful at best. < 1410299597 33653 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :addition can be thought of as adding 1, done repeatedly. multiplication can be considered as repeated addition, and exponentiation as repeated multiplication. Write a function hyper such that (hyper 1) is addition, (hyper 2) is multiplication, etc., that works for any positive integer. < 1410299603 726572 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :i think that wouldn't be a bad problem to assign, maybe? < 1410299664 40907 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :if they define (hyper n) for larger n in some simple but missing-the-point way you tell them nobody likes a clever asshole < 1410299676 370471 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :heh heh. < 1410299704 552832 :sivteck!~sivteck@unaffiliated/sivteck QUIT :Quit: TIL nothing < 1410299742 61828 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :or you just mandate the repeated operations thing. i guess. that might make the solution kind of obvious, but it can't be worse than even? = odd? . (- 1) or whatever < 1410299742 308477 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :welcome to the wonderful world of Ackermann-like functions. < 1410299765 889447 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :I know, it's so obvious! It's like exactly what Ackermann was invented for practically < 1410299841 538580 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :I think what I've realized is that while I love Lisp, all actual Lisps are terrible in their own unique ways. :P < 1410299849 871824 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :everything is terrible hth < 1410299857 200896 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm really irritated by the requirement of not using addition for exponentiation < 1410299865 397450 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :Well, this is also basically true. < 1410299890 436652 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :int-e: that was totally made up. i got out of CS classes before i ran into these problems < 1410299958 56162 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :why not use lists and trees for teaching recursion ... < 1410299987 938563 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes, you can use natural numbers but the easy problems are bound to look very artificial. < 1410299995 160208 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :( :let data Even : Nat -> Type where EvenZ : Even Z; EvenSS : Even n -> Even (S (S n)) < 1410299995 345369 :idris-bot!~ircslave@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :defined < 1410300020 967625 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :int-e: why not make them define exponentiation with addition chains. trees!!! < 1410300048 605031 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :nah but they do that too. J_Arcane's probably going to get told to flatten a list any day now. < 1410300061 3471 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that's so ... untyped < 1410300062 945982 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :Heh heh. < 1410300079 870549 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :I did actually have to flatten a list the other day. So I called (flatten ...) < 1410300089 290354 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :oh, does clojure have a function for that? < 1410300104 311823 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :i've seen dozens of people ask for homework help defining it but never actually wanted to use such an operation < 1410300106 323433 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :No idea, but Racket does (I was using that at the time) < 1410300120 277469 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :clojure does too, looks like. wacky. < 1410300133 647119 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :(flatten 5) => (), nice < 1410300136 706457 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :I actually used it in one of my one-line Euler solutions. < 1410300143 67817 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :How does one memorize the spelling of "Grzegorcyk"? < 1410300158 26474 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu PRIVMSG #esoteric :"Gregor but with a bunch of shit in it" < 1410300277 709043 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :(first (sort (filter prime? (flatten (factorize 600851475143))) >)) < 1410300304 102034 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Do you mean “Grzegorczyk”? < 1410300359 313422 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Melvar: right. < 1410300425 641752 :Melvar!~melvar@dslb-092-072-149-145.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :I suggest you remember how it’s pronounced, then you can just write it out in the usual Polish manner. < 1410300448 454828 :Bicyclidine!~Glossina@wl-nat105.it.wsu.edu QUIT :Ping timeout: 252 seconds < 1410300527 257583 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :J_Arcane: what does factorize return if not a list of primes? < 1410300578 819298 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :I think at the time I'd misunderstood what factorize did. < 1410300639 950839 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :It is indeed an unnecessary step. < 1410300684 946058 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :Somewhere I also picked up a habit of redundant ass-covering. < 1410300835 715136 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fascinating, they changed the number < 1410300866 269741 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :when I solved Euler problem 3, it was the largest prime factor of 317584931803. < 1410300941 424023 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :I guess because people like me go and blab their solutions? XD < 1410300996 759370 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :makes me wonder how many of my solutions are wrong nowadays < 1410301025 190274 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :I kinda ran into a math-skill-wall so I haven't done any in a while. < 1410301108 49767 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :I wanted to try learning Clojure because there are actual paying jobs in Clojure in Finland, whereas there is only one shop I've found that does CL, and assorted shops running Erlang and a few other functional languages. < 1410301128 124485 :J_Arcane!~j_arcane@dsl-trebrasgw2-54f959-138.dhcp.inet.fi PRIVMSG #esoteric :I guess because Java's still so big here, it kinda makes sense. < 1410301388 730189 :shikhout_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1410301553 74993 :shikhout!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1410302089 395290 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1410303696 547486 :drdanmaku!uid17782@gateway/web/irccloud.com/x-yprbqyqnsfflmclj QUIT :Quit: Connection closed for inactivity < 1410305813 18619 :Guest49267!~pinky@unaffiliated/realazthat QUIT :Ping timeout: 240 seconds < 1410305936 565966 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: imo make finnish less complicated twh < 1410306794 675759 :realzies!~pinky@unaffiliated/realazthat JOIN :#esoteric < 1410307022 183513 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer