< 1371168055 118568 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :https://github.com/wopot/jsgifkeylogger/blob/master/gifjs.asm cute but I don't totally see the security relevance < 1371168067 782137 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i do like the use of assembler to build binary files that aren't machine code at all < 1371168109 374193 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :aw, it's not instructions < 1371168142 627878 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this is only for tests. < 1371168150 906761 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i like the misspelling < 1371168164 396273 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wehre < 1371168167 28870 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :*where < 1371168177 592067 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :heigth; also, good < 1371168212 374684 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it was mistake < 1371168224 350542 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i, too, was mistake once < 1371168275 523550 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :like it could be used to exploit sites with a very specific combination of file uploading, restricted user-specified HTML, and path and URL whitelisting < 1371168285 554967 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a combination that doesn't seem very likely to come up in practice < 1371168289 847876 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but maybe I'm missing something < 1371168293 513744 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :anything's possible online, right < 1371168445 448448 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :kmc: that reminds me of the thing a while back where I tried one of those "smallest possible executable" things < 1371168453 480184 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :someone had posted their own attempt so I spent a few hours poking at it and trying things < 1371168460 589248 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it was fun laying out the ELF header manually < 1371168462 349048 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :"turns out you can get linux to execute a negative amount of bytes" < 1371168469 295490 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :pff XD < 1371168479 112948 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1371168482 81176 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i wonder if you can exploit a filesystem bug like that < 1371168487 425884 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :like if they used signed types accidentally < 1371168493 577146 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so you can convince it you have a -1 byte file < 1371168493 686429 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I wonder if it's remotely convenient to write a bitstream using an assembler, though < 1371168502 444760 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and it'll read backwards because of the way they wrote their loop or something < 1371168503 465346 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :like writing bytes is just "db whatever" and so on < 1371168507 377903 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but like, a bitstream would be trickier < 1371168507 449872 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so you can store the file contents in the metadata < 1371168517 819883 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :imo someone should make this happen < 1371168521 553500 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh gosh I'm thinking of writing a variable-length coder in yasm macros someone -stop me- < 1371168526 436901 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::D < 1371168531 528108 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :ACTION stares impassively < 1371168540 979691 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i will not stand in the way of this < 1371168574 894672 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Fiora: Can I ask why? < 1371168576 976136 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Fiora: at least you're in the right channel < 1371168581 612755 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Mind, this is probably awesome. < 1371168587 373716 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric ::) < 1371168618 455838 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :um. because like, the gif thing above < 1371168623 639890 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :the idea of laying out a file in an assembler, right? < 1371168637 437947 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but like, assemblers only let you write bytes, not bits, usually < 1371168637 542165 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Oh. Hah. < 1371168644 587104 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :at least I think? I might be wrong < 1371168659 88145 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :That is an amusing way of distributing a binary. < 1371168719 631830 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :nasm lets you use binary literals. < 1371169039 538664 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Amusing thought: you could actually have a GPL-compliant program distributed only as a binary. < 1371169047 238283 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :If you actually wrote it that way. < 1371169050 279757 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Fiora: in nasm, %assign (etc) should be enough to let you write bitwise macros that output bytes as you go along < 1371169279 68460 :nooga_!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 276 seconds < 1371169284 936158 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Fiora: in any case, do it < 1371169444 719656 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://privatepaste.com/094d840fe8 okay I have no idea if this is right but it runs and the first 4 hex digits seem to be right I think < 1371169473 260519 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :*Nice*. < 1371169519 871106 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh geez. now I'm imagining someone, like, writing a JPEG compressor in nasm macros < 1371169558 100900 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :(probably faaar beyond me though <.<) < 1371169634 691700 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that is fantastic < 1371169819 819903 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I think it only handles codes up to 32 bits long < 1371169831 436365 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :actually I have no idea how nasm represents variables < 1371169840 973697 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :like gosh what happens when you try to calculate something bigger than int_max < 1371169847 212864 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1371169869 174530 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1371169877 9555 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :turns out it just uses GMP < 1371169879 219500 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :"for speed" < 1371169959 53741 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh gosh it is actual bignums < 1371169972 143940 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :or, like, (200000000000000000000000000000<<1) does resolve to 400000000000000000000000000000 < 1371169978 846048 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :wow. < 1371169985 596435 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i don't know what to believe any more < 1371169999 372990 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :1238273829327893192*973289472384729384729348923 resolves to 1205198882014363608197849789575338441444232216 < 1371170008 731041 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I am kind of um. wow < 1371170037 265519 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 1238273829327893192*973289472384729384729348923 == 1205198882014363608197849789575338441444232216 < 1371170038 99363 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : True < 1371170043 787618 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why wouldn't it use bignums? < 1371170054 272292 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh, huh < 1371170060 77095 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :It works in yasm < 1371170061 322340 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but not in nasm < 1371170068 773469 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :in nasm it overflows and complains that my big constsant thing won't fit in 64 bits < 1371170070 458463 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :isn't that the reason nasm isn't cross-platform or sth < 1371170071 947840 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :in yasm it works okay < 1371170074 936195 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no wait i'm thinking of floats < 1371170087 347135 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that is super weird < 1371170202 796325 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :what's going on with those integers there i don't understand < 1371170223 949016 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :in yasm it just kind of does what you'd expect and works in nasm it overflows ? < 1371170252 174759 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :oh, i missed the multiplication. < 1371170468 115195 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1371170541 284355 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION peeeeers at the code, grepgregperpegrep < 1371170545 193049 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :struct yasm_intnum { < 1371170545 322672 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric : union val { < 1371170545 394390 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric : long l; /* integer value (for integers <32 bits) */ < 1371170545 394597 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric : wordptr bv; /* bit vector (for integers >=32 bits) */ < 1371170545 394705 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric : } val; < 1371170547 703052 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric : enum { INTNUM_L, INTNUM_BV } type; < 1371170550 220201 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :}; < 1371170552 679148 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :wow. < 1371170553 47834 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1371170554 972095 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nice < 1371170562 907441 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yasm, scales to 1024-bit cpus < 1371170563 844563 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :what < 1371170572 625237 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :what's a wordptr < 1371170584 153060 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Bike: uint32_t* < 1371170594 215430 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :gregperp < 1371170602 51109 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :oh. wouldn't that be a vector of words < 1371170609 10745 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :("whatever") < 1371170616 355917 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://guest.engelschall.com/~sb/download/ and it uses this thing for bignum math? < 1371170621 758700 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :or um, the thing labelled bit-vector < 1371170622 782403 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :typedefs of pointers are the devil hth :'( < 1371170629 523307 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Well, actually, it might be a vector of "words" in the x86 sense. < 1371170635 432190 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Making that a uint16_t* < 1371170651 793046 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :The use of a camel in combination with Perl and Perl-related topics < 1371170652 735902 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :is a trademark of O'Reilly & Associates, Inc. < 1371170653 811131 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :It's funny that the system word on my system is a "quad word". < 1371170693 804087 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's Intelese and/or Microsoftese for you. < 1371170695 649418 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :Wait, so how's it know how many words it's using. < 1371170712 359322 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Bike: ... :( < 1371170721 614173 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :how many bytey things. < 1371170726 92560 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i'm not good with computers sorry < 1371170733 595178 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Maybe the first word is a count? < 1371170746 965519 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :shachaf: Intelese really. < 1371170754 925829 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's a pointer to a Bit-Vector object, I think < 1371170756 541156 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: could be 0 terminated < 1371170757 681132 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :bit-vector is a library < 1371170759 420552 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :And really makes sense from a legacy point of view. < 1371170762 388048 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh ok < 1371170764 24824 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :or more like a single c file apparently @_@ < 1371170775 500145 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that's c libraries for you < 1371170781 180884 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :x86 asm is for a system with a 16-bit word. < 1371170788 30624 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I'm guessing the author didn't want any dependencies for yasm? still wow < 1371170794 22015 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :well it's not like naïve bignums are hard right < 1371170803 945717 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :so how often do bignums come up in macroassembly < 1371170811 180967 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Bike: Merely tedious if you don't care much about performance. < 1371170812 121631 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I... I have no idea @_@ < 1371170819 905206 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I don't think I ever touched them before this < 1371170827 815742 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but I'm probably not like a good sample or anything < 1371170829 753136 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :pikhq: the algorithms i learned in elementary school are good enough for my PC, dammit! < 1371170830 830689 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :naıve bignums < 1371170844 18319 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :Fiora: maybe they come up in intermediate results and you don't notice. < 1371170851 34351 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :this might bother me now < 1371170875 949160 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but then it'd break on nasm < 1371170894 227902 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :right? < 1371170896 423222 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :intel syntax is weird < 1371170904 604905 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :yeah, i guess it would. < 1371170917 584427 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :elliott: btw wouldn't 0 terminated be pretty bad for bignums since most of the algorithms go right to left < 1371170934 445867 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :0 initiated....................... < 1371170935 694029 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :maybe you could store them backwards. < 1371170949 51030 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :0 terminated? < 1371170954 470660 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :for bignums < 1371170963 766024 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :0 terminated would be awful. < 1371170971 130125 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :And probably unworkable. < 1371170999 120139 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Seeing as 32 0b0s in a row is quite reasonable for sufficiently large numbers. < 1371171011 715548 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :wow i didn't even think of that wtf < 1371171030 639967 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :And no, switching to BCD won't help there. < 1371171038 685119 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :"exactly what i was thinking" < 1371171043 720611 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Well. Actually, 8 bits per digit BCD works just fine. :P < 1371171058 613496 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: the idea is you increment by one < 1371171059 944554 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wordptr is unsigned int * btw < 1371171062 11477 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :let's just write numbers in unary < 1371171066 167091 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or just reserve one bit as a tag bit or w/e < 1371171073 739621 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Heck, at that point you might as well use ASCII. :P < 1371171086 247796 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :ASCII: best bignum format? < 1371171107 320037 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :utf-32 is better < 1371171119 868402 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :finally, a use for COMBINING CYRILLIC MILLIONS < 1371171137 991599 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :reminds me of how intel added an example code bit in their new optimization manual for converting 64-bit integers into base 10 (for like, printf) < 1371171205 398108 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :more sophisticated than mod by 10, i assume < 1371171235 148858 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :using avx2 and stuff < 1371171252 908116 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :convert between bases in O(1) time!! < 1371171262 298429 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :"The AVX2 version of numeric conversion across the dynamic range of 3/9/17 output digits are approximately 23/57/54 cycles per input, compared to standard library implement ion’s range of 85/260/560 cycles per input." < 1371171271 233697 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :geeeez < 1371171298 9406 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :damn. < 1371171307 692195 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :they're doing "vectorized montgomery reduction" < 1371171365 59729 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so I guess, like, they're calculating (x%10),(x%100),(x%1000) and so on in simd? < 1371171368 556872 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :or something < 1371171372 679713 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I don't know what montgomery reduction is < 1371171424 415545 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"In arithmetic computation, Montgomery reduction is an algorithm introduced in 1985 by Peter Montgomery that allows modular arithmetic to be performed efficiently when the modulus is large (typically several hundred bits). < 1371171424 539122 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :" < 1371171477 728856 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1371171500 747756 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1371171505 159819 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that is big < 1371171533 654792 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :pretty big < 1371174156 409513 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :today i saw a tree near my house that was like a whole ecosystem < 1371174195 755895 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :tree, two different plants growing on the tree, moss, lichen, algae, tiny Mycena mushrooms, ants, red spider, snail, black spider weaving a web attached to the snail < 1371174213 714833 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and a kmc < 1371174225 516269 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i wasn't 'on' the tree elliott < 1371174268 559706 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i thought you were all about being "on" the trees < 1371174270 262017 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if you know what i mean < 1371174273 64125 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm talking about drugz < 1371174279 138347 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think the snail wasn't dead, just too slow for the spider to notice < 1371174280 977386 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :damn i was hoping dendrophilia < 1371174283 149291 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: ah ok < 1371174291 61922 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :snail defense mechanism < 1371174313 425086 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :maybe the spider and snail have developed a mutualistic partnership, where the snail makes the web move approprirately < 1371174313 505091 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's always drugz < 1371174319 828020 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :snails are adorable < 1371174324 872636 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1371174325 236685 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://cuteoverload.com/2009/02/18/junior-snailio/ < 1371174334 628901 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :awwwwwwwwwwwwwwwwwwww < 1371174349 742534 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hey kmc why does terminal.app often think links include some of the timestamp on the next line < 1371174354 292668 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh my gosh that is so adorable < 1371174355 78766 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and more generally lines contain multiple lines < 1371174359 446007 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and then when i copy paste them the \ns are gone < 1371174363 468258 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :w/ mosh < 1371174373 534944 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :don't know < 1371174375 778066 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I put the sequent calculus of Turing machine: http://zzo38computer.org/tex/turing_sequent.tex Please tell me if there is a mistake. < 1371174378 126908 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's amusing when like, it rains here and all the snails come out, and you walk outside and find them all having sex or something < 1371174380 42000 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thmc < 1371174386 342801 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :wow that size difference < 1371174389 409459 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :('cause they're snails) < 1371174401 230023 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :horny sluts the lot < 1371174402 776961 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah it rained today and there were lots of snails out < 1371174404 703710 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also mushrooms < 1371174420 248655 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :there was this really big snail crawling up the wall the other day like, actually really fast (for a snail) < 1371174425 961851 :SgeoBot!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I wonder if it would be a bad idea to link work stuff here once it's public < 1371174429 67808 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and I was imagining it making cute little grunting noises each time it pushed up < 1371174431 856054 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :we saw some of these: http://en.wikipedia.org/wiki/Nidulariaceae < 1371174440 629067 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :only they were smaller and yellower < 1371174441 918415 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Fiora: haha < 1371174464 112408 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it's cool how they climb, like, just as fast as they crawl horizontally < 1371174484 781019 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :there's also this one snail that lives on the wall outside my door. she wakes up every time the sun hits and moves a little bit to the side to stay in the shade < 1371174550 596726 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :(another great thing about snails: you can use any pronoun you want to refer to them and you'll never be wrong) < 1371174631 82592 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::) < 1371174682 651878 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://upload.wikimedia.org/wikipedia/commons/a/a2/Snail_sanctuary%5E_-_geograph.org.uk_-_215817.jpg oh gosh < 1371174688 151808 :Bike!~Glossina@67-5-201-64.ptld.qwest.net QUIT :Ping timeout: 268 seconds < 1371174731 310317 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :wow < 1371174779 204602 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :SgeoBot: i promise to not try very hard to hack your company's websites < 1371174826 57044 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1371174836 525235 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I said yesterday that I would put the sequent calculus representation of Turing machine into the computer on the weekend; well, I did it early. Can you please review it, to tell me if you found a mistake, or another comment/question/complaints? < 1371175319 289152 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :wow. snails mate after firing a "love dart" into the other. < 1371175320 919097 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Love_darts < 1371175372 895289 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Hot. < 1371175400 780988 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :wow, snail courtship lasts up to 6 hours @_@ < 1371175489 450670 :hagb4rd!~perdito@koln-4db409f7.pool.mediaWays.net JOIN :#esoteric < 1371175544 498225 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Ohhh my < 1371175864 434272 :Bike!~Glossina@67-5-201-64.ptld.qwest.net JOIN :#esoteric < 1371175869 529654 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :itt snail porn < 1371175879 955407 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :every few weeks my computer forgets that wlan0 exists < 1371175884 982896 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :and i have to do a hard reset to fix it < 1371175886 363336 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :animal mating is way more interesting than human mating okay :< < 1371175889 965174 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i hate computers. they make me miss snail porn < 1371175922 816640 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Bike: Maybe you should try to fix it some other way, if it does that there is probably something wrong with it? < 1371175924 773486 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Fiora: I dunno, there's a lot of depth to human mating. < 1371175955 897520 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm what is the deepest human mating incident < 1371175957 844852 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :zzo38: yes, there's something wrong with it and i don't know how to fix it because the solution isn't as simple as ./configure && make && make install which is the limit of my capabilities < 1371175964 808316 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :oerjan: Define "deep". < 1371175968 542745 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :oerjan: some engineers in the kola borehole < 1371175974 224618 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :the joke is depth, < 1371175983 605244 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Deep Throat is pretty deep. < 1371176005 376035 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :that reminds me of a great quote about bird semen < 1371176045 188523 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote that reminds me of a great quote about bird semen < 1371176049 345713 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1051) that reminds me of a great quote about bird semen < 1371176070 586413 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1371176076 305761 :Nisstyre-laptop!~yours@oftn/member/Nisstyre NICK :Nisstyre < 1371176126 412382 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :pikhq: is... that a pun < 1371176128 370160 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :-___- < 1371176140 713642 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Fiora: Yes. < 1371176165 915330 :SgeoBot!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :pikhq, I am listening to the slow version of Magia using SennHeiser headphones < 1371176210 395254 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Fiora: I've got about half a degree in puns. < 1371176306 83617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i've got about 451 < 1371176319 358723 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 252 seconds < 1371176331 34107 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1371176332 307663 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Which is roughly the temperature parts of my home town are at right now. < 1371176338 248763 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :ACTION looks for quote, finds detailed drawing of bird soliciting for sex < 1371176432 874305 :SgeoBot!~Sgeo@ool-ad034ea6.dyn.optonline.net NICK :Sgeo < 1371176561 566977 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i don't think i have what it takes to be a zoology fieldworker. < 1371176584 993040 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Does anyone? < 1371176595 910870 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :disturbingly enough, yes. < 1371176721 439508 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :oh, hey, i found what i was thinking of. "My career in sperm competition has been a rollercoaster ride, energised by a number of particularly special moments." < 1371176730 617380 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :me too < 1371176748 61133 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :the essay this is from is titled "Undiminished passion" < 1371176914 875056 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think I know which phone I want < 1371176918 880253 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Not certain though < 1371177004 603163 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (<~) < 1371177005 666715 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Not in scope: `<~' < 1371177005 761604 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Perhaps you meant one of these: < 1371177005 833666 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : `<' (imported from Data.Ord), `<=' (imported from Data.Ord), < 1371177068 785279 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :pikhq: so like, an associate's? < 1371177196 36778 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 276 seconds < 1371177751 606124 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Fiora: Sure. < 1371177981 510697 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1371178194 942849 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?" < 1371179038 729786 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What do you expect (<~) to be? < 1371179220 668356 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :back to pdfs: should i keep the crazy-ass ultrafinitist zeilberger pdf < 1371179242 973202 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: something from lens. < 1371179289 634631 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but then i heard lambdabot doesn't have lens at the moment for a stupid safehaskell reason. < 1371179300 898798 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: yes < 1371179305 227058 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ultrafinitists are the best < 1371179366 349061 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :REAL (i.e. discrete) analysis is conceptually simpler than traditional 'real' (continuous) analysis, and of course is much truer. But it is, on the whole, technically more difficult. Hence 'Naked Brain' humans had no choice but to pursue the latter kind. < 1371179400 176112 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what's discrete analysis in this context < 1371179449 48634 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :Analysis for crazy people. < 1371179492 883871 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :Df(x) := (f(x+h) - f(x))/h "where h is the Fundamental mesh size, a Mathematical Universal constant, that unlike Planck's constant, we will never know, but it is very tiny." < 1371179502 760938 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :… < 1371179520 785956 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :c'mon zeilberger isn't really crazy < 1371179522 809722 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok i see what you mean. < 1371179523 972696 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i mean he's not a crank < 1371179541 450419 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :elliott are you reading this < 1371179545 722481 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes i've read it < 1371179553 954308 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :this is time cube level discourse here < 1371179557 407902 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's like a PLANK LENGTH but for the PLATONIC REALM < 1371179560 372008 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i mean obviously he's not a crank < 1371179565 564214 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :but this is fucking nuts < 1371179587 399666 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ultrafinitism is not really that nuts < 1371179593 678393 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i mean it's not like mathematicians don't go off on platonic type philosophising all the time < 1371179601 238361 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :yeah but do they do it in allcaps < 1371179603 447230 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ultrafinitism is 100% nuts though < 1371179604 146910 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :where the information content amounts here to "we work with h as a free variable" < 1371179607 305536 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :"just sayin'" < 1371179669 743273 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"fundamental mesh size" eughs me out < 1371179706 824103 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :The main stumbling block in the further development of the theory of Discrete Analytic Functions is the fact that the property of being discrete-analytic is not preserved under multiplication. But using the discrete Leibniz rule one can express the derivative of a product, and then the product is "almost analytic". So I am sure that the full arsenal of continuous complex analysis can be discretized, but the details might be too complicated fo < 1371179744 982609 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :btw finite calculus is extremely cool < 1371179776 392218 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is a "fundamental mesh size"? < 1371179782 52135 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :are the details too complicated for humans < 1371179807 768732 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :That "Df(x) := (f(x+h) - f(x))/h" doesn't seem to make much sense to me < 1371179808 184771 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :zzo38: the difference between two points on the real line. < 1371179847 505645 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Bike: O, OK, well, it isn't an actual number that can be measured, I think. < 1371179864 324673 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :its like a derivative but with a philisophical twist < 1371179891 278764 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hm i wonder if i'm sleeping < 1371179896 396566 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :no < 1371179897 476568 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes this is a dream < 1371179907 213379 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :dont listen to bike he is the Deciever < 1371179917 12543 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i meant i wonder if i'm sleeping tonight but ty < 1371179925 61180 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: /nick Deciever < 1371179957 977712 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :no < 1371179975 64818 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :how about nick Deceiver < 1371179992 510125 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :Neo-Pythagoreanism or: Anaxagoras deserved to be drowned < 1371180036 160046 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If that is how the "fundamental mesh size" is defined, then it can't be a real number. < 1371180077 935270 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: i'm reading the book are you proud of me < 1371180082 563093 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :Yes. < 1371180083 771104 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mnoqy won't read it with me because he's ""busy""" :-| < 1371180102 453670 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :It is utter nonsense to say that √2 is irrational, because this presupposes that it exists, as a number or distance. The truth is that there is no such number or distance. What does exist is the symbol, which is just shorthand for an ideal object x that satisfies x² = 2. < 1371180107 508163 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :hellooooo platonism < 1371180125 616121 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hello......... < 1371180146 612166 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :-fidget- < 1371180155 638856 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :-roll- < 1371180161 360183 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Well, I suppose whether or not it exists as a distance in physical space is really a different question, although it does mathematically exist, regardless. < 1371180192 206416 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :Blessed are the Δifference Equations for They Shall Inherit Math < 1371180289 318897 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Whether or not there is such a number, depends on what number system it is in; since it is irrational, that means the rational numbers has no square root of 2, but the real numbers does have. < 1371180291 46179 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :Andrew Wiles' alleged 'proof' of FLT, while a crowning human achievement, is not rigorous, since it uses continuous analysis, which is meaningless. < 1371180291 117689 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :'sorry wiles' < 1371180313 550867 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :using the word 'alleged' *and* putting "proof" in scarequotes < 1371180324 15039 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Why are you writing such nonsensical things? < 1371180340 144148 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :Because I think mocking elliott is funny. I'll stop. < 1371180354 645811 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :are you making fun of elliott because of ultrafinitism? < 1371180376 439866 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :Well, mostly because this guy specifically is nutso. < 1371180388 374671 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :The only other ultrafinitist I know of is the one from the anecdote, so he's cool. < 1371180471 755037 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's a great anecdote < 1371180478 146955 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if it's the one anecdote about ultrafinitism that i know of < 1371180491 583489 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i like that anecdote too < 1371180500 307783 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :[assuming it's the one i know of] < 1371180554 889728 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :how many anecdotes about ultrafinitists can there possibly be, i wonder < 1371180559 840383 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :My philosophy is that mathematics is the real reality, not the physical universe and so on. < 1371180561 259793 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :finitely many < 1371180566 122171 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :well played. < 1371180569 245038 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i think lecturing the guy for ranting and mocking people he disagrees with is a bit silly < 1371180573 292232 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :zzo38: platonist!! hides in shelter < 1371180576 754781 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :since have you noticed how much everyone ever does that < 1371180588 104740 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :they don't do it quite so amusingly < 1371180592 97946 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's not like any of it was submitted to a real journal or anything < 1371180597 517828 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Bike: O, what is *your* philosophy of this? < 1371180620 875919 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :of math? i suppose i'm a materialist. < 1371180654 680010 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Bike: Can you please be a bit more specific? < 1371180682 218876 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :my philosophy of math is "philosophy of math is silly" < 1371180697 32698 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :Also a good philosophy. < 1371180712 923748 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :But why not: I don't think mathematical objects "exist" in any meaningful or usefully talked about sense. Math is just a kind of useful thinking. < 1371180748 903636 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sounds like formalism to me < 1371180775 46312 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :yeah, something like that. < 1371180782 148175 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :so i'll probably go full platonic at some point derp. < 1371180790 837263 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :~consistency~ < 1371180808 236734 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :my philosophy of things existing is "talking about things existing is silly" < 1371180836 764613 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i think hilbert was kind of wack tho. < 1371180838 473895 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :so there's that. < 1371180849 509536 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :mnoqy philosophy: Q: what does it mean for something to exist / A: dont ask that question shut up shut up shut up < 1371180849 752793 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well your philosophy of things existing doesn't really exist, so there < 1371180868 336059 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :mnoqy: would you call yourself a sillyist < 1371180876 167430 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@quote saulgorn formal < 1371180876 276946 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :No quotes for this person. Are you on drugs? < 1371180878 877937 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :!! < 1371180880 189596 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@quote formal < 1371180880 303111 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Raguel says: does it unsettle anyone that there isn't a formal semantics for haskell? its like someone got drunk, invented a gadget, then when he woke up, couldn't quite draw a blueprint < 1371180880 648456 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :cool < 1371180882 507757 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :help < 1371180883 782062 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@quote formalist < 1371180883 919156 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :SaulGorn says: A formalist is one who cannot understand a theory unless it is meaningless. < 1371180886 127839 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thachaf < 1371180888 779867 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thambdabot < 1371180893 294700 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :thanks saul gorn < 1371180898 666775 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :is that shachaf < 1371180912 27559 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no < 1371180918 104835 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Shaul Chorn < 1371180926 628550 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :helpful < 1371180949 356828 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can you understand my implementation of a Turning machine in the sequent calculus? < 1371180957 359716 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :nope. < 1371180967 104217 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :maybe < 1371180976 792955 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Did you read it? Did you find a mistake within it? < 1371180987 793138 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :no < 1371180994 177178 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :mnoqy: but seriously philosophy of math has /some/ use, if only to motivate weirdos to make non-classical logics etc < 1371181027 345318 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Bike: ok so long as they need it to motivate them....i do like those non-classical logics < 1371181029 626694 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :maybe the mathematics establishment should just recruit in asylums to skip the middlemen < 1371181042 715680 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :good idea < 1371181046 188150 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Well, yes perhaps it can motivate some things. < 1371181049 522688 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :non-classical logics are p. cool 'Bike stamp of approval' < 1371181077 362701 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Not only in mathematics, but I think this kind of motivation can be using in science too, in order to form hypotheses and so on. < 1371181117 997097 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mnoqy's philosophy of mathematics allergy reminds me of the philosophy of mathematics allergy i used to have < 1371181135 65931 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :what happened < 1371181136 661234 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :where's shachaf < 1371181138 602987 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i also used to hate talking about anything i completely arbitrarily categorised as "politics" < 1371181144 514229 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :``i grew out of both'' < 1371181145 767061 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `i: not found < 1371181146 584488 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :haha same < 1371181155 437898 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :now i rant about the NSA on twitter so that went well < 1371181158 822488 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it was the "same kind of thing" i think < 1371181161 203198 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :srry 14 yo me < 1371181206 750131 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :hm i wonder if i can apply this "useful crazies" philosophy to psychology stuff none of you give a damn about < 1371181211 613602 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i've forgotten how old bike is HELP < 1371181213 719013 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i require more research on this < 1371181218 514737 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`run printf "#!/bin/sh\n\necho 'DID YOU REALLY'\n" > 'bin/`i' && chmod +x 'bin/`i' < 1371181219 320768 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :bike is old iirc < 1371181221 763780 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1371181224 777943 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :``i grew out of both'' < 1371181226 10266 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :DID YOU REALLY < 1371181226 550289 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :so old < 1371181234 50263 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :kmc: awesome < 1371181284 442090 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i haven't read any [psychologist's name] directly yet, i don't know if he was crazy. i know chomsky is kind of wack and skinner is super wack. everybody's wack < 1371181303 311804 :augur!~augur@208.58.5.87 PRIVMSG #esoteric :chomsky aint whack :| < 1371181308 156227 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi augur < 1371181309 806853 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :chomsky is an original gangsta < 1371181313 737383 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :sorry he is < 1371181315 794973 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :chomsky is p.wack < 1371181321 436488 :augur!~augur@208.58.5.87 PRIVMSG #esoteric :no hes really not :| < 1371181335 900514 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :dope < 1371181347 692005 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :do you have a ping on chomsky < 1371181353 754378 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the great debate between Bike, augur, and mnoqy < 1371181357 757048 :augur!~augur@208.58.5.87 PRIVMSG #esoteric :mnoqy: yes :) < 1371181357 868694 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also does augur highlight on chomsky < 1371181766 469334 :pikhq_!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com JOIN :#esoteric < 1371181787 979122 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com QUIT :Ping timeout: 260 seconds < 1371181873 727378 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can you please tell me if you like this "turing_sequent"? < 1371181889 152046 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :And what the mistake is? < 1371182323 429706 :TeruFSX2!~TeruFSX@65-128-175-59.mpls.qwest.net QUIT :Ping timeout: 264 seconds < 1371182878 867068 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Heheh. Noit o' mnain gelb has materials called "copper", "zinc", and "metal". < 1371182908 489354 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gelb? not worb? < 1371182914 767606 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Yes. < 1371183150 225477 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :wire: the magnificent element < 1371183397 121385 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Hmmm. So apparently I wrote this thing called evolver.py that creates a random subleq program and executes it. < 1371183541 452586 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :There's nothing determining the fitness of a program. < 1371183570 10195 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :good evolver < 1371183616 132274 :myname!~myname@84.200.43.57 JOIN :#esoteric < 1371183654 705747 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :So I'd like to give the programs fitness functions somehow. < 1371183693 902598 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :¿Qué función de fitidad debo usar? < 1371183710 972846 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :optimize for good ascii art porn < 1371183807 938064 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1371183871 10074 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I think I want to do rock-paper-scissors. < 1371183967 250933 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com JOIN :#esoteric < 1371183979 472329 :pikhq_!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com QUIT :Ping timeout: 264 seconds < 1371184956 707809 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Lost terminal < 1371186137 575231 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1371186203 797608 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hey Bike, you should read this book for me. it's too long < 1371186205 543599 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :500 pages = too long < 1371186227 515404 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :What does reading a book for you entail? < 1371186320 839504 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :reading the words < 1371186336 553069 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :that's just how i normally read books though < 1371186339 694737 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :what gives it the elliott touch < 1371186577 307780 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :because i told you to do it < 1371186599 861812 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :what do you get out of this though < 1371186632 281343 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :maybe ill read it once i stop having to do things < 1371186643 955555 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :`slist < 1371186645 758791 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot < 1371187447 306158 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :There, now you can compete two genomes with each other to see which one is better at rock-paper-scissors. < 1371187496 538463 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1371188375 243455 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: hi < 1371188420 973226 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: hey mnoqy philosophy is p. good can i have some more < 1371188431 461980 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hichaf < 1371188432 494740 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :wbchaf < 1371188465 805194 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: "sure" - mnoqy philosophy < 1371188482 294749 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what happendeegan < 1371188758 363234 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :not much, you? < 1371188942 64170 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/n/ne/ < 1371188949 693733 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i thought you were pinging me "maybe not" < 1371188956 878775 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if so, don't remember why < 1371188984 451302 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm telling people in another channel why they should all take LSD < 1371188988 228072 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :04:38:56 where's shachaf < 1371189002 132142 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: is it #lisp "continuity" < 1371189002 760968 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what channel < 1371189003 891525 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"Three: Whenever shachaf is not on screen, all of the other characters should say 'Where's shachaf?'" < 1371189007 104917 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is it #esoteric < 1371189013 791596 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: don't want to say because 'everyone will invade' < 1371189017 568501 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: that too < 1371189026 988545 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :telling people in another channel why they should all take LSD is hardly "not much", imo < 1371189053 486125 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :just a day in the life of drugzjokeman < 1371189055 862295 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's a pretty normal thing for me to do < 1371189061 991498 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: this is serious business < 1371189074 38066 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :drugzeriousman < 1371189075 720820 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :drugs business < 1371189081 431679 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :by everybody do you mean "me+Sgeo" < 1371189097 862982 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is it #drugz < 1371189099 799127 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :because let me tell you < 1371189103 943153 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i will definitely fucking join #drugz < 1371189120 268880 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :somehow even when i say #drugz and mean it as a channel it looks like a hashtag < 1371189124 575690 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mysterious properties of the word drugz < 1371189151 724731 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"hash tag" i get it < 1371189156 855575 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :;) < 1371189158 374893 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh good one < 1371189183 131954 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if i take drugz will i be as cool as kmc; life's eternal mysterys < 1371189184 177654 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :01:45 < kmc> i think we are all fundamentally lonely because we don't have access to any interior mental states other than our own < 1371189187 123803 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :01:45 < kmc> and temporarily modifying the way your brain works is a way to escape that a bit < 1371189212 406644 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :#drugztalk < 1371189221 982676 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :took me three tries not to read that as "inferior mental states" < 1371189226 139359 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::3 < 1371189237 736530 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"interior mental states" is a very #drugz thing to say #drugz < 1371189265 995685 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :does caffeine count as a drugz < 1371189268 805508 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :need kmc's ruling on this < 1371189279 22658 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: /set show_nickmode_empty off < 1371189279 737741 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :man i barely have access to my own mental state >: < 1371189282 937740 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: /script load splitlong.pl < 1371189306 67311 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: /quit < 1371189306 139361 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i have access to alt. mental states < 1371189311 990568 :shachaf!~shachaf@unaffiliated/shachaf QUIT :Quit: leaving < 1371189312 683484 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ulterior mental states < 1371189315 443703 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::( < 1371189318 712251 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nice < 1371189322 623598 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :well < 1371189349 201828 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: im sorry i have superpowers < 1371189504 116903 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :hey this reminds me of a pet peeve. kmc when you're talking about mental states and other psychological stuff don't refer to it as neuroscientific or anything, psychology is perfectly good. thx < 1371189521 97980 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what < 1371189532 633672 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't follow < 1371189543 700969 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :that's ok < 1371189547 15504 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :it's just a peeve < 1371189556 573814 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but did i do something which exhibits this peevish behavior < 1371189561 739155 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :no < 1371189563 347489 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh < 1371189573 130094 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok well I'm still not sure what you meant < 1371189916 879457 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1371189925 186338 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :wbchaf < 1371189933 435813 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thellilott < 1371189957 747840 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :bike is this about people talking about psychological stuff but they think psychology is rubbish pseudoscience so they talk about it terms of the physical brain being in a weird state??? i may or may not have seen this happen like once < 1371189983 500663 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh no < 1371189988 84445 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :software is rubbish pseudoscience, that's why i describe my programs in terms of what they do to transistors < 1371189997 430804 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :mnoqy: yeah basically that. < 1371189998 511413 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is Bike a neuropseudoscientist < 1371190006 309138 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :a tragic fate < 1371190049 41476 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :what set this off: i read that paper about rubberhose crypto again and it's described as "neuroscience" even though it's based on cog psych. < 1371190057 626754 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :[joke making fun of freud, ignores every psychologist since freud] < 1371190067 377416 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :isn't it based on < 1371190070 729616 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hitting people < 1371190070 983446 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :nooooo freud < 1371190082 999774 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :that's the crypt/analysis/ < 1371190085 816262 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: your comedic timing is impeccable < 1371190096 227467 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :psychology is such a fræud < 1371190139 875920 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: idgi < 1371190171 342475 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good ##crypto spam < 1371190175 631861 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :does this happen often < 1371190181 432887 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric : "Neuroscience Meets Cryptography: Designing Crypto Primitives Secure Against Rubber Hose Attacks" < 1371190186 66113 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :read it or whatever i guess < 1371190204 696323 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Did you read _Three Men in a Boat_? < 1371190211 201489 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :not yet. < 1371190225 526498 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :read it hth < 1371190226 911822 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did I mention it was published in 1889? < 1371190238 215854 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :no, but that was easiliy noticeable in the wikipedia article. < 1371190285 311949 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey #esoteric needs more petitions < 1371190335 343674 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :petition to introduce more petitions: sign here ← < 1371190357 415534 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :petition to introduce more petitions: sign here X ← < 1371190367 571583 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :this is because the bot spammed ##crypto with https://www.change.org/petitions/mtgox-add-litecoin-to-mtgox ? < 1371190370 606299 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :great petition imo < 1371190378 660278 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it really sells the cause when every sentence contains a grammatical error < 1371190422 987235 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what if every sentence my gramma says contains a grammatical error < 1371190537 392218 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :why would you put this on change.org < 1371190578 349085 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :should put it on the whitehouse.gov thing instead imo < 1371190591 152483 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do they have a white house in .uk < 1371190600 622184 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a few < 1371190614 923894 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :we had a Whitehouse < 1371190629 770093 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :who was confused with the White House on at least one (1) occasion < 1371190636 725228 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :there's a russian one and an american one isn't that ENOUGH universe < 1371190675 240230 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nothing is enough < 1371190687 661280 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric ::{ < 1371190699 557056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::{) < 1371190703 745270 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hey you whitehouse, ha ha charade you are < 1371190725 865923 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: that is what i was thinking of < 1371190726 341328 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey did you see my moustache < 1371190729 868324 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :though the confusion may be apocryphal < 1371190733 332959 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa dude that word is weird < 1371190743 50321 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the american spelling drops the o instead of the u < 1371190787 175178 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mostache < 1371190827 567961 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: do you get the feeling that person is just there to argue and not listen < 1371190843 529268 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :do i have to join this fuckn crypto channel < 1371190847 830371 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no < 1371190868 807952 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :well it sounds pretty bad from these reports! < 1371190979 371367 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :man < 1371190983 902430 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm getting too tired for this hott book < 1371190987 112313 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i need to cooll down < 1371191010 730608 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what book < 1371191013 496643 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::-] < 1371191017 456727 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i want a hott book < 1371191114 635958 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :@google hott book < 1371191115 289506 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Plugin `search' failed with: user error (https not supported) < 1371191120 235180 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :oh no < 1371191134 594787 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :shachaf won't survive this, elliott. < 1371191155 567126 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :~duck hott book < 1371191165 133136 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :metasepia??? < 1371191166 473880 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :metasepia.............................. < 1371191181 596429 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :without a bot to search i feel very isolated. < 1371191198 190431 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy will be your search bot < 1371191218 695784 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :um why is @google broken < 1371191220 489135 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@google fuck < 1371191221 37483 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Fuck < 1371191221 163511 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Title: Fuck - Wikipedia, the free encyclopedia < 1371191224 304145 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :!mnoqy nutrition facts of a carrot < 1371191225 433409 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@google cold book < 1371191227 334183 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :http://www.nytimes.com/2009/07/26/books/review/Roach-t.html?pagewanted=all < 1371191227 430287 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Title: Book Review - 'Cold - Adventures In the World�s Frozen Places,' by Bill Str... < 1371191229 908823 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@google hott book < 1371191230 378874 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Plugin `search' failed with: user error (https not supported) < 1371191231 859593 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1371191237 401438 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :probably it's trying to read the title of an https url < 1371191237 714423 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :first result is https'y? < 1371191239 13101 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :heh heh heh < 1371191245 131643 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ye < 1371191246 164577 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :WELL that goes on the todo list < 1371191252 783623 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thx github < 1371191256 782453 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's on the todo list now < 1371191257 617896 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@todo < 1371191257 716621 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :0. SamB: A way to get multiple results from a google search < 1371191257 813238 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :1. dons: improve formatting of @dict < 1371191257 884857 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :2. dons: write Haskell Manifesto < 1371191257 885032 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :3. lispy: don't let lambdabot's prettyprinter split the sequence @foo across lines < 1371191257 885147 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :4. TheHunter: priviledged users should get priviledged listcommands. < 1371191259 718603 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :[37 @more lines] < 1371191260 733001 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@more < 1371191261 718692 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :5. TheHunter: @type 1 :: Int < 1371191263 721620 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :6. lispy: haddock gives a link from a type signature to the types. It would be nice if it also let you find functions in the given module that use a type. < 1371191265 721827 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :7. dons: Implement @whatis < 1371191267 726066 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :8. dcoutts: implement @cool list, as a clone of the @todo(-add) commands < 1371191269 725011 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :9. dons: there's some bug in the 'when i left' code of @seen < 1371191271 733076 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :[32 @more lines] < 1371191273 795254 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@more < 1371191273 907750 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :10. dons: sarahbot style @tell < 1371191275 729547 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :11. beelsebob_: @tell command - relays a message to someone when they next speak < 1371191277 739798 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :12. dons: @seen on lambdabot should report lambdabot's channels too < 1371191279 742551 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :13. ski: when printing first lines of infinite things (or all cases with nonexact), should say 'at least' < 1371191281 737003 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :14. ski: provide '@more ', at least for privmsg < 1371191283 290541 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: elliott told me to tell you to stop spamming < 1371191283 655308 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :@type 1 :: Int < 1371191283 742003 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :[27 @more lines] < 1371191285 738057 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Int < 1371191287 131277 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: i think it's serious < 1371191292 530460 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: ok < 1371191296 975188 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why didn't he tell me himself < 1371191298 597809 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: mnoqy told me to tell him to tell you to stop spamming :-( < 1371191304 372388 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :its a tangled web < 1371191314 826864 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the truth is... i am mnoqy < 1371191326 598650 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok i'm putting elliott on /ignore < 1371191328 674840 :ChanServ!ChanServ@services. MODE #esoteric +v :mnoqy > 1371191328 960236 NAMES :#esoteric < 1371191337 955235 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :help < 1371191338 922570 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"the gordian ¬" < 1371191351 503525 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :person in ##crypto is claiming that at least 10% of the bitcoin network power is compromised botnet machines < 1371191365 794376 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :is that plausible? < 1371191373 566720 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i have no way of knowing < 1371191382 838587 :ChanServ!ChanServ@services. MODE #esoteric +v :kmc > 1371191382 861449 NAMES :#esoteric < 1371191391 801758 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It is very plausible that people in ##crypto will claim things. < 1371191419 842879 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hm < 1371191425 212969 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :looks like the https thing is some other library's fault < 1371191427 417453 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sighhhhhhhhh < 1371191524 814037 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: am i on /ignore now < 1371191566 134975 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :why do i have voice < 1371191579 899764 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :is that a serious question < 1371191614 4439 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :reason probably similar to that of why i have voice < 1371191636 585077 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: are you saying kmc is the best < 1371191655 436715 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i don't know why i'm +v < 1371191660 684037 :ChanServ!ChanServ@services. MODE #esoteric -v :mnoqy > 1371191660 709067 NAMES :#esoteric < 1371191670 322842 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo you can't both be the best < 1371191681 256548 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :see http://www.smbc-comics.com/?id=2952 < 1371191683 443660 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :glad we got that sorted < 1371191720 131325 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: like referencing bible verses < 1371191723 828507 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wait < 1371191725 194420 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thats not super mega < 1371191732 608047 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wow i thought that was a super mega link for like five whole seconds < 1371191733 87968 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :what's happening < 1371191739 543584 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i thought it was super mega too < 1371191742 462363 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i feel betrayed < 1371191754 45057 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :me too < 1371191783 896461 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :The Incident < 1371191808 843829 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: hey speaking of super mega < 1371191812 508287 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`smlist < 1371191814 809649 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :smlist: shachaf monqy elliott mnoqy < 1371191817 164930 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@tell shachaf hello < 1371191817 281396 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1371191832 838340 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :wow lots of super mega recently!!! < 1371191845 207314 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :not clean < 1371191867 132174 :nooodl!~nooodl@91.176.143.184 JOIN :#esoteric < 1371191874 322138 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: what's with all the mustaches on super mega < 1371191885 695235 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i don't know. i'm not a super megxpert. < 1371191887 73097 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@tell elliott hi < 1371191887 174465 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1371191897 653117 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@ask shachaf am i on ignore < 1371191897 732648 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1371191928 816893 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@tell elliott yes, see above < 1371191928 915274 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1371191944 901319 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@tell shachaf i understand that's the kind of thing that's not meant to happen!! < 1371191945 1758 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1371192017 337117 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK? < 1371192061 937126 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a lot like /quit < 1371192080 129682 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@tell shachaf i was making a homoros reference < 1371192080 229227 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1371192084 189068 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@tell shachaf *hummus < 1371192084 287998 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1371192102 205919 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :guys < 1371192103 158350 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I know. < 1371192106 443922 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :you're fucking < 1371192108 462740 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :fuck < 1371192129 551002 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"guys you're fucking fuck" - bike, voice of today's youth < 1371192145 671941 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :you know it's true < 1371192159 538319 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you can't fuck in here! this is the sex room < 1371192180 131736 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :it's a shame that isn't a song lyric. < 1371192181 326955 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :/unignore elliott < 1371192187 905205 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION sighs. < 1371192198 547453 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: i've never watched dr strangelove < 1371192203 957625 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :does that go before or after lsd < 1371192208 187753 :nooodl!~nooodl@91.176.143.184 QUIT :Ping timeout: 245 seconds < 1371192212 901026 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Before. < 1371192215 869130 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or simultaneously < 1371192238 294312 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :_Dr. Strangelove_ is good. < 1371192246 292095 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :dr strangelove is good < 1371192247 475646 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what about the version without the underscores < 1371192250 43352 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ive never seen lsd < 1371192251 420632 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thonqy < 1371192262 930630 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what about the version without the underscores but with the dot and with one of the capitals < 1371192271 560586 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :`thanks mnoqy < 1371192273 303954 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, mnoqy. Thoqy. < 1371192279 188691 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Dr. Strangelove or: How I learned to Stop Worrying and Love the Bomb is good. < 1371192293 203210 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :`thanks monqy < 1371192293 313671 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/l/L/ < 1371192294 460995 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, monqy. Thonqy. < 1371192299 429080 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :hm. < 1371192303 493108 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :how about in camlcase < 1371192309 188396 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or should that be s/l/L/? < 1371192321 826377 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :dr strangeLove < 1371192336 241559 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mr strangelove phd < 1371192346 302756 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://c2.com/cgi/wiki?DrStrangeLove < 1371192353 860312 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :dr bloodmoney, or how we got along after the bomb < 1371192396 425298 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Did you watch _Dr. Strangelove_? < 1371192403 321950 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i watched jerkcity < 1371192444 970417 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is that about socrates < 1371192472 258634 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :athens wasn't a jerkcity for killing socrates! < 1371192475 218893 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i mean, he was a jerk. < 1371192481 218149 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1371192481 742087 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'd watch a jerkcity film < 1371192488 646666 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :He was the jerk. < 1371192491 957286 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i mean < 1371192493 537043 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so would everyone < 1371192497 759453 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wouldn't. < 1371192502 599816 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :but not the jerkcity < 1371192511 226983 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :because he wasn't a city. < 1371192514 967880 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i mean we all know the syllogism. < 1371192530 6162 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i'd watch a jerkcity film < 1371192538 815461 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: yes you would < 1371192545 524088 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nobody really has a choice in fact < 1371192550 626469 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wouldn't. < 1371192556 347187 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :doesn't work like that < 1371192558 840893 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: What syllogism? < 1371192567 212205 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :all men are mortal; < 1371192581 139512 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Socrates is a man < 1371192583 373637 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No man is an island < 1371192584 515491 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That one? < 1371192589 771671 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :yeah. < 1371192589 882120 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It doesn't talk about cities. < 1371192594 124405 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :that's the one < 1371192598 787417 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :no but it says he's a man. < 1371192608 784439 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But it doesn't say he's not a city. < 1371192666 4944 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :does it say whether or not he'd watch a jerkcity film < 1371192670 926540 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :He wouldn't. < 1371192709 628425 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: i am very irritable lately what do i do < 1371192728 459502 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :do you know why? < 1371192745 904924 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not really. < 1371192788 256460 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does the + mean that you're my attorney? < 1371192801 463316 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :http://wondermark.com/943/ kmc versus realty < 1371192871 278049 :nooodl!~nooodl@91.176.143.184 JOIN :#esoteric < 1371192886 891500 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: good comic < 1371192945 62717 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: does the start of irritability coïncide with some other change < 1371192955 929880 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think so. < 1371193042 411905 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: there's a restaurant down the street and their menu contains wordart where the name of the restaurant is rendered anti-aliased on top of a white background and then all the non-white pixels were composited on top of a dark image < 1371193056 868627 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :awesome < 1371193062 542499 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is there a name for that particular kind of fuckup < 1371193070 373524 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sounds perfect < 1371193091 212427 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i've seen that < 1371193093 177888 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's great < 1371193099 66908 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i mean, that sort of fuckup < 1371193101 663999 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :not that restaurant < 1371193154 177391 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: http://davidmalki.tumblr.com/post/52931217555/hey-its-a-comic-wondermark-943-dont-give-it < 1371193170 52983 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Much nicer, isn't it? 2x2, bigger text. < 1371193189 85233 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :tumblr sucks, though < 1371193297 887283 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's amazing how uninterested I am in helping people as soon as I find out they're using e.g. Yesod/conduit. < 1371193308 135419 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I bet some people feel the same way about lens. < 1371193319 755085 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"take it to -lens" < 1371193492 351066 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: what is your bot prefix < 1371193495 782846 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :!help < 1371193506 739722 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :#help < 1371193509 966131 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . < 1371193581 683150 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :who < 1371193763 935166 :nooodl!~nooodl@91.176.143.184 QUIT :Ping timeout: 240 seconds < 1371194515 929152 :Taneb!~nathan@host-92-30-133-51.as13285.net JOIN :#esoteric < 1371194974 203424 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1371195833 400721 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: why uninterested < 1371197378 153232 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1371198588 644357 :nortti!nortti@nano.smar.fi QUIT :Read error: Operation timed out < 1371198648 392507 :nortti!nortti@nano.smar.fi JOIN :#esoteric < 1371200377 66294 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Read error: Connection reset by peer < 1371200475 175331 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1371202573 470365 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1371203378 691656 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1371203709 372346 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1371203861 322274 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1371204337 216647 :itsy!~digital_w@46.208.44.168 QUIT :Quit: itsy < 1371204620 983254 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1371205834 805277 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :aaaah < 1371205836 884449 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :I'm ill < 1371205953 827725 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh no < 1371205963 745979 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Are you: the illest. < 1371205976 928025 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :are you passing your germs on to us < 1371206018 117376 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :I don't think so, Phantom_Hoover < 1371206020 624074 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is it the bubonic plague < 1371206027 364546 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :fizzie, you should hear my sick beats < 1371206036 60108 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :shachaf, I don't think so < 1371206043 429017 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :Don't have any bubons < 1371206045 136338 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :How about the bucolic plague? < 1371206051 338177 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :tell me Taneb have ever told you to watch farscape < 1371206068 349876 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :Phantom_Hoover, you have < 1371206074 946482 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :I thus far have not watched it < 1371206084 163179 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fuck you < 1371206088 168859 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i'm glad you're ill < 1371206106 233067 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :farscape........ < 1371206117 16608 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's the thing with scorpion isn't it < 1371206130 502447 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :close < 1371206144 524672 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(it's very good) < 1371206187 147292 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i think someone showed me one episode once < 1371206190 315953 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :with cartoons?? < 1371206213 295347 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yes < 1371206315 840564 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is that episode representative < 1371206349 675375 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the cartoons are not < 1371206355 728031 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the general craziness kind of is < 1371208147 748929 :nooodl!~nooodl@91.176.143.184 JOIN :#esoteric < 1371208421 696230 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey mnoqy if a matrix is really a linear function, what's a determinant < 1371208538 932211 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the way i did determinants was as follows: < 1371208584 328709 :sacje!~sacre@unaffiliated/klet QUIT :Quit: sacje < 1371208662 300289 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is the joke that you didn't do determinants < 1371208677 446032 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :first define determinants on matrices over a field F axiomatically as: alternating multilinear function (F^n)^n -> F s.t. det(I) = 1 < 1371208682 312397 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :then < 1371208692 625520 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :you derive a bunch of properties of determinants < 1371208718 86360 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :like det(A^{-1}) = det(A)^{-1}, and det(AB) = det(A)det(B) < 1371208733 998390 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :AND THEN since all matrix representations of a linear function are similar < 1371208768 468063 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :you define det(f) := det([f]_{arbitrary basis}) < 1371208824 269477 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i can elaborate further if it wasnt clear but thats the short version < 1371208855 80621 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i wish i wasn't falling asleep right now :'( < 1371208868 193474 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe i'll ask you more tomrorrowr < 1371208870 509612 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok < 1371208874 424752 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or maybe i won't < 1371208877 43776 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok < 1371208878 179195 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i work in mysterious ways < 1371211339 969497 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 246 seconds < 1371211828 73454 :nooga_!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1371213108 996675 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1371213169 5525 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1371213169 116928 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Read error: Connection reset by peer < 1371213708 180723 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 245 seconds < 1371214054 803785 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1371215397 206479 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :eip lindbohm.freenode.net < 1371215398 363822 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :*rip < 1371215408 252129 :elliott!elliott@unaffiliated/elliott QUIT :Quit: Reconnecting < 1371215417 393032 :elliott!elliott@unaffiliated/elliott JOIN :#esoteric < 1371215453 102631 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 252 seconds < 1371215459 788739 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wtf < 1371215464 796147 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i connected to chat.eu.freenode.net < 1371215469 805909 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and get a server in new jersey < 1371215548 930517 :Tritonio!~Tritonio@77.49.108.183.dsl.dyn.forthnet.gr JOIN :#esoteric < 1371215588 263075 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Perhaps that's New Jersey, Italy. < 1371215605 852812 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :chat.eu.freenode.net is an alias for chat.freenode.net. < 1371215610 210255 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, that's new. < 1371215648 723434 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://freenode.net/irc_servers.shtml has also removed the continental aliases for Europe and US. < 1371215697 736267 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think the only conclusion you can draw is that some sort of Lorentz contraction has brought Europe and the states together. < 1371215860 30222 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Resulting velocity: 0 - Displacement x: 1.088 < 1371215861 325888 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :weird < 1371216078 841241 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i assign fizzie to ask #freenode < 1371216101 449244 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I assign #freenode to ##esoteric and then you can ask here. < 1371216113 822271 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i don't < 1371216250 368689 :myname!~myname@84.200.43.57 QUIT :Ping timeout: 252 seconds < 1371216543 555709 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I wonder if I should just connect to holmes.freenode.net < 1371216546 881886 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it has 1 ms ping from my server < 1371216796 580760 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: would that be a "good idea" < 1371216806 251777 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?" < 1371216828 19924 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1371217354 660330 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie i am literally incapable of making decisions without your help < 1371217420 205993 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :why, is fizzie Keeper of the Coin? < 1371217433 26544 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1371217442 568956 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i love logic exams < 1371217445 275330 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :they're so easy < 1371217472 965812 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I've always hated logic lessons at the university < 1371217518 40474 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :it felt like the teacher was trying to convince us that the most basic common sense was actually an obscure science < 1371217524 227466 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :logic here is great because it's technically a philosophy course < 1371217542 626978 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :so it's basically aimed at people who have never had to do a proof in their lives < 1371217630 197977 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and it makes you feel superior I understand the feeling bro < 1371217673 402070 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: was it about monoids < 1371217693 635104 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :sadly no < 1371217705 222030 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Koen_: "common sense" doesn't exist and judgements that are simple in the surface can be very complex from a theory pov < 1371217751 449332 :MindlessDrone!~MindlessD@141.70.114.121 JOIN :#esoteric < 1371217848 365014 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@tell ais523 a new featured language would be great twh < 1371217848 497274 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1371218151 882485 :nooodl!~nooodl@91.176.143.184 PRIVMSG #esoteric :i dislike german exams, they're so schwierig < 1371218255 760961 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :elliott: Well ef-wee-ai-wee I do connect to explicit servers, if you know what I mean. < 1371218290 111724 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: servers plural??? < 1371218310 111655 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I like how you're on a US server < 1371218317 265232 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :not very finnish < 1371218331 201463 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I listed two explicit and the now borken chat.eu in my bouncer config. < 1371218346 598010 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :rajaniemi, lindbohm and chat.eu. < 1371218366 625980 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and you're on hubbard < 1371218393 551568 :fizzie!fis@unaffiliated/fizzie QUIT :Quit: jumpin' jumpin' < 1371218400 442568 :fizzie!fis@unaffiliated/fizzie JOIN :#esoteric < 1371218406 95632 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :no im not < 1371218702 431154 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :good jumpin' < 1371218722 389642 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i wonder how often holmes goes down...... < 1371218747 962456 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :do i dare rest the fate of lambdabot on one server!! < 1371219515 785630 :myname!~myname@84.200.43.57 JOIN :#esoteric < 1371219675 970511 :jconn!~username@la-pinta.la.net.ua QUIT :Ping timeout: 256 seconds < 1371221104 241823 :jconn!~username@la-pinta.la.net.ua JOIN :#esoteric < 1371221298 166678 :Taneb!~nathan@host-92-30-133-51.as13285.net QUIT :Remote host closed the connection < 1371222140 8264 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1371222208 391941 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Remote host closed the connection < 1371223868 76358 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1371224854 845506 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e QUIT :*.net *.split < 1371224940 276706 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: No buffer space available < 1371224943 179298 :Frooxius_!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1371224962 929424 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e JOIN :#esoteric < 1371224983 888905 :drlemon!~drlemon@99-116-253-96.lightspeed.irvnca.sbcglobal.net JOIN :#esoteric < 1371225209 655233 :drlemon!~drlemon@99-116-253-96.lightspeed.irvnca.sbcglobal.net PART :#esoteric < 1371225334 974513 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1371227385 827020 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1371227887 26484 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric : SDL_Event e; < 1371227887 136892 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric : SDL_UserEvent u; < 1371227887 137060 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric : u.type=SDL_USEREVENT; < 1371227887 137167 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric : u.code=0; < 1371227887 137279 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric : e.type=SDL_USEREVENT; < 1371227887 937785 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric : e.user=u; < 1371227888 9856 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric : SDL_PushEvent(&e); < 1371227888 295201 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Excess Flood < 1371227903 325564 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :zzo38 appears to have segfaulted? < 1371227983 549673 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1371228128 78529 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oops zzo38paste < 1371228439 426815 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Ping timeout: 264 seconds < 1371229764 694215 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you like this kind of game? http://www.chessvariants.org/index/msdisplay.php?itemid=MSbackgammonches < 1371231563 994150 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 240 seconds < 1371232312 529787 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is this a real question? < 1371232764 765244 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?" < 1371232987 579592 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1371234759 425695 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1371235443 592686 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :fucking arizona < 1371235447 58325 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :too good for daylight savings time < 1371235516 139460 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't like daylight saving time. < 1371236250 964857 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Read error: Operation timed out < 1371236815 529241 :itsy!~digital_w@46.208.44.168 JOIN :#esoteric < 1371237097 13735 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what a shock < 1371237384 38679 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like daylight saving time. < 1371237391 104173 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't like standard time, though. < 1371237395 937967 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hth < 1371237409 259720 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you and zzo38 are doomed to be forever an hour apart < 1371237413 896540 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I like all the time in the world < 1371237445 845794 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc's +v makes me feel uneasy. < 1371237447 83011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What is he scheming? < 1371237463 445729 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1371237502 737457 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh i guess i could -v myself < 1371237506 371449 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but... i won't < 1371237548 519269 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :gasp < 1371237554 349942 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Are you sure one can -v oneself?) < 1371237574 807575 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Nope < 1371237582 895395 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You can't without at least halfop priviledges < 1371237583 450449 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Ping timeout: 264 seconds < 1371237597 70122 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh < 1371237607 642218 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PART :#esoteric < 1371237614 872685 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i will relinquish my -v as soon as the civil emergency is over, I promise < 1371237622 114808 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Well, maybe you could -v using chanserv < 1371237626 795854 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :But not directly < 1371237627 428245 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :what's the civil emergency? < 1371237641 253049 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :olsner: kmc has +v < 1371237692 732767 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :zzo38: I like SDL < 1371237701 121097 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :FreeFull: OK < 1371237708 631531 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :But I'm unhappy that the Haskell package doesn't allow you to write your own function for sound using SDL < 1371237739 359109 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :On the C side, you can provide a user-written callback which fills a buffer < 1371237742 840792 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :FreeFull: Will it work if you write the function for sound in C? < 1371237753 260916 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :The Haskell library seems to just have skipped over it < 1371237754 357262 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :And you can write the other part of the program in Haskell? < 1371237758 120200 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Although I see why it'd be hard < 1371237851 555566 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's not that hard to turn Haskell functions into C function pointers < 1371237868 767464 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you could just write your own foreign import for that function < 1371237873 765648 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(One can always also go away and come back.) < 1371237875 541513 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or even Haskell IO actions! < 1371237950 359961 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, you could do that, but due to the way the sound works in SDL it seems it might not necessarily work. < 1371238186 409371 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it might not be real time enough < 1371238518 605415 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :zzo38: so when you capture a backgammon pawn on the chess board, it gets transferred to the backgammon board's jail < 1371238531 352633 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :but how do you transfer a pawn from the backgammon board to the chess board? < 1371238699 225644 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Koen__: Chess pieces in backgammon board move like stones of backgammon while there. I fixed this rule now. < 1371238741 215342 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yeah but my question is: how do you transfer a piece to the backgammon board? < 1371238745 818281 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :uh < 1371238749 60411 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I mean, the opposite < 1371238756 844881 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :how do you transfer a piece to the chess board? < 1371238771 399914 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :They are bear off. < 1371238803 575429 :Taneb!~nathan@host-92-30-133-51.as13285.net JOIN :#esoteric < 1371238818 7123 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :O no wait, I was wrong. < 1371238828 870722 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Chess pieces captured in chess board are removed from the game. < 1371238831 722926 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :I'm feeling somewhat better than I was before < 1371238861 120138 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Only stones, not chess pieces, are placed in jail when captured from chess board. < 1371238867 180440 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is this understandable now? < 1371238900 148835 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1371239124 290139 :epicmonkey!~epicmonke@188.134.41.113 JOIN :#esoteric < 1371239419 520307 :fizzie!fis@unaffiliated/fizzie QUIT :Ping timeout: 264 seconds < 1371239492 798340 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I wonder when lambdabot will have lenses again < 1371239498 292926 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Damn you hashable < 1371239560 80714 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric ::t \f (a, b) -> fmap ((,) b) (f a) < 1371239561 836303 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Functor f => (t -> f a) -> (t, a1) -> f (a1, a) < 1371239602 194692 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric ::t \f (a, b) -> fmap ((,) a) (f b) < 1371239603 799959 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Functor f => (t -> f a) -> (a1, t) -> f (a1, a) < 1371239639 100617 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb Taneb Taneb < 1371239656 354389 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :I AM MANUALLY ADDING LENS TO LAMBDABOT SO HELP ME GOD < 1371239660 921687 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :@let _2 f (a, b) = (,) a <$> f b; _2 :: Functor f => (a -> f b) -> (c, a) -> f (c, b) < 1371239662 553822 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Defined. < 1371239678 311900 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :r u ok < 1371239690 69006 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can you view my sequent calculus of Turing machines now? Please tell me if there is a mistake! < 1371239699 997337 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let type Lens s t a b = forall f. Applicative f => (a -> f b) -> s -> f t < 1371239700 88317 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Parse failed: TypeOperators is not enabled < 1371239710 44110 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thanks a lombdabot < 1371239723 17064 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :do you even need a forall there < 1371239733 547127 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let type Lens s t a b = Applicative f => (a -> f b) -> s -> f t < 1371239735 340825 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Defined. < 1371239737 480627 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ew < 1371239737 922631 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :You know, one could probably fork, and open a pull request with the Trustworthy stuff < 1371239740 361844 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :disgusting < 1371239745 938542 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric ::t \l f -> runIdentity . l (Identity . f) < 1371239748 7155 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :((a1 -> Identity b) -> a -> Identity c) -> (a1 -> b) -> a -> c < 1371239768 841210 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :good type < 1371239782 190414 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I thought Lens was Functor < 1371239787 667263 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :@ let over l f = runIdentity . l (Identity . f); over :: ((a -> Identity b) -> s -> Identity t) -> (a -> b) -> s -> t < 1371239789 505426 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Lemme check < 1371239793 18815 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :@let over l f = runIdentity . l (Identity . f); over :: ((a -> Identity b) -> s -> Identity t) -> (a -> b) -> s -> t < 1371239794 441527 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :shachaf: btw three men is p. good < 1371239795 134008 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Defined. < 1371239803 532554 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :> over _2 (+ 1) (1, 2) < 1371239804 742212 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: what about the boat and the dog < 1371239807 286388 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1371239809 352980 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :> over _2 (+ 1) (1, 2) < 1371239810 387086 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :the dog's good < 1371239814 26200 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1371239814 904697 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :not sure re: the boat yet < 1371239818 121639 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :OH NO < 1371239823 765842 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :di you only read chapter 0 < 1371239823 982651 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :" type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t" < 1371239833 161701 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oops. < 1371239833 745537 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i'm on chapter: iii < 1371239838 708796 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did I really write Applicative? < 1371239839 801718 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Habit. < 1371239847 267926 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@undefine < 1371239847 366809 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Undefined. < 1371239848 697189 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Applicative would be a traversal I think < 1371239855 712179 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let type Lens s t a b = Functor f => (a -> f b) -> s -> f t < 1371239856 509138 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Defined. < 1371239867 667278 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let _2 f (a, b) = (,) a <$> f b; _2 :: Lens (e,a) (e,b) a b < 1371239868 754768 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Defined. < 1371239881 145010 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let over l f = runIdentity . l (Identity . f); over :: ((a -> Identity b) -> s -> Identity t) -> (a -> b) -> s -> t < 1371239881 994949 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Defined. < 1371239883 522100 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Did that just undefine everything? < 1371239896 307150 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :no, he's just redefining _2 w/ his fancy-ass type < 1371239908 825339 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, it did just undefined everything. < 1371239917 624010 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :o well < 1371239919 70193 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let view l = getConst . l Const < 1371239919 742159 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Defined. < 1371239920 971469 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty view < 1371239921 653976 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :((a1 -> Const a1 b1) -> a -> Const c b) -> a -> c < 1371239937 113457 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> view _2 (over _2 (*5) ("hi",20)) < 1371239938 244194 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> view _1 (3,4) < 1371239939 632226 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Not in scope: `_1' < 1371239939 703980 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Perhaps you meant `_2' (line 126) < 1371239940 809860 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 100 < 1371239965 245844 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :> over _2 (*5) ("test",19) < 1371239968 739519 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : ("test",95) < 1371239973 221438 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :nice < 1371239979 772617 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Why did my view not work? < 1371239991 848356 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For the reason lambdabot said. < 1371239992 966837 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :because _1 doesn't exist < 1371239996 309107 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Oh, you didn't define a _1 < 1371239999 265173 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> view _2 (3,4) < 1371240005 104466 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1371240074 883945 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> view _2 (3,4) < 1371240078 341560 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 4 < 1371240084 974364 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :/msg lambdabot > view _2 (3,4) < 1371240152 210894 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :@let _1 f (a, b) = (,) b <$> f a; _1 :: Lens (e,a) (e,b) b a < 1371240152 705221 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : .L.hs:128:19: < 1371240152 829239 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Could not deduce (e ~ a) < 1371240152 900962 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : from the context (Functor f... < 1371240267 703856 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :_2 seems a bit easier to define than _1, because of how fmap works with tuples < 1371240741 242932 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :...isn't any occupied type a terminal object in Hask? < 1371240759 920265 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"occupied"? < 1371240771 450186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Any type with one inhabitant is. < 1371240793 772076 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :Ah, there's a word "single" that I was missing < 1371240800 510408 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :And I meant inhabited < 1371240802 544257 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :And I was wrong < 1371240808 157304 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :Yay learning < 1371240812 849047 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yearning < 1371241014 292691 :epicmonkey!~epicmonke@188.134.41.113 QUIT :Ping timeout: 264 seconds < 1371242146 202902 :fizzie!~fis@unaffiliated/fizzie JOIN :#esoteric < 1371242238 632835 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think the Turing machine sequent calculus could be consistently combined with classical logic; last time I think I made a mistake when I said it can't. < 1371242837 397500 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :I should probably play Kerbal Space Program < 1371243047 540141 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :Except a) I cannot find my bank card and b) I have exams happening < 1371243876 159561 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Oh, you can improve that CM sketch thing if you only need to allow adding, rather than deleting. < 1371243952 120658 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :O no, even though Turing machine and classical logic together might be consistent, it isn't very useful for this purpose because any of the pieces of the tape might spontaneously lose data and be reset to the default symbol. < 1371244000 282004 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Maybe it is useful if you want to make that kind of Turing machine, perhaps...... < 1371244004 415850 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1371244038 843158 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :itsy, did anyone give you an answer to your riddle? < 1371244041 723758 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what is CM sketch thing < 1371244054 100228 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :count-min < 1371244057 324460 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh right < 1371244068 10464 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what do you do if you don't allow deleting < 1371244143 796420 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can compute the minimum before incrementing, and then you don't need to increment the counters that are already bigger than the new minimum. < 1371244197 899106 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1371244415 403712 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :Taneb: not yet < 1371244441 129753 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :Because I think I have an answer < 1371244444 728077 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :Shall I PM? < 1371244449 710378 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :Okay :-) < 1371244551 967943 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Whiddle? < 1371244600 79907 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: that is good for concurrent access I guess. < 1371244611 612732 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, the one with the bitwise &? < 1371244668 410916 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The one of what with the bitwise &? < 1371244688 774303 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess it wasn't a bitwise &. < 1371244702 947375 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :itsy: Please fix your IRC client to send UTF-8 instead of ISO-8859-1 or whatever it is it does. < 1371244708 949294 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: ? < 1371244714 67642 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :a and b were >= 2, right? < 1371244746 77659 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1371244755 701289 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1371244831 893789 :MindlessDrone!~MindlessD@141.70.114.121 QUIT :Quit: MindlessDrone < 1371244858 971889 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :reducing the number of increments < 1371244911 882227 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :I guess a and b coul be 1,13 and 4, then < 1371244917 863839 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :lol oops. < 1371245126 492221 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :http://plv.csail.mit.edu/bedrock/ this seems this-channel-y. < 1371245151 434974 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://wrongquestions.blogspot.co.uk/2008/07/dark-knight.html you know i really am glad i found this thing < 1371245206 464973 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: cool < 1371245844 53191 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1371245900 757556 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Bike: It may be the good idea. I like this ideas. Does it mean this "cross-platform machine language" can be compile into others? Can it work with self-modifying code? etc? < 1371245912 99234 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :beats me < 1371245998 887226 :Taneb!~nathan@host-92-30-133-51.as13285.net QUIT :Quit: Leaving < 1371246055 569149 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I thought of some kinds of extended sequent calculus, such as one where rules have priorities assigned and you are not allowed to use any rule unless there isn't any available rule of a higher priority, and rules with side effects, and possibly other things. < 1371246138 581863 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What kind of strange logic can be made up with such things? < 1371246675 739992 :`0x00!~ping@unaffiliated/0x00/x-2550036 JOIN :#esoteric < 1371246682 288388 :`0x00!~ping@unaffiliated/0x00/x-2550036 PART :#esoteric < 1371246708 812293 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why did they leave with such a nick they should fit right in < 1371246735 913250 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i had a dream that there were a bunch of `olist updates < 1371246763 631314 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you were probably just trapped by that illusion spell in the recent one < 1371246787 567570 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :probably < 1371246826 180897 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :should i have realized ))oh wait there are never a whole lot `olist updates at once(( and thereby become unillusioned < 1371246827 639775 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :two and six? < 1371246854 322399 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well there was several in a row earlier this year < 1371246857 237408 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*were < 1371246876 926050 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but not at once < 1371246955 185777 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :no, what am i thinking. < 1371246968 94850 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :no wait two and six should work. < 1371247092 578372 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: yes well he got paid a million dollars to do those nine in a row < 1371247112 3972 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 1.2e6 / 9 < 1371247112 882845 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 133333.33333333334 < 1371247124 203458 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kind of expensive imo < 1371247126 531079 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pretty good pay < 1371247134 527155 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that too < 1371247191 928148 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :could have got awkward if he had had to stop after eight on the first try < 1371247348 752088 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait is lambdabot notifying of messages in private now < 1371247357 56836 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1371247360 226220 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and in the meanwhile armikrog isn't even at its goal :'( < 1371247370 706400 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :itsy: is it two and six this is bothering me now agh < 1371247371 912167 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what's armikrog < 1371247401 88812 :oerjan!oerjan@sprocket.nvg.ntnu.no NICK :oerjan_ < 1371247423 767562 :oerjan_!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait this won't work < 1371247428 989535 :oerjan_!oerjan@sprocket.nvg.ntnu.no NICK :oerjan < 1371247436 57169 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :Bike: so Pat knows the product 12 and Sam knows the sum 8. < 1371247455 557675 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :right < 1371247467 155167 :oerjan_!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1371247476 37059 :oerjan_!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell oerjan Hi < 1371247476 133529 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1371247477 420619 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :sam thinks it's 2,6 or 3,5 but if it's 3,5, Pat would know them from their product < 1371247486 449244 :oerjan_!oerjan@sprocket.nvg.ntnu.no QUIT :Client Quit < 1371247492 856312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ho hum < 1371247560 671406 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@tell oerjan yoerjan < 1371247560 795640 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1371247574 184355 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages < 1371247594 634644 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :12 could be 2,6 or 3,4 so Pat doesn't know. < 1371247596 419428 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@list messages < 1371247596 502392 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :tell provides: tell ask messages messages-loud messages? clear-messages < 1371247649 249355 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why not 1,7 hth < 1371247662 458518 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why not -5,13 hth < 1371247699 331848 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :I thought they were restricted to be between 2 and 99. < 1371247738 843480 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :If Sam knows the sum is 8, a and b could be 3 and 5. If they're 3 and 5, then Pat has the product 15 and can calculate a and b. Sam knows that Pat doesn't know the answer, but if the sum is 8, Pat might know... < 1371247757 880523 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :right. < 1371247768 809959 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :so did i get it right or what. i need riddle cred. < 1371247784 625738 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :alt. answers include: 7 and 37 and Sam and Pat are just not good at math < 1371247887 476717 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :Bike: all possible a and b pairs that add up to the sum must contain at least one composite number. Otherwise Sam can't possibly know that Pat doesn't know the answer. < 1371247909 237477 :nooodl!~nooodl@91.176.143.184 PRIVMSG #esoteric :" 12 could be 2,6 or 3,4 so Pat doesn't know." <--- i read these as decimal numbers and was very confused hh < 1371247913 503822 :nooodl!~nooodl@91.176.143.184 PRIVMSG #esoteric :hth hth < 1371247936 825453 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :your own fault for living in a country with dumb decimal formattign < 1371247940 180356 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*formatting < 1371247952 509960 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :I thought Sam knew Pat didn't know the answer because he said so < 1371247959 837392 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hope that helps when proceeded by its quotation < 1371247973 30930 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :preceded < 1371247974 955209 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :whatever the fuck < 1371247979 753566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hope never helps < 1371247983 370139 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::( < 1371248012 301288 :nooodl!~nooodl@91.176.143.184 PRIVMSG #esoteric :Phantom_Hoover: do you know how we write tuples < 1371248044 175981 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :!a"$%b* < 1371248073 773935 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :£ doesn't actually exist outside .uk < 1371248078 548148 :nooodl!~nooodl@91.176.143.184 PRIVMSG #esoteric :if there aren't any decimals in any of the numbers it's just (1, 2) < 1371248079 139129 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no one has fonts for it < 1371248085 853752 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :@let (£) = (,) < 1371248085 995742 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : Parse failed: Parse error in pattern: � � < 1371248090 252752 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ffffffffffffff < 1371248093 485834 :nooodl!~nooodl@91.176.143.184 PRIVMSG #esoteric :if there are, you gotta write (1,2; 3,4) < 1371248109 539568 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :we can land a man on the moon but we can't make a haskell eval bot that handles non-ASCII characters < 1371248125 642190 :nooodl!~nooodl@91.176.143.184 PRIVMSG #esoteric :also some people (even books) use . instead of \cdot to mean multiplication hth < 1371248132 990295 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: i bet it'll handle iso-8859-1 < 1371248134 564569 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hth < 1371248138 845536 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :nooodl: typewritten ones? < 1371248139 999358 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :well, people do that in americaland too. < 1371248146 518627 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :What value are a and b? < 1371248146 625600 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :2 <= a <= b <= 99 < 1371248146 698016 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :Sam knows the sum a + b. < 1371248146 698186 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :Pat knows the product a * b. < 1371248146 698295 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :Sam says: "I don't know a and b. I also know that you don't know." < 1371248147 178989 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :Pat says: "I do now!" < 1371248147 323455 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :Sam says: "So do I." < 1371248147 429005 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :I mean, they suck, but they do it. < 1371248151 583338 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :publishing maths before LaTeX was grim < 1371248157 289993 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :Oh. < 1371248169 950832 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :Too complicated for me < 1371248177 802376 :nooodl!~nooodl@91.176.143.184 PRIVMSG #esoteric :nope, actual modern typeset books < 1371248285 102100 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i heard a story about some pre-latex textbook where the guy wrote "bla bla bla \epsilon" and then had a footnote at the bottom saying "\epsilon should be as small as possible" < 1371248312 966645 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :which the printers interpreted as an instruction to print the epsilon really tiny < 1371248315 797233 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: hey ghc is more complicated than all the moon landing software combined, of course it's harder hth < 1371248357 199911 :nooodl!~nooodl@91.176.143.184 PRIVMSG #esoteric :Phantom_Hoover: that's cute < 1371248385 177312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good story < 1371248403 268835 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Phantom_Hoover: one of the traditional student songs here has a "but bigger!" in the middle because of an instruction the printers missed < 1371248411 373141 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :(that's the story anyway) < 1371248435 971214 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: Publishing maths works fine without LaTeX if you have Plain TeX + AMS fonts, or even AMS-TeX. (I suppose LaTeX might not be good enough either for some things, unless you are using AMS-LaTeX.) < 1371248542 145389 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Actually, even Plain TeX alone has many math fonts, although sometimes you might want to add AMS fonts) < 1371248569 256355 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :olsner: clearly we are approaching someone making a limerick made solely out of proofreading notes < 1371248615 341591 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oerjan: obviously < 1371248807 595748 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1371248847 873561 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : first define determinants on matrices over a field F axiomatically as: alternating multilinear function (F^n)^n -> F s.t. det(I) = 1 <-- did you remember to prove that exists twh < 1371248877 404428 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also you only need F to be a commutative ring iirc < 1371248978 294299 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1371248982 134045 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :"i forgot that part" < 1371249184 949662 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What do I do with an old expired passport? < 1371249206 792956 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Sell it to someone as a fake passport. < 1371249250 696238 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But the corners are cut to mark it as expired. < 1371249579 648991 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Honest Shachaf's Fake Passport: We cut corners and pass the savings on to YOU! < 1371249662 871919 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1371249678 766938 :Candy92!~alex@78.159.223.150 JOIN :#esoteric < 1371249688 761603 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I AM MANUALLY ADDING LENS TO LAMBDABOT SO HELP ME GOD <-- finally snapped? < 1371249700 722052 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey oerjan did you ever learn lens < 1371249735 76399 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :somewhat < 1371249839 572212 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://oerjan.nvg.org/esoteric/emmental/EmmUnl.hs < 1371250263 689899 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :newPosMap ^. mapping swapped? < 1371250538 860694 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, what about that? < 1371250614 23202 :nooodl!~nooodl@91.176.143.184 PRIVMSG #esoteric :oerjan: nice weed function < 1371250710 879980 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...too tired to read my own code :/ < 1371251012 623424 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :Sam knows that Pat doesn't know: therefore the number Sam knows is not the sum of two primes. (A, B, or both are composite) < 1371251012 739055 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :Pat figures out the numbers now he knows Sam knows he doesn't know: therefore there's only one way to factor the product Pat knows into two numbers whose sum is not also the sum of two primes. < 1371251012 810982 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :Sam figures out the numbers now he knows Pat knows them: therefore there's only one pair of number which add up to the number Sam knows whose product can be factored into two numbers whose sum is not also the sum of two primes. < 1371251018 957284 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :Or something... < 1371251048 749045 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :just write it out in lens < 1371251049 992655 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right that's what the weed functions did < 1371251142 491572 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Lost terminal < 1371251159 998331 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :bye < 1371251178 181967 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1371251180 948782 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :hi < 1371251182 347209 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :grmbl < 1371251194 732184 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1371251223 165612 :hagb4rd!~perdito@koln-4db409f7.pool.mediaWays.net PRIVMSG #esoteric :http://abload.de/img/dit83b2d.jpg < 1371251228 884825 :hagb4rd!~perdito@koln-4db409f7.pool.mediaWays.net PRIVMSG #esoteric :sry, wrong window < 1371251260 577602 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: :D < 1371251266 929325 :hagb4rd!~perdito@koln-4db409f7.pool.mediaWays.net PRIVMSG #esoteric :hi :P < 1371251272 785121 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i was expecting illegal porn. v. disappointed < 1371251282 653949 :hagb4rd!~perdito@koln-4db409f7.pool.mediaWays.net PRIVMSG #esoteric :sry bike, next time < 1371251294 378424 :hagb4rd!~perdito@koln-4db409f7.pool.mediaWays.net NICK :partyb4rd < 1371251297 338300 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it _does_ say "fuck you" in german < 1371251300 686134 :partyb4rd!~perdito@koln-4db409f7.pool.mediaWays.net PRIVMSG #esoteric :yep < 1371251352 466573 :partyb4rd!~perdito@koln-4db409f7.pool.mediaWays.net PRIVMSG #esoteric :it's "how's your diet".."fuck you" < 1371251354 649968 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :we are amused < 1371251358 145744 :partyb4rd!~perdito@koln-4db409f7.pool.mediaWays.net PRIVMSG #esoteric :glad < 1371251362 289674 :partyb4rd!~perdito@koln-4db409f7.pool.mediaWays.net PRIVMSG #esoteric :cu laters < 1371251367 789195 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the royal +v < 1371251369 53865 :partyb4rd!~perdito@koln-4db409f7.pool.mediaWays.net PRIVMSG #esoteric :need to get out < 1371251370 33338 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: can i petition for kmc to be devoiced < 1371251382 426340 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: sure, just ask elliott < 1371251384 511174 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: his nick is designed to be three letters long < 1371251384 841965 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :it's my understanding that elliott is voice dictator for life < 1371251390 32259 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :my alignment is getting messed up < 1371251400 677755 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :petition the ad-hoc subcommittee on voicings < 1371251413 947805 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :petitionmagic < 1371251455 8500 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey remember partitionmagic < 1371251460 489074 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that was so good < 1371251461 541063 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1371251467 412879 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :remember the floppy it could make < 1371251476 215614 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1371251484 713648 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you could boot to the floppy and it had a gui and everything < 1371251504 646760 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think I had a trial version of PartitionMagic that came with Red Hat Linux 6.0 in the back of a book about Red Hat Linux 6.0 < 1371251526 644129 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: yeah like a fake Windows 95 GUI < 1371251528 319429 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it was the best < 1371251637 640300 :DANIELA!~yetzabeth@190.121.238.21 JOIN :#esoteric < 1371251658 669604 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`WELCOME DANIELA < 1371251661 688628 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`WELCOME DANIELA < 1371251664 230360 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :DANIELA: 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. (FOR THE OTHER KIND OF ESOTERICA, TRY #ESOTERIC ON IRC.DAL.NET.) < 1371251664 337407 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :DANIELA: 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. (FOR THE OTHER KIND OF ESOTERICA, TRY #ESOTERIC ON IRC.DAL.NET.) < 1371251665 360221 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::'( < 1371251743 507309 :nooodl!~nooodl@91.176.143.184 PRIVMSG #esoteric :nice < 1371251773 251607 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i wonder how many people have left our channel in disgust because the welcome wiki links don't work < 1371251795 575666 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`relcome works < 1371251798 705119 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :​08works:09 Welc14om02e to t10he international 02hub 07for esoteric program04ming lan12gua03ge design and de09ployment03! For m07ore inform04a09tion, ch08eck out our wi04ki: 12htt12p://esol14angs.or14g/wik08i/Ma14in_07P06age. (Fo04r the other08 ki06nd of08 e10soterica, t14ry #eso13teric07 on irc.dal.net.) < 1371251817 236523 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, except for the period. It links to [[Main page.]] < 1371251823 539116 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That sounds like a great esolang name to me. < 1371251888 799091 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Truly. < 1371252053 659319 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's a bit remarkable that no one has named something notable "main page" yet < 1371252287 86929 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1371252442 381735 :Candy92!~alex@78.159.223.150 QUIT :Quit: Leaving < 1371252757 168593 :DANIELA!~yetzabeth@190.121.238.21 PART :#esoteric < 1371253157 867668 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :today is alonzo church's \f x -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) < 1371253316 123654 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :have i mentioned that alonzo church's son dated haskell curry's daughter < 1371253323 572738 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(yes, but it cannot be mentioned enough) < 1371253330 741988 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :were they hot < 1371253361 481610 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :history does not, it seems, record < 1371253369 520516 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :shame < 1371253400 494622 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :> (\f x -> f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f(f (f x))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (*2) 1 < 1371253401 341250 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : :1:423: < 1371253401 449587 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : parse error (possibly incorrect indentation or mismatche... < 1371253407 573007 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :well fck it < 1371253424 102121 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :('th birthday) < 1371253566 183430 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :f (u (c (k (i t)))) < 1371253586 936566 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :how long can IRC channel topics be? asking for a friend < 1371253638 507428 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i started writing a more concise lambda term for 110 but ran out of give a fuck < 1371253656 508154 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :390, according to the server, which might be lying < 1371253659 394487 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :are there cool algorithms for finding the most concise lambda term for a given church numeral < 1371253670 896325 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :01:06 CASEMAPPING=rfc1459 CHARSET=ascii NICKLEN=16 CHANNELLEN=50 TOPICLEN=390 ETRACE CPRIVMSG CNOTICE DEAF=D MONITOR=100 FNC < 1371253677 860300 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :isn't it basically the kolmogorov complexity < 1371253696 578799 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically. < 1371253702 311867 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :probably < 1371253713 320631 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :so the cool algorithm is fuck you got mine < 1371253720 311364 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i guess you could do something easyish like factoring < 1371253722 653234 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok so lets say by 'most concise' i meant 'pretty concise' and only for small numbers < 1371253730 254997 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i was going to use binary < 1371253743 923223 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :log is pretty concise < 1371253777 34128 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i got it working fine with 'let' in Haskell but transforming that to lambdas fails because lambda args are monomorphic < 1371253782 974748 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :fucking types, am i right < 1371253871 986629 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :let's go shopping < 1371254008 739453 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (\d s z -> d (s (d (s (d (s (d (d (d (s (d (s z))))))))))))(\n f x -> n f (n f x))(\n f x -> f (n f x))(\f x -> x)(+1)0 < 1371254009 624160 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 206 < 1371254012 441789 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1371254035 912564 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (\d s z -> d (s (d (s (d (s (d (d (s (d (s z))))))))))))(\n f x -> n f (n f x))(\n f x -> f (n f x))(\f x -> x)(+1)0 < 1371254036 752941 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : :1:56: parse error on input `)' < 1371254044 758972 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (\d s z -> d (s (d (s (d (s (d (d (s (d (s z)))))))))))(\n f x -> n f (n f x))(\n f x -> f (n f x))(\f x -> x)(+1)0 < 1371254045 571785 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 110 < 1371254054 826416 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :v. good < 1371254133 751269 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (\d s o -> d (s (d (s (d (s (d (d (s (d o))))))))))(\n f x -> n f (n f x))(\n f x -> f (n f x))(\f -> f)(+1)0 < 1371254134 604080 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 110 < 1371254151 79912 :nooodl!~nooodl@91.176.143.184 PRIVMSG #esoteric :Phantom_Hoover: help i can't tell how joking you are < 1371254176 715454 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nooodl, i am not joking < 1371254199 133403 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i mean i might just be wrong, i am basing this off some random internet rumours < 1371254217 521931 :nooodl!~nooodl@91.176.143.184 PRIVMSG #esoteric :i can't find any citations at least... < 1371254229 26754 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :it's hard to find stuff on the personal lives of these people < 1371254234 765025 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :and don't quote me on the claim that they had a lovechild who went on to become < 1371254247 414411 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :that sounds kind of dumbassed < 1371254248 149331 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://importantshock.wordpress.com/2007/08/21/haskell-curry-yes-i-dated-his-daughter/ < 1371254260 731682 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :if you want that you can just stick with the curies, not the curries < 1371254275 5546 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :but let's face it, Bike < 1371254282 862524 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's too perfect to not be true < 1371254291 628133 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a lovechild who went on to become steve yegge < 1371254332 219050 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :a lovechild who went on to become benedict cumberbatch < 1371254340 149082 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :is that guy real < 1371254347 83852 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :are chickens real < 1371254366 851241 :nooodl!~nooodl@91.176.143.184 PRIVMSG #esoteric :oh maaaan