< 1358035217 961711 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can make it a username-only ban rather than an IP ban, but sometimes people forget < 1358035218 651546 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I assumed you meant a username ban. < 1358035240 516429 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, presumably you won't be doing it more than once... < 1358035252 407827 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm banning myself from ais523 for Lent. < 1358035259 894808 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :lent hasn't started yet < 1358035261 614409 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It isn't Lent yet. < 1358035269 622337 :ion!ion@heh.fi PRIVMSG #esoteric :It’s Lens. < 1358035287 924922 :ion!ion@heh.fi PRIVMSG #esoteric :pred Lent < 1358035288 958855 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Um, it's Lent where I live. < 1358035299 242061 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 272 seconds < 1358035299 584960 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :don't you live very near hexham? < 1358035301 992104 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Lens lens lent lena lenb < 1358035306 885736 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(hexham is very near hexham) < 1358035350 726463 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`? hexham < 1358035359 63732 :HackEgo!codu@codu.org PRIVMSG #esoteric :Hexham is a European town. There are nine people in Hexham, and at least two of them are in this channel. Taneb looks after the ham. < 1358035433 440534 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just heard in an advert on TV: "The Daily Mail says it really works" < 1358035438 593530 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is this a point in favour of the product, or against? < 1358035450 977762 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lens lentium < 1358035527 942859 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ais523: haha < 1358035539 602349 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sorry, *lentum < 1358035552 937464 :ion!ion@heh.fi PRIVMSG #esoteric :ais523: :-D < 1358035569 803530 :Bike!~Glossina@67-5-245-201.ptld.qwest.net JOIN :#esoteric < 1358035575 4377 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: is it a cancer cure < 1358035583 892805 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, it's a skin product < 1358035587 626573 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :um same thing? < 1358035595 490512 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :cures ugly cancer < 1358035613 857644 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :ais523: It is a point against the Daily Mail, I guess. < 1358035640 448098 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh Lent isn't from latin at all < 1358035647 452042 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: there were enough of those already :) < 1358035656 225451 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"Shortened form of Lenten, from Old English lencten. Related to German Lenz (“springtime”), which is derived from a word related to long, because of the longer days." < 1358035864 723489 :jdiez!~42@178-33-162-138.kimsufi.com JOIN :#esoteric < 1358036181 23449 :sebbu!~sebbu@adijon-152-1-42-143.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1358036181 193963 :sebbu!~sebbu@adijon-152-1-42-143.w83-194.abo.wanadoo.fr QUIT :Changing host < 1358036181 194151 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1358036477 309018 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: speaking of reddit have you seen http://www.reddit.com/r/EFLcomics/top/?sort=top&t=all < 1358036636 828405 :ion!ion@heh.fi PRIVMSG #esoteric :awesome < 1358036775 138950 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i've seen stuff in that vein before but i don't do reddit so i havent seen that sub reddit < 1358036832 431107 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good reddit is pretty bad < 1358037089 688959 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :did Sgeo survive his coffee-trip? < 1358037367 161533 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what kind of editor puts a BOM on a UTF-8 file?? < 1358037570 877971 :ion!ion@heh.fi PRIVMSG #esoteric ::set bomb, :w < 1358037579 601465 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh, notebad < 1358037592 162660 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i meant to type 'notepad' there but i'll let it stand < 1358037594 914252 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's a bøm! < 1358037888 867848 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :according to /lastlog Sgeo he has not spoken since < 1358037889 556310 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :21:49:36 have you ever had caffeine before, sgeo < 1358037889 727223 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :21:50:01 Yes < 1358037891 308887 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :RIP < 1358037898 909405 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, what is a bøm? < 1358037932 217041 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, as opposed to a BOM < 1358037944 746866 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :is it just a Norwegian BOM? < 1358038175 233371 :nortti!~juhani@nano.smar.fi PRIVMSG #esoteric :who can quess what this does before running it? http://ioccc.org/1987/korn.c < 1358038419 898174 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nortti: purely from the year and filename, a hello world? (I haven't actually clicked the link, nor ever run the program) < 1358038548 620795 :nortti!~juhani@nano.smar.fi PRIVMSG #esoteric :no < 1358038560 648338 :nortti!~juhani@nano.smar.fi PRIVMSG #esoteric :main() { printf(&unix["\021%six\012\0"],(unix)["have"]+"fun"-0x60);} < 1358038566 364771 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, that one < 1358038589 688505 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I already know what it does, so I'll leave it to someone else < 1358038702 643116 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Vorpal: it's the kind of bøm which blows up things, i refer to the expertise of inspector clouseau on this matter < 1358038995 491148 :nortti!~juhani@nano.smar.fi PRIVMSG #esoteric :once you realize what unix is and how it works it becomes pretty to understand < 1358039092 113434 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :did you accidentally a word there or not < 1358039125 905434 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's a perfectly grammatical sentence as is < 1358039127 732304 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and I rather like it < 1358039149 82445 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(also, side effects of memes: "accidentally" has become a verb) < 1358039151 234524 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is why i am unsure < 1358039175 250987 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :verbing weirds language < 1358039186 871973 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oerjan, oh okay < 1358039258 321315 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : (also, side effects of memes: "accidentally" has become a verb) <-- Does OED recognize it as such though? < 1358039273 961812 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :who cares < 1358039280 208206 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fair enough < 1358039339 190100 :Bike!~Glossina@67-5-245-201.ptld.qwest.net QUIT :Quit: leaving < 1358039825 590880 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter QUIT :Quit: c00kiemon5ter < 1358039841 340792 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter JOIN :#esoteric < 1358040049 372839 :Bike!~Glossina@67-5-245-201.ptld.qwest.net JOIN :#esoteric < 1358040619 56911 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :nortti: heh, glorious, took me a while to get it < 1358040917 403334 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :FireFly: I think I solved your Pokemon Card puzzle, but it seems to be win in three, not win in two. < 1358040996 80734 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi JOIN :#esoteric < 1358041052 233113 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :FireFly: Is it supposed to be like that? < 1358041102 120069 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Hm < 1358041113 322977 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :No, but I might've missed something < 1358041118 976928 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :What is your solution? < 1358041154 274234 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I didn't type it but I will and will send you the file. < 1358041174 519583 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :All right < 1358041222 666562 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :where is the puzzle? < 1358041274 859001 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :coppro: Same where the others are. http://zzo38computer.org/textfile/miscellaneous/pokemon_card/puzzle.4 Also look at puzzle.3 if you haven't done yet. < 1358041391 124265 :WeThePeople!~WeThePeop@unaffiliated/wethepeople QUIT :Quit: Leaving < 1358041421 977204 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :zzo38: what does 'rc' on the active pokemon mean? < 1358041450 788584 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :coppro: It means recycle energy. FireFly failed to specify; in my puzzles I have made it more clear. < 1358041452 477700 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :That's a recycle energy < 1358041458 72082 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Oh, oops. < 1358041492 151118 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :ACTION fixes it in his local copy < 1358041498 47477 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :what does it do, again? < 1358041515 696536 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :coppro: It is described in the Card Data. < 1358041733 930696 :mig22!~miguelort@bb116-15-66-100.singnet.com.sg JOIN :#esoteric < 1358041784 678188 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :FireFly: I concur with zzo38; the game cannot be won in two turns assuming optimal play by the opponent < 1358041796 625755 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :FireFly: because the Charmander has insufficient energy < 1358041820 447341 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :in fact, I do not know if it is winnable at all < 1358041862 871457 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi QUIT :Ping timeout: 276 seconds < 1358041874 456418 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :actually, yeah < 1358041901 756352 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I think it isn't solvable < 1358041923 141650 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Will this work? http://sprunge.us/OYeR < 1358041925 363982 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Note Charizard's Energy Burn, which allows you to turn the double colorless energy into providing 2x { M } (after it's been attached) < 1358041935 310093 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :FireFly: no, it provides only one < 1358041942 768180 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter QUIT :Quit: c00kiemon5ter < 1358041943 5940 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :pretty sure < 1358041948 142455 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :although I'm not up on the Pokemon rules < 1358041958 107545 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter JOIN :#esoteric < 1358041960 387049 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :coppro: Does it? I thought it provided two, but even if it does I don't see how to win in two turns. < 1358041990 819273 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(It says "all energy" rather than "all energy cards", so I am assuming it is two.) < 1358041997 597373 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ah < 1358041999 73006 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :hmm < 1358042006 809510 :mig22!~miguelort@bb116-15-66-100.singnet.com.sg QUIT :Ping timeout: 252 seconds < 1358042017 769605 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :FireFly: I could do it in two if the Gust of Wind were the one that swaps *your* pokemon < 1358042028 931781 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you mean SWITCH? < 1358042041 64301 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yeah < 1358042065 40685 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Oh, darn < 1358042066 449602 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :The problem is Sticky Goo < 1358042076 214636 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :You can't swap the Rattata out < 1358042108 404495 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Did you look at puzzle.3? < 1358042116 351909 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :not yet < 1358042134 742647 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :coppro: Do you need to activate Rattata? < 1358042156 995500 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :zzo38: don't you need it to be active to use its power? < 1358042171 966004 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I think I screwed up when choosing pokemon for the opponent to have in play < 1358042172 135969 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :trickery < 1358042179 719220 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :No, powers could be used from the bench < 1358042183 121738 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oh ok < 1358042183 469480 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :coppro: No. Unless it says it needs to be active, it does not have to be. < 1358042187 545516 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ok < 1358042210 913403 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :there's still a reason, though. Rattata can survive an attack from the Dark Muk < 1358042230 317072 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :so Gust of Wind isn't required < 1358042233 741398 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :That is true; and I have seen that. < 1358042234 547738 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :you still can't retreat though < 1358042254 328157 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Yeah, you're lacking one energy to be able to retreat, due to sticky goo < 1358042314 670899 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Does the solution I gave have any errors in it? < 1358042405 348336 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1358042417 359450 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I can't spot any, at least < 1358042419 432715 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Hmm < 1358042443 100602 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter QUIT :Quit: c00kiemon5ter < 1358042454 240395 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Maybe we should just relabel it to be win-in-three instead < 1358042455 868495 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter JOIN :#esoteric < 1358042461 924829 :mig22!~miguelort@bb116-15-66-100.singnet.com.sg JOIN :#esoteric < 1358042498 545885 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK. < 1358042588 472969 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What I generally do in my puzzles is to limit the number of cards in your draw pile instead. < 1358042617 879979 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :That's also an approach I guess < 1358042641 765200 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Btw, have you finished PTCG GB2? < 1358042697 347012 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :FireFly: Yes, I have won the game, however I have not beaten the computer 100 times, yet. < 1358043584 440940 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 246 seconds < 1358044466 30576 :nys!~YXWX@blk-142-60-139.eastlink.ca QUIT :Read error: Connection reset by peer < 1358044486 270221 :nys!~YXWX@blk-142-60-139.eastlink.ca JOIN :#esoteric < 1358044613 249960 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I was thinking, you can only encode balanced trees in terms of lists within lists, right? The type system wouldn't allow unbalanced ones < 1358044644 518215 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There are lots of ways of encoding balanced trees that don't involve lists. < 1358044654 208045 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, it depends on how broad your meaning of "list" is. < 1358044684 826090 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: you can use an empty list at any level to stop there, that's what lambdabot's Tree does < 1358044689 314399 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t Node < 1358044690 347742 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :a -> Forest a -> Tree a < 1358044690 708145 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Actually, the list wouldn't store the values at the various nodes that have children < 1358044694 485620 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Just at the leaves < 1358044707 48311 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah ok < 1358044738 996550 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You probably could store the values at nodes if you got tuples involved < 1358044773 41492 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: note that even if all leaves have the same depth (as using a fixed nesting level of lists would do) that still says nothing about the _number_ of leaves in each branch < 1358044787 317400 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so it can still be grossly imbalanced in that way < 1358044803 293173 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If it only at the leaf then you have (Free []), I think < 1358044813 410071 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but there are many ways of encoding trees as a Haskell datatypes, some autobalancing, some not < 1358044821 758012 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*-a < 1358044822 102636 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Although that isn't balanced < 1358044828 451561 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: Oh yeah < 1358044830 920983 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I didn't think of that < 1358044857 282820 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :How would you encode an autobalancing one? < 1358044861 324007 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi zzo38 < 1358044875 321977 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: what's the best comic strip (other than calvin and hobbes) < 1358044886 907191 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: I don't know < 1358044890 337909 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :print [[3,4],[5]] < 1358044893 561207 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> print [[3,4],[5]] < 1358044894 931932 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Show.Show (GHC.Types.IO ())) < 1358044895 103182 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of ... < 1358044895 656310 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: IN YOUR OPINION < 1358044903 351823 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> [[3,4],[5]] < 1358044904 725998 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [[3,4],[5]] < 1358044910 823020 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Even in my opinion, I don't know. < 1358044921 930183 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :halvin and cobbes < 1358044951 738468 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :halvin' calvin < 1358044961 518685 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :modern-day zeno? < 1358045018 176300 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: well for example a full binary tree can be encoded as Tree a = Leaf a | Branch (Tree (a,a)) < 1358045049 609243 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Non-uniform data types: THE DEVIL? < 1358045064 512134 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Polymorphic recursion: THE DEVIL? < 1358045066 930457 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: Not necessarily balanced though < 1358045125 251462 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes it is < 1358045142 503833 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it is a complete binary tree with exactly 2^n elements < 1358045154 724027 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Can you give an example usage? < 1358045166 870712 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :How do you use the Branch constructor? < 1358045168 259282 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's either Leaf a or Branch (Leaf (a,a)) or Branch (Branch (Leaf ((a,a),(a,a)))) or etc. < 1358045188 710345 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It encodes the log of the number of elements as a peano natural. < 1358045194 362811 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's a bitmisleading to call it 'Branch' imo < 1358045210 732213 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :because there is only one value under that Branch constructor < 1358045212 338223 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1358045232 483468 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i got a bit confused during writing that, but it ended up in the right form < 1358045233 882302 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: It's foreshadowing branches yet to come. < 1358045234 915136 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :FreeFull: it's an usual sort of type because it invokes itself recursively at a different type than it was 'called' with < 1358045253 867125 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Is (a,a) a tuple here? < 1358045259 76894 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1358045260 106251 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes a pair < 1358045268 536651 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, this is a full binary tree, but i believe you can modify the (,) parts to make it e.g. a red-black tree instead. < 1358045286 176470 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION thinks non-uniform data types are "pretty cool if i do say so myself" but also rather tricky to work with. < 1358045302 512118 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you should check out edwardk's finger trees talk: http://comonad.com/reader/2010/finger-trees/ < 1358045311 589695 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I saw those slides. < 1358045327 429229 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah yes finger trees use such a trick as well < 1358045329 187582 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I went through the exercise. They were trickier than they seemed. < 1358045342 958463 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it has a type for ensuring that a 2-3 tree has the right properties < 1358045356 411276 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't recall if they're autobalanced by type though < 1358045369 282527 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Inferring polymorphic recursion is undecidable, too, I'm told. < 1358045391 913972 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should learn about type checking and things. < 1358045399 397131 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :All the ( and ) get confusing < 1358045436 439593 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FreeFull: A tree is of the form Leaf a or Leaf (a,a) or Leaf ((a,a),(a,a)) or so on. < 1358045452 368605 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, the bottom of the tree is. < 1358045456 844305 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The number of tuples is decided by the number of Branch constructors. < 1358045468 271589 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Have you seen FunList? < 1358045535 237223 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well haskell doesn't even try inferring it < 1358045544 370222 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :data Bazaar a b t = Buy t | Trade (Bazaar a b (b -> t)) a < 1358045555 28087 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Sure. < 1358045596 578983 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :shachaf: What sort of types would make sense for a, b and t here? < 1358045645 470935 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a and b could be the same type in the simple case. < 1358045656 109774 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So Int, Int, [Int]? < 1358045661 101374 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Char, Char, Text < 1358045669 925375 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i have a hunch that polymorphic recursion is the main thing preventing you from implementing haskell typeclasses entirely at compile time like i think C++ templates do < 1358045689 657340 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :C++ templates just inline everything, yes < 1358045689 827655 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What does jhc do about polymorphic recursion? < 1358045803 714792 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION thinks he's seen this discussed about jhc before but doesn't remember how it went < 1358045813 394306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't know much about jhc < 1358045836 903158 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i love polymorphic recursion < 1358045840 343099 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it is so easy < 1358045865 801485 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Speaking of completely unrelated things < 1358045877 207982 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I need to write a fromInteger for my balanced ternary < 1358045910 982977 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1358045914 77188 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Or was it fromIntegral < 1358045920 798299 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :ACTION checks < 1358045921 140032 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t readInt < 1358045922 252168 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Num a => a -> (Char -> Bool) -> (Char -> Int) -> ReadS a < 1358045982 255503 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> readInt 3 (`elem` "-0+") (\c -> case c of '-' -> -1; '0' -> 0; '+' -> 1) "0-+0-" < 1358045983 640985 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [(-19,"")] < 1358045990 743065 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: :) < 1358046018 169146 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :fromInteger < 1358046025 491288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right < 1358046038 539106 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph < 1358046045 386440 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric ::t fromInteger < 1358046046 443027 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Num a => Integer -> a < 1358046065 65725 :TeruFSX!~TeruFSX@65-128-142-102.mpls.qwest.net JOIN :#esoteric < 1358046071 159402 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :(fromInteger (3 :: Integer)) :: Double < 1358046075 470662 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> (fromInteger (3 :: Integer)) :: Double < 1358046076 987751 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 3.0 < 1358046082 773013 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that was the wrong way of course < 1358046127 740069 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and the function the other way cannot be told to produce -1,0,1 digits < 1358046139 331597 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(showIntAtBase btw) < 1358046154 323920 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :HOWEVER < 1358046182 970380 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Can you figure out a type which is isomorphic to lists *AND* composable with (.)? < 1358046226 412733 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: isn't that what difference lists are supposed to be? < 1358046239 750200 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, the type [a] -> [a] is much bigger than the type [a] < 1358046241 124606 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I was planning to do it with `mod` and case matching, although that would be clunky < 1358046258 281835 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: not _that_ clunky, surely? < 1358046261 720708 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Feel free to substitute some other thing for lists, like monads. < 1358046262 128904 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :`? isomorphic < 1358046265 218832 :HackEgo!codu@codu.org PRIVMSG #esoteric :isomorphic? ¯\(°_o)/¯ < 1358046269 747825 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION was about to start writing it himself < 1358046282 610120 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: no particular idea < 1358046287 84886 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: Slightly clunkier for balanced ternary than unbalanced ternary I think < 1358046297 137302 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: yeah but hm i have an idea < 1358046310 311386 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :everything is represented internally as a bunch of bits. ipsofacto, arbitrary functions are both isomorphic to lists and composable with dot. < 1358046451 729482 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Thike < 1358046520 714008 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: I wrote a function for adding two balanced ternary digits, and I have no idea if it could be terser or not < 1358046524 1880 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Let me dpaste it < 1358046600 226048 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let toBT 0 = ""; toBT n = c : toBT d where (d,m) = divMod (n+1) 3; c = head (show (d-1)) in toBT (-19) < 1358046601 602565 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "----" < 1358046611 165447 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :http://dpaste.org/8CpZt/ < 1358046615 648412 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1358046627 409006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let toBT 0 = ""; toBT n = c : toBT d where (d,m) = divMod (n+1) 3; c = head (show (m-1)) in toBT (-19) < 1358046628 789509 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "-01-" < 1358046635 401090 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :helloerjan < 1358046640 122348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :welcome back to #esoteric < 1358046648 455317 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :The first digit in the tuple is the result, the second is the carry < 1358046650 448590 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hi shachaf < 1358046706 932243 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: the above does most of your fromInteger i think, you probably need reformatting < 1358046740 910664 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :PrimFunc (PrimSi PrimSort) PrimSort < 1358046741 942746 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let toBT 0 = ""; toBT n = c : toBT d where (d,m) = divMod (n+1) 3; c = head (show (m-1)) in toBT (-1) < 1358046743 317714 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "-" < 1358046748 392620 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I think I may be prefixing my identifiers with "Prim" a little too much. < 1358046756 876623 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let toBT 0 = ""; toBT n = c : toBT d where (d,m) = divMod (n+1) 3; c = head (show (m-1)) in toBT (1) < 1358046758 837520 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "1" < 1358046852 798641 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Hmm, [] might be a saner representation of zero over [Zero] < 1358046936 641470 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i thought it was easier to fix that with a reformatting step if you needed it < 1358047000 446657 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Although < 1358047015 483229 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :With my show instance, [] would just end up as an empty string < 1358047048 649882 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Because I basically made a show instance for BTDigit and then used concatMap < 1358047070 395 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Easy to fix though < 1358047088 628370 :lightquake!~lightquak@li363-105.members.linode.com PART #esoteric :"Textual IRC Client: www.textualapp.com" < 1358047162 834083 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: Do you think my addBTDigit does something wrong? < 1358047344 654557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think it gives the correct result, as for style i think it depends on what you are going for - speed, readability, shortness? < 1358047373 511721 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: so what do you think about lenses < 1358047376 977635 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :seems readable enough, anyway < 1358047419 205901 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: lenses are a must for any aspiring astronomer < 1358047445 734716 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Computer science is no more about lenses than astronomy is? < 1358047502 973446 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have heard of someone who made their own telescope lenses at home, without any professional anything. Someone thought they bought them from elsewhere, even though they made it at home. < 1358047546 918732 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What if they bought them from elsewhere, and lied about it? < 1358047578 557202 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is possible, but unlikely, because they showed how they made the lenses, and try it and it works. < 1358047615 726790 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: btw if you use the hpaste.org pastebin it can give automatic haskell style hints < 1358047641 727466 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: Readability is nice < 1358047651 437738 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :It's hard to go wrong on speed for something this simple, right? < 1358047658 237708 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(although you can also use hlint yourself) < 1358047754 407212 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: depends whether you want adequate speed or bleeding speed. in the latter case i wouldn't be competent to advise, anyway :P < 1358047802 937212 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: It's not like I'm doing recursion or anything < 1358047822 297950 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :The only place I see where there might be a speed reduction is the min/max < 1358047920 627753 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: indeed i suspect it would be faster if you wrote it as a case branch directly on the function without the min / max < 1358047927 538257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which would be longer of course < 1358047946 687128 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Well, conciseness and readibility is why I got the idea to use min/max =P < 1358047961 496666 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep < 1358048005 963227 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I wonder if there is a function Ord a => (a,a) -> (a,a) which would always put the smaller a in the tuple first < 1358048012 642545 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1358048025 926140 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I don't think it's a common thing to do < 1358048029 446910 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1358048049 106195 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: you can do [x,y] = sort [a,b] < 1358048064 532870 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :might be slower though, or not < 1358048094 323716 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: probably slower =P < 1358048127 858632 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, if you use Control.Arrow you have min &&& max < 1358048136 548193 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t min &&& max < 1358048136 938149 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Ord b => b -> (b -> b, b -> b) < 1358048141 82137 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1358048161 99905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :needs more spice < 1358048178 356090 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Hmm, I don't see sort in http://www.haskell.org/onlinereport/standard-prelude.html < 1358048179 134198 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t curry min &&& curry max < 1358048180 290614 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Ord b, Ord b2, Ord b1) => b -> (b1 -> (b, b1) -> (b, b1), b2 -> (b, b2) -> (b, b2)) < 1358048185 963207 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sorry, _less_ < 1358048191 720308 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t uncurry min &&& uncurry max < 1358048192 971608 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Ord c' => (c', c') -> (c', c') < 1358048212 77264 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: it's in Data.List < 1358048225 924972 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hoogle sort < 1358048226 94996 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.List sort :: Ord a => [a] -> [a] < 1358048226 95110 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.List sortBy :: (a -> a -> Ordering) -> [a] -> [a] < 1358048226 95157 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Data.ByteString sort :: ByteString -> ByteString < 1358048232 446236 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :> (uncurry min &&& uncurry max) (4,9) < 1358048233 964629 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (4,9) < 1358048238 727897 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :> (uncurry min &&& uncurry max) (9,7) < 1358048240 206344 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (7,9) < 1358048255 61776 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Oh right < 1358048261 262867 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :It's not in prelude < 1358048272 555659 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi JOIN :#esoteric < 1358048437 257564 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :sort = sortBy compare < 1358048451 854089 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :sortBy is pretty large < 1358048452 200182 :ChanServ!ChanServ@services. MODE #esoteric +o :oerjan > 1358048452 641470 NAMES :#esoteric < 1358048465 234994 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :+oerjan < 1358048466 302685 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*@unaffiliated/phantom-hoover/x-3377486 > 1358048466 325335 NAMES :#esoteric < 1358048479 48825 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Phantom_Hoover was banned? < 1358048480 769935 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*sploknee@unaffiliated/phantom-hoover/x-3377486 > 1358048480 794371 NAMES :#esoteric < 1358048492 856971 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t (&&&) < 1358048493 944484 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Arrow a => a b c -> a b c' -> a b (c, c') < 1358048495 784581 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep < 1358048499 769325 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -o :oerjan > 1358048499 791955 NAMES :#esoteric < 1358048509 664977 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Oh, it's arrow stuff. No wonder I never saw it, haven't looked at arrows yet < 1358048522 109249 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@arrow < 1358048522 279418 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Swab the deck! < 1358048558 799320 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :is an Arrow just a thing like -> < 1358048569 934289 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes(ish). < 1358048575 933499 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :best answer < 1358048583 888679 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :an arrow is something weird nobody likes < 1358048584 233357 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :banswer < 1358048590 873681 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in particular, (->) is an Arrow instance < 1358048591 962761 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: listen to monqy < 1358048603 877348 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and probably the most used one < 1358048604 649822 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :monqy, i am prepared to receive thine wisdom. < 1358048610 405818 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: ok now Bike is listening < 1358048612 282391 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :say somethign wise < 1358048615 266024 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :oerjan: what is another one < 1358048615 436214 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :an arrow is something weird nobody likes < 1358048622 257245 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: something else < 1358048625 476225 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hmmmmm < 1358048629 258826 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :something about music? < 1358048631 274180 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :i like music < 1358048682 160794 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i need more wise things to say i cant think of anything < 1358048722 260190 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :oh, meta. that's deep < 1358048731 379730 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: something about oerjan? < 1358048746 343729 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :(->) is a lot of instances < 1358048746 689218 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :like "oerjan's name starts with o. therefore all all things that end with o lead to oerjan" < 1358048749 96792 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oerjan is norwegian, or so they say < 1358048764 308355 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :mønjanqy... or somethinig < 1358048809 570890 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t (uncurry min &&& uncurry max) < 1358048810 602713 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Ord c' => (c', c') -> (c', c') < 1358048814 248974 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Oh yeah < 1358048821 257733 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t (uncurry &&& uncurry) < 1358048822 636870 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(a -> b -> c) -> ((a, b) -> c, (a, b) -> c) < 1358048837 842796 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: did you know i'm your "third biggest fan" < 1358048846 977412 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or maybe fourth < 1358048848 697327 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :not sure < 1358048860 325669 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t (\x y -> uncurry x &&& uncurry y) < 1358048861 357106 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(a -> b -> c) -> (a -> b -> c') -> (a, b) -> (c, c') < 1358048871 474040 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: Monad m => Arrow (Kleisli m) < 1358048882 63696 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :cool < 1358048905 837696 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :newtype Kleisli m a b = Kleisli (a -> m b) iirc < 1358048906 869643 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :So Arrow pretty much covers everything you could do? < 1358048923 396949 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: You know how (forall c. (b -> m c) -> a -> m c) is like Kleisli but composable with (.)? < 1358048931 546486 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Comonads obviously would be Arrow instances too < 1358048934 372190 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1358048938 251381 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, wait. < 1358048948 935849 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, yes? < 1358048959 94799 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Except the type is too big!!!!!!) < 1358049038 937246 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :http://www.haskell.org/arrows/ I see haskell.org has a big arrow tutorial thing < 1358049048 648812 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FreeFull: Ignore arrows. < 1358049057 517208 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's no point. < 1358049076 156314 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :I hear they're something weird nobody likes. < 1358049089 73388 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what about all those libraries that use arrows!!! god knows why < 1358049097 118497 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :"They serve much the same purpose as monads -- providing a common structure for libraries -- but are more general." hahaha < 1358049117 478442 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: er not really. < 1358049145 916237 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the point of arrows is stupid lambdabot 1liners < 1358049163 128859 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :and maybe jokes??? < 1358049164 159704 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Not really what? < 1358049170 436274 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: i like jokes, tell me a joke < 1358049181 561585 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"arrows" < 1358049207 237674 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :yeah i noticed it said artwork by cale. is this the cale of the infamously fabulous caleskell < 1358049234 567572 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Surely. < 1358049258 414730 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: not really know how. < 1358049277 864759 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: The same way (x ++) is like x, but composable with (.) < 1358049293 377367 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Could you make arbitrary C code into valid haskell by adding something at the top of the file? No adding anything at the bottom < 1358049295 94108 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1358049370 754076 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: i don't think so, you need an end marker for both template quasiquotes and comments < 1358049391 81227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: or wait, _maybe_ you could have an extra preprocessing directive < 1358049423 706120 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't know if ghc supports doing that from top pragmas without parsing the rest, though < 1358049462 890785 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it would certainly not be _portable_ haskell, anyway. < 1358049486 351442 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :A C string could just happen to contain, say, -} < 1358049502 741904 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :So the comment solution wouldn't work for all C code < 1358049537 48991 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it wouldn't work for _any_ C code which doesn't end with -} followed by valid haskell :P < 1358049541 181180 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :do you actually need this for something? < 1358049581 241356 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How about {-# OPTIONS_GHC -x c #-} < 1358049582 726825 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or something. < 1358049736 529738 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :x={-5}; int main() { printf("C!\n"); } /* -} 0; main = putStrLn "Haskell!" -- */ < 1358049737 643402 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi QUIT :Remote host closed the connection < 1358049880 44212 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: i don't think you can put that in front of arbitrary C < 1358049913 194647 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it wasn't directly an answer to FreeFull's question < 1358049930 539540 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :just wanted to show off dat polyglot < 1358049945 721758 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :I didn't know {-5} was legal there, though. < 1358049996 902029 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it's not < 1358050002 149212 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: -x c is static, so cannot be used in OPTIONS_GHC < 1358050012 267572 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :oh, well then. < 1358050017 803374 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Oh. < 1358050081 990575 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :this is remedied, though, by using "int x [] =" which is valid in both languages < 1358050093 251361 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :only dynamic ones < 1358050181 63635 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :int x [] = {-5}; int main() { puts("Yeah, C!"); return 0; } /* x -- */ < 1358050211 225980 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Wait, no < 1358050215 622559 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :int x [] = {-5}; int main() { puts("Yeah, C!"); return 0; } /* -} x -- */ < 1358050244 912580 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :int x [] = x, perfect < 1358050276 949037 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> int 3 [] where int x [] = {-5}; int main() { puts("Yeah, C!"); return 0; } /* -} x -- */ < 1358050278 455236 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : :1:10: parse error on input `where' < 1358050285 747716 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Stupid lambdabot < 1358050293 720982 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: -F might work < 1358050305 724894 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :FreeFull: you know i don't think that's valid c precisely? < 1358050348 630232 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Bike: Well, not what I fed to lambdabot < 1358050410 926071 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :anyway is there some way you can make the haskell parser hang on the first line? that would "work" < 1358050483 770694 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: {-# OPTIONS_GHC -F -pgmF yourProcessingProgram #-} should work if you make yourPreprocessingProgram munge the file appropriately. < 1358050573 436022 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi JOIN :#esoteric < 1358050630 350309 :impomatic!~digital_w@46.208.50.63 QUIT :Quit: impomatic < 1358050879 1158 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION files away http://hackage.haskell.org/packages/archive/acme-inator/0.1.0.0/doc/html/Acme-Inator.html for future use < 1358050914 427224 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Have you seen acme-php? < 1358050920 328528 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope < 1358050923 686845 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://hackage.haskell.org/packages/archive/acme-php/0.0.1/doc/html/src/Prelude-PHP.html < 1358051172 442009 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: am i correct this could be done _much_ more concisely with lenses? < 1358051185 875224 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote shachaf lens < 1358051186 45690 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :shachaf says: I'm not sure what your question is, but maybe lens is the answer. < 1358051213 488897 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1358051221 696932 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1358051436 941068 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :hmm, my nose is a flute < 1358051535 162143 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i sense this library may have some unfortunate corner cases. < 1358051628 330072 :nys!~YXWX@blk-142-60-139.eastlink.ca QUIT :Quit: quit < 1358051734 521543 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :might be fun trying to use the php prelude < 1358051860 24894 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: quite like its name sake < 1358051863 968591 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i think the foldr and elem functions might be a bit off < 1358051909 328817 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is elem wrong? < 1358051916 341933 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, that's what you mean. < 1358051924 981899 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, I remember wondering about that. < 1358051928 936139 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess it's just another gotcha. < 1358051975 982866 :DH____!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1358052005 14935 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1358052237 740590 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can we make a probabilistic Pokemon card puzzle where your chance to win is not 100% but you have to maximize it? < 1358052421 677200 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zzo38: perhaps if you knew the opponent's deck, but not the order of cards in it < 1358052434 753605 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or if the opponent's deck didn't matter, and you knew your deck, but not the order of cards in it < 1358052454 357599 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(if you have a good memory, you always know your deck, and if you haven't used cards that manipulate deck order, you don't know the order) < 1358052475 36448 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :ais523: Yes, those are some, but then there are also coin tossing < 1358052546 438451 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Maybe on can be made somehow involving Imakuni?'s card. < 1358052660 575726 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? finland < 1358052661 963157 :HackEgo!codu@codu.org PRIVMSG #esoteric :Finland is a European country. There are two people in Finland, and at least nine of them are in this channel. Corun drives the bus. < 1358052671 698643 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? america < 1358052673 114039 :HackEgo!codu@codu.org PRIVMSG #esoteric :america? ¯\(°_o)/¯ < 1358052681 854945 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: how come america doesn't have a wisdom entry < 1358052914 11522 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`echo "This wisdom entry had to be removed due to a DMCA takedown notice." >wisdom/america < 1358052915 420458 :HackEgo!codu@codu.org PRIVMSG #esoteric :​"This wisdom entry had to be removed due to a DMCA takedown notice." >wisdom/america < 1358052917 14633 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo "This wisdom entry had to be removed due to a DMCA takedown notice." >wisdom/america < 1358052920 721289 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1358052925 952273 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :BETTER NOW? < 1358052953 41754 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? united states < 1358052954 421538 :HackEgo!codu@codu.org PRIVMSG #esoteric :united states? ¯\(°_o)/¯ < 1358053017 526263 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo "See America." | tee wisdom/usa >wisdom/'united states' < 1358053021 462130 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1358053031 273195 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`? the us < 1358053033 2149 :HackEgo!codu@codu.org PRIVMSG #esoteric :the us? ¯\(°_o)/¯ < 1358053064 523273 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo "The US is the country opposed to the THEM." >wisdom/'the us' < 1358053067 953419 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1358053084 779091 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`? the them < 1358053086 540082 :HackEgo!codu@codu.org PRIVMSG #esoteric :the them? ¯\(°_o)/¯ < 1358053148 785772 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :an endless chain of cia world factbook lite < 1358053149 129905 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1358053167 30486 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1358053167 377740 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi QUIT :Ping timeout: 260 seconds < 1358053178 87577 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run echo "Information on the THEM has been removed for national security reasons." >wisdom/'the them' < 1358053181 194539 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1358053257 199987 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? north america < 1358053258 695253 :HackEgo!codu@codu.org PRIVMSG #esoteric :north america? ¯\(°_o)/¯ < 1358053260 661602 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, do we add wisdom via creating the files directly? < 1358053265 87496 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I thought there was a command < 1358053272 735366 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :learn? < 1358053279 494204 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: The command can only create entries of a certain form. < 1358053291 496723 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right < 1358053301 18432 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Of course, we *could* just make another command. < 1358053305 177688 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But that would be too easy? < 1358053350 514077 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it wouldn't be much easier than `run echo < 1358053538 369841 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have thought once, I wanted to make up a Pokemon card puzzle involving the Imakuni?'s cards, but I don't know how. < 1358053538 756440 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1358053598 316989 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`run >'hello there' echo helloerjan < 1358053601 106742 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1358053607 479105 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cat hello there < 1358053609 412055 :HackEgo!codu@codu.org PRIVMSG #esoteric :helloerjan < 1358053617 675189 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`rm hello there < 1358053620 436123 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1358053630 294427 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oh good grief < 1358053646 659291 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh Nø < 1358053648 489742 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er. < 1358053652 704769 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh Nø < 1358053665 391249 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :"What is the single mechanism or dual mechanisms that allows a conduncting filament to grow in the vertical direction immediately after breakdown and then at a later time and with the reapplication of a higher current to undergo radial growth to a lower resistance state?" < 1358053673 32994 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :identify the object, subject, and verb < 1358053753 731976 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :the verb is 'identify', the subject is (implied) us, the objects are the object, subject and verb < 1358053805 97386 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :what < 1358053810 585685 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :that's not even... what < 1358053832 64959 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :happy to help! < 1358054230 474105 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION gives olsner a gold star for being helpful * < 1358054319 303643 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :coppro: the verb is "is", which means there wouldn't be an object, and "What" is probably the subject. hth. < 1358054321 23476 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :coppro: the single mechanism..., what, is < 1358054337 9320 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oerjan is correct < 1358054357 4370 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't remember the name in english of what goes on the other side of "is". < 1358054361 216264 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :subject predicate < 1358054394 325285 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i thought predicate included the verb < 1358054562 512770 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :sorry, subject predicat*ive* < 1358054575 826168 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ACTION grumbles about the choice of language by linguists < 1358054620 940646 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you just be happy they didn't choose chinese! < 1358054642 106967 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :chinese physics terms rock, though < 1358054698 794917 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? denmark < 1358054700 171182 :HackEgo!codu@codu.org PRIVMSG #esoteric :denmark? ¯\(°_o)/¯ < 1358054709 598640 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :............ < 1358054727 778505 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :`? maldives < 1358054729 539412 :HackEgo!codu@codu.org PRIVMSG #esoteric :maldives? ¯\(°_o)/¯ < 1358054735 539797 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i shall leave that to the danish esotericians present. < 1358054748 966281 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :there are no danes < 1358054753 164026 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :(are there?) < 1358054763 562246 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well they lucked out, then < 1358054796 241035 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Why did it surprise me that Yogi Berra is still alive? < 1358054832 916140 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi sgeo < 1358054837 627802 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :hi < 1358054841 173747 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :how was the caffeine < 1358054849 88547 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :frankly i'm surprised that you're alive, after that trip of yours < 1358054855 539779 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think in the future it would be a bad idea to drink that much coffee < 1358054877 670682 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :maybe you'll get used to it < 1358054912 300870 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Maybe it's terrifying that, even many hours later, my heart went from a normal rhythm to rapid beats for a few seconds < 1358054934 120985 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no more than six cups a day for you, young man! < 1358055016 410748 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe you have a heart condition such that you should not consume caffeine < 1358055058 575172 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe he does't < 1358055060 295386 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :*doesn't < 1358055122 970062 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :does anyone have source for a markov chain bot handy? < 1358055128 235305 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :we really need to have one trained on this channel < 1358055144 609919 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^source < 1358055144 954078 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :http://git.zem.fi/fungot/blob/HEAD:/fungot.b98 < 1358055147 705370 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :HTH < 1358055173 292944 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1358055175 555294 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`? burma < 1358055176 664486 :HackEgo!codu@codu.org PRIVMSG #esoteric :burma? ¯\(°_o)/¯ < 1358055184 954017 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`run echo "ask Bike" >wisdom/burma < 1358055188 26134 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1358055207 894404 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Client Quit < 1358055228 591768 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: http://www.sheldoncomics.com/archive/121224.html < 1358055277 129341 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: tell me all there is to know about burma < 1358055295 646915 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Sgeo: https://www.youtube.com/watch?v=dZ2q9NmYf6g < 1358055330 112847 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :elliott: There are whole fucking shittons of people there, almost as many mountains, and also some dictatorships. < 1358055363 804265 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: have you ever been to burma < 1358055369 155805 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: be sure to read to the end hth < 1358055397 32319 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: yes i love lasanga cat.... < 1358055399 440416 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :No, but one time I was at a place where some other people had once been to burma, and then had been to that place. < 1358055403 628540 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :monqy: Good, good. < 1358055411 466137 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i love lasagna cat too < 1358055421 310932 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also i hear they are good at shaving < 1358055494 377229 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :monqy: what about infinite solutions < 1358055515 244855 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I should probably eat food < 1358055603 492503 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ive never heard of infinite solutions before, but how about wonderfulstories aka thejunkwizards < 1358055632 333966 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh maybe ive seen this before < 1358055637 551330 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :infinite solutions is by the same people as lasanga cat < 1358055643 142320 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: what do you know about "equirecursive types" < 1358055650 70043 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: i know the stuff < 1358055654 243420 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh boy < 1358055657 73926 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the stuff < 1358055659 828129 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's the stuff < 1358055667 376528 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :can you tell me a bit about them < 1358055675 2954 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`list < 1358055676 33059 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/list: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/list: cannot execute: Permission denied < 1358055683 516662 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`cat bin/list < 1358055684 203743 :HackEgo!codu@codu.org PRIVMSG #esoteric :echo Taneb atriq Ngevd Fiora nortti elliot < 1358055704 366468 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: whats to know about them < 1358055712 865236 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: this infinite solutions thing is good < 1358055724 25372 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it is < 1358055736 392659 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: well if i knew i wouldn't ask right < 1358055747 123350 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it looks like they deleted some of the videos :( < 1358055758 576952 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :trickster mode + ikeda -> something pretty weird < 1358055803 801642 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run ls -l bin/list < 1358055804 492144 :HackEgo!codu@codu.org PRIVMSG #esoteric :​-rw-r--r-- 1 5000 5000 43 Jan 12 20:33 bin/list < 1358055906 251736 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: like their definition or something specific about them or < 1358055910 699366 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Look at his shirt < 1358055918 653731 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: well i think i know the definition "more or less" < 1358055926 938858 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but like what happens when you allow them < 1358055933 275007 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is it "bad because too many things type check?" < 1358055993 826807 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is there a three-dimensional Fourier transform? < 1358056051 230023 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :there should be < 1358056071 380542 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Fourier_transform#Fourier_transform_on_Euclidean_space that was easy. < 1358056072 832675 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: you can apply a fourier transform to functions on R^3, if that is what you mean. any locally compact group works. < 1358056094 508199 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Actually I mean a discrete Fourier transform. < 1358056099 790667 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Z (giving series) and R are just the most common examples. < 1358056107 938579 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`cat bin/list < 1358056108 970681 :HackEgo!codu@codu.org PRIVMSG #esoteric :echo Taneb atriq Ngevd Fiora nortti elliot < 1358056111 764543 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(Sound added) < 1358056112 184425 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: well Z^3 would also work < 1358056124 609045 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :oerjan: OK. < 1358056142 84548 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :is Z^3 compact? < 1358056151 136866 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, it's discrete < 1358056159 932349 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :right < 1358056168 394910 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :any discrete _or_ compact group is locally compact < 1358056173 380147 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :Oh. < 1358056189 893095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :T = unit circle is a compact example, whose dual group is Z < 1358056191 685301 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: are you really going to cat out that program instead of making it work < 1358056203 236736 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`run chmod a+x bin/list < 1358056204 874985 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: there's also the thing where typechecking/inference/error-reporting gets a bit dumb < 1358056206 166535 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1358056221 155760 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hum it's T which gives series, which are of course just functions on Z. < 1358056228 153193 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Fourier transform is sometimes used on sounds and on pictures, so I thought, would it work on videos (with two spatial dimensions and one temporal dimension)? < 1358056231 987697 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :starting with functions on Z gives you functions on T instead. < 1358056270 54078 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :zzo38: do you know about jpeg compression? < 1358056278 896810 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Bike: I know a few things about it. < 1358056313 979812 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :well, maybe asking about video compression would be better. i bet they use a lot of the same fouriery techniques. < 1358056345 750404 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: computer tomography is essentially using fourier transforms in 3 _space_ dimensions, do convert rays captured through your body into a 3-dimensional model of the inside < 1358056393 129315 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK < 1358056549 122259 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*to < 1358058596 612815 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://mspabooru.com/index.php?page=post&s=view&id=83857 (arguably homestuck spoilers) < 1358058628 510574 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Sgeo: it's the sort of spoiler that if you didn't say it was a spoiler, no one would know < 1358058968 658472 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1358059091 459589 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : `addquote hi < 1358059100 827211 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`quote hi < 1358059103 256870 :HackEgo!codu@codu.org PRIVMSG #esoteric :6) His body should be given to science. He's alive :P Even so. \ 9) Lil`Cube: you had cavity searches? not yet trying to thou, just so I can check it off on my list of things to expirence \ 14) Finally I ha < 1358059110 399467 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote .*\bhi\b < 1358059112 125215 :HackEgo!codu@codu.org PRIVMSG #esoteric :733) Sgeo: I used to have strict requirements for when I said hi but then everyone started saying hi and it all got weird \ 757) hack and back? works on anything much slower than you at the cost of: guilt, hating yourself, me sending you the message "hi" am I also forbidden to cast mephitic cloud and cb < 1358059186 296253 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote \bhi\b < 1358059188 15997 :HackEgo!codu@codu.org PRIVMSG #esoteric :152) comex: what? *vorpal comex: hi, tab-complete completed c to comex instead of Vorpal, dunno why \ 209) [on Walter Bright] I went to chat with him after his talk at the ELC and he was like "hum, right - humans. How do they work again... oh, hi!" \ 733) Sgeo: I used to have strict requirements < 1358059209 886284 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy = Walter Bright????? < 1358059250 945760 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :no < 1358059382 609701 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :monqy = just bright in general??? < 1358059406 541297 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :a mystery < 1358061560 173613 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1358061675 400806 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1358063411 537523 :Bike!~Glossina@67-5-245-201.ptld.qwest.net QUIT :Quit: t hurts < 1358064849 535526 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1358065147 112349 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh it is so sparkly, https://dl.dropbox.com/u/113389132/Misc/20130112-icicles2.jpg < 1358065197 991092 :epicmonkey!~epicmonke@188.134.41.175 JOIN :#esoteric < 1358065206 894219 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Taken yesterday, it's decidedly less sparkly today.) < 1358065238 986542 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`quote 757 < 1358065245 756664 :HackEgo!codu@codu.org PRIVMSG #esoteric :757) hack and back? works on anything much slower than you at the cost of: guilt, hating yourself, me sending you the message "hi" am I also forbidden to cast mephitic cloud and cblink i will also send you "hi" if you: kite excessively, use mephitic cloud, -yes < 1358065255 689444 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Or arguably it's as sparkly but less sunny.) < 1358065291 284813 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't understand the 757. < 1358065301 876394 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's not a very good quote < 1358065309 556410 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: it's a reference to Crawl, the computer game < 1358065332 379484 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this also explains the meme of me getting annoyed when elliott says "hi" to me, because I'm intentionally misinterpreting it as a monqy-style hi < 1358065332 588540 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, that explains why it didn't make sense. < 1358065341 756302 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :basically if he says hi to you unsolicited, he disapproves of what you're doing < 1358065350 505953 :ion!ion@heh.fi PRIVMSG #esoteric :I know mephitic cloud, but what’s kiting? < 1358065357 733729 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :either that or he's trying to start a conversation < 1358065371 323798 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ion: general battle tactic (mostly used in computer games, but can also work in real life) where you both outrange and outrun someone < 1358065383 497643 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it involves repeatedly firing at them and then running away < 1358065383 668116 :ion!ion@heh.fi PRIVMSG #esoteric :Ok, thanks < 1358065416 815287 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: Have you tried it out in real life? < 1358065446 986490 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: no; I'm not that fast a runner, and don't own effective ranged weapons, and tend not to get into fights, and am unwilling to kill people < 1358065457 727557 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so opportunities have been limited < 1358065505 923517 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I suppose there's the conversational version where you shout insults and then run away. < 1358065506 957662 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess the real life equivalent of pillar dancing would be that, but running round and round in circles around a gun store, and every time you reach the entrance you stop to buy more ammo < 1358065529 855621 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: that's not quite the same because it relies on reaction time, rather than limited range, to avoid getting shot back at < 1358065569 887649 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It could be a range thing if you can shout (much) louder. < 1358065655 948616 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Though I suppose generally the insultee would not maybe start to chase you. (Perhaps depending on the insult.) < 1358065668 961189 :Taneb!~nathan@host-92-30-182-188.as13285.net JOIN :#esoteric < 1358065816 427327 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i approve of this conversation < 1358065942 897163 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Complaint of the day: this client does not support an encoding fallback, so on one channel where half the people use ISO-8859-1 and half UTF-8 it's either full of mojibake or Unicode replacement characters. (And the encoding setting is per-connection, not per-channel.) < 1358065956 17439 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I feel like a wreck < 1358065970 894799 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think I'm going to lay off the caffeine for a while < 1358065984 764556 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi JOIN :#esoteric < 1358066053 822080 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION can't figure out how to upgrade this obsolete Linux distro < 1358066068 334406 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :And I really want to run modern LyX but because of this I can't < 1358066081 830123 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :woops!! < 1358066093 291062 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Which one is it? < 1358066144 127871 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i still use a two year old lyx < 1358066152 332091 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what's so much better about today's < 1358066163 105934 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :modern or something < 1358066193 970200 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :10.10 < 1358066199 138856 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ha < 1358066209 845270 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So the next Ubuntu in my upgrade path is also End of Life < 1358066213 356828 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There was quite a large improvement in LyX between some versions a few years back. < 1358066223 679448 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i'm using 10.04 :P < 1358066276 114949 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wait how can they not upgrade you all the way? < 1358066318 71595 :ion!ion@heh.fi PRIVMSG #esoteric :sgeo: Just reinstall, it’ll be faster. < 1358066340 557407 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hmm, there's some sort of old releases thing < 1358066423 927803 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'd probably also just reinstall. But I'm sure it can be done. Somehow. < 1358066453 788111 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There's an old-releases thingy < 1358066477 288593 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :reinstalling would be a bitch and a half for me, but i know i'll have to do it eventually ;_; < 1358066478 379791 :ion!ion@heh.fi PRIVMSG #esoteric :You can upgrade using an unsupported update path (i.e. skip over releases in the supported path) manually, but you get to keep the parts when it breaks. :-P < 1358066512 624800 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But can the upgrade manager use the old-releases thingy? < 1358066514 311077 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :deb http://old-releases.ubuntu.com/ubuntu/ CODENAME main restricted universe multiverse < 1358066533 596264 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi QUIT :Ping timeout: 245 seconds < 1358066725 194913 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :When Ubuntu on PowerPC went from Canonical-supported to community-supported, and consequently was left out of most mirrors, all updates got real slow. < 1358066754 539970 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi JOIN :#esoteric < 1358066787 371980 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Maybe at least I can get new LyX on here, even if the 11.04 idea isn't working out < 1358067156 542188 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can always just compile one from the official sources. < 1358067202 898321 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I have a vague feeling I did that when our workstations at work were stuck with a really old Ubuntu. < 1358067447 600772 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi QUIT :Ping timeout: 260 seconds < 1358067589 748042 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :LyX works < 1358067651 433378 :aloril!~aloril@dsl-tkubrasgw3-54f97e-153.dhcp.inet.fi JOIN :#esoteric < 1358068733 146029 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1358069186 514079 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1358069192 260848 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Hello < 1358069424 429440 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :OH NO! < 1358069461 467667 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(No reason.) < 1358070017 144722 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1358070483 273849 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: RIP. < 1358070574 132032 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Rip and tear. < 1358070618 852443 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I can't stop typing stupid stuff just because I like this swipe action so much. < 1358070651 427698 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It draws this decaying track kind of thing when I do. < 1358070732 30663 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(My first time using a swipeable touchscreen keyboard. If you couldn't tell.) < 1358070930 451846 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1358070957 113714 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1358072618 654763 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1358072655 287144 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Is there a file system that works well on windows and linux that supports files larger than 4 GB? < 1358072677 207333 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :last I looked exFAT was a mess on linux, and I presume NTFS is not rock solid still? < 1358073171 92718 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com JOIN :#esoteric < 1358074633 313480 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I was under the impression that NTFS works reasonably these days. < 1358074674 378211 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :NTFS has a different featureset from, say, ext4 < 1358074683 96337 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :With ntfs3g. Or something. It's worked well enough for me, though I haven't used it much. < 1358074691 85657 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I haven't had problems reading from and writing to an NTFS partition just with this Ubuntu default install < 1358074707 816857 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(and holding large files is the purpose I use that partition for, as well as holding an install of Windows just in case) < 1358075384 311480 :sirdancealot!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1358075765 300851 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The NTFS partition where the Windows is installed on the laptop is what I use for transferring data too on the dual-boot laptop, also with a standard Ubuntu install. (Which I believe does use ntfs3g.) < 1358075791 752884 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or ntfsprogs was combined with it. Or something. < 1358075822 315596 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't know, It Just Works. < 1358075989 127150 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :hm < 1358076043 82449 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :okay < 1358076054 636822 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :might be worth trying then < 1358076070 863759 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Just don't blame me when it eats your data. < 1358076083 144145 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :or not :P < 1358076103 604340 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, I need something to use on an external HDD for backup that will be used from both windows and linux < 1358076136 150781 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Haven't heard of any data-loss bugs with it or anything, it was just a standard disclaimer. < 1358076143 481425 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :true < 1358076866 830662 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1358077429 172035 :sploknee!~sploknee@137.205.52.73 JOIN :#esoteric < 1358078999 187468 :epicmonkey!~epicmonke@188.134.41.175 QUIT :Ping timeout: 272 seconds < 1358081888 442120 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1358083987 437757 :sploknee!~sploknee@137.205.52.73 NICK :Phantom_Hoover < 1358084012 852785 :Phantom_Hoover!~sploknee@137.205.52.73 QUIT :Changing host < 1358084013 22792 :Phantom_Hoover!~sploknee@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1358086795 561903 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :A modest proposal: since "const int foo = 100;" doesn't make a constant integer expression in C, and macros are evil, let's start using "const char foo[100]; ...(sizeof foo)..." for compile-time constants from now on. (Insert here an argument against enums.) < 1358087017 833506 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: nobody can argue a cause like you do < 1358087062 451067 :Taneb!~nathan@host-92-30-182-188.as13285.net PRIVMSG #esoteric :I don't understand C < 1358087091 410022 :Taneb!~nathan@host-92-30-182-188.as13285.net PRIVMSG #esoteric :Is it right that in 2013 we still need to tell computers exactly how to do something? < 1358087342 267375 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Doesn't Haskell solve that issue? < 1358087446 366346 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or Prolog, where you just specify goals. That sounds nice! < 1358087476 625772 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Computer, make me a sandwich < 1358087526 492916 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Unfortunately Prolog doesn't work for those who have yet to find meaning in life. < 1358087648 925420 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What I learned on the Prolog course is that it's a good language if you need a thing that can say "No" a lot. < 1358087693 555727 :Phantom_Hoover!~sploknee@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`addquote What I learned on the Prolog course is that it's a good language if you need a thing that can say "No" a lot. < 1358087701 87240 :HackEgo!codu@codu.org PRIVMSG #esoteric :913) What I learned on the Prolog course is that it's a good language if you need a thing that can say "No" a lot. < 1358087753 431421 :Taneb!~nathan@host-92-30-182-188.as13285.net PRIVMSG #esoteric :> repeat "no" < 1358087754 805393 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["no","no","no","no","no","no","no","no","no","no","no","no","no","no","no"... < 1358087769 974428 :Taneb!~nathan@host-92-30-182-188.as13285.net PRIVMSG #esoteric :@faq Can Haskell say "No" a lot? < 1358087770 303573 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :The answer is: Yes! Haskell can do that. < 1358087781 319116 :Phantom_Hoover!~sploknee@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :but what if you occasionally want it to say yes < 1358087805 87067 :Taneb!~nathan@host-92-30-182-188.as13285.net PRIVMSG #esoteric :> cycle (replicate 30 "No" ++ ["Yes"]) < 1358087807 831062 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["No","No","No","No","No","No","No","No","No","No","No","No","No","No","No"... < 1358087827 362835 :Taneb!~nathan@host-92-30-182-188.as13285.net PRIVMSG #esoteric :> take 10 $ filter (== "Yes") $ cycle (replicate 30 "No" ++ ["Yes"]) < 1358087829 150804 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ["Yes","Yes","Yes","Yes","Yes","Yes","Yes","Yes","Yes","Yes"] < 1358087908 439415 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :What are you trying to do < 1358087922 606201 :Taneb!~nathan@host-92-30-182-188.as13285.net PRIVMSG #esoteric :Who knows < 1358087939 655477 :Taneb!~nathan@host-92-30-182-188.as13285.net PRIVMSG #esoteric :Who "no"'s indeed < 1358087999 370036 :Taneb!~nathan@host-92-30-182-188.as13285.net PRIVMSG #esoteric :One of my friends is entering a competition where the prize is "you go to space. And probably come back" < 1358088034 636476 :Taneb!~nathan@host-92-30-182-188.as13285.net PRIVMSG #esoteric :Anyone feel like voting for him? < 1358088061 780397 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Can you get your money back if you don't come back? < 1358088069 316631 :Taneb!~nathan@host-92-30-182-188.as13285.net PRIVMSG #esoteric :Yes! < 1358088074 603482 :Taneb!~nathan@host-92-30-182-188.as13285.net PRIVMSG #esoteric :Also free deoderant! < 1358088089 372732 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I suppose he's not paying though. If it's a prize. < 1358088096 864953 :Taneb!~nathan@host-92-30-182-188.as13285.net PRIVMSG #esoteric :https://www.lynxapollo.com/en_GB/48041/jonnie-barnes < 1358088151 582121 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1358088544 834511 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1358089348 126716 :epicmonkey!~epicmonke@188.134.41.175 JOIN :#esoteric < 1358089666 479620 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"We call on our local, state and federal governments to uphold our First Amendment right to free speech by vigorously enforcing all laws against obscenity." < 1358089856 8616 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1358089859 72431 :augur!~augur@rrcs-98-101-208-48.midsouth.biz.rr.com QUIT :Remote host closed the connection < 1358089885 798024 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1358090037 556570 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1358090065 991915 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1358091320 190008 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION wonders if he should try writing his resume in LaTeX rather than using LyX < 1358091340 264155 :ion!ion@heh.fi PRIVMSG #esoteric :You’re writing it in LaTeX when you’re using LyX. < 1358091377 683673 :ion!ion@heh.fi PRIVMSG #esoteric :Don’t forget about Markdown with some LaTeX additions, converted to LaTeX with pandoc. < 1358091490 820841 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"In LaTeX, you have to set up each of the margins manually, which can seem tedious at first. " < 1358091493 579676 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :o.O < 1358091976 760084 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1358093787 336484 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The sketch where they're debating how cheese is made made me realize I know nothing about cheese < 1358094012 864023 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :which sketch is that? < 1358094322 297732 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It's in season 2 episode 3 < 1358094330 468791 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :OK < 1358095032 625636 :Taneb!~nathan@host-92-30-182-188.as13285.net PRIVMSG #esoteric :Things that make translating C code into Haskell #3: global variables < 1358095085 117514 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :they sure do make it #3 < 1358097569 159851 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :uh usually you use default margins or \usepackage{fullpage} < 1358097606 138588 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :kmc, ah, ok < 1358097649 343843 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ion: Have you seriously started to use proper ’s? < 1358097666 866326 :ion!ion@heh.fi PRIVMSG #esoteric :fizzie: A number of years ago, yes. < 1358097677 155883 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I have so not noticed that. < 1358097854 266846 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric : Is it right that in 2013 we still need to tell computers exactly how to do something? < 1358097858 165592 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no but fortunately it's not the case < 1358097875 289211 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :there are a lot of extremely popular high level languages < 1358097911 645083 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you can find lots of people who are productively employed as programmers, and have no clue how things work below the layer of Ruby or even Drupal < 1358097921 527735 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :we may make fun of them, but this is basically a sign of progress < 1358097943 231026 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION now worries that he might be one of those people < 1358097960 449184 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I have some idea of ... how things operate on a C level I ... guess < 1358097965 254568 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :programming as lifestyle v. programming as tool < 1358097970 228427 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Is C level even really a thing < 1358097970 398673 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :C is used a) for things that need that level of control, b) by people who don't know better, c) by people who think it proves they have the biggest hacker penis < 1358097972 142125 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :both problematic :( < 1358097985 650254 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: yes < 1358098010 235266 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and C is not telling "exactly how to do something" either < 1358098031 886281 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :C compilers perform all kinds of transformations, and then the CPU performs more on the fly < 1358098032 858002 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the main problem with C is that it impedes the progress that can be made even at the levels for which C is used < 1358098042 399769 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :should ban its use or something < 1358098045 895317 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1358098060 548947 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it certainly should be possible to make a better systems programming language than C < 1358098081 95137 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but it's hard to make one which is better by a large enough fraction to beat out the current lingua franca < 1358098092 338010 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :programming languages almost never succeed or fail on their technical merits < 1358098097 123292 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There are several projects working on that, aren't there? < 1358098114 753909 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it was a fairly depressing realisation for me that reading about Multics' design made me think it was a billion times better than Unix and that it was terrible that it was abandoned < 1358098131 808200 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it means I really am doomed to vapourware Right Thing second-system syndrome < 1358098164 578012 :ion!ion@heh.fi PRIVMSG #esoteric :What are the highlights of its design? < 1358098189 997534 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ion: well if you think of all the misfeatures unix has saddled us with then it basically just didn't do those < 1358098208 949816 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :single-level store rather than a separate limited filesystem for one < 1358098215 478550 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I remember reading a thing saying that one of the reasons why a lot of the C replacements haven't caught on is that many don't have easy linking with existing C code < 1358098236 25717 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ABI-wise and so on < 1358098243 937715 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1358098248 789247 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I think Rust is explicitly trying to be compatible like that < 1358098278 658352 :ion!ion@heh.fi PRIVMSG #esoteric :I might have picked Rust for an embedded-ish project, but it doesn’t support Arm yet. :-( < 1358098279 948344 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :C++ has taken off at least! if you need a C replacement with all the mistakes carefully left intact and some new ones added on < 1358098301 525020 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :p.s. also not actually suitable for the exact same purposes as C < 1358098413 791196 :ion!ion@heh.fi PRIVMSG #esoteric :I tried to look for the current state of the art for thread IPC in C++ and gave up. < 1358098567 896435 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Someone wrote an OS in haskell < 1358098570 294143 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Not a very good OS < 1358099045 715017 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :what makes a good OS? < 1358099139 425909 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1358099582 178731 :ion!ion@heh.fi PRIVMSG #esoteric :Steve < 1358100364 16747 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And how much Steve does an OS need? < 1358101263 572157 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, one cubic meter of it < 1358101292 409684 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :copumpkin: the only way to create a good OS is to let elliott make it < 1358101561 599843 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sometimes I wonder what W|A profiling will say of me. (Context: just queried for "volume of human body".) ((It's only 0.066 cubic metres.)) < 1358101605 965361 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :apparently human bodies are very close to the density of water < 1358101608 556421 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :which I guess makes sense < 1358101646 369605 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What codensity? I heard codensity was "cooler than density". < 1358101651 799410 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You need 15 bodies to make up a cubic metre of Steve, if people are what you're using. < 1358101663 240277 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure why they have those names, though. Something from topology? < 1358101693 744365 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :1 cubic meter is apparently 22 fioras < 1358101734 680685 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Fiora: Did you do a quick water displacement experiment to figure out your volume? < 1358101759 386140 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.aqua-calc.com/calculate/weight-to-volume I used this thing < 1358101788 354190 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :... water displacement experiment ... < 1358101795 754966 :Taneb!~nathan@host-92-30-182-188.as13285.net PRIVMSG #esoteric :Human body as 0.98 the density of water < 1358101798 898302 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The bath tub thing. < 1358101805 773260 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, I know < 1358101807 392533 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I don't think my bath is big enough to fully submerge me < 1358101836 926664 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :the emergency drain wouldn't let it get that deep I think < 1358101851 371408 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :this is silly < 1358101872 586409 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You just need to liquify yourself first. Except then you could measure the volume much more easily. < 1358101884 708392 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but wouldn't that change the volume? < 1358101925 116006 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I suppose that depends on how you do it. I guess the empty spaces would at least get lost. < 1358101934 401394 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :phase changes change volumes though, right? < 1358101960 329106 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :No, why would they do that? < 1358101968 784618 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Oh wait < 1358101973 177811 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I mean, ice is less dense than water, right? < 1358101976 648536 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You are talking about materials, not sound < 1358101979 236083 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :as an example < 1358101990 361763 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :pffff < 1358102003 266058 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Yeah, in general phase changes change pressure/density/volume < 1358102007 992144 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Especially liquid/gas < 1358102129 542450 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The W|A volume estimate was "as measured by water displacement; data based on sample of 521 people, age range 17-51 years". < 1358102163 301979 :Bike!~Glossina@67-5-245-201.ptld.qwest.net JOIN :#esoteric < 1358102190 601325 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's also the useful "corresponding quantities" box, which lets you know you can make a cube 40 cm across out of a person. < 1358103267 483184 :Gregor!codu@codu.org PRIVMSG #esoteric :Ugh, watching Enterprise. Why. < 1358103274 985612 :Gregor!codu@codu.org PRIVMSG #esoteric :"Your vessel is under quarantine. Prepare to be boarded." < 1358103284 937143 :Gregor!codu@codu.org PRIVMSG #esoteric :Yeah, because that's what quarantine means. Fucking idiot. < 1358103306 243003 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :maybe the speaker wants to try out being quarantine! you know, just for shiggles < 1358103314 505589 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :being in* < 1358103760 700662 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I should resume watching DS9 < 1358103765 875438 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :And eat some food < 1358103771 302465 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :And keep doing LinkedIn stuff < 1358103804 241366 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :This one professor who I know would give me recommendations isn't on LinkedIn < 1358103866 402070 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :is linkedin the one that spams you constantly < 1358103969 366447 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :A lot of spammers pretend to be LinkedIn I think < 1358104011 158078 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :As far as LinkedIn itself being spammy... I never seem to bother unsubscribing from stuff, so I just ignore all the newsletters I'm subscribed to from various sources < 1358104015 636031 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I have 5,696 unread emails < 1358104100 589204 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :so... the answer is yes? < 1358104167 835221 :fungot!fis@selene.zem.fi QUIT :*.net *.split < 1358104168 5280 :lambdabot!~lambdabot@li85-105.members.linode.com QUIT :*.net *.split < 1358104645 469895 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've heard SkillPages (which is kind of like LinkedIn except you're supposed to have some sort of a skill, presumably as opposed to having some sort of a profession) is spammy in the "asks you for address book permissions, spams invites to all your contacts" kind of way. < 1358104768 192699 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, I'm sure I could unsubscribe from the LinkedIn emails if I wanted < 1358104843 603217 :impomatic!~digital_w@46.208.50.63 JOIN :#esoteric < 1358105058 135424 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hmm < 1358105071 967089 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I like how AdBlock Plus is trying to have an agreement with advertisers to allow "acceptable" adds < 1358105074 44454 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :*ads < 1358105110 911204 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :trying to have an agreement = getting a lot of money? < 1358105136 468322 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :As in, "if the ads meet certain requirements, they will be let through" < 1358105192 105410 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :what requirements? < 1358105200 34516 :Gregor!codu@codu.org PRIVMSG #esoteric :$$$ < 1358105218 254950 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :https://adblockplus.org/en/acceptable-ads#criteria < 1358105258 258069 :impomatic!~digital_w@46.208.50.63 PRIVMSG #esoteric :I don't block ads < 1358105353 117669 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think it's a good idea to effectively encourage advertisers to use non-obtrusive ads < 1358105381 461007 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If by default static, non-obtrusive ads are let through, if a majority of people are using this filter, those will be the only effective ads < 1358105391 594179 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Contrast if all ads are blocked, then, there's a problem < 1358105565 30537 :impomatic!~digital_w@46.208.50.63 PRIVMSG #esoteric :I hate auto playing audio ads and pop-over ads, but apart from those I'm not too bothered. < 1358105614 55147 :impomatic!~digital_w@46.208.50.63 PRIVMSG #esoteric :I also hate ads disguised as content... e.g. paid blog posts. < 1358106349 194407 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 264 seconds < 1358106766 178028 :sebbu!~sebbu@adijon-152-1-42-143.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1358106766 422032 :sebbu!~sebbu@adijon-152-1-42-143.w83-194.abo.wanadoo.fr QUIT :Changing host < 1358106766 422174 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1358107499 234615 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 272 seconds < 1358107877 223923 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1358107942 53829 :sebbu!~sebbu@adijon-152-1-42-143.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1358107942 260277 :sebbu!~sebbu@adijon-152-1-42-143.w83-194.abo.wanadoo.fr QUIT :Changing host < 1358107942 260423 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1358108220 937187 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 272 seconds < 1358108466 782510 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 264 seconds < 1358108485 459651 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1358108497 376804 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1358108821 344621 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 248 seconds < 1358108858 101088 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1358108963 43510 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1358109317 957812 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :O....k.... < 1358109325 315232 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I need to learn to bite my tongue sometimes < 1358109412 13907 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :impomatic: I can't say I've ever read a blog which had something like that < 1358109703 101639 :epicmonkey!~epicmonke@188.134.41.175 QUIT :Ping timeout: 272 seconds < 1358109991 656488 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1358110000 631337 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Max SendQ exceeded < 1358110781 930040 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1358110886 756084 :trout!root@freebsd/developer/variable QUIT :Quit: I found 1 in /dev/zero < 1358111028 976891 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 264 seconds < 1358111204 464170 :TeruFSX!~TeruFSX@65-128-142-102.mpls.qwest.net QUIT :Ping timeout: 246 seconds < 1358111230 802950 :asiekierka!~asiekierk@fluttershy.pl QUIT :Excess Flood < 1358111308 529927 :sebbu!~sebbu@ADijon-152-1-42-143.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1358111308 700123 :sebbu!~sebbu@ADijon-152-1-42-143.w83-194.abo.wanadoo.fr QUIT :Changing host < 1358111308 700274 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1358111370 587181 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 276 seconds < 1358111466 408824 :asiekierka!~asiekierk@fluttershy.pl JOIN :#esoteric < 1358111510 529320 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Sgeo: biting your tongue will only hurt you < 1358112609 472286 :impomatic!~digital_w@46.208.50.63 PRIVMSG #esoteric :FreeFull: I've come across a few... It's usually pretty obvious that it's a paid post. < 1358112622 947843 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :impomatic: What sort of blogs? < 1358112701 501016 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :like people pretending to be unrelated to some company but have a blog that all it talks about is how awesome that company's products are < 1358112703 147075 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :I guess < 1358112733 615690 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :impomatic: While I'm sitting here drinking my delicious Coca-Cola zero®, I'd just like to point out I think the paid post problem is greatly overrated. < 1358112759 486887 :impomatic!~digital_w@46.208.50.63 PRIVMSG #esoteric :I've seen a few on photography blogs. Several posts about photography, then a random one about "dentists in cleveland" or something. < 1358112861 540976 :lambdabot!~lambdabot@li85-105.members.linode.com JOIN :#esoteric < 1358112879 874511 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Lol < 1358113251 984775 :sebbu2!~sebbu@adijon-152-1-42-143.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1358113269 494020 :sebbu2!~sebbu@adijon-152-1-42-143.w83-194.abo.wanadoo.fr QUIT :Changing host < 1358113269 663984 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1358113283 653166 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1358113295 466111 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1358113296 197318 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :well the best ad one could have is make his company a meme, these days < 1358113469 427099 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Why am I looking at Smalltalk again < 1358113510 18 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Sgeo: Because it's the OO language? < 1358113542 920555 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :No I don't really care for OO, and especially not single-dispatch class-based OO < 1358113548 161167 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I just really like the IDE I think < 1358113967 445537 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :http://www.reddit.com/r/haskell/comments/16iakr/what_happens_when_a_monad_violates_monadic_laws/ should have an answer in terms of burritos < 1358113975 845627 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :or not < 1358114187 3684 :Taneb!~nathan@host-92-30-182-188.as13285.net QUIT :Ping timeout: 272 seconds < 1358114306 687240 :TeruFSX!~TeruFSX@65-128-142-102.mpls.qwest.net JOIN :#esoteric < 1358114373 342588 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1358114430 278513 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`list < 1358114434 839679 :HackEgo!codu@codu.org PRIVMSG #esoteric :Taneb atriq Ngevd Fiora nortti elliot < 1358114435 183866 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :... < 1358114487 756047 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :,,, < 1358114497 381071 :impomatic!~digital_w@46.208.50.63 PRIVMSG #esoteric :''' < 1358114540 399540 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I AM NOT A LIAR < 1358114542 69190 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://www.mspaintadventures.com/trickster.php?s=6&p=007623 < 1358114599 105019 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I liar is not believed even though he tell the truth. < 1358115209 623894 :impomatic!~digital_w@46.208.50.63 PRIVMSG #esoteric :It's just started snowing! :-) < 1358115286 108068 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yay < 1358115302 921126 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hmmmmmmm hello < 1358115488 91017 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Arc_Koen < 1358115518 208330 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1358115551 740902 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : What codensity? I heard codensity was "cooler than density". <-- on the flip side, density is oler. < 1358115560 779346 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"How do I use the GNU Smalltalk REP-loop?" < 1358115570 862178 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think that is the first time I have ever seen the phrase "REP-loop" < 1358115578 989134 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :read-epl < 1358115590 599512 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :r-eval-pl < 1358115596 804591 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :re-print-l < 1358115660 536424 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :re-print-loop could be confusing < 1358115685 548915 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1358115713 405287 :c00kiemon5ter!~c00kiemon@foss-aueb/coder/c00kiemon5ter PRIVMSG #esoteric :(as it tends to read as a 'loop' that 'print's 're'peatedly) .. or something < 1358115759 624756 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : http://www.aqua-calc.com/calculate/weight-to-volume I used this thing <-- 1 dm^3 (liter) of water is about 1 kg. hth. < 1358115807 712309 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(in fact that was the original intended definition of kg) < 1358115819 842223 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :...i just got a phone call from a number 1 digit off from my own number < 1358115823 22232 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and they hung up immediately < 1358115909 970951 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^ul (sp)S((o)S)(~:^~:^):^(ky!)S < 1358115918 972778 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA < 1358115928 140704 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: a ghost ate fungot! < 1358115928 488506 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1358116018 790230 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh no ho ho. < 1358116061 588483 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It is not a connecting. < 1358116137 659390 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I even tried to change servurs. < 1358116164 82903 :fungot!fis@selene.zem.fi JOIN :#esoteric < 1358116203 812139 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^ul (sp)S((o)S)(~:^~:^):^(ky!)S < 1358116204 156784 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :spoooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo ...too much output! < 1358116227 643765 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :somewhere out at infinity, a lonely ky! calls < 1358116277 627171 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> x < 1358116279 19427 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : x < 1358116283 579541 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> x * (y-y) < 1358116285 19781 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : x * (y - y) < 1358116304 719288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FreeFull: it's a _very_ primitive symbolic type < 1358116319 967711 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :So no simplification < 1358116327 233703 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> sin(x) < 1358116328 758102 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : sin x < 1358116358 374663 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: What is it useful for? < 1358116377 367759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :demonstrating code < 1358116394 281507 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> foldr f a [x,y,z] < 1358116395 769148 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : f x (f y (f z a)) < 1358116426 939508 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fmap f [1,2,3] < 1358116428 313603 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `b0' in the constraints: < 1358116428 484327 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (GHC.Show.Show b0) < 1358116428 484541 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ... < 1358116435 643032 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fmap f [x,y,z] < 1358116437 56803 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `b0' in the constraints: < 1358116437 227118 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (GHC.Show.Show b0) < 1358116437 227334 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ... < 1358116448 892317 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tends to require some explicit :: Expr here and there < 1358116457 557186 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fmap f [x,y,z] :: [Expr] < 1358116459 314460 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [f x,f y,f z] < 1358116464 523117 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because f,g,h are so overloaded < 1358116737 542505 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> let f x x = 2*x in f x x < 1358116738 976617 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Conflicting definitions for `x' < 1358116739 147140 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Bound at: :1:7 < 1358116739 147234 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : let f x x = 2*x in f y y < 1358116743 500403 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Conflicting definitions for `x' < 1358116743 670524 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Bound at: :1:7 < 1358116743 670737 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : let f x y = 2*x in f y y < 1358116752 661061 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 2 * y < 1358116763 394938 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Hrm < 1358116771 251821 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :How do you do Expr pattern matching < 1358116906 883293 :nys!~YXWX@blk-142-60-139.eastlink.ca JOIN :#esoteric < 1358117021 757724 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let f v = case show v of "x" -> 1; _ -> v in map f [x,y,z] < 1358117023 134746 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,y,z] < 1358117052 849392 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not sure there's an intended way. < 1358117111 833706 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :note that in let f x y = 2*x in f y y only the final two y's are actually Expr constants < 1358117135 869268 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the others are simply ordinary variables bound by the f declaration < 1358117233 126694 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let f v | v == x = 1 | otherwise = v in map f [x,y,z] < 1358117234 498979 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,y,z] < 1358117238 756841 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that works too < 1358117265 681384 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (x+1) == (1+x) < 1358117267 184434 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : False < 1358117290 812598 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (x+0) == x < 1358117291 962408 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : False < 1358117330 913453 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Good point. < 1358117511 835257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION finds the ntext < 1358117548 783864 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Try this one: < 1358117580 622081 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, how did it go? < 1358117621 554386 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1358117693 526518 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1358117717 203108 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't remember the really odd example. < 1358117719 649547 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But there's this. < 1358117724 577527 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> compare a (-a) < 1358117726 21677 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : LT < 1358117727 398094 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> compare x (-x) < 1358117728 809831 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : GT < 1358117748 832885 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :cute < 1358117749 2884 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :monqy: You have 3 new messages. '/msg lambdabot @messages' to read them. < 1358117783 392371 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"wat" < 1358117800 302258 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: btw did you hear about the "latest advances in profunctor lenses" < 1358117811 775414 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :something about sharing < 1358117813 203165 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> compare a x < 1358117814 314410 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : LT < 1358117821 59570 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> compare (-a) (-x) < 1358117822 424799 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : LT < 1358117842 599026 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: well that too < 1358117851 487600 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but also it's "pretty cool now??" < 1358117865 789396 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :old profunctor lenses = worst thing ever < 1358117870 951921 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> sort [a,-a,x,-x] < 1358117872 383015 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [a,negate a,negate x,x] < 1358117879 232383 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Aw. < 1358117882 521181 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah of course < 1358117890 165130 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what happened to profunctor lenses, what did you do, to them < 1358117894 288467 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's a way of expressing it that doesn't involve explicitly negating. < 1358117905 577232 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy........thats classified.. < 1358117921 584616 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"elliotts shame" < 1358117949 476020 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: Remember when you were elliotts? < 1358117967 889438 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :vaguely < 1358117969 925840 :asderca77!~ared@host209-178-dynamic.9-87-r.retail.telecomitalia.it JOIN :#esoteric < 1358118016 39429 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :monqy vaguely remembers all his past, future and simultaneous lives < 1358118031 503310 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And he remembers his dreams. < 1358118034 675038 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not so vaguely. < 1358118037 812166 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh spooky < 1358118038 502066 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: got any good dreams for us < 1358118048 325201 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :alt. some wise wisdom < 1358118059 213659 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: only vaguely, this time < 1358118060 796101 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no..dreams only plz < 1358118063 27836 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :too vague for words!! < 1358118071 196145 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: thats "pretty vague" imo < 1358118075 699792 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but can you get any vaguer < 1358118103 542158 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :maybe < 1358118112 529177 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> compare a (-a) < 1358118113 943959 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : LT < 1358118129 171745 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :> compare a b < 1358118130 205809 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Oh, shachaf already did that < 1358118130 548370 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : LT < 1358118133 674139 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :heh < 1358118136 902366 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> compare compare compare < 1358118138 385250 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Classes.Ord (a0 -> a0 -> GHC.Types.Ordering)) < 1358118138 555355 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arisi... < 1358118206 448244 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You know, one advantage of lisp over haskell, you can always treat functions as data, and can do things like displaying functions or reading functions in < 1358118234 904251 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :(< < <) is still wrong, sorry < 1358118245 638958 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :since when is that an advantage :-) < 1358118272 266757 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :concision is equivalent to powerfulness monqy < 1358118328 499436 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :language with a primitive to solve sudoku. now that's power. < 1358118371 433775 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :In Haskell though, you can also make up a data type, which can be used to make functions, although it does not have that normally. < 1358118412 679987 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Quick: < 1358118418 227484 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Treating functions as data to change parts of it can be useful though; but depending what you do, there might be other ways < 1358118418 574428 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What should p a b -> p (r,a) (r,b) be called? < 1358118426 998693 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :edwardk wants to call it Strong. < 1358118431 193691 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't like that class?? < 1358118447 442553 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :class name < 1358118455 489054 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :Fucksterson < 1358118462 28111 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"second" :-) < 1358118494 872089 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: the class provides p a b -> (a,r) (b,r) too though. < 1358118514 788097 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"(***)" :-) < 1358118516 175646 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :FirstOrSecond < 1358118519 612349 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Quick, edwardk will "ship" this as soon as he finishes cleaning up the haddocks! < 1358118528 458851 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: More like FirstAndSecond!! < 1358118536 514676 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric ::O < 1358118558 251259 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :A category with *** making a monoid is called a tensor category, I think. < 1358118564 158594 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :how about just use some symbols < 1358118569 422022 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :"(*&*)" < 1358118578 34035 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: It doesn't have (***) < 1358118580 909141 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's not a category. < 1358118594 467112 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't know why you don't like Strong, I think Strong is OK. < 1358118611 452936 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t (***) < 1358118612 827479 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Arrow a => a b c -> a b' c' -> a (b, b') (c, c') < 1358118616 690056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The same thing with Either is called Choice. < 1358118640 603620 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"cochoice" < 1358118649 582885 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> [1,2,3] *** [4,5,6] < 1358118649 753194 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Cochoice, perhaps? < 1358118651 33094 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `a0 b0' with actual type `[]' < 1358118667 41433 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Wait < 1358118671 523773 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Need something with two constructors < 1358118683 99783 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :No < 1358118686 888231 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :confused < 1358118690 111984 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Well, it's been pushed to Hackage. < 1358118690 460426 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :FreeFull: Such as, (->) is a tensor category too, can be use with *** < 1358118693 19705 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So Strong it is. < 1358118696 550436 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK < 1358118743 425897 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> ((\x y -> x*y) *** (\x y -> x+y)) < 1358118744 932088 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (GHC.Show.Show ((a0, a1) -> (a0 -> a0, a1 -> a1))) < 1358118745 103097 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arisi... < 1358118757 393429 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> ((\x y -> x*y) *** (\x y -> x+y)) (1,2) < 1358118759 179841 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instances for (GHC.Show.Show (a0 -> a0), < 1358118759 350045 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : GHC.Show.Sho... < 1358118769 388279 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> ((\x y -> x*y) *** (\x y -> x+y)) ((1,3),(2,4)) < 1358118770 415935 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instances for (GHC.Num.Num (t0, t1), GHC.Num.Num (t2, t3)) < 1358118770 758694 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising fr... < 1358118779 196887 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t ((\x y -> x*y) *** (\x y -> x+y)) < 1358118779 475404 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :> ((\x y -> x*y) *** (\x y -> x+y)) (1,2) 9 < 1358118780 227897 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Num a1, Num a) => (a, a1) -> (a -> a, a1 -> a1) < 1358118780 915421 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : The function `(\ x y -> x GHC.Num.* y) < 1358118781 85617 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Control.Arrow.*** (\ ... < 1358118786 666055 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :nice < 1358118822 898986 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I'm confused about how you use *** < 1358118845 304326 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> ((+1) *** length) (4,"hello") < 1358118846 783381 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (5,5) < 1358118874 165479 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :> const "hello" $ (***) *** (***) < 1358118875 537267 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `a0' in the constraint: < 1358118875 707439 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (Control.Arrow.Arrow a0)... < 1358118878 665740 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh nooo < 1358118918 919250 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :shachaf: Why does the result take a tuple argument < 1358118924 158669 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty (***) < 1358118925 189684 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Arrow a => a b c -> a b' c' -> a (b, b') (c, c') < 1358118937 841868 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :have fun explaining arrows < 1358118942 878340 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"the true arrows joke" < 1358118964 440227 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: well if you understand monads understanding arrows is just the next thing to do < 1358118968 788560 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"the next step in the progression" < 1358118970 888196 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric ::k (->) < 1358118972 80381 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :* -> * -> * < 1358118975 976098 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :shachaf: Wouldn't comonads come first < 1358118986 648186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FreeFull: The joke is that arrows are terrible < 1358119030 482297 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I also think Arrow is not so good, it should just have category, and then tensor category, and functor between categories, Arrow tries to put it together in the wrong way. < 1358119045 588207 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: We've figured out what the "true hierarchy" should look like. < 1358119069 982047 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :fmap (atob) somea < 1358119117 298761 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :What does $! do differently from $ ? Is it less lazy? < 1358119134 75123 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Haskell does not allow you do define class hierarchies in both ways; you cannot define a automatic superclass later on, or define splits and automatic subclass and combine and whatever like that! < 1358119148 351100 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :FreeFull: yes < 1358119149 726758 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :@src ($!) < 1358119149 897102 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :f $! x = x `seq` f x < 1358119229 38733 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :@src (->) < 1358119229 208896 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Source not found. :( < 1358119231 684929 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Such as, (arr) is a functor from (->) to this other category, (***) defines a tensor category, etc, really they should be separate < 1358119267 762852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: I agree completely. < 1358119305 491936 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :And not all tensor categories have a functor from (->) and anyways you might want to define a functor from some other category. < 1358119333 143977 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the arrow combinators are pretty useful if you specialize them to (->) < 1358119338 400229 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but the Arrow generalization is crap < 1358119353 611509 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Our new generalization for lenses looks a whole lot like the Arrow methods. < 1358119359 52736 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh dear < 1358119359 223474 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Except split up differently. < 1358119363 554649 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :good < 1358119367 35183 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: Yes, they are useful with (->) but still, they could be generalized but Arrow is the wrong way to do generalize. < 1358119390 147988 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :We don't even want the Category superclass. < 1358119396 363101 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Lots of useful profunctors aren't categories. < 1358119410 379428 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :profunctor protip < 1358119424 238584 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hah, our "id" method is called "tip" < 1358119430 65996 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :We should call it "protip" < 1358119438 74542 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t fmap id < 1358119439 101302 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Functor f => f b -> f b < 1358119499 648384 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :..ok < 1358119502 396423 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :«id ≡ fmap id» is a functor law < 1358119505 489781 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Programming from the debugger is weird < 1358119528 868054 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :How sane/insane is it to write a program in Smalltalk starting from the high level and just writing methods as the debugger keeps complaining? < 1358119614 428124 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :mm, pH of 10 or so, I'd say. < 1358119631 145730 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sadly many functors don't satisfy that law. < 1358119633 214778 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Like (r ->) < 1358119638 530658 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: pH of 10 isn't insane, just basic < 1358119645 838019 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: due to strictness? < 1358119648 588841 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1358119648 758936 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :Exactly. < 1358119664 558966 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haskellers tend to ignore that when talking about laws :) < 1358119672 165739 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :True. < 1358119695 998328 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In lens we unsafeCoerce instead of using (foo . Newtype) < 1358119715 588830 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::( < 1358119726 104137 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Even if you define strict composition, GHC doesn't manage to optimize (foo `dot` id) to foo. < 1358119735 646097 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I originally introduced the idea but now edwardk is a much bigger fan of it than I am. < 1358119737 707987 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fmap id = (.) id - how is that not id? < 1358119751 934101 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> ((.) id) undefined `seq` () < 1358119753 24275 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `f0' in the constraint: < 1358119753 194221 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (GHC.Base.Functor f0) ar... < 1358119766 914326 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph < 1358119767 599358 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> ((P..) id) undefined `seq` () < 1358119768 973201 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : () < 1358119770 6459 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thanks Cale < 1358119770 348728 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :"cool" < 1358119776 287291 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :caleskell is beauty < 1358119795 698195 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :caleskell: more like annoyingskell?? < 1358119905 243431 :Bike!~Glossina@67-5-245-201.ptld.qwest.net PRIVMSG #esoteric :"hackskell" imo < 1358119923 365333 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1358119935 844352 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes useful profunctors may be not categories, but, yet it is why I wanted to make Ibtlfmm to change a lot of things about the type classes to not have such problems as these. < 1358119958 203838 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: btw edwardk shipped the new profunctors < 1358119960 291442 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :with the name Strong < 1358119966 991154 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :So one thing that would be needed for this, is kinds to also have constraints, as well as types. < 1358119989 514327 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: yeah i need to install them if i want to install the new lenses because dependencies... < 1358120000 387059 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: wait do you even install lenses < 1358120005 588091 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :like lens HEAD?? < 1358120008 148280 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1358120010 553415 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wow < 1358120017 935977 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you're more "into lenses than i thought" < 1358120039 848520 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i guess it's monqy, lenxpert < 1358120093 124576 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :installed :0 < 1358120101 445335 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION freezes Pharo < 1358120129 22722 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Turns out modifying stuff in order to let the declare inst var thingy redefine UndefinedObject is a bad idea < 1358120497 384634 :impomatic!~digital_w@46.208.50.63 PART :#esoteric < 1358120928 311961 :sirdancealot!~sirdancea@98.82.broadband5.iol.cz QUIT :Remote host closed the connection