< 1404519501 113006 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric
< 1404520020 539596 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric
< 1404520193 265294 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de QUIT :Quit: Ze Cat now leaves...
< 1404520388 310899 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz…
< 1404520795 965074 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric
< 1404521000 272729 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds
< 1404521847 269607 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404521847 414429 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services
< 1404521977 128257 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au NICK :Patashu
< 1404521980 607977 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Client Quit
< 1404521989 260824 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404522380 711986 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404522380 856436 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services
< 1404522389 186199 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why is the weather forecast showing this scary "29" number
< 1404522650 259099 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric
< 1404523256 681724 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :scary how?
< 1404523364 307535 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :coppro: it's too damn hot hth
< 1404523380 291793 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, i think this is on topic http://www.scottaaronson.com/blog/?p=1902
< 1404523407 952398 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oerjan: my apologies, I forgot to automatically ignore anything ending in hth
< 1404523410 431724 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :hth
< 1404523424 187286 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no problem hth
< 1404523509 252198 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :there, done
< 1404523522 732915 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :now I won't see you say hth hth
< 1404523556 481897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*MWAHAHAHA* now coppro will be unable to stop my plans hth
< 1404523564 652298 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oh wait it's broken
< 1404523585 90234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :curses foiled again tdnh
< 1404523599 226953 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404523611 81931 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :think I fixed it
< 1404523748 734000 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 252 seconds
< 1404523755 762982 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :coppro will be so confused from now
< 1404523970 340969 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :nope
< 1404523979 228952 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :you never say anything helpful ending in hth
< 1404524117 980580 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am starting to think people have some kind of irrational hatred of the poor hths
< 1404524392 783140 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I do
< 1404524449 377956 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404524449 522489 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services
< 1404524628 805262 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404524726 410621 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 248 seconds
< 1404525047 809816 :nooodl_!~nooodl@244.100-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric
< 1404525237 835231 :nooodl!~nooodl@244.100-242-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 272 seconds
< 1404525760 37744 :nooodl_!~nooodl@244.100-242-81.adsl-dyn.isp.belgacom.be NICK :nooodl
< 1404525985 325108 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Maybe some people do have such hatred I don't know. Other people probably hate other things, I think, whether or not there is a reason to do so.
< 1404526004 741526 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Therefore, in a Dungeons&Dragons game I have to beat Aberration Hater.
< 1404526023 891643 :shikhout!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds
< 1404526382 326815 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric
< 1404528289 199561 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep
< 1404528812 281975 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 260 seconds
< 1404529085 907440 :MDude!~fyrc@or-67-238-30-175.dhcp.embarqhsd.net PRIVMSG #esoteric :An alright 4th of July, now to sleep.
< 1404529092 373859 :MDude!~fyrc@or-67-238-30-175.dhcp.embarqhsd.net NICK :MDream
< 1404529321 341536 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes, and 4th of July is not a holiday in Canada, but we still have a Fourth of July even though it is not a holiday.
< 1404529650 677313 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :happy spam day!
< 1404529722 504103 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric
< 1404531450 692627 :nooodl!~nooodl@244.100-242-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Ik ga weg
< 1404531858 202888 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User talk:Rdebath14]]4 M10 02http://esolangs.org/w/index.php?diff=40082&oldid=40059 5* 03Oerjan 5* (+274) 10unsigned pandemic
< 1404531892 218109 :lambdabot!~lambdabot@silicon.int-e.eu QUIT :Ping timeout: 260 seconds
< 1404532251 188732 :lambdabot!~lambdabot@silicon.int-e.eu JOIN :#esoteric
< 1404532556 302098 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services
< 1404532556 446783 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404533236 11955 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Woohoo! https://ghc.haskell.org/trac/ghc/wiki/ApplicativeDo
< 1404533355 786994 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :And apparently a lot of people don't think it makes much sense
< 1404534241 646192 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem!
< 1404534809 353023 :doesthiswork!~Adium@2601:7:2480:283:223:12ff:fe1b:3213 QUIT :Quit: Leaving.
< 1404535264 236399 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Sortle14]]4 M10 02http://esolangs.org/w/index.php?diff=40083&oldid=31011 5* 03Graue 5* (+2) 10link to main-namespace author page instead of user page
< 1404535289 648269 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Read error: Connection reset by peer
< 1404535321 444974 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :graue is alive!
< 1404535358 322063 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep
< 1404535358 466517 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404535443 799480 :doesthiswork!~Adium@2601:7:2480:283:223:12ff:fe1b:3213 JOIN :#esoteric
< 1404536218 755598 :ski!~ski@remote1.student.chalmers.se PRIVMSG #esoteric :<http://hackage.haskell.org/package/applicative-quoters>
< 1404536793 362632 :bug-magnet!~Thunderbi@r180-216-32-38.cpe.vividwireless.net.au JOIN :#esoteric
< 1404538839 612039 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .
< 1404538882 244849 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404539767 326077 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404539767 470662 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services
< 1404539873 320712 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404540054 347769 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 248 seconds
< 1404540089 305310 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services
< 1404540089 449954 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404540307 309022 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404540342 294326 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 248 seconds
< 1404541110 345148 :bug-magnet!~Thunderbi@r180-216-32-38.cpe.vividwireless.net.au QUIT :Ping timeout: 248 seconds
< 1404541271 110020 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Would an optimizer working on target machine instructions suitable like: You have a commutativity function taking two instruction and tell you if it is commutative or not. You have a set of triples (A,B,C) where a series of instructions (A,X,B) where X consists of instructions commutative with A is converted into (X,C).
< 1404541949 95122 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Is this reasonable?
< 1404542307 464453 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net NICK :^0
< 1404542711 920712 :doesthiswork!~Adium@2601:7:2480:283:223:12ff:fe1b:3213 PRIVMSG #esoteric :I'm having trouble parsing the last sentence
< 1404542773 425949 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Maybe I can rewrite it then.
< 1404542806 394379 :doesthiswork!~Adium@2601:7:2480:283:223:12ff:fe1b:3213 PRIVMSG #esoteric :so you end up with (a,(x,c),b)?
< 1404542818 390773 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :You have a set of rules which are triples (A,B,C) which means that if an instruction matching A is found, followed by zero or more instructions that commute with A, followed by an instruction matching B, that it should remove A and replace B with C.
< 1404542837 65480 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :doesthiswork: No. Now I rewrote it; does this help?
< 1404542910 303019 :bug-magnet!~Thunderbi@r180-216-32-38.cpe.vividwireless.net.au JOIN :#esoteric
< 1404542910 483633 :doesthiswork!~Adium@2601:7:2480:283:223:12ff:fe1b:3213 PRIVMSG #esoteric :ok I understand now
< 1404543428 624118 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Would it work, and how can tables be made to done efficiently?
< 1404543460 932182 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :A, B, and C could all be patterns for a single instruction which include parameters passed to other patterns.
< 1404543843 152011 :edwardk_!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep.
< 1404544031 512817 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric
< 1404545193 897829 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 240 seconds
< 1404545370 863345 :doesthiswork!~Adium@2601:7:2480:283:223:12ff:fe1b:3213 PRIVMSG #esoteric :I don't have enough experience with efficiency to know
< 1404545471 152133 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :But does it seem a reasonable way to do a instruction code optimization at all?
< 1404545782 865310 :Guest51806!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric
< 1404545813 620292 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :The Roblox wiki helpfully documents undocumented features of Lua
< 1404545818 639225 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://wiki.roblox.com/index.php?title=Newproxy#newproxy
< 1404546033 851473 :Guest51806!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 240 seconds
< 1404546580 288813 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric
< 1404546609 312473 :doesthiswork!~Adium@2601:7:2480:283:223:12ff:fe1b:3213 QUIT :Quit: Leaving.
< 1404547386 414474 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`olist (957)
< 1404547387 386457 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :olist (957): shachaf oerjan Sgeo FireFly boily nortti
< 1404547539 997906 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh
< 1404548042 151757 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :prophecy fulfilment in 1,2...
< 1404548063 991323 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :five...oops...
< 1404548400 272537 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric
< 1404549339 948211 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Other thing I wanted to know, is how to generate AI for computer-RPG game.
< 1404549368 785473 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(Including by automatic generation)
< 1404549372 608399 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :< Sgeo> Woohoo! https://ghc.haskell.org/trac/ghc/wiki/ApplicativeDo – “desugaring comes after typechecking” really?
< 1404549532 288745 :Burton!Burton@gateway/shell/bouncerstation/x-piolexjiyexgoift QUIT :Ping timeout: 260 seconds
< 1404549645 150286 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :And this should even be including such thing as deception, and learning about the target, and so on.
< 1404550230 280847 :GermanyBoy!~iikka@a91-154-145-80.elisa-laajakaista.fi JOIN :#esoteric
< 1404550402 71709 :GermanyBoy!~iikka@a91-154-145-80.elisa-laajakaista.fi QUIT :Client Quit
< 1404551035 404226 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Template:Infobox proglang14]]4 10 02http://esolangs.org/w/index.php?diff=40084&oldid=40078 5* 03GermanyBoy 5* (+253) 10made refimpl optional if majorimpl is present
< 1404551282 931947 :Burton!Burton@gateway/shell/bouncerstation/x-fvqnwbshixzfbide JOIN :#esoteric
< 1404551605 513611 :Froox!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric
< 1404551607 180961 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer
< 1404551659 839045 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang talk:Community portal14]]4 10 02http://esolangs.org/w/index.php?diff=40085&oldid=39102 5* 03GermanyBoy 5* (+141) 10/* Infoboxes? */
< 1404551801 552382 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric
< 1404551988 296856 :Slereah_!~jackal@11.111.101.84.rev.sfr.net QUIT :Ping timeout: 255 seconds
< 1404552095 735873 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 252 seconds
< 1404552111 174296 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07SYCPOL14]]4 M10 02http://esolangs.org/w/index.php?diff=40086&oldid=40076 5* 03GermanyBoy 5* (+12) 10
< 1404553104 890131 :Tritonio1!~Thunderbi@athedsl-18682.home.otenet.gr JOIN :#esoteric
< 1404553353 887599 :Tritonio!~Thunderbi@athedsl-18682.home.otenet.gr QUIT :Ping timeout: 240 seconds
< 1404553531 285141 :nooodl!~nooodl@244.100-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric
< 1404553811 81894 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar: really.  it's so that type errors can still give error messages accurately referring to source.
< 1404553930 487625 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Etc.
< 1404554639 714404 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :(In Idris typechecking happens after elaboration, which does part of the desugaring, while the parser does the other part of the desugaring. The way to refer back is to keep around the original source spans provided by the parser. Yes, this sometimes gives horrendous errors when using custom sugar or even type functions.)
< 1404554918 693198 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services
< 1404554918 875673 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404555411 110783 :nooodl!~nooodl@244.100-242-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Ik ga weg
< 1404555411 736709 :Froox!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer
< 1404555415 489870 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric
< 1404556925 632726 :drdanmaku!uid17782@gateway/web/irccloud.com/x-inqpdukmlepiydsc JOIN :#esoteric
< 1404557282 958066 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric
< 1404557362 931307 :sebbu!~sebbu@ADijon-152-1-44-204.w83-194.abo.wanadoo.fr JOIN :#esoteric
< 1404557405 434606 :sebbu!~sebbu@ADijon-152-1-44-204.w83-194.abo.wanadoo.fr QUIT :Changing host
< 1404557405 579000 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric
< 1404558607 548398 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep
< 1404558667 847603 :MDude!~fyrc@or-67-238-30-175.dhcp.embarqhsd.net JOIN :#esoteric
< 1404558684 738726 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric
< 1404558698 873002 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de JOIN :#esoteric
< 1404558884 244844 :MDream!~fyrc@or-67-238-30-175.dhcp.embarqhsd.net QUIT :Ping timeout: 260 seconds
< 1404558890 890466 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404558893 700514 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 252 seconds
< 1404558963 869457 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de QUIT :Ping timeout: 240 seconds
< 1404559165 252924 :lollo64it!~lorenzo@93-58-3-33.ip156.fastwebnet.it JOIN :#esoteric
< 1404559427 47716 :lollo64it!~lorenzo@93-58-3-33.ip156.fastwebnet.it QUIT :Read error: Connection reset by peer
< 1404560076 260621 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep
< 1404560374 820170 :lollo64it!~lorenzo@93-58-3-33.ip156.fastwebnet.it JOIN :#esoteric
< 1404563091 941331 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric
< 1404564969 476684 :heroux!~heroux@50708355.static.ziggozakelijk.nl QUIT :Ping timeout: 264 seconds
< 1404565238 244414 :boily!~boily@96.127.201.149 JOIN :#esoteric
< 1404565262 743721 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 252 seconds
< 1404565980 254699 :heroux!~heroux@50708355.static.ziggozakelijk.nl JOIN :#esoteric
< 1404566301 465505 :heroux!~heroux@50708355.static.ziggozakelijk.nl QUIT :Ping timeout: 264 seconds
< 1404567221 601619 :heroux!~heroux@50708355.static.ziggozakelijk.nl JOIN :#esoteric
< 1404567339 658920 :ion!ion@heh.fi PRIVMSG #esoteric :“ISIS Europe projects reflect a wealth of experience in peace-building, crisis management, gender and security reform, and integrating web 2.0 into the security and defence sectors.” http://isis-europe.org/
< 1404568258 930273 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric
< 1404568323 888716 :Tritonio1!~Thunderbi@athedsl-18682.home.otenet.gr QUIT :Ping timeout: 240 seconds
< 1404568845 483876 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de JOIN :#esoteric
< 1404568888 982408 :drdanmaku!uid17782@gateway/web/irccloud.com/x-inqpdukmlepiydsc QUIT :Quit: Connection closed for inactivity
< 1404568932 19029 :heroux!~heroux@50708355.static.ziggozakelijk.nl QUIT :Remote host closed the connection
< 1404569073 898080 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds
< 1404569156 210780 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric
< 1404569243 454089 :heroux!~heroux@50708355.static.ziggozakelijk.nl JOIN :#esoteric
< 1404569607 675712 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de QUIT :Quit: Ze Cat now leaves...
< 1404570322 644886 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone
< 1404570392 895205 :Tritonio1!~Thunderbi@athedsl-18682.home.otenet.gr JOIN :#esoteric
< 1404570573 893465 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Ping timeout: 240 seconds
< 1404570728 219453 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 260 seconds
< 1404571483 407250 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric
< 1404573197 180875 :vifino!~vifino@f051228122.adsl.alicedsl.de JOIN :#esoteric
< 1404573291 822739 :bug-magnet!~Thunderbi@r180-216-32-38.cpe.vividwireless.net.au QUIT :Quit: bug-magnet
< 1404574162 658149 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz…
< 1404574328 902607 :^0!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net NICK :^v
< 1404575403 891466 :Tritonio1!~Thunderbi@athedsl-18682.home.otenet.gr QUIT :Ping timeout: 240 seconds
< 1404575506 355858 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :My mention of how to above to replace pairs of instructions with a single one, is seems, if commutativity is omitted, to be something like the method of replacing a pair of letters with the ligature.
< 1404575551 781135 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :`unidecode ɮ
< 1404575553 376581 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+026E LATIN SMALL LETTER LEZH]
< 1404575645 884214 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ACTION fails at pronouncing /l/ and /ʒ/ at the same time...
< 1404575665 310789 :zzo38!~zzo38@24-207-51-179.eastlink.ca QUIT :Remote host closed the connection
< 1404575671 990197 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :@massages-loud
< 1404575672 135126 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :oerjan said 1d 14h 6m 2s ago: apparently one species, Acheta domestica, is occasionally found in norway
< 1404575770 20300 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :boily: You take a [l] and then tighten it to a fricative.
< 1404575865 33467 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oh. hm. indeed. tdh.
< 1404575908 8241 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :And then you can devoice it to get [ɬ].
< 1404575970 203429 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :is that phone actually used in an actual language?
< 1404575981 148754 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :Which?
< 1404576048 584700 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :that one, the devoiced one, the one that mysteriously renders in my terminal.
< 1404576086 296907 :drdanmaku!uid17782@gateway/web/irccloud.com/x-cxskwpfrrfiibklw JOIN :#esoteric
< 1404576101 173364 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Voiceless_alveolar_lateral_fricative has a longish list.
< 1404576241 164788 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :Welsh is the usual example, where it’s spelled ‹ll›.
< 1404576388 859910 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :so many different languages...
< 1404576462 261258 :boily!~boily@96.127.201.149 QUIT :Quit: TELOMERIC CHICKEN
< 1404577968 317423 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric
< 1404579032 798833 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Dweymouth 5*  10New user account
< 1404579888 328796 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Arborealis14]]4 10 02http://esolangs.org/w/index.php?diff=40087&oldid=23326 5* 03Dweymouth 5* (+327) 10Added my interpreter
< 1404580183 217233 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Arborealis14]]4 10 02http://esolangs.org/w/index.php?diff=40088&oldid=34233 5* 03Dweymouth 5* (+209) 10Added interpreters
< 1404581013 353853 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 255 seconds
< 1404581150 809417 :nooodl!~nooodl@244.100-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric
< 1404581596 542496 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1404582526 136036 :vifino!~vifino@f051228122.adsl.alicedsl.de QUIT :Quit: Me sais Laptop sleepy.
< 1404583210 688997 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric
< 1404584702 411697 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric
< 1404585276 121327 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric
< 1404585303 921281 :MDude!~fyrc@or-67-238-30-175.dhcp.embarqhsd.net QUIT :Ping timeout: 240 seconds
< 1404585459 382560 :vifino!~vifino@f051228122.adsl.alicedsl.de JOIN :#esoteric
< 1404587571 872327 :boily!~boily@96.127.201.149 JOIN :#esoteric
< 1404588417 19575 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net JOIN :#esoteric
< 1404589501 822501 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric
< 1404589591 73952 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer
< 1404590008 906103 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :how can wales be a country?
< 1404590125 902244 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric
< 1404590504 329203 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :newsham, long story
< 1404590704 752833 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :i blame rome
< 1404590783 347260 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone
< 1404591225 230078 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07SYCPOL14]]4 10 02http://esolangs.org/w/index.php?diff=40089&oldid=40086 5* 03GermanyBoy 5* (+48) 10I finally implemented it! ~ added links to VISCIM-JA
< 1404591589 842486 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz…
< 1404592520 75326 :zzo38!~zzo38@24-207-51-179.eastlink.ca JOIN :#esoteric
< 1404592999 314075 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :The TFM format has eight kind of ligature ops, which are =: |=: |=:> =:| =:|> |=:| |=:|> |=:|>>
< 1404593038 220634 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :In order to do the kinds of optimization I was mentioning before though, the last three ops aren't needed.
< 1404593787 922641 :vifino!~vifino@f051228122.adsl.alicedsl.de QUIT :Quit: Me sais Laptop sleepy.
< 1404593818 226040 :vifino!~vifino@f051228122.adsl.alicedsl.de JOIN :#esoteric
< 1404594108 256038 :vifino!~vifino@f051228122.adsl.alicedsl.de QUIT :Ping timeout: 260 seconds
< 1404594331 582764 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de JOIN :#esoteric
< 1404594331 763824 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :What is the TFM format?
< 1404594355 234085 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It is a font metrics format used in TeX and METAFONT.
< 1404594366 210374 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I see
< 1404594370 36396 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :The "dvi-processing" Haskell library also uses it.
< 1404594558 696911 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :<Sgeo>   The Roblox wiki helpfully documents undocumented features of Lua  ← as does the lua-users wiki, FWIW
< 1404594868 131011 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de QUIT :Quit: Ze Cat now leaves...
< 1404595488 491517 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net QUIT :Quit: Terminated
< 1404595506 686804 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net JOIN :#esoteric
< 1404596407 197623 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i don't get people who complain about the axiom of choice being non-constructive
< 1404596437 225207 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :by the time you're working with uncountable sets you've thrown constructivism to the wind anyway, what's the big issue
< 1404596567 928904 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de JOIN :#esoteric
< 1404596592 753656 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I do not think it is a problem; you can make the theory with or without axiom of choice, as you can make the logic with or without law of excluded middle.
< 1404596622 478343 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: uncountability and constructivism aren't incompatible
< 1404596753 69595 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :elliott, let me rephrase; by the time you've defined the reals, you've thrown constructivism to the wind
< 1404597201 485238 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 252 seconds
< 1404597210 242335 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric
< 1404597247 818467 :lollo64it!~lorenzo@93-58-3-33.ip156.fastwebnet.it QUIT :Ping timeout: 272 seconds
< 1404597421 272664 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: not really
< 1404597431 904885 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you just might not be able to construct uncomputable ones
< 1404597451 425984 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can't prove they don't exist though
< 1404597460 300391 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the set being the familiar reals is consistent
< 1404597564 483756 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :lets do math with the ones we know how to talk about
< 1404597806 646379 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com JOIN :#esoteric
< 1404597940 71096 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Max SendQ exceeded
< 1404598007 17848 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :elliott, is the axiom of choice still even nonconstructive on constructive sets then
< 1404598287 633936 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :intensional choice is a theorem of type theory at least
< 1404598295 585010 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but extensional choice implies lem and is not
< 1404598569 376862 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving
< 1404598697 149909 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Help I'm distracting myself from writing terrible Python by reading terrible PHP
< 1404598745 490693 :Bike!~Glossina@67-5-211-47.ptld.qwest.net PRIVMSG #esoteric :why not read "More Tales of Pirx the Pilot", a collection of delightful science-fiction short stories by the famous author Stanislaw Lem
< 1404598776 489978 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ACTION throws a few copies of LYAH and Land of LISP towards Taneb with great informational force
< 1404598792 41061 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :boily, I have read LYAH
< 1404598804 462480 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And programmed mostly in Haskell for a few years now
< 1404598810 877296 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I have however not read Land of LISP
< 1404598818 48411 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Bike: that yes
< 1404598830 150354 :Bike!~Glossina@67-5-211-47.ptld.qwest.net PRIVMSG #esoteric :hello
< 1404598944 17818 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Bikello.
< 1404598956 821179 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Taneb: the latter is quite mindwarping.
< 1404599005 812922 :Bike!~Glossina@67-5-211-47.ptld.qwest.net PRIVMSG #esoteric :isn't land of lisp the one with a bunch of gaems
< 1404599069 498055 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :it's the one with that... thing? with legs?
< 1404599076 397552 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :also eyes. can't forget the eyes.
< 1404599184 323006 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com JOIN :#esoteric
< 1404599366 801449 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :ACTION looks up land of lisp
< 1404599429 190961 :impomatic_!~digital_w@76.70.208.46.dyn.plus.net PRIVMSG #esoteric :ACTION is looking for a lisp cartridge for the Electron and Vic 20 :-)
< 1404599467 267757 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :learn you a structure and interpretation of computer programs for great good
< 1404599529 130091 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :does the c64 "microlisp" work in vic20?
< 1404599550 100668 :impomatic_!~digital_w@76.70.208.46.dyn.plus.net PRIVMSG #esoteric :I don't know, but I doubt it.
< 1404599574 593745 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :yah, doesnt seem to, from my searches
< 1404599586 997329 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :http://www.npsnet.com/danf/cbm/languages.html#LISP
< 1404599599 340631 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Max SendQ exceeded
< 1404600683 125526 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com JOIN :#esoteric
< 1404600829 56381 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Max SendQ exceeded
< 1404601924 102484 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404601940 685722 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1404602059 832333 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com JOIN :#esoteric
< 1404602133 435102 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services
< 1404602133 619775 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1404602201 811099 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Max SendQ exceeded
< 1404602396 760623 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com JOIN :#esoteric
< 1404602593 78448 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Max SendQ exceeded
< 1404603321 128856 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric
< 1404603595 572138 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :<ion> “ISIS Europe projects reflect a wealth of experience in peace-building, crisis management, gender and security reform, and integrating web 2.0 into the security and defence sectors.” http://isis-europe.org/ <-- nothing about good naming practices?
< 1404603652 600921 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also it's officially just is now, i hear.
< 1404603675 251777 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell ion <ion> “ISIS Europe projects reflect a wealth of experience in peace-building, crisis management, gender and security reform, and integrating web 2.0 into the security and defence sectors.” http://isis-europe.org/ <-- nothing about good naming practices?
< 1404603675 396794 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted.
< 1404604328 266599 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 260 seconds
< 1404604462 890405 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric