< 1371254401 97184 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :is nooodl real < 1371254415 829702 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :`thanks chickens < 1371254417 51916 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, chickens. Thickens. < 1371254437 139311 :nooodl!~nooodl@91.176.143.184 PRIVMSG #esoteric :no^[1] < 1371254439 481986 :nooodl!~nooodl@91.176.143.184 PRIVMSG #esoteric :[1]: http://zapatopi.net/belgium/ < 1371254611 707605 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://upload.wikimedia.org/wikipedia/commons/thumb/c/c3/Benedict_Cumberbatch_2011_(jpg).jpg/220px-Benedict_Cumberbatch_2011_(jpg).jpg < 1371254614 382615 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ok seriously < 1371254629 569043 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :how can people be so enamoured with a man who looks this posh < 1371254747 265879 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://redscharlach.tumblr.com/post/19565284869/otters-who-look-like-benedict-cumberbatch-a < 1371254827 772893 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the sherlock hair people really did a great job of making him look normal < 1371254841 75142 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the into darkness couldn't match them and it shows < 1371254956 806719 :nooodl!~nooodl@91.176.143.184 QUIT :Ping timeout: 240 seconds < 1371255291 316583 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1371255368 923492 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Active Worlds is now free < 1371255625 38594 :nooga_!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 276 seconds < 1371255806 327832 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :active worlds free, real world still pretty oppressed < 1371256428 602941 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: does +kmc indicate that your evil twin -kmc is on the loose < 1371256441 981957 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it means that he's really positive about what he's saying < 1371256464 208483 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :+kmc and *kmc form a field < 1371256474 826657 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe he is the evil twin........... < 1371256475 853008 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so like um < 1371256483 982451 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :if we collide +kmc and -cmk do we get annihilation? < 1371256495 241375 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :kmc: what;s your spin < 1371256507 403124 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: cmk- < 1371256507 743680 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe it means i'm at PLUS ONE on http://en.wikipedia.org/wiki/Shulgin_Rating_Scale < 1371256516 764705 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Fiora, i don't think you need to reverse them < 1371256521 960676 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :no you do < 1371256524 935764 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :because it's awesome < 1371256529 372219 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Phantom_Hoover: but, like, parity, right? < 1371256549 73258 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :kmc: PLUS FOUR is p. great < 1371256565 353705 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Fiora, if you're going for a quantum mechanics thing then probably < 1371256567 865422 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you have been outlogicked < 1371256583 158334 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah good description < 1371256583 292962 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :sorry I was making a bad antimatter joke ._. < 1371256631 636868 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: Did you hear of my new word, "antícheirocracy"? < 1371256637 804125 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :o_o? < 1371256641 174951 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I don't think so < 1371256672 420043 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :can you figure out what it means < 1371256682 778441 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :shachaf, is that anti-(cheirocracy) < 1371256693 436628 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no < 1371256713 256705 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :cheirocracy would be um... rule by asymmetry? < 1371256721 6713 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :anti-rule-by-asymmetry? < 1371256752 772184 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :antícheir or some variation means "thumb" hth < 1371256759 496803 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :thumbocracy? < 1371256771 919255 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :'cheirocracy' basically means 'rule by force' apparently < 1371256785 846286 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :rule by giant talking thumbs < 1371256797 413504 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :`pastelogs antícheirocracy < 1371256838 142329 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :`run ls bin/*past* < 1371256840 607951 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.509 < 1371256842 42870 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :bin/pastalog \ bin/pastaquote \ bin/paste \ bin/pastefortunes \ bin/pastekarma \ bin/pastelog \ bin/pastelogs \ bin/pastenquotes \ bin/pastequotes \ bin/pastewisdom \ bin/pastlog < 1371256843 100202 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :npt to be confused with "chairocracy", which is how Microsoft works. < 1371256890 23963 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :oh < 1371256893 43088 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :"rule of thumb" < 1371256896 432375 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :shachaf: sit in the corner < 1371256907 712078 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(remember those jokes) (nostalgia) < 1371256915 519509 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: hi < 1371256922 266352 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION exploits content type sniffing on pastes to steal all your codu.org cookies
< 1371256938 637553 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that's < 1371256942 912076 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that's amazingly amazingly horribly amazingh < 1371256965 641350 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION tries to hide her giggles while still at work
< 1371257022 409654 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :shachaf: sit in every corner < 1371257034 537574 :Koen__!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Koen__ < 1371257036 104347 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :idgi re msft < 1371257073 613966 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :@wn chairocracy < 1371257074 733698 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :No match for "chairocracy". < 1371257075 880950 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :chairs i guess < 1371257110 828097 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :republican national convention joke < 1371257115 169467 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :timely < 1371257137 410926 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: "oldskool steve ballmer joke" hth < 1371257139 528468 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :or maybe a ballmer joke? < 1371257251 653042 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i'm a conservative, the only ballmer jokes i tolerate are developers < 1371257264 257700 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: how can you sit in every corner........in a perfectly round room < 1371257266 923347 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :checkmate < 1371257285 303981 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/every/the/ < 1371257349 669888 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :with the power of calculus, there are infinite corners!! < 1371257390 840044 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the power of lies < 1371257458 921706 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :oh no < 1371257472 326901 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Lost terminal < 1371257511 765480 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :czechmate < 1371259125 636582 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Eep. Saw an ad for Monster and confused it for Monster Cable for a second < 1371259257 265973 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I can't hear the mosquito tone :( < 1371259358 494710 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :does that mean you are a mosquito < 1371259375 884565 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh no < 1371259377 960297 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is that why < 1371259459 754898 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that would be sad because mosquitoes do not live very long < 1371259600 457296 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :he's a long-lived mosquito < 1371259622 145529 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :trying to think of a way to link this to the picture of him in a blood costume < 1371259677 464049 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :mosquito tone? < 1371259688 75667 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :The one you can only hear until you're 20-something < 1371259694 735449 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :popular as a ringtone among teenaged fuckheads < 1371259715 482180 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :those bastards, making it so i can't be annoyed by their phones < 1371259729 611520 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i want a ringtone based on the shepard tone < 1371259736 550669 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(s/the/a/????) < 1371259742 797979 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe i should make one < 1371259746 150921 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you should make one < 1371259748 104509 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :using sox maybe < 1371259757 114631 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or just like 'write a c program' < 1371259759 986735 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh < 1371259777 168076 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it says that 18-24 can only hear up to ~16khz but I can hear the hihgest 18khz one fine < 1371259783 573792 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I guess this means I'm actually 17 < 1371259787 58345 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :my fortune cookie fortune: "☺ Handsome is that handsome dose. ☺" < 1371259788 328696 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :it varies < 1371259788 436630 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sic < 1371259799 87781 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: maybe your headphones are broken < 1371259819 924116 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :kmc: it's annoying because then they set it off in class and the other students have to convince the teacher that somebody's being a dick < 1371259838 727161 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shrug < 1371259843 357210 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :let them work it out amongst themselves < 1371259845 497571 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :stanford prison style < 1371259865 466010 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :a good precedent < 1371260060 186292 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Tritone_paradox hm i didn't know the absolute pitch bit < 1371260472 917441 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The computer program's strategy seems to always attack 74-gun ships. My strategy is to attack whichever ship the opponent has less of, and to otherwise attack many ships instead of always the same one (using 74-gun ships when attacking many and 64-gun ships when focusing my attacks on heavily damaged ships), making refit and extra damage cards worse for them. < 1371260609 731133 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : it says that 18-24 can only hear up to ~16khz but I can hear the hihgest 18khz one fine < 1371260634 206087 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :back when i was a teenage fuckhead i knew a 50-odd-year-old who could hear it < 1371260639 956896 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it was baffling < 1371260667 613333 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :the chosen one... < 1371260831 707991 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"Episode 1 will be released to the public in: < 1371260831 780134 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :13 minutes " < 1371260839 268764 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The seconds I guess I didn't manage to copy < 1371260846 225740 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(Episode 1 of RvB season 11) < 1371260899 375456 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :no no no don't justify it I will use this as proof I'm not old yet <.< < 1371260928 686029 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: do you win with this strategy? < 1371260939 866160 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: you're older than i am, therefore you're old < 1371260942 496193 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's very simple logic < 1371260959 459586 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :;_; < 1371260967 26381 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: Not always, but it seems to help a bit. < 1371261018 542057 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Note that you can only make one attack per turn, and only attack one ship per turn, too. Also, some cards cause your own ships to catch fire and hit icebergs and sink and whatever.) < 1371261086 631126 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Phantom_Hoover: The quoted figures are probabilistic. < 1371261099 13120 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :The typical 50 year old can't hear 18kHz. < 1371261101 132487 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :gosh kmc < 1371261104 236566 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :er < 1371261105 801739 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :But individual 50 year olds sure can. < 1371261107 668955 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*gosh pikhq < 1371261113 926403 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :never would've guessed that < 1371261121 69345 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :
ACTION is proud to be a provider of obvious facts
< 1371261177 285276 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :My dad thinks I might have hearing loss. I think I might have earwax < 1371261184 471694 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Take Our Internet "Real Age" Quiz (using psychoacoustic observations) < 1371261235 346061 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :
ACTION looks up tritone paradox on youtube
< 1371261252 613791 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i like how all of the demonstrations have a comment pointing out that there's an obvious discontinuity < 1371261256 51735 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`addquote <+kmc> we are amused <+kmc> the royal +v < 1371261259 719859 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1052) <+kmc> we are amused <+kmc> the royal +v < 1371261272 942222 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you can't... addquote yourself/ < 1371261277 782852 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :However, if they have an equal number 74-guns and 64-guns, attacking the 74-guns ships is usually better since those ships can cause more damage with an attack. However, you need the correct 74-gun broadside or 64-gun broadside card for a kind of ship to attack, so if you think they have all 64-guns cards and the deck has mostly 64-guns cards then try attacking 64-guns ships. < 1371261282 294933 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :kmc: i assume the age test works by playing "Satisfaction" and "Runaway" back to back and asking which is "real music" < 1371261296 820288 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it is my royal prerogative < 1371261305 777841 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: what if we don't know what either of them are < 1371261315 767792 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :Fiora: you nerd < 1371261322 951227 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :sorry < 1371261328 347306 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :(you've probably heard both of them at some point though) < 1371261338 556931 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :I don't know Runaway. < 1371261340 290315 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: have you considered that that's pretty rude to say all the time < 1371261344 390265 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Definitely know Satisfaction though. < 1371261345 7066 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :No < 1371261353 166617 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :pikhq: "Let's have a toast to the douchebags" < 1371261354 1377 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i only know satisfaction from the sr3 soundtrack < 1371261361 94610 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :wikipedia finds like 15 songs called runaway < 1371261366 173009 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i like a fair amount of music that was recoded decades before my birth < 1371261367 535250 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I guess satisfaction is the rolling stones one? < 1371261371 707236 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i assume it's the kanye west one? < 1371261375 808258 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :That'd be the one, Fiora. < 1371261379 582372 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :Yes < 1371261379 870758 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ahahaha < 1371261384 304544 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :runaway is... a ... del shannon song? < 1371261387 17940 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :from 1961 < 1371261395 454689 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :laughing < 1371261402 561358 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :r u ok < 1371261405 481961 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :??? < 1371261430 264401 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i won't lie, i'm very confused < 1371261441 782903 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As they say, "a good composer is a dead composer" < 1371261452 263572 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :a decomposer < 1371261494 279616 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i was just making a joke about old people not liking rap < 1371261497 425417 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :can't say that went well tbh < 1371261523 109088 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What if you think both or neither of them is "real music"? < 1371261538 355812 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :You're a lich, I guess < 1371261581 60404 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :or maybe whatever Fiora is < 1371261609 583619 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :pretty sure old people wouldn't be fond of satisfaction either < 1371261707 438811 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION listens to Runaway
< 1371261730 717429 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :zzo38: what's this game that has 74-gun ships and whatnot? < 1371261763 103052 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :tswett: Ship Of The Line, on the X-BIT BBS. < 1371261785 733126 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :what am I o_O < 1371261797 840458 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Fiora: you're probably a human. < 1371261832 964073 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora is a lich? < 1371261869 890378 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I don't think so... < 1371261888 954231 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1371261916 368855 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah these are both 'real music' < 1371261931 931328 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :KMC HAS SPOKEN < 1371261935 237955 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :um, I mean, I don't think I'm a lich. < 1371261943 75278 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: HAVE SPOKEN hth < 1371261946 247538 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :well, guess kmc is a fiora < 1371261948 791535 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: Have you double-checked? < 1371261958 204980 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It could happen to you. < 1371261968 25577 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION looks down, glances under her sleeves and at her hands
< 1371261971 535827 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :liches stay the same age forever < 1371261973 971005 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :think about it! < 1371261983 234020 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION sees soft and warm "skin" that looks pretty alive
< 1371262000 474601 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"alive" is just another word for "aging" < 1371262005 431877 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric ::< < 1371262009 847867 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :are you calling me old < 1371262014 266531 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :this is getting p. creepy < 1371262018 317940 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo give it serious consideration hth < 1371262024 989057 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: you're older than you were this morning < 1371262047 446132 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :there's a song about that.............. < 1371262072 233150 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: am i right to conclude that this person in ##crypto is doing something shady AND will probably fuck up the crypto if left to their own devices < 1371262077 607458 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so i should stop helpying them < 1371262117 3763 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Am I calling you old? < 1371262134 253853 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I am pretty sure I'm not a lich though staying the same age forever would be pretty nice < 1371262134 325643 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38 is timeless < 1371262148 562037 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe zzo38 is yoda < 1371262155 830012 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: I'm not sure whether what they're doing is shady, but I doubt they'll get their cryptography thing right no matter what. < 1371262166 443532 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Mostly because they seem to be trying to do something impossible? < 1371262171 614049 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :what is their cryptography thing < 1371262174 555047 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i like impossible somethings < 1371262185 84311 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: have you considered lichification < 1371262193 496236 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I don't really know how to do that :/ < 1371262200 899282 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I also kind of like being alive at least somewhat < 1371262200 971283 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Staying the same age forever would be pretty stupid. < 1371262232 77893 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Have you ever tried any of the alternatives? < 1371262242 135889 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I don't think any of them let you go back < 1371262248 156920 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Imo if you did that, you would only exist for a single instant hth. < 1371262250 230465 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :um < 1371262261 865651 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :resurrection? reïncarnation? etc < 1371262269 949068 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lots of options < 1371262271 663529 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :a-anyways um I don't think this is really a comfortable subject but < 1371262287 353735 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok < 1371262372 855144 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey why aren't you in ##fiora "the good channel for fiora discussions" < 1371262384 500772 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :because nobody ever really talked there or anything... < 1371262400 650764 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :um < 1371262404 756644 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :some people did < 1371262422 886924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :obviously they only talk when you aren't there hth < 1371262438 989038 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :shachaf: oh, by the way, did you hear about summa technologica coming out in english. < 1371262448 441994 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :technoligiae < 1371262451 593793 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :god i hate latin < 1371262454 688273 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gimme summa that technologica < 1371262479 117300 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*o < 1371262515 686850 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: Nope. < 1371262668 16511 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :shachaf: http://thenewinquiry.com/essays/the-art-of-conjecturing/ < 1371263251 250619 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :I have "Runaway" stuck in my head now. < 1371263400 500743 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: did you read _The Door Into Summer_ < 1371263451 737328 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1371263509 858462 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :shachaf, imo read banks? < 1371263560 327613 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Phantom_Hoover: imo why < 1371263594 402722 :Nisstyre-laptop!~yours@oftn/member/Nisstyre NICK :Nisstyre < 1371263594 814205 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :imo because his books were very good < 1371263677 779332 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I thought of something, if you have a logic which you add another symbol and a rule to introduce it: ${}\vdash x\over{}\vdash\natural x$ where x is any single formula. Is there such things? < 1371263706 189114 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Phantom_Hoover: imo which books < 1371263712 538306 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :uh < 1371263725 924745 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :start with player of games, read use of weapons after that < 1371263738 583587 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Phantom_Hoover: imo i'll give you my address and you can mail me a book and i'll read it hth < 1371263944 868148 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :How much will the postage cost? < 1371263952 758629 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Also, how much will the book cost? < 1371264000 772036 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure. < 1371264023 747559 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I could send Phantom_Hoover a book in exchange if he wants. < 1371264040 806196 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i know better than to trust you with my address shachaf < 1371264216 544131 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1371264366 13155 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: i didn't < 1371264391 648934 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :@ask phantom_hoover why not just lie about your return address < 1371264391 959889 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1371264410 61104 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :it's like he's never even mailed antrhax bombs before, honestly < 1371264617 76851 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :he prefers bricks afaiu < 1371265332 39308 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :A terminal object is an initial object in the opposite category hth. I'm in #tswett and I have been nearly continuously for two months. < 1371265355 486414 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :help < 1371265358 907308 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tswett: ? < 1371265375 816799 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc knows all about terminal objects < 1371265380 374972 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :from working on mosh < 1371265394 471959 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Bike: hth < 1371266011 426341 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :c.c < 1371266018 480308 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or should i say v.v < 1371266039 308311 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :?? < 1371266041 771015 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's v.v < 1371266045 951499 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :downcast < 1371266065 809457 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do you need rtti for that < 1371266221 295406 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1371266771 769853 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: hey your city has the fancy gunshot location system doesn't it < 1371266782 746505 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :does it? < 1371266789 763092 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i heard a gunshot outside the other day < 1371266802 480592 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :what's that < 1371266804 688193 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i don't know about a system, though < 1371266807 371433 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah i think http://www.shotspotter.com/ was developed in Menlo Park and deployed in EPA < 1371266812 750311 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :one of the first deployments I mean < 1371266817 276647 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: do you know where it came from < 1371266847 35678 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no < 1371266854 841696 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What happens if you have both pull-up resistor and pull-down resistor on the same thing? < 1371266954 943708 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you waste energy < 1371266998 313141 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wow that's pretty rude kmc < 1371267001 486881 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, I would certainly think so, but what would be the logical result? < 1371267004 189082 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38 is not waste energy < 1371267040 968409 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if you have +5V -/\/Ra\/\- input pin -/\/Rb\/\- GND then the voltage at the input pin is 5 * (Ra / Rb) < 1371267071 968576 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :wow, i've found something that looks worse linearly than math. < 1371267074 226209 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :each logic family (e.g. TTL, CMOS) specifies a range of valid input voltages for a 0 and another range for 1 < 1371267092 166484 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if the input pin voltage falls outside both of those ranges then it's Undefined Behavior < 1371267104 405449 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :O, so it depends on the logic family of electronics. < 1371267116 111948 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes, and the size of the resistors involved < 1371267124 980341 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :where by 'size' i mean 'resistance' < 1371267236 856708 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :well the actual analog behavior is well defined innit < 1371267263 994904 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The analog behavior is the calculation like 5 * (Ra / Rb) and so on I guess < 1371267289 694660 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :who needs logic when you have electrodynamics < 1371267295 335903 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If this is the calculation then it must be 5 if it is equal, I guess. < 1371267350 178984 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But, maybe there won't be enough current or enough power or impedance or whatever? Are those necessary too? < 1371267401 921024 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :isn't that just two resistors in series? that can't be very taxing. < 1371267939 419319 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :for resistors, impedance and resistance are the same thing < 1371267963 866017 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :as for current, you need very little current to shove a CMOS input around. other logic families may vary < 1371267976 167653 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm too young and too shitty an EE to know anything about other logic families ;P < 1371268059 1155 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :man AC circuitry is way hard isn't it < 1371268070 308886 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :fckin complex arithmetic < 1371268079 296494 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :complex arithmetic ain't shit < 1371268088 224110 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :quaternions 4 lyfe < 1371268508 98186 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :fucjk i can't even tell you how a transistor works < 1371268689 135329 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :the guy who invented them got /two/ nobel prizes i think i'ts ok if you're not on that level dude < 1371268701 408358 :SingingBoyo!~brandon@d154-5-184-233.bchsia.telus.net JOIN :#esoteric < 1371268715 861484 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :who shockley? < 1371268733 27883 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :bardeen < 1371268745 98866 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh that guy < 1371268749 932154 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :good for him < 1371268751 414473 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :My electronics teacher in school once tried to explain how a transistor works, but didn't do a very good job of that or of most other things. Some of the students weren't very good at it either. The teacher once said the simplest atom is the water atom, and had a schematic for blinking lights, which was wrong in a few ways. < 1371268751 741120 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :"the balding guy" < 1371268761 264712 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shockley was an asshole anyway < 1371268772 631098 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :lol eugenics advocate huh < 1371268776 346296 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yep < 1371268805 225804 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :There was an extra wire, and the transistors were labeled T1 and T2; I told him they should be Q1 and Q2 but he didn't believe me. I built it as it was, and mine didn't work even though the other students had it working. And then, I realized that the schematic was wrong so I had to cut one of the traces, and then it worked. < 1371268843 590366 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i read a nice book debunking a lot of racist stuff the other day < 1371268851 948486 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :and eugenics i guess < 1371268860 648691 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :published 1911 "very influential" < 1371268889 284877 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :do they claim that eugenics doesn't work < 1371268891 108390 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or just that it's bad < 1371268900 739146 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :that it doesn't work < 1371268903 299307 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The teacher gave us resistors from some container with various resistors. Some of us had resistors with five or six bands, and he told us to discard them because they were diodes and not resistors. < 1371268907 788744 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :why not < 1371268937 715381 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :the main comparison i remember that i thought was interesting was that when you compare it to livestock breeding, the major difference is that livestock are bred not only to have traits but also to have those traits breed true < 1371268948 836649 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :which is not true in human populations except for very weird situations < 1371268964 47195 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What kind of very weird situations? < 1371268968 714087 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :interesting < 1371269049 333064 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :zzo38: the example given was some german (maybe? i forget) population that was "bred" for being spearmen and they got taller over time, or something likee that < 1371269086 75669 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :there's also all the problems about heritability of intelligence, i guess, but IQ stuff wasn't very well developed in 1911 anyway < 1371269105 451410 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i haven't read Mismeasure of Man but i'd probably recommend that on that topic < 1371269146 107204 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :it's certainly not as simple as "kids born to smart parents are guaranteed to be smart" or the same with s/smart/dumb/ < 1371269149 62637 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I suppose if they want to do that they can, but they should only do it voluntarily. If you do not want to be bred then you shouldn't. Also, it is more complicated than just that; a lot of these traits aren't done like this anyways. < 1371269164 948694 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :not even remotely, no < 1371269183 15173 :TeruFSX2!~TeruFSX@65-128-175-59.mpls.qwest.net JOIN :#esoteric < 1371269191 748668 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :another thing that was very interesting was detailed information on morphological racial differences, which i'd never seen before < 1371269197 744304 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Some people may have thought it does but really a lot of it isn't. < 1371269210 51664 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :people from Tuscany have this average and mean height, while people from Rome have this (different!) average and mean < 1371269225 660769 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Eh, IQ was only really intended as a diagnostic tool for certain sorts of mental deficits anyways. < 1371269228 669360 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :er, average and std. deviation. < 1371269261 555650 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :pikhq: Well, yes, IQ works to do that, at least. Not everything else they call IQ. < 1371269271 429840 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :I also found out that native Australians are pretty distant phylogenically from other non-African populations, which I didn't know < 1371269286 942929 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :i.e. it only even functions within its design to detect disability... < 1371269293 634632 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :zzo38: Aye. People are idiots. < 1371269304 545329 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :but /how idiotic/ i need numbers pikhq! < 1371269315 119696 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: I guess that would sort of imply they came over when there was a land bridge or something and evolved for a (relatively speaking) long period without mixing? < 1371269343 883768 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :a land bridge to australia? not /that/ long ago, good god < 1371269360 764250 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :wasn't there one during the ice age? < 1371269362 929284 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :but yeah, relatively early migrants from africa < 1371269372 950146 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :because of the lower sea levels < 1371269375 641389 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I define IQ as whatever your score would be on an ideal IQ test (which cannot actually exist), where 100 is average. < 1371269381 935049 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :oh, like zealandia < 1371269383 65364 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i dunno < 1371269385 583562 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It isn't the same as intelligence even though there is somewhat related. < 1371269396 968510 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.planetaryvisions.com/thumbs_new/2226_ban.jpg < 1371269408 567156 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i thought you meant like when australia and antarctica were connected, lol < 1371269424 91206 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ohhhh no not that XD < 1371269426 95421 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :australia and asia < 1371269432 8725 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :whoa shit, i didn't know indonesia was that shallow. < 1371269509 163534 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :related but not really: malagasy is an austronesian language that is the craziest shit < 1371269571 697817 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :«It is believed that first human migration to Australia was achieved when this landmass formed part of the Sahul continent, connected to the island of New Guinea via a land bridge. It is also possible that people came by boat across the Timor Sea. The exact timing of the arrival of the ancestors of the Indigenous Australians has been a matter of dispute among archaeologists. The most generally accepted date for first arrival is between 40 00 < 1371269595 4650 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :so i guess you're right fiora. have you considered a career in paleoanthropology < 1371270013 562497 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :um... I don't think so < 1371270047 57419 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :shame, i think you've got the knack < 1371270066 729755 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I was just guessing < 1371270314 105533 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :http://www.www.extra-www.org/ < 1371270681 684265 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Oh, hey, nice. < 1371270686 808122 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :example.com resolves. < 1371270688 880823 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Didn't realize. < 1371271443 888729 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :http://24.media.tumblr.com/f5a1ce60a792a7ea198f55b208f2be57/tumblr_moes1iBMYN1r59os8o1_400.jpg the new animal ccrossing game has latex support, supposedly < 1371271506 627488 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Rhoa < 1371271508 766118 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com PRIVMSG #esoteric :*Whoa < 1371271551 285235 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i look forward to seeing advances in HoTT made by cute animal things < 1371271658 593685 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :H < 1371271660 241495 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :HoTT? < 1371271670 887184 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :homotopy type theory < 1371271680 368042 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :a thing some people in here like that i have no idea about < 1371271803 989394 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :a math thing* < 1371271832 97643 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1371271839 797950 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :main :: IQ () < 1371273135 865822 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1371273921 524389 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :crickets chirp < 1371274294 679833 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :O, now it is IQ. < 1371274332 134431 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :type IQ a = () -> IO a < 1371274343 987956 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :⸘who's the function now‽ < 1371275070 764564 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :not i < 1371275167 925370 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :kiunaf < 1371275200 204873 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :main ist keine Funktion < 1371275231 729733 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :TikZ ist kein Zeichenprogramm < 1371275649 181216 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: since bloom filters usually don't use cryptographic hash functions are there situations where you can attack them in interesting ways < 1371275654 933969 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what are they used for anyway < 1371275762 396327 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the main application I know of is reducing the number of misses on an expensive cache < 1371275815 589261 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What sort of cache? < 1371275830 800338 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :whatever sort < 1371275832 456631 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :caches anywhere < 1371275842 928287 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or any kind of lookup data structure, doesn't have to be a cache < 1371275864 220141 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :when i interviewed at Mozilla we talked about using Bloom filters to speed up the matching of elements to CSS rules < 1371276046 422643 :partyb4rd!~perdito@koln-4db409f7.pool.mediaWays.net QUIT :Ping timeout: 252 seconds < 1371276065 137782 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1371276552 930836 :SingingBoyo!~brandon@d154-5-184-233.bchsia.telus.net QUIT :Remote host closed the connection < 1371278977 396090 :Lymia!~moe@inportb/loli/cirno-chan QUIT :Read error: Connection reset by peer < 1371279606 473233 :Lymia!~moe@inportb/loli/cirno-chan JOIN :#esoteric < 1371281015 64332 :epicmonkey!~epicmonke@188.134.41.113 JOIN :#esoteric < 1371281302 180961 :Taneb!~nathan@host-92-30-133-51.as13285.net JOIN :#esoteric < 1371281413 666212 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Lost terminal < 1371282253 681786 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric : @nietzsche_ebooks < 1371282356 884063 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh my resistor equation before was wrong < 1371282381 555369 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: ^ < 1371282386 110754 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i said 5 * (Ra / Rb) meaning the voltage is 5 for equal resistors, but it should be 2.5 < 1371282397 175393 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1371282452 796851 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :point is the 5V drop is split between the two resistors linearly according to their resistances < 1371282466 485568 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hth < 1371282583 479052 :Bike!~Glossina@67-5-201-64.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1371282805 642359 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :hmm, I dreamt about greeting people < 1371282961 177251 :nooga_!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1371284263 468523 :TeruFSX2!~TeruFSX@65-128-175-59.mpls.qwest.net QUIT :Read error: Connection reset by peer < 1371286463 8368 :Lymia!~moe@inportb/loli/cirno-chan QUIT :Remote host closed the connection < 1371287611 898959 :nooodl!~nooodl@91.179.138.9 JOIN :#esoteric < 1371288223 360550 :MindlessDrone!~MindlessD@141.70.114.121 JOIN :#esoteric < 1371289954 83603 :itsy!~digital_w@46.208.44.168 QUIT :Quit: itsy < 1371290502 368056 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1371291686 114145 :Lymia!~moe@inportb/loli/cirno-chan JOIN :#esoteric < 1371292282 537039 :SingingBoyo!~brandon@d154-5-184-233.bchsia.telus.net JOIN :#esoteric < 1371292609 909656 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 246 seconds < 1371294436 504911 :SingingBoyo!~brandon@d154-5-184-233.bchsia.telus.net QUIT :Ping timeout: 240 seconds < 1371295029 121711 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@tell ais523 GHC actually goes to a lot of trouble to uncurry functions for efficiency (passing multiple arguments at once in registers and so on). Functions in Haskell work the way they do for user convenience much more than compiler convenience. < 1371295029 212706 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1371296137 274608 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :GHC does a lot work to optimise code < 1371298713 365532 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1371298765 514577 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1371301011 111511 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net JOIN :#esoteric < 1371302050 393545 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 252 seconds < 1371302760 29181 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1371302796 937298 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1371303053 941097 :augur!~augur@208.58.5.87 QUIT :Ping timeout: 240 seconds < 1371303294 77717 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1371303472 148321 :nooga_!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 245 seconds < 1371304739 179615 :augur!~augur@129-2-129-33.wireless.umd.edu JOIN :#esoteric < 1371305038 34929 :epicmonkey!~epicmonke@188.134.41.113 QUIT :Ping timeout: 276 seconds < 1371305285 995581 :itsy!~digital_w@46.208.44.168 JOIN :#esoteric < 1371306188 102836 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1371306923 159237 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :wait, wait < 1371306928 884327 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :why doesn't Gregor have voice < 1371306954 196566 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :kmc stole it < 1371306961 778768 :ChanServ!ChanServ@services. MODE #esoteric +v :Gregor > 1371306962 407189 NAMES :#esoteric < 1371306975 601133 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :thank god < 1371307308 127990 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :omg what is going on here < 1371307337 97098 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :what do you neeed that fot < 1371307343 494979 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :*for < 1371307412 713159 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :egalité mes amis < 1371307448 990483 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yes < 1371307454 415289 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :imo hagb4rd should have voice < 1371307532 6611 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :yea.. i would sing for you all night < 1371307549 873807 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :i wish i had boobs too < 1371307562 968095 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :but that's another story < 1371307678 270609 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :Is this... is this something you want to talk about? < 1371307748 481295 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :no, i want to blame kmc and gregor for their lack of integrity < 1371307802 627038 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :I don't think either kmc or Gregor make a habit of disintegrating boobs? < 1371307822 323646 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 245 seconds < 1371307871 830292 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :well < 1371307901 946050 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :no, but for real..why? < 1371307911 404298 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :is that a joke? < 1371307977 740986 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :A somewhat obtuse one, I apologize < 1371307999 791187 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :no, not you're cool attriq < 1371308018 732277 :ChanServ!ChanServ@services. MODE #esoteric +v :hagb4rd > 1371308018 775379 NAMES :#esoteric < 1371308026 95847 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :i mean why do they expose admin state? < 1371308030 292621 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :aarrg < 1371308033 744954 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PART :#esoteric < 1371308036 858461 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net JOIN :#esoteric < 1371308039 647901 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1371308039 967962 :ChanServ!ChanServ@services. MODE #esoteric +v :hagb4rd > 1371308039 990485 NAMES :#esoteric < 1371308043 921119 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :dude < 1371308045 905339 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :Boobs expose admin state? < 1371308048 448743 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :looks like it's your destiny < 1371308058 996297 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1371308060 899509 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :hi < 1371308063 229126 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :hi < 1371308067 528641 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :hi < 1371308069 892395 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hi < 1371308080 107744 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :just like the good old days < 1371308086 526258 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :too bad shachaf isn't here eh < 1371308114 124231 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :does this mean I get op? :o < 1371308127 566249 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :do you have boobs? < 1371308146 680166 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :um, yes, I guess I do? < 1371308159 943510 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :well..make my day! < 1371308161 265227 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric ::p < 1371308212 203451 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :what does that mean...? < 1371308212 310371 :nooga_!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1371308215 122063 :ChanServ!ChanServ@services. MODE #esoteric -v :hagb4rd > 1371308215 133901 NAMES :#esoteric < 1371308228 235995 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it means he doesn't get voice any more < 1371308248 958415 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :who cares about voice while having boobs < 1371308253 970612 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :okay < 1371308263 20503 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :are you drunk or something < 1371308263 885341 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :i see you just don't understand :/ < 1371308274 622205 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i mean you always sound like you're drunk, but... < 1371308285 329687 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :no.. i'm fine < 1371308296 510281 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :just chatting < 1371308313 381682 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :how are you ehirdboy? < 1371308356 589719 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :we have to work on your soft skills < 1371308377 243194 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :Is quilting a soft skill < 1371308424 270855 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :quilting, knitting, embroidery < 1371308462 583364 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :what exactly does voice do...? < 1371308475 246429 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nothing unless the channel is +m < 1371308478 150569 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh. < 1371308484 43750 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh maybe it cancels out +q too? < 1371308485 188575 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :so him getting/notgetting voice doesn't... actually mean anything < 1371308493 933998 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :no < 1371308497 942379 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :it does not < 1371308499 613687 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :I had op once < 1371308502 309942 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :but it's a stigmate < 1371308504 272309 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's a figurehead position! like the queen < 1371308512 157618 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :I kicked kmc because he was a bear < 1371308658 510607 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :`quote attention < 1371308664 594017 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :600) Vorpal: I was paying too much attention to elliott and not enough to my HP \ 1005) I've also pretended to be Queen Elizabeth the first, but that was a desperate plea for attention < 1371309069 128386 :nooodl!~nooodl@91.179.138.9 PRIVMSG #esoteric :i missed the hi < 1371309069 680396 :nooodl!~nooodl@91.179.138.9 PRIVMSG #esoteric :hi < 1371309087 802587 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1371309119 833041 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :hi < 1371309122 460191 :itsy!~digital_w@46.208.44.168 PRIVMSG #esoteric :hi < 1371309148 127454 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no < 1371309232 401812 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :hi < 1371309596 901876 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :great creepy m83 rmx by Trentemøller http://www.youtube.com/watch?v=GfyT56_kmTE ..enjoy < 1371309611 545536 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :a masterpiece < 1371309787 963832 :Tritonio!~Tritonio@77.49.108.183.dsl.dyn.forthnet.gr QUIT :Ping timeout: 246 seconds < 1371309817 78284 :Bike!~Glossina@67-5-201-64.ptld.qwest.net JOIN :#esoteric < 1371310010 818831 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1371310218 74181 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 252 seconds < 1371310292 378705 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :talking about soft skills.. do you know DISCO? http://disco-tools.eu/disco2_portal/terms.php < 1371310361 169076 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :i'm pretty good at disco dancing < 1371310410 921919 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :it may help while creating profiles, CV.. especially on the global market < 1371311401 129062 :Frooxius_!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1371311417 392553 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1371312159 341917 :epicmonkey!~epicmonke@188.134.41.113 JOIN :#esoteric < 1371312700 473203 :muslim3arby!~muslim3ar@41.234.30.211 JOIN :#esoteric < 1371312754 976838 :itsy!~digital_w@46.208.44.168 QUIT :Quit: itsy < 1371312758 649877 :muslim3arby!~muslim3ar@41.234.30.211 QUIT :Killed (idoru (Spam is off topic on freenode.)) < 1371312797 771441 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :http://www.youtube.com/watch?v=y7tt3ULj8Xg < 1371312819 444840 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :
ACTION sets mode to *screensaver*
< 1371312868 587528 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :"good music is better" < 1371313055 719860 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1371313106 890429 :pikhq!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com QUIT :Read error: Connection reset by peer < 1371313111 969354 :pikhq_!~pikhq@24-107-139-209.dhcp.stls.mo.charter.com JOIN :#esoteric < 1371313953 356737 :heroux!~heroux@5070823C.static.ziggozakelijk.nl QUIT :Ping timeout: 248 seconds < 1371314053 15167 :heroux!~heroux@5070823C.static.ziggozakelijk.nl JOIN :#esoteric < 1371314136 714580 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :When did Magnatune turn evil? < 1371314166 521793 :Bike!~Glossina@67-5-201-64.ptld.qwest.net PRIVMSG #esoteric :three thousand moons ago, on the Day of Darkness < 1371314214 862209 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Used to be able to listen to the music ad-free online < 1371314222 502849 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Used to be able to buy individual songs < 1371314225 325404 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :and albums < 1371314251 562108 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There's at least one album that relied on that < 1371314261 359861 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(On not having ads in the middle of each track) < 1371314718 757654 :Bike!~Glossina@67-5-201-64.ptld.qwest.net QUIT :Quit: abandoning elliott, wish me luck~ < 1371316704 541171 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: hi < 1371316904 868715 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :HELO < 1371316949 335296 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: do you want to see me fuck around with lambdabot < 1371316996 406175 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yeah sure < 1371317009 229024 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :#bike < 1371317092 566187 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1371317406 222129 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :What would be the best way to prove that 9 is more than 4 < 1371317494 982998 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :9 = S (S (S (S (S (S (S (S (S 0))))))))) < 1371317499 472966 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :4 = S (S (S (S O)))) < 1371317502 858391 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hth < 1371317552 371244 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :forall n, n <= n; forall m n, m <= n -> m <= S n < 1371317572 637697 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :m < n = S m <= n < 1371317581 662080 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :m > n = n < m < 1371317611 513797 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :`thanks elliott < 1371317613 393021 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Thanks, elliott. Thelliott. < 1371317624 850146 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :eagerly awaiting your proof < 1371317685 961289 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you haven't defined < and > < 1371317857 72718 :nooodl!~nooodl@91.179.138.9 QUIT :Read error: Connection reset by peer < 1371318114 718491 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: Yes, your equation for the voltage looked wrong to me too < 1371318255 150046 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: er, yes I did? < 1371318258 671697 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :in terms of <= < 1371318268 641512 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :TNT has no < and > so it is defined in terms of what it does have. TNT doesn't have <= either. < 1371318276 42940 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: perhaps my use of = confuses you < 1371318281 886238 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it was intended as a definitional < 1371318290 366714 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(m < n) := (S m <= n) < 1371318385 462763 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :a < b : exists c. a + S c = b < 1371318537 518876 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :elliott, does http://hpaste.org/89968 look right? < 1371318549 533015 :Taneb!~nathan@host-92-30-133-51.as13285.net PRIVMSG #esoteric :I am unsure how to format this kind of proof < 1371318619 529165 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Taneb: you probably need explicit quantification for the cases of each proposition, given that you say "n <= m" but then give a case for "n <= S m" < 1371318640 441038 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i also recommend using digits throughout since the nested Ses is ugly :P < 1371318642 301896 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :*are ugly < 1371318657 671433 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but sure, looks right to me < 1371319061 267927 :Taneb!~nathan@host-92-30-133-51.as13285.net QUIT :Quit: Leaving < 1371319322 342476 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Phantom_Hoover, finished season 1 < 1371319571 445506 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :very good, now watch season 2 < 1371319881 970700 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :of what? < 1371320042 50621 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :farscape < 1371321143 422426 :itsy!~digital_w@46.208.44.168 JOIN :#esoteric < 1371322127 527216 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Phantom_Hoover, finished first ep of season 2 < 1371322136 591693 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Should go out to get a haircut soon < 1371322145 155117 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Haven't had a haircut in about 9 months < 1371322154 995527 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :maybe have a haircut then < 1371322173 335058 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's so crazy it might work < 1371322224 480634 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the next time i get my hair cut well I need to take a picture and keep it on my phone so that at subsequent haircuts I can just be like "DO THIS" < 1371322251 341174 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i just go for "make it half as long" < 1371322252 387709 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm not good at describing how i want my hair cut, but i'm not very picky either < 1371322262 696817 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Did that and also had the person write down what they did < 1371322269 996900 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hair cuts are for losers, hope this helps < 1371322445 474803 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have made a sequent calculus for Turing machines; can a sequent calculus be made for sokoban, and for chess, etc? < 1371322499 284005 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i assume so < 1371322544 915307 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you should make a sequent calculus for sequent calculii < 1371322573 196913 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc having voice is so reassuring < 1371322579 369423 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :lol < 1371322598 694966 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: Do you know how to make a sequent calculus for sequent calculii? < 1371322635 761777 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: in these days of crisis it's important to have a strong leader < 1371322651 117840 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i promise to give up my emergency powers as soon as the crisis is over < 1371322653 17095 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :okay, guys < 1371322669 977513 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :something to read to really understand monads? < 1371322690 264849 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you mean in the context of Haskell? < 1371322696 40700 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :yes < 1371322710 231404 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :do you http://www.haskell.org/haskellwiki/FAQ#The_M-word < 1371322716 412161 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I understand it by understanding category theory a little bit and seeing how it is related to Haskell. < 1371322718 290410 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :lol :D < 1371322719 208711 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :er scratch the first two words of that < 1371322721 247567 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :just read my link < 1371322763 335813 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's less an explanation of monads and more an attempt to debunk various myths < 1371322778 584701 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but I think the myths and misunderstanding are usually the big obstacle < 1371322789 12014 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in the end Monad is just the name of a pretty simple typeclass in the standard library < 1371322802 380943 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: Yes, that is mainly it. < 1371322812 324206 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://monads.haskell.cz/html/index.html has some examples of different standard monads and what they can be used for < 1371322830 228058 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so do the later chapters of http://learnyouahaskell.com/chapters < 1371322840 452637 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: http://www.haskell.org/haskellwiki/All_About_Monads is canonical link i believe < 1371322843 458300 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :re monads.haskell.cz < 1371322844 354056 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1371323176 611179 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :I heard monads are like burritos or space suits full of nuclear waste. Is that true? < 1371323180 109713 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :lol :D < 1371323209 934979 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :myname: I don't think so. < 1371323253 74053 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i wrote that FAQ and i think a bit of my frustration with haskell myths shows through :3 < 1371323264 652069 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Maybe it helps some people, to understand it like that. I find to understand the mathematics of it, helps a bit more than those kind of things. However, best is to see that, it is one class used for common operations of some types in Haskell. < 1371323300 920564 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :These analogies are not helpful. See "Abstraction, intuition, and the 'monad tutorial fallacy"'. < 1371323303 924206 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: good quote nesting < 1371323314 595819 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :fuck < 1371323321 381419 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :wonder if i can blame pandoc somehow < 1371323341 320003 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :going to end kmc's career with this juicy mistake < 1371323349 443662 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nobody will ever trust him again!! < 1371323368 68664 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::< < 1371323461 664364 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :rip < 1371323486 826614 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :he might even lose his voice < 1371323506 657743 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :zzo38: well, yeah, i'd prefer understanding the mathematics < 1371323550 23749 :nooodl!~nooodl@91.179.138.9 JOIN :#esoteric < 1371323554 132328 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the special connection between mathematics and Haskell is overrated < 1371323569 350232 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :you think? < 1371323581 51196 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :one thing i like about haskell is this < 1371323582 944009 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: disagree. the idea that it is scary and mysterious and complicated is overrated < 1371323584 225772 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :myname: http://en.wikipedia.org/wiki/Monad_(category_theory) < 1371323587 939442 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but the connection is strong < 1371323603 928915 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it gets played up a lot both by detractors who want an excuse not to learn Haskell, and by excited newbies who don't know what they're talking about < 1371323607 932922 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :myname: After you read it, you can follow the link at the top of the article for more description of how it is related to computer programming. < 1371323638 278979 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :note i said 'special connection', programming in general is deeply connected to maths, but the idea that you need some huge maths knowledge to use Haskell that isn't necessary for other languages is ridiculous < 1371323660 956110 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you do need to learn new /concepts/ for Haskell but they aren't really more or less "mathematical" than other programming language concepts < 1371323668 139419 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You don't need some huge maths knowledge to use Haskell but it can help to understand it. < 1371323671 297845 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sure < 1371323674 463565 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(and I worry that mathematics in general, and the mathematics that is relevant to Haskell specifically, has its reputation harmed by being quick to decry the idea that haskell is "mathy", because it often comes out like "you don't need to know about weird category theory category morphism cococofunctors!!!!", which is just an insult to CT) < 1371323683 221228 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :there are a lot of cool connections if you want to go looking for them < 1371323700 467037 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :doesn't mean you need them to get shit done < 1371323707 280772 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :This mathematical stuff is what I like about Haskell programming < 1371323715 497834 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(and generally feeds antiintellectualism in programmer culture: someone says "haskell is scary because of the maths" and your response is "don't worry, it's not scary, no maths here" -- implicitly accepting that "maths" is a reason something can be scary!) < 1371323717 553536 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :different people like different things about Haskell < 1371323728 12711 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: fair points < 1371323743 301210 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er, generic "your", fwiw < 1371323763 134765 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :still I want to go after the idea that you need to "understand category theory" or even "understand monads" (with a small m) to use Haskell < 1371323798 4919 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I think of it more like: you can learn Haskell, and you'll be learning mathematics, because Haskell has a deep connection to mathematics and exposes you to a lot of it, whether you realise it or not. it's not additional work you have to perform to "understand Haskell", rather it's additional gain you get out of learning Haskell < 1371323806 196941 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :mm < 1371323809 444406 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this isn't to say that learning Haskell maeks you a CT whiz or whatever < 1371323826 250140 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the connections aren't as simplistic as that < 1371323846 441857 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: i agree it's an important fight < 1371323851 830395 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Well, of course you don't need to understand; actually you don't even need to understand the Monad type class except for a little bit which is how it is used with IO monad. < 1371323855 848094 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :just wish the weapons used were less heavy-handed < 1371323875 694776 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Haskell community also makes a lot of claims that don't pan out, e.g. "We can prove things in the type system! Curry-Howard!" "but isn't every type inhabited by ⊥" < 1371323898 303517 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"Haskell is a great language for static analysis!" "name one static analyzer besides the GHC typechecker" < 1371323902 428419 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sure < 1371323922 659217 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :C is a shit language for static analysis but there are loads of static analyzers for C because it's industrially important < 1371323922 962654 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(fwiw, I haven't seen anyone talk about proving things except from a newbie-asking-a-question POV, but may be sample error) < 1371323937 182875 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: "haskell is a great language for mental analysis" :) < 1371324123 413581 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but you know, engineering effort is trivial, so the fact that someone *could* write a static analyzer for Haskell is just as good as the dozens of existing static analyzers for other languages < 1371324212 542608 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's a #haskell thing for sure < 1371324243 572176 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i remember someone was talking about being tied to the JVM and the answer was like "you're an idiot for using the JVM, just write a custom compiler from all your JVM code to Haskell and get it working on your MLoC codebase on every platform" < 1371324290 526240 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :kmc, I guess other languages that would be good with static analysis, like Racket, that doesn't mean that that's a good reason to go with that approach to metaprogramming if no one is going to build tools for it... < 1371324301 571433 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Although actually, I guess Typed Racket counts < 1371324317 811965 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the Haskell tooling situation is kind of disappointing < 1371324328 40047 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the fact that the only declarative debugger is bitrotted :/ < 1371324380 243016 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: i think #haskell's problems are more mundane these days, at least :) < 1371324383 573091 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1371324392 180413 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well done new #haskell mods < 1371324393 139376 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(not necessarily a good thing :P) < 1371324399 547000 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what are the new problems < 1371324415 628437 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :okay < 1371324420 520340 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :first thing i learned < 1371324427 124502 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :category theory is strange < 1371324427 441522 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mostly noise and outright trolling, I'd say < 1371324437 440837 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :though the stereo and bad answes are still there < 1371324452 329134 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it just feels like the bad answers are more boring now :P < 1371324480 77346 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :bummer < 1371324500 688253 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well, I don't know < 1371324508 965693 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :stereo? < 1371324511 279021 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I just mean that the number of specific weird memes that people parrot seems to be decreasing < 1371324516 959328 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :perhaps inevitably as the channel grows bigger < 1371324522 5054 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :how big is it now < 1371324525 254507 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :1k users < 1371324528 135338 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :jesus < 1371324530 839621 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :1035 right now < 1371324530 910405 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't understand < 1371324533 406051 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :top 5 on freenode i think < 1371324559 246370 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway, it might just be that less popular weird memes die out and other ones grow stronger, rather than an absolute decrease in the number of weird-meme-parrotting < 1371324570 756969 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :why does a strange language that not very many people actually use have such a huge number of IRC lurkers < 1371324593 243581 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well, commercial haskell is getting more prominent, I think. especially with e.g. FP Complete and stuff now < 1371324614 653363 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: and also, Haskell has quite a strong presence in university courses < 1371324621 645071 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :guess so < 1371324622 420718 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and a lot of people join for that kind of thing < 1371324632 10611 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(sometimes in a blatantly "do my homework" for me sense) < 1371324667 477701 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :most people in the channel never talk though < 1371324675 372257 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and i think most people who show up to ask a specific question don't hang around < 1371324706 153879 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :not sure though < 1371324721 140336 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1371324872 523299 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :some of the things I complain about might just be things that happened once and really pissed me off < 1371324875 707904 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :rather than recurring patterns < 1371324882 98700 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :some of them are definitely recurring patterns though < 1371324894 195932 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you should join to refine your sample!! < 1371324942 3699 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1371325005 211139 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :worth a try < 1371325094 719828 :nooodl!~nooodl@91.179.138.9 PRIVMSG #esoteric :`? monad < 1371325096 795565 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Monads are just monoids in the category of endofunctors. < 1371325114 148904 :nooodl!~nooodl@91.179.138.9 PRIVMSG #esoteric :i should really sit down and figure out how that statement is true one day... < 1371325125 904888 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :nid wyf yn y swyddfa? that sounds similar to the "pleidol wyf i'm gwlad" from british one-pound coins < 1371325129 796754 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :`? endofunctor < 1371325131 845387 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :Endofunctors are just endomorphisms in the category of categories. < 1371325139 926177 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: it's pretty simple < 1371325145 595398 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's more correct to say they're monoid *objects*, no? < 1371325161 519598 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: i don't think so < 1371325161 591345 :nooodl!~nooodl@91.179.138.9 PRIVMSG #esoteric :i'm guessing the binary op. is >=>? < 1371325164 999465 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :eh wikipedia says they're synonyms < 1371325170 531473 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: no < 1371325171 325182 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no no no < 1371325181 794832 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :people relate the `? monad quip with (>=>) forming a monoid with return all the time < 1371325187 523604 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and it's completely wrong < 1371325196 962463 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you need to generalise your notion of "monoid" < 1371325200 277542 :nooodl!~nooodl@91.179.138.9 PRIVMSG #esoteric :oops < 1371325208 429026 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the kind of "monoid" being used here is one that exists "in a monoidal category" < 1371325222 18897 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :rather than just a value and a function in Set < 1371326575 32528 :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?" < 1371327192 275135 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :nooodl, it's like, return :: a -> (m a) is in a sense the identity element < 1371327219 555963 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :and join :: (m (m a)) -> (m a) is the monoid operation < 1371327242 820955 :nooodl!~nooodl@91.179.138.9 PRIVMSG #esoteric :whoa what < 1371327257 591501 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :return is the family of identity morphisms of the Kleisli category. < 1371327274 37527 :nooodl!~nooodl@91.179.138.9 PRIVMSG #esoteric :join isn't binary < 1371327278 274028 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no < 1371327279 529384 :nooodl!~nooodl@91.179.138.9 PRIVMSG #esoteric :maybe i should look up what a monoidal category < 1371327281 554523 :nooodl!~nooodl@91.179.138.9 PRIVMSG #esoteric :+is < 1371327292 376521 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The composition is (<=<) < 1371327303 506819 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :but it operates on (m (m a)) < 1371327313 617605 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the two m's are the binary part, essentially < 1371327342 220979 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, that part forms a monoid, too < 1371327365 218896 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :join :: (m . m) ~> m < 1371327370 341421 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mappend :: (m , m) -> m < 1371327373 570507 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or something like that. < 1371327420 254648 :nooodl!~nooodl@91.179.138.9 PRIVMSG #esoteric :ooh! http://stackoverflow.com/a/3870310 this explains it pretty well < 1371327433 216987 :nooodl!~nooodl@91.179.138.9 PRIVMSG #esoteric :"...with product × replaced by composition of endofunctors" <-- like, this is pretty crucial < 1371327477 636115 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Note that product in a monoid is also called composition. < 1371327502 545602 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I like how the answer below that is incredibly awful < 1371327504 892467 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's just in a different category. < 1371327512 331606 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway, http://blog.sigfpe.com/2008/11/from-monoids-to-monads.html < 1371327513 169470 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :read that < 1371327555 646575 :nooodl!~nooodl@91.179.138.9 PRIVMSG #esoteric :elliott: i like how it doesn't even mention the word "endofunctor" < 1371327590 875033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like how it has 81 points and a lot of people talking about how great it is. < 1371327960 549585 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, wait < 1371327968 817110 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :is <#> a standard operator or something < 1371328035 107713 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :<£> < 1371328039 921559 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Phantom_Hoover: He defines it in that article. < 1371328050 802838 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: it's defined later < 1371328072 329943 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: why are you voiced < 1371328078 238235 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :great writing < 1371328093 537314 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do you think you're better than us < 1371328102 108039 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't remember why < 1371328158 818206 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc got drunk and the next thing he knew he woke up voiced < 1371328164 559424 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or should i say he got drugz #drugz < 1371328167 740560 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :02:36 <+ion> A number of channels use +v as the idiot flag. < 1371328184 330982 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :#haskell-ops does that < 1371328199 925964 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(the joke is me and shachaf are +v in #haskell-ops, hth) < 1371328214 783087 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the joke is that ops are +v in #haskell-ops < 1371328234 579052 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is that #haskell-ops bold < 1371328242 502219 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1371328244 224396 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no < 1371328261 852663 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oops < 1371328263 742949 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it looks bold < 1371328270 475082 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :bold and daring < 1371328300 786764 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :courageous and innovative < 1371328341 494648 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ops reinvented < 1371328371 899338 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ops that respect craftsmanship (am i doing this right) < 1371328391 643888 :nooodl!~nooodl@91.179.138.9 PRIVMSG #esoteric :#haskell-ops #haskell-ops < 1371328401 904041 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :respect isn't enough you have to celebrate craftsmanship < 1371328402 670458 :nooodl!~nooodl@91.179.138.9 PRIVMSG #esoteric :do these both look bold elliott < 1371328402 889441 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :4#haskell-ops < 1371328418 532441 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i guess i did it wrong < 1371328481 264494 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: well no < 1371328485 578512 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :#haskell-ops < 1371328498 653831 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: wow did you see what Phantom_Hoover did........ < 1371328517 710989 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no < 1371328524 619229 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what did Phantom_Hoover did < 1371328528 664158 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :21:30:48 -!- Phantom_Hoover [~phantomho@unaffiliated/phantom-hoover/x-3377486] has joined #haskell-ops < 1371328529 645486 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i said oops! < 1371328531 669794 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :21:30:58 -!- Phantom_Hoover [~phantomho@unaffiliated/phantom-hoover/x-3377486] has left #haskell-ops ["Leaving"] < 1371328541 637989 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it was BLIND REFLEX < 1371328543 494691 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :all blinking text has the same frequency and phase, right < 1371328549 439528 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: unfortunately, yes < 1371328562 171843 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: next Sgeo will join.............. < 1371328568 876647 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i hear he does that < 1371328590 27945 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ok Sgeo. < 1371328591 229653 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what the fuck. < 1371328596 915520 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is wrong with you. < 1371328611 822133 :SingingBoyo!~brandon@d154-5-184-233.bchsia.telus.net JOIN :#esoteric < 1371328622 113940 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I didn't notice until you pinged me < 1371328632 592949 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I did see the topic though < 1371328634 464768 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: you should stop doing that immediately. < 1371328643 392030 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i only joined to see if Sgeo was there! < 1371328680 123461 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i assign copumpkin to ban you all < 1371328697 290953 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hagb4rd had voice too < 1371328713 455793 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: being in -ops when you're not an op is such a terrible offense................ < 1371328724 319457 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: yes < 1371328727 360628 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :imo it should be criminalised < 1371328732 940322 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :imo hagb4rd should always have voice < 1371328733 621590 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the joke is that elliott did it for months < 1371328788 102867 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :honorary op since birth < 1371328945 184056 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo: (btw the "what is wrong with you" wasn't due to the delay in joining it was due to the joining) < 1371328952 546053 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(i didn't notice your response until now) < 1371329000 142692 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :sda sda1 sdb sdb1 sdc sdc1 sdd sdd1 sde sde1 sdf sdf1 sdg sdg1 sdh sdh1 sdi sdi1 sdj sdj1 sdk sdk1 sdl sdl1 sdm sdm1 sdn sdn1 sdo sdo1 sdp sdp1 < 1371329001 667439 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Well, at least I left < 1371329009 447439 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: does your +v in this channel mean you're an op < 1371329017 75260 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in what channel < 1371329021 973337 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this channel < 1371329026 586309 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: you gotta tell me if you're an op < 1371329027 229120 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :probably not < 1371329030 233237 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haha < 1371329037 216457 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`addquote kmc: you gotta tell me if you're an op < 1371329041 658446 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1053) kmc: you gotta tell me if you're an op < 1371329121 392138 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :hagb4rd totally told me earlier that I should get op < 1371329129 808859 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :idgi < 1371329140 933393 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i don't think that is true Fiora < 1371329159 623469 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: Come on. What kind of op would you be? < 1371329167 456031 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ops need to rule with an iron fist! < 1371329173 923268 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i think that is an impressively charitable interpretation of hagb4rd < 1371329190 29666 :fizzie!~fis@unaffiliated/fizzie PRIVMSG #esoteric :The bronze fist does 9999 damage on criticals. < 1371329198 360680 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: admittedly I don't think I'd do anything < 1371329202 456098 :fizzie!~fis@unaffiliated/fizzie PRIVMSG #esoteric :You get it on level 96. < 1371329216 100435 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: what's a less charitable interpretation? < 1371329250 723082 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hmm good hagb4rd in th logs < 1371329257 335255 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(by good i mean typical) < 1371329273 804026 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well, I admit I never have almost any idea what hagb4rd is trying to say. < 1371329280 866833 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Iron fist? Bronze fist? Maybe you can use a paper fist. < 1371329285 842133 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh -_- so he's like shachaf < 1371329296 283761 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: No, a fist is rock. A flat palm is paper. < 1371329307 500281 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: Ouch. < 1371329307 572352 :fizzie!~fis@unaffiliated/fizzie PRIVMSG #esoteric :The iron fist just randomly inflicts confuse. < 1371329323 851789 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1371329329 436625 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I-I didn't mean that... I just meant that I can never underst-- sorry < 1371329335 442920 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :underst++ < 1371329347 338875 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's OK. < 1371329363 854780 :nooodl!~nooodl@91.179.138.9 PRIVMSG #esoteric :underst-- this is a democracy shachaf < 1371329372 142285 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Stoned. Ripped. Twisted. Good people. < 1371329374 770840 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Yes. But maybe iron and broze fist is no good. < 1371329376 389224 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :/msg lambdabot underst++ < 1371329377 682614 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@karma underst < 1371329377 814984 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :underst has a karma of 0 < 1371329406 23488 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :underst++ < 1371329419 908235 :fizzie!~fis@unaffiliated/fizzie PRIVMSG #esoteric :Unrest'd. < 1371329474 793333 :fizzie!~fis@unaffiliated/fizzie PRIVMSG #esoteric :Also today in the bus there was someone with pink hair and cat ears and a painted-on-face grin; I think there's some sort of a "con" going on in this country. < 1371329489 43019 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: rebooting < 1371329489 962968 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@wn con < 1371329491 320168 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :*** "con" wn "WordNet (r) 3.0 (2006)" < 1371329491 415639 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :con < 1371329491 487223 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : adv 1: in opposition to a proposition, opinion, etc.; "much was < 1371329491 487420 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : written pro and con" [ant: {pro}] < 1371329491 487532 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : n 1: an argument opposed to a proposal [ant: {pro}] < 1371329493 322366 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :[15 @more lines] < 1371329509 546456 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: So you saw a con artist? < 1371329554 150968 :fizzie!~fis@unaffiliated/fizzie PRIVMSG #esoteric :I... guess? (There were four of them, but that one was easiest to describe.) < 1371329729 467184 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://bash.org/?12431 < 1371329751 207057 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1371329859 437127 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Phantom_Hoover, fun fact: Active Worlds has Peacekeepers < 1371329874 116006 :dessos!~dessos@c-174-60-176-249.hsd1.pa.comcast.net JOIN :#esoteric < 1371329875 29067 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fun fact 0 = 1 < 1371329885 431955 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :q < 1371329998 274732 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sgeo, as in, just the name? < 1371330010 670220 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Just the name < 1371330018 924719 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://peacekeeper.net/ < 1371330026 387790 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`pastlog shachaf.*fact n < 1371330040 43969 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the name is, er < 1371330043 722127 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :not very distinctive < 1371330053 515573 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think any fact relating to Active Worlds can really be called fun... < 1371330057 771772 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1371330072 131499 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`pastlog shachaf.*\|.*fact < 1371330072 880922 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :shachaf, hey, that's unfair < 1371330073 76310 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Even the fact that anyone can go in there and delete some historical property < 1371330084 345248 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :2013-04-04.txt:03:23:55: | fact n = n * fact (n - 1) < 1371330086 76760 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(Not sure if that's still the case going forward, but it has been the case for a long time) < 1371330092 230122 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thackego < 1371330115 531363 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Why didn't the other search find it? < 1371330172 57894 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no clue < 1371330176 606427 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe it timed out or something < 1371330205 110331 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Don't timeouts get reported? < 1371330213 642593 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`run while true; do true; done < 1371330219 697149 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :lol < 1371330220 390583 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://activeworlds.com/products/citizenships.asp < 1371330226 494306 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The page hasn't been updated, but the links are < 1371330244 625776 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1371330246 110543 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So clicking "SAVE! CLICK HERE for discounted annual online registration." tells you "Citizen Immigration is FREE." < 1371330297 339626 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :...ok this page looks different from the rest of the site http://www.activeworlds.com/products/cancel.asp < 1371330304 133335 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :did you know that shamus young helped make activeworlds < 1371330304 696123 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :This was the old look of the website, hmm < 1371330316 327170 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's amazing how someone so cool could be involved in something so shitt < 1371330317 136560 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :y < 1371330349 886477 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I don't think I've heard the name Shamus Young outside of AW < 1371330517 665811 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :he's now a kind of freelance game pundit < 1371330712 76056 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what's shit about AW < 1371330819 881685 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :sgeo < 1371330839 975226 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :maybe once it was good < 1371330933 445467 :MindlessDrone!~MindlessD@141.70.114.121 QUIT :Quit: MindlessDrone < 1371331404 401168 :fizzie!~fis@unaffiliated/fizzie PRIVMSG #esoteric :I've heard that name, but I have no recollection in which context. < 1371331413 34140 :fizzie!~fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, DM of the Rings. < 1371331559 231743 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1371331811 158670 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1371332695 121085 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1371332742 323783 :epicmonkey!~epicmonke@188.134.41.113 QUIT :Ping timeout: 264 seconds < 1371332831 192538 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1371332907 914467 :augur!~augur@129-2-129-33.wireless.umd.edu QUIT :Remote host closed the connection < 1371333164 881938 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is the person in ##crypto saying bad and/or wrong things < 1371333264 662254 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which < 1371333268 235999 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :me? < 1371333284 877192 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no < 1371333312 873286 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :AAA < 1371333341 505725 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shrug < 1371333360 674382 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Huh, I didn't know about @pointful < 1371333380 547396 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :@pointful (+3) . (+4) . (+5 < 1371333380 648312 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :.hs: 1: 18:Parse error: EOF < 1371333381 846143 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :@pointful (+3) . (+4) . (+5) < 1371333381 947201 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :(\ f -> ((f + 5) + 4) + 3) < 1371333398 366088 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :@pointful (+3) . (+4) . (+5) `ap` 4 < 1371333398 465073 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Plugin `pointful' failed with: Ambiguous infix expression < 1371333406 933612 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :@pointful ((+3) . (+4) . (+5)) `ap` 4 < 1371333407 38445 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :(\ b -> (4 >>= \ j -> return ((\ f -> ((f + 5) + 4) + 3) b j)) b) < 1371333412 983774 :fizzie!~fis@unaffiliated/fizzie PRIVMSG #esoteric :@unpl (+3) . (+4) . (+5) < 1371333413 85171 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :(\ f -> ((f + 5) + 4) + 3) < 1371333420 657774 :fizzie!~fis@unaffiliated/fizzie PRIVMSG #esoteric :Is unpl a different thing than pointful? < 1371333447 823166 :fizzie!~fis@unaffiliated/fizzie PRIVMSG #esoteric :(". unpl pl" -- or the other way around -- is often a best.) < 1371333477 720082 :SingingBoyo!~brandon@d154-5-184-233.bchsia.telus.net QUIT :Ping timeout: 248 seconds < 1371333505 693027 :fizzie!~fis@unaffiliated/fizzie PRIVMSG #esoteric :@. pl unpl ((+3) . (+4) . (+5)) `ap` 4 -- I'm going to get the same thing back, right? < 1371333508 832192 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :ap ((4 >>=) . (return .) . (+ 3) . flip ((+) . (+ 5)) 4) id < 1371333508 949952 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :optimization suspended, use @pl-resume to continue. < 1371333515 208922 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pl is broken hth < 1371333919 901367 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no idea why pl is broken < 1371333930 516443 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So figure out why? < 1371334106 202348 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK, I think I managed to make a sequent calculus for sokoban now. < 1371334201 711836 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :busy rewriting eval plugin instead < 1371334216 221508 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Sequent calculus for chess puzzles will be far more complicated; you will need to keep track of whose turn it is, and you will need to make the opponent's turn with all possible moves above the line instead of just one. < 1371334453 303172 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :http://zzo38computer.org/tex/sokoban_sequent.tex Please tell me if there is a mistake. < 1371334528 461596 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If these are caffeine withdrawal headaches, why do they occur so late in the day < 1371334567 162742 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Sgeo: I don't know. < 1371334612 450070 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1371334669 693802 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1371334678 61399 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1371334847 620414 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is this sequent calculus for sokoban a correct implementation of the sokoban game? < 1371334867 651413 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :I don't think anybody's listening < 1371334879 323413 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Well, it is generalized; it allows other kinds of geometry than rectangular, and allows multiple player pieces) < 1371335689 966303 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1371335840 550570 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Client Quit < 1371336030 932441 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1371336063 319963 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Client Quit < 1371336738 268955 :nooga_!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 264 seconds < 1371337622 304427 :SingingBoyo!~brandon@d154-5-184-233.bchsia.telus.net JOIN :#esoteric < 1371337818 371183 :jconn!~username@la-pinta.la.net.ua QUIT :Ping timeout: 264 seconds < 1371338411 141931 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1371338414 422591 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1371338458 695476 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :i think that is an impressively charitable interpretation of hagb4rd <- charitable AND correct, btw.. that girl rulez! if i had to choose a pair for another renaissance in the matrix .. i'd choose fio and kmc! long may heir reign last and may some hard coconut fall on elliotts or hoovers head < 1371338458 766942 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@messages? < 1371338539 88629 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :if you by accident ever need a witness.. feel free to ask me.. i put my trust inya :P < 1371338541 787641 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the fuck < 1371338553 764483 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :... < 1371338561 224283 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: I work with unusual model of logic all the time in the CS department: multiple arguments and tupling both have weird logical problems (mostly, there's two different plausible ways to implement them, and it's not clear which is meant), so currying simplifies things a lot there < 1371338613 210012 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I had to check twice to make sure hagb4rd's line wasn't by fungot < 1371338614 317941 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :ais523: s/ syntax-case/ fnord/ fnord or is the gui stuffs in teach packs? is not just lambda calculus. the nutshell version of it. i use ion < 1371338617 271473 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's a mark o a good line right there :) < 1371338621 459962 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*of < 1371338632 317133 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :abcdefghijklmnopqrstuvwxyz < 1371338633 522515 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I find that applies to all of hagb4rd's lines < 1371338650 401291 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :you lie < 1371338661 663940 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :not all < 1371338668 316028 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :let's say many < 1371338984 624049 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> undefined < 1371338985 718522 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : *Exception: Prelude.undefined < 1371339014 211983 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hey hagb4rd were you the one who led itidus to this channel < 1371339040 192131 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :you're repeating yourself so much poor hoovey < 1371339054 201433 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :no i did not < 1371339103 178245 :ChanServ!ChanServ@services. MODE #esoteric +o :Phantom_Hoover > 1371339103 316984 NAMES :#esoteric < 1371339130 2387 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 MODE #esoteric +b :*!*@koln-4db420d6.pool.mediaWays.net > 1371339130 27443 NAMES :#esoteric < 1371339130 213207 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 KICK #esoteric hagb4rd :hagb4rd < 1371339134 993663 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :right < 1371339137 176617 :ChanServ!ChanServ@services. MODE #esoteric -o :Phantom_Hoover > 1371339137 198617 NAMES :#esoteric < 1371339137 646536 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :problem solved < 1371339149 991278 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can't keep the ban around, btw < 1371339153 625784 :ChanServ!ChanServ@services. MODE #esoteric +o :ais523 > 1371339153 648399 NAMES :#esoteric < 1371339155 324110 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fuck you ais < 1371339158 277248 :ais523!~ais523@unaffiliated/ais523 MODE #esoteric -b :*!*@koln-4db420d6.pool.mediaWays.net > 1371339158 300681 NAMES :#esoteric < 1371339161 305284 :ais523!~ais523@unaffiliated/ais523 MODE #esoteric -o :ais523 > 1371339161 327987 NAMES :#esoteric < 1371339167 513570 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it'll do him/her good to not be around for a while < 1371339186 257169 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net JOIN :#esoteric < 1371339187 978446 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :insulting channel regulars like that, out of nowhere, is not productive < 1371339188 337532 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :weee < 1371339392 57787 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: that was not a while < 1371339453 686081 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :don't see why you get so tense again < 1371339463 455226 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :i think we have fun < 1371339466 568308 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :don't we < 1371339487 374726 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :no, this isn't particularly fun, nor ontopic, nor useful < 1371339493 231993 :ChanServ!ChanServ@services. MODE #esoteric +o :elliott > 1371339493 255040 NAMES :#esoteric < 1371339502 350750 :hagb4rd!~perdito@koln-4db420d6.pool.mediaWays.net PRIVMSG #esoteric :you want me to leave? < 1371339510 907792 :elliott!elliott@unaffiliated/elliott MODE #esoteric +b :*!*perdito@*.pool.mediaWays.net > 1371339510 930843 NAMES :#esoteric < 1371339510 984662 :elliott!elliott@unaffiliated/elliott KICK #esoteric hagb4rd :fuck off < 1371339513 410059 :elliott!elliott@unaffiliated/elliott MODE #esoteric -o :elliott > 1371339513 433347 NAMES :#esoteric < 1371339517 306418 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :good game imo < 1371339532 174083 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't remember them being quite that bad last time < 1371339563 913132 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :btw, that's just based on behaviour since I've been here, I've heard there's worse in logs < 1371339569 75435 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: btw you're the best op until oerjan or fizzie overtakes you, hth < 1371339798 745903 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the only differentiating factor i can think of is that this time he knows there's a woman in the channel < 1371339920 863066 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :somehow I'm still finding it hard to believe that there are people who still think the internet runs on "tits or gtfo" < 1371339987 532105 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :incidentally, #xkcd (not on this server, I forget where it is; foonetic?) actually has a rule against that specifically in the topic < 1371339988 937959 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :that would be too coherent for hagb4rd < 1371340016 571257 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :depressing that it'd be common enough to need putting in the topic < 1371340021 384441 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure if it actually happened enough that they felt they had to ban it, or if it was preemptive < 1371340025 936333 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: but yes < 1371340156 59412 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :SO < 1371340158 610183 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what's with this warp language < 1371340160 79379 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is it any good < 1371340316 224764 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't remember having heard of it < 1371340316 660733 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is this on the wiki < 1371340327 911843 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: btw, I got two effective kicks in a few minutes there < 1371340339 461205 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I went and kicked a spambot from #nethack just after the hagb4rd ban < 1371340350 610496 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :imo despot. impeach ais523 < 1371340354 984553 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mnoqy: http://esolangs.org/wiki/WARP < 1371340361 528958 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: ya im lookin at it now < 1371340378 825782 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: you can impeach me if you like, but then good luck relying on the other ops to be online :) < 1371340379 24289 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: oh btw i sent you a lambdabot message that you've probably read < 1371340383 113709 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and yes, I did < 1371340395 797672 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what does "twh" mean? < 1371340423 125727 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that would help < 1371340428 896184 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :part of the New #esoteric Vernacular < 1371340476 598047 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :so far warp looks more interesting than most new languges on the wiki these days < 1371340491 415102 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, WARP reminds me of something I was planning to do myself, but doesn't < 1371340527 618884 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, doesn't do itself < 1371340737 785041 :copumpkin!~copumpkin@unaffiliated/copumpkin NICK :jockstrap