< 1422403236 405149 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1422403299 333930 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1422403672 710619 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1422403803 380724 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, is this the right channel to post Wikipedia pages which are so specific I'm surprised they exist? < 1422403805 864122 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Artificial_castling < 1422403860 35318 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Probably not, but you can post it anyways. < 1422404057 528925 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1422404105 961964 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :it is chess, therefore it is the right channel. < 1422404274 409109 :shikhin_!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 272 seconds < 1422404473 406430 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :are there any esolangs that encode instructions in chess moves? < 1422404492 118272 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :because chess notation looks to me at least as unintelligible as burlesque. < 1422404589 809376 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, clearly we need an esolang which has a relatively simple mapping between chess moves and instructions (preferably one that ties into chess somehow, not a boring BF equivalent) < 1422404601 289183 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but the twist is: the program needs to be a valid chess game < 1422404624 588939 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the hardest part would presumably be ensuring that each piece is only moved from the square it's currently on < 1422404708 349182 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Looks like the wiki turns up only a couple unfinished and unimplemented idea pages. < 1422404765 971156 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :It does occur to me that a chessboard is essentially 8 one-byte registers, after a fashion ... < 1422404789 865249 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this also makes the language fail at full TCness because it only supports finitely many programs < 1422404798 2437 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :however, IMO it should at least be curly-L complete < 1422404934 381125 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :That's true. Chess is 'solvable' after all. Now Go ... < 1422404936 481265 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Quit: ZNC - http://znc.in < 1422405020 712602 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: hmm, the 50-moves rule isn't enforced. < 1422405230 945741 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(same for the three-fold repetition) < 1422405254 414140 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:CBR (Cleverer Brainfuck)14]]4 N10 02http://esolangs.org/w/index.php?oldid=41728 5* 03BCompton 5* (+133) 10Created page with "Should this page be ''CBF'' instead of ''CBR''? ~~~~" < 1422406710 596582 :bb010g!uid21050@gateway/web/irccloud.com/x-cvjuxeossolegcxm JOIN :#esoteric < 1422407924 952057 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 246 seconds < 1422408752 315419 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1422409293 765801 :^v!~^v@c-68-36-225-16.hsd1.nj.comcast.net JOIN :#esoteric < 1422409320 250593 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :J_Arcane: but Go is already a programming language < 1422409320 996493 :^v!~^v@c-68-36-225-16.hsd1.nj.comcast.net QUIT :Client Quit < 1422409423 852966 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Call it Ban Go < 1422410123 395355 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 252 seconds < 1422410547 938707 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :
ACTION sings «Ban go, ban go, ban go, ban go, ban go dai kazoku ♪»
< 1422410554 976137 :boily!~alexandre@96.127.201.149 QUIT :Quit: UNNERVING CHICKEN < 1422410779 98954 :chaosagent!~quassel@c-98-210-97-139.hsd1.ca.comcast.net JOIN :#esoteric < 1422411014 506776 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1422412233 936147 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1422412964 927661 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net QUIT :Ping timeout: 246 seconds < 1422413300 904223 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 246 seconds < 1422413532 193918 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1422413770 712420 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1422413786 822285 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1422415508 906653 :mitchs_!~canissimi@unaffiliated/canissimia JOIN :#esoteric < 1422415712 402478 :mitchs!~canissimi@unaffiliated/canissimia QUIT :Ping timeout: 272 seconds < 1422415854 491766 :GeekDude!~GeekDude@unaffiliated/g33kdude NICK :GeekAfk < 1422416410 679501 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1422417066 800027 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net JOIN :#esoteric < 1422417523 199376 :fractal!~fractal@unaffiliated/scounder QUIT :Ping timeout: 245 seconds < 1422418304 711061 :fractal!~fractal@unaffiliated/scounder JOIN :#esoteric < 1422419055 996330 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422419848 917183 :arjanb!8259abfe@gateway/web/freenode/ip.130.89.171.254 QUIT :Quit: zzz < 1422419878 236266 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :There exists a web browser written in Node.js < 1422420032 977540 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1422420045 483397 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :can't get much more isomorphic than that < 1422420393 394099 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422420880 393662 :fractal!~fractal@unaffiliated/scounder QUIT :Ping timeout: 272 seconds < 1422421554 668962 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1422422210 77359 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422422210 259858 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Client Quit < 1422422421 290099 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 252 seconds < 1422423388 499190 :v^!~^v@2601:4:680:104c:c087:4c03:9978:c72f JOIN :#esoteric < 1422423616 437160 :^v^v!~^v@2601:4:680:104c:c087:4c03:9978:c72f QUIT :Ping timeout: 272 seconds < 1422423833 808566 :nys!~nysnamovo@blk-215-85-138.eastlink.ca QUIT :Quit: quit < 1422424105 164077 :Eolus!uid52684@gateway/web/irccloud.com/x-ujjbecjargydeaah JOIN :#esoteric < 1422424645 770308 :Eolus!uid52684@gateway/web/irccloud.com/x-ujjbecjargydeaah PRIVMSG #esoteric :Hello < 1422424704 7791 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 246 seconds < 1422424893 38901 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :Hi < 1422425691 246253 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 256 seconds < 1422425734 703147 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1422427356 239960 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1422431173 194412 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1422431180 900437 :v^!~^v@2601:4:680:104c:c087:4c03:9978:c72f QUIT :Read error: Connection reset by peer < 1422431695 766976 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Did you study my Magic: the Gathering puzzle.3 by now? Or you don't? < 1422431879 629358 :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 . < 1422432242 260709 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1422432280 766640 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net NICK :MDream < 1422432712 82142 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :has reddit changed its comment font? i suddenly find it harder to read :( < 1422432996 661245 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's sans serif now, i don't remember if it used to be < 1422433063 142766 :Eolus!uid52684@gateway/web/irccloud.com/x-ujjbecjargydeaah QUIT :Quit: Connection closed for inactivity < 1422433258 942684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :actually, i think it's just increased the size of the font one step too much < 1422433293 20007 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :changing text size to small made it look normal < 1422435187 451294 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1422435522 170432 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :A chess rating system with inflation could involve that a game is (e^(tr)) points where e is the base of natural logarithms, t is the timestamp in seconds since the epoch (you can change the epoch in order to rescale; all ratings are then recomputed), and r is the inflation rate in hertz. The system is of course more complicated than just that, but that can be one of the components of a system. < 1422435650 938278 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Do you think it can be worked? < 1422436328 563332 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Why do you want inflation? < 1422436466 156522 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :everyone knows deflation is harmful < 1422436694 119634 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :So that more recent points winning/losing is worth more. < 1422437305 775365 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You could use a model that assigns each player not only an estimated rating, but also an estimated rating rate of change < 1422437540 397991 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :An exponential inflation rate won't work because if, say, an IM plays against a GM who hasn't played (in rated tournament games) for several years, the IM would start with a higher rating even though he is expected to lose < 1422438475 249517 :GeekAfk!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 256 seconds < 1422438523 541246 :zzo38!~zzo38@24-207-58-35.eastlink.ca QUIT :Ping timeout: 255 seconds < 1422438889 369228 :zzo38!~zzo38@24-207-58-35.eastlink.ca JOIN :#esoteric < 1422438895 675717 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Sorry, it was connection error < 1422438968 773685 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :The purpose of this rating system I try to make up isn't exactly the same as things such as Elo anyways. < 1422439035 175712 :AnotherTest!~turingcom@94-224-27-51.access.telenet.be JOIN :#esoteric < 1422439190 408417 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Also, event bonuses would be part of the system too. < 1422439373 328390 :GeekDude!~GeekDude@c-73-31-240-150.hsd1.wv.comcast.net JOIN :#esoteric < 1422439389 501022 :GeekDude!~GeekDude@c-73-31-240-150.hsd1.wv.comcast.net NICK :Guest42916 < 1422439500 371492 :zzo38!~zzo38@24-207-58-35.eastlink.ca QUIT :Ping timeout: 272 seconds < 1422439749 210228 :zzo38!~zzo38@24-207-58-35.eastlink.ca JOIN :#esoteric < 1422439803 161336 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Event bonuses would be based on different expectations calculated for each event. No wins/losses are calculated at all outside of a tournament. If you play outside of a tournament, your score is safe. < 1422440007 487372 :nyuszika7h!nyuszika7h@cadoth.net QUIT :Remote host closed the connection < 1422440272 472799 :nyuszika7h!nyuszika7h@cadoth.net JOIN :#esoteric < 1422440657 895415 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1422440806 154014 :chaosagent!~quassel@c-98-210-97-139.hsd1.ca.comcast.net QUIT :Ping timeout: 265 seconds < 1422442446 250132 :dianne!~diannes@unaffiliated/dianne QUIT :Quit: byeannes < 1422442688 229164 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Wouldn't systems using average rank be way better? < 1422442741 230850 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I don't know? < 1422442793 40600 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If you win as the lower player you switch ranks with your opponent < 1422442804 146949 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :for example if you play as rank 5 against a rank 3 < 1422442809 848702 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :then the average ranks are 5 and 3 < 1422442812 271255 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if you win < 1422442821 138400 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you'll be promoted to rank 3 and he'll go down to rank 5 < 1422442830 828853 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which means both have an average rank of 4 now < 1422442833 946943 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you'll play again < 1422442837 774957 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and you'll win again < 1422442845 481269 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :both stay at their ranks < 1422442848 912977 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> (3+3+5)/3 < 1422442851 114753 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3.6666666666666665 < 1422442861 593812 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :is then the new average rank of the winning player < 1422442862 339565 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and < 1422442867 698181 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> (3+5+5)/3 < 1422442869 200024 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 4.333333333333333 < 1422442875 972100 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :will be the rank of the loosing player < 1422442985 842278 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(Obviously there are two rankings then. The current ranking and the ranking based on average ranking) < 1422443466 344461 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io NICK :Tabneb < 1422443667 352571 :Tabneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io NICK :Taneb < 1422443966 339292 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi QUIT :Quit: ChatZilla 0.9.91-rdmsoft [XULRunner 32.0.3/20140923175406] < 1422444026 432633 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1422445621 458043 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi JOIN :#esoteric < 1422445693 43640 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi QUIT :Remote host closed the connection < 1422446023 239623 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 256 seconds < 1422446160 945388 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi JOIN :#esoteric < 1422446596 627507 :Guest42916!~GeekDude@c-73-31-240-150.hsd1.wv.comcast.net QUIT :Quit: ZNC - http://znc.in < 1422446855 454921 :GeekDude!~GeekDude@c-73-31-240-150.hsd1.wv.comcast.net JOIN :#esoteric < 1422446855 811368 :GeekDude!~GeekDude@c-73-31-240-150.hsd1.wv.comcast.net NICK :Guest73330 < 1422447164 628774 :AnotherTest!~turingcom@94-224-27-51.access.telenet.be QUIT :Ping timeout: 245 seconds < 1422447176 366881 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 272 seconds < 1422447367 285663 :Guest73330!~GeekDude@c-73-31-240-150.hsd1.wv.comcast.net QUIT :Quit: ZNC - http://znc.in < 1422447533 439306 :boily!~alexandre@96.127.201.149 QUIT :Quit: ACOUSTIC CHICKEN < 1422447655 532079 :AnotherTest!~turingcom@94-224-27-51.access.telenet.be JOIN :#esoteric < 1422449080 123127 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1422450321 652868 :TieSleep!56597793@gateway/web/freenode/ip.86.89.119.147 PART :#esoteric < 1422450399 618831 :TieSoul!56597793@gateway/web/freenode/ip.86.89.119.147 JOIN :#esoteric < 1422450637 122016 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 265 seconds < 1422451453 259119 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1422451724 243273 :scarf!~ais523@147.188.254.146 JOIN :#esoteric < 1422451733 937676 :scarf!~ais523@147.188.254.146 QUIT :Changing host < 1422451734 82263 :scarf!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1422451803 245024 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 256 seconds < 1422452722 148781 :scarf!~ais523@unaffiliated/ais523 QUIT :Read error: No route to host < 1422452736 58984 :scarf!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1422452807 605002 :scarf!~ais523@unaffiliated/ais523 NICK :ais523 < 1422453935 95327 :Eolus!uid52684@gateway/web/irccloud.com/x-ujcsmezouzmcpdvv JOIN :#esoteric < 1422453992 518083 :Eolus!uid52684@gateway/web/irccloud.com/x-ujcsmezouzmcpdvv PRIVMSG #esoteric :oerjan its always been sans serrif < 1422454411 524950 :variable!root@freebsd/developer/variable QUIT :Quit: I found 1 in /dev/zero < 1422456357 694140 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:InputUsername14]]4 M10 02http://esolangs.org/w/index.php?diff=41729&oldid=41598 5* 03InputUsername 5* (+82) 10Added qq implementation < 1422456401 377957 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1422456777 761274 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1422456814 784556 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1422457146 189339 :trn!jhj@trnsz.com QUIT :Ping timeout: 276 seconds < 1422457270 654194 :variable!root@gateway/shell/trekweb.org/x-gqrktubyragcnzos JOIN :#esoteric < 1422457270 836277 :variable!root@gateway/shell/trekweb.org/x-gqrktubyragcnzos QUIT :Changing host < 1422457270 836392 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1422457375 217018 :trn!jhj@trnsz.com JOIN :#esoteric < 1422457453 352575 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422457607 450181 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Client Quit < 1422457785 447844 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck implementations14]]4 10 02http://esolangs.org/w/index.php?diff=41730&oldid=41345 5* 0368.227.98.57 5* (+107) 10/* Normal implementations */ < 1422457973 440298 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 252 seconds < 1422458458 363477 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1422458458 548109 :nycs!~nycs@gw.hq.meetup.com NICK :`^_^v < 1422458558 938372 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422458656 666958 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1422458759 915319 :nys!~nysnamovo@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1422458899 475999 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1422459235 544990 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422459328 336809 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1422460103 191062 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :they did increase the font size (and other small changes): https://www.reddit.com/r/changelog/comments/2tw6pm/reddit_change_changes_to_default_text_styling/ < 1422460149 349850 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1422460297 454481 :GeekDude!~GeekDude@unaffiliated/g33kdude PRIVMSG #esoteric :Huh < 1422460303 914906 :GeekDude!~GeekDude@unaffiliated/g33kdude PRIVMSG #esoteric :I was thinking the font was slightly different < 1422460412 4185 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Ok < 1422460415 305176 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I guess reddit sucks then < 1422460473 697488 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Websites shouldn't set a font-size. < 1422460494 555876 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :maybe for headings < 1422460503 716209 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but only in terms of relative to default font-size < 1422460520 715836 :GeekDude!~GeekDude@unaffiliated/g33kdude PRIVMSG #esoteric :oley moley < 1422460525 376422 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 252 seconds < 1422460528 896548 :GeekDude!~GeekDude@unaffiliated/g33kdude PRIVMSG #esoteric :Someone did something to the headers < 1422460536 325331 :GeekDude!~GeekDude@unaffiliated/g33kdude PRIVMSG #esoteric :http://i.imgur.com/T6Vym68.png < 1422460824 145856 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1422461881 58027 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: welp, see you later. < 1422461945 187278 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and this is why forums are fundamentally broken. you're forced to use the front-end as provided by some website. < 1422461975 373736 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :rather than, say, your favourite news reader. (oh Usenet, I have not seen you for ages) < 1422462087 296246 :arjanb!8259abfe@gateway/web/freenode/ip.130.89.171.254 JOIN :#esoteric < 1422462460 843818 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"Well, this is h1. It should be really big." < 1422462476 183002 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yeah, well, true. but you just know people are going to abuse it for emphasis. < 1422462496 183280 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :See < 1422462504 600066 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :That would be totally different with CoolHTML < 1422462520 952429 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I saw GeekDude's screenshot. I don't need more demonstration.) < 1422462532 627573 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman: we had a better world. it was called plain text. < 1422462565 486074 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :we had a better world. it was called messenger pigeons. < 1422462637 670035 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but no seriously < 1422462642 220226 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :we need CoolHTML . < 1422462673 278553 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1422462688 800247 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :You may, I don't think I do. I'm averse to "cool", it makes me shiver. < 1422462842 347218 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you know what upsets me more than sites arbitrarily changing their layouts though ... < 1422462849 939678 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422462872 533890 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... is that different sites have font sizes that vary by orders of magnitude (at least that's what it feels like). < 1422462924 616822 :trnv2!jhj@trnsz.com JOIN :#esoteric < 1422462954 630329 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh and that 'px' still hasn't died out in CSS. < 1422463049 172805 :trn!jhj@trnsz.com QUIT :Ping timeout: 265 seconds < 1422463063 37258 :Eolus!uid52684@gateway/web/irccloud.com/x-ujcsmezouzmcpdvv QUIT :Quit: Connection closed for inactivity < 1422463162 931178 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(e.g. the esoteric codes site has a huge font. must be a blog thing.) < 1422463298 878272 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Read error: Connection reset by peer < 1422463360 926858 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1422463370 535415 :trnv2!jhj@trnsz.com NICK :trn < 1422463381 346236 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm still experimenting with http://mroman.ch/designs/d2/ < 1422463382 67245 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1422463460 665874 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422463469 987275 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Next thing I gotta do some boxes and buttons that scale well across different displays < 1422463488 945254 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the first thing for smartphones is websites that have ads on the left < 1422463496 247972 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because those ads just take away so much space < 1422463663 84791 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I hate websites that require zoom to function well < 1422463671 176953 :zzo38!~zzo38@24-207-58-35.eastlink.ca QUIT :Remote host closed the connection < 1422463678 845205 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :some websites use incredibly small font-sizes for links < 1422463694 92356 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so to click them you have to zoom in a lot < 1422463906 238895 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1422464130 491963 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1422464368 726131 :dianne!~diannes@unaffiliated/dianne JOIN :#esoteric < 1422464889 719442 :bb010g!uid21050@gateway/web/irccloud.com/x-cvjuxeossolegcxm QUIT :Quit: Connection closed for inactivity < 1422465303 189904 :^v!~^v@c-68-36-225-16.hsd1.nj.comcast.net JOIN :#esoteric < 1422465568 778753 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1422465687 124478 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 276 seconds < 1422465976 745466 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c NICK :Tritonio < 1422466403 493397 :vanila!~vanila@unaffiliated/vanila JOIN :#esoteric < 1422466403 972713 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :hi < 1422466454 239284 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :https://gist.github.com/ahmadsalim/11077308 < 1422466456 574024 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :Proof that Agda is Turing complete < 1422466479 659996 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :what do you think :/ < 1422466483 819006 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I don't agree < 1422466495 859659 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422466997 268063 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :https://github.com/wouter-swierstra/Brainfuck mcbride makes this point a lot too < 1422467008 923259 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(uh, not to imply that's mcbride) < 1422467332 158968 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :vanila: Looks acceptable to me. < 1422467346 283769 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :vanila: what's your objection? < 1422467365 971261 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :elliott: the README is missing a negation, isn't it? < 1422467399 219871 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I don't understand what point wouter is trying to make < 1422467421 78145 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"I get tired of explaining that totality is not the same as Turing completeness." <-- I think he means "incompleteness" there. < 1422467449 423420 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila: that there's no reason the RTS can't follow codata like it follows IO actions < 1422467459 782722 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Agda's IO monad is codata so it's TC I guess < 1422467468 838286 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :wow < 1422467471 278576 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(as in, agda is TC in the same way that haskell can do IO) < 1422467539 122110 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(conor also likes making the point that even for programs which don't terminate in practice, we generally don't want full partiality: for instance, a server should run forever, but it should always respond to requests in finite time -- i.e. unless the task is "implement a TC language", you can probably do better modelling things with a notion of productivity than just a full-blown partiality monad) < 1422467666 80620 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Tangentially related, stream fusion has streams (which are codata) with a Skip constructor because that avoids recursion, leading to better inlining...) < 1422467682 366636 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(And I don't know why I thought of this now.) < 1422467697 15808 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :for some reason my view of 'turing complete' is about the functions N -> N you can implement < 1422467702 553689 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :and it's not TC in that respect < 1422467714 347568 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :but it IS TC in a looser sense I guess < 1422467734 235124 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's meant more as a rebuttal to people being, like, well, agda is total, so it's not TC, so you couldn't use it for writing real programs < 1422467750 849897 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :especially interpreters, etc. < 1422467763 497833 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1422467858 538587 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :vanila: Right, here the view taken is that of a decision problem (i.e. the machine accepts some language L, with acceptence indicated by program termination.) < 1422467904 198650 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :right, codata is essential because now totality does not imply termination anymore. < 1422467980 314697 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :And that's how the argument goes: because the programs are total function, they have to terminate on all inputs, and therefore the language can't be TC. < 1422467993 13136 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :we would accept this as proof of agda being TC on the esowiki, say < 1422468008 534947 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because we don't look at the internals of programs to see exactly how they're implemented when making that call < 1422468016 488208 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(well, other than to verify it really has infinite memory etc.) < 1422468028 271423 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I feel like it is misleading to tell people agda is turing complete < 1422468045 829838 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Also in any paper in theoretical computer science, provided we say something about how to produce the `main` function in general. < 1422468085 108913 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I feel like it's misleading to tell people it's sub-TC < 1422468094 429701 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :total : pure < 1422468098 886156 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :turing-complete : can do IO < 1422468123 562814 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"haskell is useless, it's pure so it can't do any IO so you can't write real programs!" "haskell is pure, but we can do IO (even though a function (a -> b) is pure), by using the top-level 'main'" < 1422468127 642988 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :vanila: Clearly we need more than a single statement (Agda is [not] TC.) to do Agda justice. < 1422468134 504950 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I thought an coinductive execution trace of a small step interpreter < 1422468142 74409 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :was the same as 'run n steps' of a small step interpreter < 1422468149 305415 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"agda is useless, it's total so it's not turing complete so you can't write real programs!" "agda is total, but we can do partiality (even though a function (a -> b) is total) by using the top-level 'main'" < 1422468154 225409 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"Haskell is useless, everything it can express is constant." < 1422468155 323897 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :and you can do that in many non turing complete languages, it's run infinity steps that makes somethin TC < 1422468165 615295 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :vanila: but you can do that < 1422468171 118634 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :im not telling people agda is useless:/ < 1422468174 822452 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you could write an agda "main" that just follows that execution trace < 1422468180 413884 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :printing the output as it goes < 1422468182 988513 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and then run that < 1422468188 257161 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and it would halt iff the BF program does < 1422468209 693387 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that module should probably have a main but I don't know how experimental/usable agda's IO stuff is < 1422468228 731715 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but it's at least possible in theory because agda's IO is analoguous to that Trace < 1422468235 369667 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*analogous < 1422468286 140013 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Does Agda have something like codata Compute a = Result a | Later (Compute a) with machinery to live functions from base types to that stream type? < 1422468291 925094 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Ping timeout: 264 seconds < 1422468325 901808 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think it has the partiality monad somewhere, yes, maybe not in the stdlib < 1422468329 125819 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :people have definitely written it up though < 1422468336 581367 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422468354 85440 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :because then the answer to vanila's complaint becomes, well, if f : N -> N doesn't always terminate, then you can still write f : N -> Compute N. < 1422468380 275211 :Froox!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 244 seconds < 1422468380 545712 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1422468386 555382 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1422468568 301078 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wow. s/live/lift/ up there < 1422468593 244034 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(worryingly, a spell checker wouldn't have helped me.) < 1422468697 657969 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Quit: Got to go < 1422468744 958602 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1422468803 787036 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1422468934 529691 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422469050 212215 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1422469514 882019 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1422469576 180114 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1422469594 636942 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422469908 565869 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1422471432 201258 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1422472460 839421 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1422472493 421678 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 252 seconds < 1422472558 932329 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422472622 851188 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Client Quit < 1422472778 858335 :ski!~ski@remote1.student.chalmers.se QUIT :Read error: Connection reset by peer < 1422472788 339678 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 272 seconds < 1422473235 574006 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422473415 16645 :kcm1700_!~kcm1700@175.117.8.72 QUIT :Remote host closed the connection < 1422473526 429299 :TieSoul!56597793@gateway/web/freenode/ip.86.89.119.147 NICK :TieSleep < 1422473727 923501 :kcm1700!~kcm1700@175.117.8.72 JOIN :#esoteric < 1422473826 875926 :nys!~nysnamovo@blk-215-85-138.eastlink.ca QUIT :Quit: quit < 1422474248 43653 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: behold my typeable monster < 1422474389 559791 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not sure whether the Proxies or the UndecidableInstances are the worst < 1422474409 103132 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(https://ghc.haskell.org/trac/ghc/ticket/9858#comment:33) < 1422474537 258815 :Melvar!~melvar@dslb-092-072-143-251.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :
ACTION wonders if he can get cabal-install to only spit out a solution …
< 1422474570 321328 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar: have you tried -dry-run ? < 1422474600 682278 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(possibly with two -s, i never remember) < 1422474710 902707 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1422474756 553579 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: beautiful. < 1422474816 281892 :Melvar!~melvar@dslb-092-072-143-251.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :oerjan: Well, that doesn’t look very machine-readable, though I guess it will work, and I think I need to set up a completely empty packageDB somehow for it to tell me everything. < 1422474863 678409 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar: well that's as far as my expertise on getting output from cabal-install goes, i'm afraid < 1422474959 344764 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net QUIT :Quit: later chat < 1422475041 954329 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: to be useful you'll also need something like instance (Typeable' (a :: k -> k'), Typeable' (b :: k)) => Typeable' (a b), I think? < 1422475067 757231 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: well sure, but that's already in the current implementation afaik < 1422475089 805755 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i was just trying to include the basic PoC < 1422475210 452588 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: it's just that Kindable will infect that one now. instance (Kindable' (Proxy :: k' -> *), Typeable' (a :: k -> k'), Typeable' (b :: k)) => Typeable' (a b) where < 1422475221 690792 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I thought it'd be harder. < 1422475295 390365 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: and the proxies are worst. UndecidableInstances is generally harmless. < 1422475314 23643 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, i'm just wondering about it infecting everything < 1422475319 828348 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that uses Typeable < 1422475425 205607 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1422475430 293314 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i assume both of the uglinesses would go away if kinds could be instances directly. < 1422475539 291549 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1422475638 491624 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422475643 504342 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which i vaguely think may be planned to happen as part of richard eisenberg's experiments? < 1422475653 38546 :S1!~S1@p4FF92596.dip0.t-ipconnect.de JOIN :#esoteric < 1422475828 19555 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unless it's already happened, in which case this could be immediately simplified. < 1422475850 100285 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I'm confused: http://lpaste.net/3318663114416717824 < 1422475893 992254 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(ghc's error messages are extremely unhelpful without kinds) < 1422475926 807234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i have noticed < 1422476027 751923 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1422476044 194751 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah yes, the added Kindable contexts is of course the ugliest part of this. < 1422476085 438594 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422476104 358935 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but as indicated I feel that there's some weakness in the instance checker there... < 1422476132 953670 :evalj!~jeval@51B66304.dsl.pool.telekom.hu JOIN :#esoteric < 1422476139 409296 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1422476139 755392 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this is similar to the final change i had to do to make it compile < 1422476202 974894 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: it's actually rather simple. you cannot deduce from Kindable' (Proxy :: (k1 -> k2) -> *) to Kindable' (Proxy :: k -> *) because of the open world assumption; the first instance _could_ come from somewhere else. < 1422476255 424456 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i had to change ((k -> *) -> *) to (k -> *) in the context of the Typeable' Proxy instance for similar reasons < 1422476262 723395 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :right. sigh. < 1422476323 678181 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 255 seconds < 1422476348 360339 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm afraid similar stuff is going to make this very annoying to _use_, as well :( < 1422476436 309273 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the worst part was that it couldn't deduce Kindable' (Proxy ((k -> *) -> *) in the where clause from Kindable' (Proxy ((k -> *) -> *) in the context < 1422476476 934028 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i assume it used instance resolution on the latter _before_ checking if it was in the context, leading to something that wasn't. < 1422476507 268042 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh well. < 1422476730 522175 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : they did increase the font size (and other small changes): https://www.reddit.com/r/changelog/comments/2tw6pm/reddit_change_changes_to_default_text_styling/ <-- i see the top comment is someone having essentially the same reaction as me. let's hope there's enough backlash. < 1422476750 214462 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 244 seconds < 1422477746 145214 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1422478335 300179 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422478337 301951 :vanila!~vanila@unaffiliated/vanila QUIT :Quit: Leaving < 1422478352 529655 :evalj!~jeval@51B66304.dsl.pool.telekom.hu QUIT :Remote host closed the connection < 1422478408 824952 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Client Quit < 1422478463 81782 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422478779 942824 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: this looks a bit less infectious: http://lpaste.net/1496357053919133696 < 1422479173 267252 :int-e!~noone@static.88-198-179-137.clients.your-server.de QUIT :Ping timeout: 256 seconds < 1422479186 185235 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1422479194 533578 :nyuszika7h!nyuszika7h@cadoth.net QUIT :Remote host closed the connection < 1422479257 403052 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi QUIT :Ping timeout: 264 seconds < 1422479493 89861 :conehead!~conehead@unaffiliated/conehead QUIT :Ping timeout: 276 seconds < 1422479510 714551 :int-e!~noone@static.88-198-179-137.clients.your-server.de JOIN :#esoteric < 1422479519 257079 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmpf. < 1422479571 146847 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1422479582 608371 :nyuszika7h!nyuszika7h@cadoth.net JOIN :#esoteric < 1422479594 504595 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422479598 513024 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fpmh? < 1422479603 512965 :Melvar!~melvar@dslb-092-072-143-251.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :
ACTION discovers why idris depends on wai.
< 1422479725 44804 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Client Quit < 1422479813 281961 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1422479960 598280 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422480067 253346 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Ping timeout: 244 seconds < 1422480335 458923 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: ok, cleaning up a bit: http://lpaste.net/4263409010180358144 < 1422480595 288121 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: go on < 1422480692 541396 :Melvar!~melvar@dslb-092-072-143-251.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :elliott: idris uses cheapskate to parse markdown, and cheapskate has an optional executable that depends on wai, which apparently causes it to be pulled in. < 1422480695 775461 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: btw they're planning to make typereps typed, that's what the TTypeRep stuff was about. < 1422480820 133069 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: you better post that on the trac thread < 1422480836 699920 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: welp, see you later. < 1422480841 412821 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi JOIN :#esoteric < 1422481194 616953 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: hmm, I missed the typed typereps. < 1422481217 578057 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: anyway, I added to the ticket < 1422481312 272783 :nys!~nysnamovo@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1422481382 834726 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: but anyway this was a great insight from your side, that the kind-level -> can be pattern matched against. < 1422481573 684407 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I would really like TypeRep to be an open GADT ;-) (see http://lpaste.net/110434 for the reason. Of course there's prior art for this.) < 1422481655 341353 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Prior art: This is essentially how GRIN (jhc) works, as far as I understand it.) < 1422482353 814625 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com JOIN :#esoteric < 1422483248 162920 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mhm < 1422483776 913081 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: hmh? < 1422484033 429153 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tht? < 1422484146 884063 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1422484197 50434 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :every month my cookie for the reddit adserver expires and i get to see that bloody r/sciencefiction ad again < 1422484258 579514 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what is it < 1422484317 350936 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://static.adzerk.net/Advertisers/f1cd14ed8b3b4dffaadcc42bc8313180.jpg may be it < 1422484429 537805 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this is a weird ad < 1422484442 665462 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I hear there are browsers that can do ad blocking these days, hth < 1422484449 389733 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :WHOA < 1422484472 62919 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(it's the only disturbing ad i've seen on reddit) < 1422484623 898411 :S1!~S1@p4FF92596.dip0.t-ipconnect.de QUIT :Quit: S1 < 1422484722 846747 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :A disturbed oerjan? My mind boggles! < 1422484740 810458 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it happens! < 1422484759 871294 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :disturbing in what way? < 1422484896 444429 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://img.izismile.com/img/img6/20130710/640/disturbing_and_revolting_facts_about_the_human_body_640_09.jpg < 1422484917 920031 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(Don't click on that link if you are easily disturbed) < 1422484937 224893 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i won't hth < 1422484981 837250 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's just a human head without skin < 1422484998 119602 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. the cranium < 1422485069 201396 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I guess you shouldn't google for open luxation then < 1422485083 527551 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or smoker's leg < 1422485105 907388 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :let's not < 1422485115 181765 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :There's this game where who ever can look at the most disturbing picture wins < 1422485121 183735 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's a fun game < 1422485187 117767 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 276 seconds < 1422485256 529333 :bb010g!uid21050@gateway/web/irccloud.com/x-kpzrxntacabfhjrh JOIN :#esoteric < 1422485264 993057 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oerjan, elliott: Did you watch the Saw movies? < 1422485287 533355 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no < 1422485300 949042 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I see < 1422485357 540414 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pretty sure not hth < 1422485423 603451 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Yeah < 1422485427 508765 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Just download them all < 1422485434 535505 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :then watch them all in a marathon < 1422485448 284532 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You won't be the same < 1422485453 897206 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :or better yet, don't do that < 1422485468 255435 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :(hth) < 1422485487 720618 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :nah < 1422485523 909186 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Just repeat the procedure until it doesn't disturb you anymore ;) < 1422485576 734303 :spiette!~spiette@2607:fad8:4:6:a288:b4ff:fe60:a3b0 QUIT :Quit: :qa! < 1422485689 220153 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I think it's called exposition training < 1422485720 155384 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1422485722 985264 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :exposure training < 1422485724 473049 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i see < 1422486004 245207 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh well < 1422486010 377805 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I should go to sleep < 1422486034 601371 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Or watch Saw I < 1422486036 349939 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1422486095 899053 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sleep, or never sleep again, that's the question < 1422486122 617724 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and girl genius is back to late update again < 1422486129 953714 :nycs!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1422486158 436233 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well, they still have a couple of hours left of yesterday < 1422486234 244490 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :more than that if they go by seattle time < 1422486257 241190 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that was "a couple" as in "a few" rather than "two", hth. < 1422486262 863058 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1422486356 671749 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :in the meantime I'm impressed by whio's handling of that 101 scrabble words data compression task. < 1422486386 878688 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I expected solutions below 100 bytes. I didn't expect 74. < 1422486842 329441 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1422487002 84780 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1422487052 896036 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 246 seconds < 1422487207 43701 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1422487226 314259 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1422487416 581516 :AnotherTest!~turingcom@94-224-27-51.access.telenet.be QUIT :Remote host closed the connection < 1422487433 326389 :Eolus!uid52684@gateway/web/irccloud.com/x-wiyuzqpdfjnjjtpy JOIN :#esoteric < 1422487459 664724 :Eolus!uid52684@gateway/web/irccloud.com/x-wiyuzqpdfjnjjtpy PRIVMSG #esoteric :Hi < 1422487545 295229 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh Lilax. < 1422487565 292794 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you don't pay attention for a day and more than 1% of the populace has a new name. Sigh :) < 1422487613 695102 :Eolus!uid52684@gateway/web/irccloud.com/x-wiyuzqpdfjnjjtpy PRIVMSG #esoteric :?! < 1422487614 177099 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Maybe you meant: v @ ? . < 1422487623 205262 :Eolus!uid52684@gateway/web/irccloud.com/x-wiyuzqpdfjnjjtpy PRIVMSG #esoteric :Yes I meant @ < 1422487632 884904 :Eolus!uid52684@gateway/web/irccloud.com/x-wiyuzqpdfjnjjtpy PRIVMSG #esoteric :What int-e < 1422487671 359929 :Eolus!uid52684@gateway/web/irccloud.com/x-wiyuzqpdfjnjjtpy PRIVMSG #esoteric :Everyone seems the same on the list? < 1422487721 533596 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Okay, so it's been two days. < 1422487784 50474 :Eolus!uid52684@gateway/web/irccloud.com/x-wiyuzqpdfjnjjtpy PRIVMSG #esoteric :Yes?! it has < 1422487814 735700 :Eolus!uid52684@gateway/web/irccloud.com/x-wiyuzqpdfjnjjtpy PRIVMSG #esoteric :But lilax was here yesterday int-e < 1422487847 55256 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wasn't. < 1422487854 980390 :Eolus!uid52684@gateway/web/irccloud.com/x-wiyuzqpdfjnjjtpy PRIVMSG #esoteric :Ah < 1422487864 971568 :Eolus!uid52684@gateway/web/irccloud.com/x-wiyuzqpdfjnjjtpy PRIVMSG #esoteric :But what are you talking about < 1422487873 427012 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :--- Lilax is now known as Eolus <-- that was 2 days ago. < 1422487881 340416 :Eolus!uid52684@gateway/web/irccloud.com/x-wiyuzqpdfjnjjtpy PRIVMSG #esoteric :Ye < 1422487886 680575 :Eolus!uid52684@gateway/web/irccloud.com/x-wiyuzqpdfjnjjtpy PRIVMSG #esoteric :We switched < 1422487891 282949 :Eolus!uid52684@gateway/web/irccloud.com/x-wiyuzqpdfjnjjtpy PRIVMSG #esoteric :Silly int-e < 1422487919 893691 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`welcome Eolus < 1422487920 935633 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Eolus: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1422487943 534878 :Eolus!uid52684@gateway/web/irccloud.com/x-wiyuzqpdfjnjjtpy PRIVMSG #esoteric :Non < 1422487953 706350 :Eolus!uid52684@gateway/web/irccloud.com/x-wiyuzqpdfjnjjtpy PRIVMSG #esoteric :Why would you welcome me < 1422487995 796591 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Well since you pretend not to be Lilax I don't think you've been welcomed before. < 1422488025 410088 :Eolus!uid52684@gateway/web/irccloud.com/x-wiyuzqpdfjnjjtpy PRIVMSG #esoteric :please stop calling me lilax :l < 1422488186 132968 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot? < 1422488186 316241 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :int-e:. i'm so kind, even to assholes! anmaster no not markov anmaster no not markov anmaster no not markov anmaster no not markov anmaster no not markov < 1422488220 97959 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: that loop is also nice :) < 1422488251 244443 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the best part is the "nick:." < 1422488254 292593 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because of the punctuation handling < 1422488258 923053 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: try this again try this again try this again < 1422488259 86140 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :int-e:, so i'd be happy to help an fnord archive) x) bug? when i looked at it" and enjoy knowledge, and its kind, but my watch it toast? or decide. fnord 22:11, 17, 18, 19, 20, 21, 22, 22, 22, 22, 22, 22, 22, 22, 22, ...too much output! < 1422488366 188952 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: . Nite < 1422488775 836483 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 264 seconds < 1422489446 888400 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric