because that's the only thing which preserves tabs...
< 1332710256 876003 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: inline is inline
< 1332710259 523745 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :inline-block is inline-block
< 1332710264 988789 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :see CSS spec if you need gory details
< 1332710271 114247 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: you can give the white-space property to a 
< 1332710274 979891 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :to get it to preserve whitespace inside
< 1332710295 85226 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i can either make that work, or do the W image after wikipedia links today. pick one :P
< 1332710303 76215 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm let me test
< 1332710314 193202 :augur!~augur@pool-108-18-188-132.washdc.east.verizon.net JOIN :#esoteric
< 1332710316 868587 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so monqy is in LA or somewhere just NW of there. this is a place i feel kin to, so ...
< 1332710320 268903 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :
ACTION does not judge

< 1332710332 691567 :Vorpal!~AnMaster@unaffiliated/anmaster QUIT :Quit: ZNC - http://znc.sourceforge.net
< 1332710345 354048 :Phantom__Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer
< 1332710352 662579 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i am sceptical because i found on google someone complaining how they couldn't get white-space: pre to work for tabs
< 1332710367 515343 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fair enough then
< 1332710371 734302 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: but 
s are not special at all.
< 1332710371 895596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or that it varied chaotically between browsers
< 1332710379 330164 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the CSS rules are the only thing making them special.
< 1332710389 824570 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: oh? hm.
< 1332710393 217487 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so if you want, you can make an  look just like a 
< 1332710395 851300 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well this is in theory.
< 1332710400 946991 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i can't guarantee it applies to all browsers in practice.
< 1332710405 517821 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but they all use html5 parsers nowadays
< 1332710407 796553 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so I'd /hope/ it doe
< 1332710408 146703 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :s
< 1332710409 822593 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*does
< 1332710426 146126 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: http://esolangs.org/wiki/Esolang:Sandbox
< 1332710430 786903 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :inline-block works perfectly
< 1332710495 811784 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: wow
< 1332710502 232291 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i google "white-space css3". top result is safalra's website.
< 1332710510 497837 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok
< 1332710524 292062 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: white-space: pre does work in IE8, at least.
< 1332710528 415333 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: http://esolangs.org/wiki/Esolang:Sandbox here it is with a 
< 1332710545 289236 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you might want to put that in a {{tab}} template or such
< 1332710571 449179 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :looks like http://www.w3.org/TR/CSS/#properties has the whole list
< 1332710610 194834 :augur!~augur@pool-108-18-188-132.washdc.east.verizon.net QUIT :Ping timeout: 246 seconds
< 1332710623 558940 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: is the difference with inline-block that it puts the tabstops starting from the beginning of the block rather than the whole line?
< 1332710641 5206 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :but it'd be nice if googling for css and a property actually got you the css spec rather than a boatload of random crap from the 'webs
< 1332710681 108889 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :from wiki i finally see why aspect ratios are x/y where x> y .. since eyes are arranged horizontally on one's face
< 1332710741 776641 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: ok, let me try and explain the difference between inline and inline-block
< 1332710746 164761 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: say your element has a red outline
< 1332710754 432076 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if it's inline, then the outline will start where your text starts, wrap across lines, etc.
< 1332710759 183962 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i.e. an inline element flows with the text, so to speak
< 1332710767 830804 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :with an inline-block element, the outline will always be rectangular
< 1332710777 854264 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it basically renders it as a block and /places/ it inline
< 1332710803 752159 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: otherwise, this might help: http://dustwell.com/div-span-inline-block.html
< 1332710809 716731 :pikhq!~pikhq@71-219-245-233.clsp.qwest.net QUIT :Ping timeout: 246 seconds
< 1332710815 128742 :pikhq!~pikhq@71-219-245-154.clsp.qwest.net JOIN :#esoteric
< 1332710837 865507 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i'm not sure exactly _why_ it helps in this case.
< 1332710851 501417 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but i guess that "inline" text collapses whitespace always, or something
< 1332710963 974772 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : osa1: basically, an imperitive program is just a program that is deterministic as to order of evaluation.  Many mathematical structures are determinstic, gnostically, as to order of evaluation, therefore, imperitiveness is a subset of the structures which haskell can represent.
< 1332710973 290362 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i guess not making sense is this guy's day job
< 1332711182 260088 :Phantom_Hoover!~phantomho@cpc1-sgyl29-2-0-cust632.sgyl.cable.virginmedia.com JOIN :#esoteric
< 1332711192 127220 :Phantom_Hoover!~phantomho@cpc1-sgyl29-2-0-cust632.sgyl.cable.virginmedia.com QUIT :Changing host
< 1332711192 288877 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric
< 1332711296 422637 :Taneb!~Taneb@host-84-13-83-112.opaltelecom.net QUIT :Ping timeout: 272 seconds
< 1332711369 774850 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi Phantom_Hoover
< 1332711387 438529 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :bye Taneb
< 1332711458 901004 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :bye Phantom_Hoover
< 1332711477 409108 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hahaha im not falling for that one again
< 1332711495 444678 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi Taneb
< 1332711667 664692 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :elliott: he is saying that haskell can be both imperative and non-imperative
< 1332711823 678708 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :.....i think
< 1332711903 219124 :augur!~augur@pool-108-18-188-132.washdc.east.verizon.net JOIN :#esoteric
< 1332711913 29701 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :I think he's saying that imperitiveness is, gnostically, a subset of haskell
< 1332711946 333056 :Mathnerd314!~chatzilla@dsl.6.28.53.206.cos.dyn.pcisys.net QUIT :Read error: Connection reset by peer
< 1332711990 274550 :Mathnerd314!~chatzilla@dsl.6.28.53.206.cos.dyn.pcisys.net JOIN :#esoteric
< 1332712020 796183 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :Gnostic Subset, that could be the name of something
< 1332712133 14735 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :using assignment operator '=' ...  many mathematical structures = imperative program = deterministic, gnostically, as to over of evaluation
< 1332712202 866741 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :^order....
< 1332712319 13019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as a general rule, mathematical notation doesn't make things clearer unless you first understand what you are saying.
< 1332712352 537817 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: band, when in doubt it's always a band
< 1332712373 234171 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote  as a general rule, mathematical notation doesn't make things clearer unless you first understand what you are saying.
< 1332712382 273688 :HackEgo!codu@codu.org PRIVMSG #esoteric :832)  as a general rule, mathematical notation doesn't make things clearer unless you first understand what you are saying.
< 1332712547 909025 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Dear Chrome, please start being OK with YouTube again
< 1332712578 698202 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :Sgeo_: it wouldn't make sense for a company's browser to be the most compatible with one of that companies websites
< 1332712603 913199 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: You must = mistaken.
< 1332712620 508119 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :O KAY
< 1332712682 823514 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i don't know any neater way than to express X = Z, Y = Z than to say X = Y = Z
< 1332712712 724721 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :but i don't actually mean to say X is Z
< 1332712777 748278 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :So, some non-transietive version of equality?
< 1332712804 578203 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :cars turn green in the spring. eggs turn green, gnostically, in the spring.  .. so i phrased it as.. cars = eggs = turn green, gnostically, in the spring
< 1332712816 517514 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is transietive like imperitive
< 1332712825 395158 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :very droll
< 1332712857 347229 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :elliott, I can't spell
< 1332712875 362718 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :But the property of ? specifying that if a ? b and b ? c then a ? c
< 1332712877 977369 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :spelling english words is not necessary to be a programmer
< 1332712897 45139 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :anyway, if its english as a second language it matters even less
< 1332712965 764993 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"transitive" hth
< 1332712975 221027 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :sorry im in a shitty mood
< 1332712984 473007 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :it's much more important to put the correct amount of spaces on the correct side of punctuation marks !
< 1332713002 486303 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: in your very recent Mr. Snuggles CFJ, did you consider the implications of submitting it without proper arguments or evidence?
< 1332713009 692338 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :olsner: enigma contains different floors !
< 1332713099 242537 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(minor achievement I've accomplished: submitting the same puzzle to two different unrelated puzzle competitions both named "Enigma")
< 1332713117 512800 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: I'm not a player, so I don't think I have to
< 1332713174 279851 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so you didn't?
< 1332713197 821668 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :`welcome elliott
< 1332713201 101141 :HackEgo!codu@codu.org PRIVMSG #esoteric :elliott: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page
< 1332713213 646167 :NihilistDandy!~NihilistD@stu-137-155-171-184.champlain.edu PRIVMSG #esoteric :elliott: You're totally a player
< 1332713231 733672 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: maybe I did, maybe I didn't... whichever one will not result in you doing something nasty like criminal cfjing me
< 1332713239 504338 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm going to criminal CFJ you /anyway/
< 1332713243 891505 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh
< 1332713246 705177 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, I definitely did
< 1332713254 779917 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I concluded that it was for the good of Agora for me to submit that CFJ
< 1332713261 825001 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mainly because it would lead to the game's collapse, which is for the best
< 1332713269 946724 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you're not helping
< 1332713282 552250 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I wanted a nice clear precedent on whether it was possible to violate a SHOULD or not
< 1332713285 741776 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection
< 1332713332 793172 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh
< 1332713340 612500 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, truthfully, I didn't :P
< 1332713356 433087 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i suppose the only way i can be punished is EXILE, which is rather ineffective.
< 1332713359 779702 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :somehow I guessed that :)
< 1332713363 905103 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :`learn welcome We are pleased to welcome you to the conception of the international application and the language centre. For more information about de la wiki: http://esolangs.org/wiki/Main_Page
< 1332713367 436437 :HackEgo!codu@codu.org PRIVMSG #esoteric :I knew that.
< 1332713369 428547 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and indeed, and it's possible you'll have a low or null centre
< 1332713375 397686 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*punishment
< 1332713377 857423 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even if you are found guilty
< 1332713416 592560 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`revert
< 1332713419 128369 :HackEgo!codu@codu.org PRIVMSG #esoteric :Done.
< 1332713423 736018 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric ::(
< 1332713433 372372 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: centre -> punishment? how
< 1332713441 380166 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: no idea
< 1332713442 609746 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :Sgeo_: hmm.. it seems actually that i was using = as a concatenation operator
< 1332713447 889473 :RocketJSquirrel!codu@codu.org PRIVMSG #esoteric :He read my line :)
< 1332713449 986233 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, must have been a mental typo for "sentence"
< 1332713452 443116 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then I couldn't find the original line
< 1332713454 375292 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*word
< 1332713476 894808 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION finds RocketJSquirrel's explanation more plausible

< 1332713479 298152 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ais523, didn't I try to do something to test that?
< 1332713483 439833 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :The SHOULD thing?
< 1332713487 559998 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo_: possibly
< 1332713492 583440 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :can you find a link or reference to it?
< 1332713498 240799 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :so.. X + Z, Y + Z ... (X | Y) + Z
< 1332713516 345414 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :itidus21: you changed notation in the middle of your line? or didn't you?
< 1332713542 623706 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i didnt know what i was doing.... 
< 1332713566 531761 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :but there you have it.. X + Z, Y + Z therefore (X | Y) + Z
< 1332713574 996003 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ais523, http://zenith.homelinux.net/cotc/viewcase.php?cfj=2383
< 1332713593 994757 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo_: thanks!
< 1332713596 625806 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*http://cfj.qoid.us/2383
< 1332713600 69160 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ftfy hth
< 1332713613 960085 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: heh, you called it
< 1332713614 917283 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :elliott, what's the big difference that you're saying that that site is better?
< 1332713651 257107 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo_: cfj.qoid.us loads before the heat death of the universe, and i don't have to increase the font size a few times before not wanting to claw my eyes out
< 1332713652 526117 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :http://zenith.homelinux.net/cotc/viewcase.php?cfj=2383a or http://cfj.qoid.us/2383a
< 1332713657 933350 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :(many mathematical structures are | an imperative program is) deterministic, gnostically, as to over of evaluation
< 1332713668 503129 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, the font size seems to be better nowadays
< 1332713692 548527 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :*phew*
< 1332713731 782793 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I typically use zenith over qoid, I'm more used to its search function
< 1332713767 544375 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :^order of...
< 1332713861 81748 :NihilistDandy!~NihilistD@stu-137-155-171-184.champlain.edu PRIVMSG #esoteric :This game looks fun
< 1332713867 621166 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: Ctrl+F is a good enough search :P
< 1332713873 808843 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NihilistDandy: http://agoranomic.org/, you should join!
< 1332713884 859474 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's having a bit of a slump right now
< 1332713890 750004 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but unlike B, there's no cosmic guarantee it's just getting out of one
< 1332713914 335767 :NihilistDandy!~NihilistD@stu-137-155-171-184.champlain.edu PRIVMSG #esoteric :I'm into the idea. Gonna read up a bit and then probably join
< 1332713939 947949 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ais523, I don't know if that appeal adequately explores stuff, considering the involvement of a direct admission...
< 1332713953 374200 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NihilistDandy: http://agora.qoid.us/current_flr.html is nice, it links rules and CFJs together
< 1332713965 506452 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it doesn't, if it did we wouldn't need another CFJ on the matter
< 1332713969 200516 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it's a good history
< 1332713973 625318 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a good context
< 1332713974 466743 :NihilistDandy!~NihilistD@stu-137-155-171-184.champlain.edu PRIVMSG #esoteric :lol
< 1332713975 519553 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, precedent
< 1332713976 576391 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NihilistDandy: although http://agora.qoid.us/current_slr.txt might by better for a beginner, since they probably don't care about all the CFJs
< 1332713982 192767 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*be better
< 1332714002 723084 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :oh no it's australia-ish
< 1332714017 10086 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm, although the summaries are useful
< 1332714024 211476 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: what would you recommend for a beginner, the SLR or FLR?
< 1332714029 653550 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FLR
< 1332714036 352349 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :SLR is only good if you know your way around already
< 1332714039 643137 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :FLR contains all the context
< 1332714043 681761 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fair enough then
< 1332714057 858115 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I should get back in at some poitn
< 1332714059 158040 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :point
< 1332714107 352080 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: heh, I think rule 104 might be the only rule that has ever been called as a CFJ
< 1332714122 320855 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :heh
< 1332714133 936130 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :o.O what
< 1332714161 966754 :NihilistDandy!~NihilistD@stu-137-155-171-184.champlain.edu PRIVMSG #esoteric :I like the map puns
< 1332714185 302885 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo_: speaker for the first game
< 1332714185 481078 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :i live in a place which looks just like MANUBOURNE
< 1332714203 922485 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Oh, the text of the rule was called as a CFJ
< 1332714218 738062 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Thought someone was saying that the rule itself was both a rule and a CFJ at one point
< 1332714248 726559 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@tell comex http://agora.qoid.us/current_flr.html#rule-105 has the (hide) one CFJ line too low, presumably because the first line lists two CFJs
< 1332714249 36745 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted.
< 1332714269 63214 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :
ACTION is le tired

< 1332714288 587399 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Amended(17) by Proposal 6124 (ehird), 15 March 2009
< 1332714297 987707 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: I've made a /successful proposal/ that /amended a rule/?
< 1332714306 781761 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that isn't the Monster?
< 1332714321 373947 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: thanks
< 1332714321 661282 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :comex: You have 1 new message. '/msg lambdabot @messages' to read it.
< 1332714323 746377 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wow
< 1332714327 884589 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric :lambdabot: @messages
< 1332714328 198963 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott said 1m 19s ago: http://agora.qoid.us/current_flr.html#rule-105 has the (hide) one CFJ line too low, presumably because the first line lists two CFJs
< 1332714342 341752 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric :isn't lambdabot the #haskell bot?
< 1332714348 687294 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's in a lot of channels
< 1332714350 480136 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@listchans
< 1332714350 743547 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :##freebsd ##logic ##proggit ##villagegreen #agda #arch-haskell #darcs #esoteric #fedora-haskell #friendly-coders #functionaljava #gentoo-haskell #gentoo-uy #ghc #happs #haskell #haskell-blah #
< 1332714350 931018 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :haskell-books #haskell-br #haskell-fr #haskell-freebsd #haskell-in-depth #haskell-overflow #haskell-pl #haskell.au #haskell.cz #haskell.de #haskell.dut #haskell.hr #haskell.se #learnanycomputerlanguag
< 1332714351 92205 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :e #lesswrong #macosx #macosxdev #rosettacode #scala #scalaz #scannedinavian #teamunix #unicycling #uscs2010 #xmonad #yi weird#
< 1332714353 697037 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric :lambdabot: @help
< 1332714353 982734 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :help . Ask for help for . Try 'list' for all commands
< 1332714356 620805 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric :lambdabot: @list
< 1332714356 895080 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :http://code.haskell.org/lambdabot/COMMANDS
< 1332714375 986301 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: does murphy's site have proposals?
< 1332714388 266713 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think so
< 1332714389 177401 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric :@djinn a -> a
< 1332714389 686598 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :f a = a
< 1332714390 726664 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it definitely has assessments
< 1332714393 884296 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric :@djinn a -> b
< 1332714394 202065 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :-- f cannot be realized.
< 1332714395 797702 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not sure if it has the proposals themselves
< 1332714397 302717 :ion!ion@heh.fi PRIVMSG #esoteric :Why would one scan Ned I., avian?
< 1332714405 495485 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric :no undefined for you, huh
< 1332714409 64982 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://agora.qoid.us/rule/1681#diff/610610/610806 hmm...
< 1332714423 318235 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric :@djinn [a] -> Int
< 1332714423 607373 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Error: Undefined type []
< 1332714425 861325 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nope, no proposals
< 1332714434 815269 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it links to Wooble's website for them, which isn't working
< 1332714436 125912 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :What's weird# ?
< 1332714444 924514 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric :you can just search gmail
< 1332714460 928029 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric :http://pastie.org/private/lht4f5nxfe6lcxwzwuhkvw
< 1332714461 179772 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: nope, just assessments, not proposals
< 1332714464 869555 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it links to wooble's site for proposals
< 1332714467 696054 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh
< 1332714468 221976 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ha
< 1332714470 336962 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pseudo-snap
< 1332714499 160585 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://zenith.homelinux.net/assessor/list.php?author=ehird haha, wow, only two of my proposals have ever passed
< 1332714499 892790 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric :(I have had the theory for a while that there is a fundamental disconnect between players that use Gmail and players tha tdon't)
< 1332714503 20564 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :/including/ Mad Scientist proposals
< 1332714504 75222 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :I guess augustss forgot about undefined when he was implementing @djinn.
< 1332714507 41838 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric :(such as ais523)
< 1332714513 974832 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :It would've made his life so much easier.
< 1332714540 120125 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric ::p
< 1332714541 359633 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION wonders wtf Fuck That does

< 1332714550 403006 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://sprunge.us/TVYC
< 1332714577 428548 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric :@djinn Monad m => m a -> m b -> m b
< 1332714577 675435 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :f a b = a >>= (\ _ -> b)
< 1332714584 671613 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric ::)
< 1332714602 853541 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Hmm, that's more than I would've expected.
< 1332714615 702813 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: http://sprunge.us/hIAd
< 1332714618 866718 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :@djinn Monad m => m (m a) -> m a
< 1332714619 115476 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :-- f cannot be realized.
< 1332714619 276928 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I have no idea why I proposed this
< 1332714632 248769 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Some djinn you are.
< 1332714633 27021 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric :@hoogle Monad m => m (m a) -> m a
< 1332714633 509022 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Monad join :: Monad m => m (m a) -> m a
< 1332714633 697220 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Prelude (>>) :: Monad m => m a -> m b -> m b
< 1332714633 858535 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Control.Monad (>>) :: Monad m => m a -> m b -> m b
< 1332714637 711956 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: how did that amend a rule?
< 1332714642 271227 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :join x = x >>= id
< 1332714643 149886 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: it didn't
< 1332714644 553767 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nor did it pass
< 1332714647 13117 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :It should've figured that out...
< 1332714650 536489 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :comex already linked the one that did:  http://pastie.org/private/lht4f5nxfe6lcxwzwuhkvw
< 1332714666 110933 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what's the point of privating that?
< 1332714673 223763 :comex!~comex@ec2-50-19-141-233.compute-1.amazonaws.com PRIVMSG #esoteric :I habitually private everything
< 1332714676 72718 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :@djinn Monad m => (a -> mb) -> (b -> m c) -> a -> m c
< 1332714676 351557 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :-- f cannot be realized.
< 1332714700 856933 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Useless bot.
< 1332714705 71345 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"mb"
< 1332714705 594168 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hth
< 1332714708 937426 :NihilistDandy!~NihilistD@stu-137-155-171-184.champlain.edu PRIVMSG #esoteric :^
< 1332714713 504413 :NihilistDandy!~NihilistD@stu-137-155-171-184.champlain.edu PRIVMSG #esoteric :@djinn Monad m => (a -> m b) -> (b -> m c) -> a -> m c
< 1332714713 936417 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :-- f cannot be realized.
< 1332714714 913528 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :@djinn Monad m => (a -> m b) -> (b -> m c) -> a -> m c
< 1332714715 206750 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :-- f cannot be realized.
< 1332714718 140189 :NihilistDandy!~NihilistD@stu-137-155-171-184.champlain.edu PRIVMSG #esoteric ::(
< 1332714719 551956 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Useless bot.
< 1332714793 531144 :augur!~augur@pool-108-18-188-132.washdc.east.verizon.net QUIT :Remote host closed the connection
< 1332714793 942642 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: were you a player in the first week of February?
< 1332714803 252350 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(not that it's really relevant)
< 1332714900 27816 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Agora is a silly game. Just my 0.27 cents.
< 1332714910 39995 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :@google 0.01 ILS in USD
< 1332714921 474923 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :http://snindex.spacenews.com/imaginova.spacenews/quote?Symbol=149%3A275136
< 1332714930 993928 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Useless bot.
< 1332714947 123239 :NihilistDandy!~NihilistD@stu-137-155-171-184.champlain.edu PRIVMSG #esoteric :0.2681
< 1332714956 874565 :NihilistDandy!~NihilistD@stu-137-155-171-184.champlain.edu PRIVMSG #esoteric :Oh, wait
< 1332714963 976942 :NihilistDandy!~NihilistD@stu-137-155-171-184.champlain.edu PRIVMSG #esoteric :That's the 1 ratio
< 1332714979 352649 :NihilistDandy!~NihilistD@stu-137-155-171-184.champlain.edu PRIVMSG #esoteric :So more in the 0.0027
< 1332715005 650279 :tzxn3!~tzxn3@cpc5-mapp3-0-0-cust464.12-4.cable.virginmedia.com QUIT :Quit: Leaving
< 1332715019 817767 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Oh, right.
< 1332715031 606480 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :
ACTION = Verizon

< 1332715064 106305 :NihilistDandy!~NihilistD@stu-137-155-171-184.champlain.edu PRIVMSG #esoteric :Oh, god. They were right! Corporations *are* people!
< 1332715071 312374 :NihilistDandy!~NihilistD@stu-137-155-171-184.champlain.edu PRIVMSG #esoteric :People with IRC handles!
< 1332715144 490123 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : I have been publishing a null string as required by the contract every week (cunningly disguised amongst other messages, I'll make it more explicit if people want)
< 1332715150 994068 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :looking over past CFJs is pretty fun
< 1332715280 895202 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :In my opinion >>= should be defined in terms of join instead of the other way around
< 1332715414 852921 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :@djinn Monad m => m (a,b) -> ((a,b) -> m (c,d)) -> m (c,d)
< 1332715415 121186 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :-- f cannot be realized.
< 1332715417 846492 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :@djinn Monad m => m a -> (a -> m b) -> m b
< 1332715418 130784 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :f = (>>=)
< 1332715422 62066 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :Useless bot.
< 1332715456 791933 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : elliott: were you a player in the first week of February?
< 1332715459 609472 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i think so
< 1332715526 40818 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, fun question: if it turns out you can't violate a SHOULD you're unaware of, is it possible to miss the existence of RtR week due to not having read the rules?
< 1332715529 443581 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there's some sort of fun recursion here
< 1332715635 737369 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Once I told someone that I have proven that   mzero >> x = mzero   is implied by the monad laws, they didn't believe me because the monad laws don't mention mzero. But I wrote a kind of proof, but it was too informal and had some mistakes, but then some other people said I was still correct in the conclusion, and that it is a free theorem.
< 1332715653 223692 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@djinn-env
< 1332715653 493829 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :data () = ()
< 1332715653 680089 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :data Either a b = Left a | Right b
< 1332715653 841192 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :data Maybe a = Nothing | Just a
< 1332715653 841426 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :data Bool = False | True
< 1332715653 841532 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :data Void
< 1332715655 493153 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :type Not x = x -> Void
< 1332715657 496518 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :class Monad m where return :: a -> m a; (>>=) :: m a -> (a -> m b) -> m b
< 1332715659 495667 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :class Eq a where (==) :: a -> a -> Bool
< 1332715744 973805 :Taneb!~Taneb@host-84-13-83-112.opaltelecom.net JOIN :#esoteric
< 1332715760 235249 :Taneb!~Taneb@host-84-13-83-112.opaltelecom.net PRIVMSG #esoteric :Hello!
< 1332715761 990875 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Rewrite it as:    join (x <$ mzero) = mzero    and    join (return <$> x) = x
< 1332715771 985854 :Taneb!~Taneb@host-84-13-83-112.opaltelecom.net PRIVMSG #esoteric :I've just realised something sad
< 1332715775 708899 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :And then include Functor laws.
< 1332715809 16663 :Taneb!~Taneb@host-84-13-83-112.opaltelecom.net PRIVMSG #esoteric :In Brook, it's impossible to create the very thing Brook was created to create
< 1332715827 297993 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::'(
< 1332715875 742842 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i guess that somehow the Monad definition does not fit into the form necessary for the logic solver to use it efficiently - something like a missing subformula property, perhaps?
< 1332715883 767175 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*missing the
< 1332715918 707389 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :@djinn-env
< 1332715918 947423 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :data () = ()
< 1332715919 136483 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :data Either a b = Left a | Right b
< 1332715919 297783 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :data Maybe a = Nothing | Just a
< 1332715919 298070 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :data Bool = False | True
< 1332715919 298213 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :data Void
< 1332715920 966372 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :type Not x = x -> Void
< 1332715922 949802 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :class Monad m where return :: a -> m a; (>>=) :: m a -> (a -> m b) -> m b
< 1332715924 950437 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :class Eq a where (==) :: a -> a -> Bool
< 1332715925 280507 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: which is what?
< 1332715933 728789 :Taneb!~Taneb@host-84-13-83-112.opaltelecom.net PRIVMSG #esoteric :Infinite streams of code
< 1332715955 485184 :Taneb!~Taneb@host-84-13-83-112.opaltelecom.net PRIVMSG #esoteric :It's possible to make an infinite number of finite streams, however
< 1332715980 452618 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or cut-elimination theorem, or something like that
< 1332716098 269383 :Taneb!~Taneb@host-84-13-83-112.opaltelecom.net QUIT :Remote host closed the connection
< 1332716253 362371 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"nor
< 1332716253 536232 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is e the sort of person who's at all likely to carefully weigh the
< 1332716253 712588 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :implications of something before acting impulsively"
< 1332716255 293149 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :thanks a lot, ais523 :)
< 1332716304 2560 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: this is the same sort of statement as you saying that I couldn't possibly be Mr. Snuggles as that would mean I'd use GMail
< 1332716340 797062 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :note: I actually have code on this laptop for fetching submissions from GMail over IMAP
< 1332716366 39257 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pah, that's your university using gmail
< 1332716367 620164 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because at least two automatic submission processes I've worked on used GMail for the submission process
< 1332716369 932362 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes
< 1332716383 320916 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is stupid as they have entirely competent mailserver admins, and their own mailserver
< 1332716427 178837 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wow, I've been failing to effectively play agora for 4 years
< 1332716480 446532 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, looking back over my own Lua code, it's surprising how hard it is to read sometimes due to not using semicolons
< 1332716490 141840 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :x3 = m4 - x2 x5 = m4 - m5
< 1332716501 211903 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :    end end end end
< 1332716502 613360 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :end end end end end end end end end
< 1332716520 649128 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and then a comment, then another end
< 1332716527 57530 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's almost as good as Lisp :)
< 1332716539 866081 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Have you considered using: newlines?
< 1332716551 551587 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is with elliott 

< 1332716599 293579 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"end end end end end end end end end" sounds like a crazy apocalyptic person.
< 1332716612 94843 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric : if they wanted me to use newlines, they'd force me to! [or some equally-nonsensical language trolling]
< 1332716621 738305 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :
ACTION SAVES PEOPLE WORK

< 1332716655 460328 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: the code in question would have been much harder to read with newlines added between every command
< 1332716665 284087 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :they should add "the end" as a macro for the right number of endings
< 1332717148 308587 :hagb4rd!~hagb4rd@koln-4db42223.pool.mediaWays.net JOIN :#esoteric
< 1332717153 565628 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving.
< 1332717225 321165 :hagb4rd2!~hagb4rd@koln-4db4e5c5.pool.mediaWays.net QUIT :Ping timeout: 246 seconds
< 1332717494 333960 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :HEY ELLIOTT
< 1332717497 141820 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :REMEMBER THAT THING?
< 1332717504 380784 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NOOOOOOOOOOOOOOO
< 1332717505 785176 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NOT THE THING
< 1332717544 255514 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :The thing you asked me not to remind you of?
< 1332717553 71682 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :NOOOOOOOOOOOOOOOOoooooooooooooOOOOOOOooOOOOOOooOOOOOOooOOOOOOOOOOOOOOOoooooooooo
< 1332717599 661756 :NihilistDandy!~NihilistD@stu-137-155-171-184.champlain.edu QUIT :
< 1332717608 373512 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good.
< 1332717705 235473 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: heh, something I just saw in a Reddit comment: apparently the reason the GNU tools are so complex and produce so many options is to make it obvious that they aren't copyvios of some commercial UNIX
< 1332717720 363848 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's plausible, but it's not clear if it's true
< 1332717729 412233 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You have a weird definition of plausible.
< 1332717739 320697 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: I mean that it isn't obviously false
< 1332717753 719555 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :How many options does true have?
< 1332717758 827182 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :two IIRC
< 1332717772 666311 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep
< 1332717779 555745 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :--help and --version ?
< 1332717782 562784 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes
< 1332717789 108859 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :It has at least three.
< 1332717791 936372 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :true -- --help
< 1332717811 368428 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: it ignores any arguments unless it gets exactly "--help" or "--version", IIRC
< 1332717811 529925 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ais523, well, it's not behaving like it recognizes those
< 1332717817 862620 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo_: /bin/true
< 1332717821 816701 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :ais523: Oh.
< 1332717822 168561 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you need to use GNU true
< 1332717831 43092 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not bash true
< 1332717869 206386 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :There is NO WARRANTY
< 1332717882 244055 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Hmm. I think I wish I had a warranty on /bin/true
< 1332717887 756464 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :true is a patentcopyrighttrademark violator.
< 1332717897 658762 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Never know when it will return nothing unsuccessfully.
< 1332717918 996482 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :What if the power suddenly goes out? Than /bin/true might not fulfill its contract!
< 1332717919 722063 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo_: if you've never seen it before, do "/bin/true --version > /dev/full"
< 1332717935 80346 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then check the return code
< 1332717939 524284 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :("echo $?")
< 1332717942 991718 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :@google falso true "axiomatic system"
< 1332717944 648058 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :http://www.eleves.ens.fr/home/amarilli/falso/
< 1332717944 835319 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Title: Falso, by Estatis Inc.
< 1332717954 618743 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I just linked to that days ago. :(
< 1332717958 546004 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :
ACTION /bin/true --version > /dev/full 2> /dev/full

< 1332717970 472209 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ais523, is that the shell's returning 1 though?
< 1332717972 822639 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, no separate error for the failure to print the error message
< 1332717975 824540 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Sgeo_: no, it's true
< 1332717978 810586 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :returning false
< 1332717982 877062 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because it failed to print the version message
< 1332717988 434197 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because there was no space left on /dev/full
< 1332718003 562166 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a tragic circumstance, too many people used it for testing lack of space errors and now it's full
< 1332718268 438948 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hey, why (in C/C++) does the null directive exist anyway?
< 1332718288 96639 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I love saying "C/C++" when talking about the preprocessor, as that's pretty much the only context where it's a correct phrase to use)
< 1332718318 13910 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :null statements are potentially useful (label anchors, etc.); null declarations don't exist but gcc implements them anyway for no obvious reason; but null directives seem a little pointless, as you can't even generate them with macros
< 1332718353 889971 :pikhq!~pikhq@71-219-245-154.clsp.qwest.net PRIVMSG #esoteric :Null directives?
< 1332718365 362383 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq: a # on a line by itself
< 1332718370 109117 :pikhq!~pikhq@71-219-245-154.clsp.qwest.net PRIVMSG #esoteric :...
< 1332718370 809639 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it does nothing and is deleted by the preprocessor
< 1332718378 948586 :pikhq!~pikhq@71-219-245-154.clsp.qwest.net PRIVMSG #esoteric :That is astonishingly useless.
< 1332718383 190559 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :indeed
< 1332718395 40049 :pikhq!~pikhq@71-219-245-154.clsp.qwest.net PRIVMSG #esoteric :Why not at least make it *vaguely* useful...
< 1332718399 235314 :pikhq!~pikhq@71-219-245-154.clsp.qwest.net PRIVMSG #esoteric :#!
< 1332718414 438319 :pikhq!~pikhq@71-219-245-154.clsp.qwest.net PRIVMSG #esoteric :So you can have compliant interpreted C code with a shebang. :)
< 1332718433 86939 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and also ignore the rest of the line, which null directives don't do
< 1332718438 604013 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they have to be alone on the line (or with a comment)
< 1332718444 850081 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(or multiple comments, I guess)
< 1332718466 522892 :pikhq!~pikhq@71-219-245-154.clsp.qwest.net PRIVMSG #esoteric :Well, even if it didn't you could work around it.
< 1332718470 995847 :pikhq!~pikhq@71-219-245-154.clsp.qwest.net PRIVMSG #esoteric :#!//bin/run-c
< 1332718506 262560 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :haha :)
< 1332718521 86206 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or you could create a symlink to / called *, in /
< 1332718549 137069 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then you wouldn't even have to rely on // being parsed as / in a pathname (at the start of a path, it isn't necessarily)
< 1332719040 660794 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection
< 1332719590 900178 :kmc!~keegan@cpe-66-65-104-23.nyc.res.rr.com QUIT :Quit: Leaving
< 1332719793 622210 :augur!~augur@208.58.5.87 JOIN :#esoteric
< 1332719937 134402 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I tried to follow a "Tibetan Personality Test". It asked me to put animals in a preferred order, give words describing certain things, name people who know me corresponding to five colors, and to write my favorite number and day of week. Before beginning, it asked me to make a wish. I didn't know the answers, so I kept the animals in the order given, used the words themselves to describe themselves, used names of people who had the given colors
< 1332719988 812098 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :It said my wish will come true after I tell my favorite number of people about this test, on the day of the week my favorite one. But, not only does my wish describe something impossible but the number I indicated as my favorite number is not a positive integer.