< 1347235335 937594 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pastelogs free.*applicative < 1347235374 172510 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.23349 < 1347235463 298961 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1347235504 1227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pastelogs free.*applicative < 1347235519 519349 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.937 < 1347235532 741692 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Why did you do that twice? < 1347236620 694177 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for some reason the first link didn't load < 1347236697 395665 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: iirc that looks good < 1347236765 316439 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :oerjan: But it doesn't work. It compiles but it won't give the correct answer. < 1347236779 412537 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh? < 1347236814 6198 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well iirc x > y iff there exists something in l >= y or something in r <= x < 1347236839 54008 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which seems equivalent to what you wrote < 1347236953 300547 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: what's your counterexample? < 1347237051 455756 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :O, nevermind it is working OK. The problem was the wrong addition. < 1347237056 716052 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah < 1347237135 530283 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The other problem was multiplication not being defined. < 1347237140 327806 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But it works now. < 1347237244 475382 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1347237463 729488 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1347238122 819183 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1347239384 815161 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (<**>) < 1347239385 910964 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall (f :: * -> *) a b. (Applicative f) => f a -> f (a -> b) -> f b < 1347239415 772653 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@yarrrr < 1347239415 944320 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Har de har har! < 1347239894 786033 :impomatic!~digital_w@146.90.199.184 PART :#esoteric < 1347242271 252338 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au NICK :halflife2 < 1347242375 95494 :halflife2!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au NICK :itidus21 < 1347243362 274351 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Is it a bad sign that there's a wifi network called "Wecanseeyounaked"? < 1347243493 804762 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nah, they can see everyone naked < 1347243523 855531 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :that's a cool superpower < 1347243710 296133 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's also a "Booblies". < 1347243720 939471 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I suppose it's some kind of a combination of boobies and lies. < 1347244257 943801 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1347246400 458320 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1347247034 196279 :pikhq!~pikhq@75-163-145-146.clsp.qwest.net PRIVMSG #esoteric :kmc: Curse your name not being actually kmc. < 1347247060 42818 :pikhq!~pikhq@75-163-145-146.clsp.qwest.net PRIVMSG #esoteric :I saw "Keegan McAllister" posting about taralli in my RSS reader, thought you should know about it, and then put two and two together. < 1347247078 350640 :ion!ion@heh.fi PRIVMSG #esoteric :What was the answer? < 1347247079 398585 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :slavek kmc, the famous czech computer scientist < 1347247135 211670 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :disclaimer: m may not actually be a vowel in czech. l and r are, however. < 1347247346 347091 :ion!ion@heh.fi PRIVMSG #esoteric :How are l and r pronounced in Czech? < 1347247405 90035 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric ::D < 1347247551 105979 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, usually normally, it's just that they can carry a syllable < 1347247662 833826 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Strč prst skrz krk <- tongue twister < 1347247994 291420 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :pikhq: ooc, why did you think of telling me about it < 1347247999 449737 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :is it because i mentioned toroidal desktop here before? < 1347248008 949946 :pikhq!~pikhq@75-163-145-146.clsp.qwest.net PRIVMSG #esoteric :kmc: Yes. < 1347248034 558004 :pikhq!~pikhq@75-163-145-146.clsp.qwest.net PRIVMSG #esoteric :kmc: The thought was "Oh, that'd probably be much nicer for him than his current setup." < 1347248053 547004 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :indeed it is ;) < 1347248093 128098 :ion!ion@heh.fi PRIVMSG #esoteric :URL? < 1347248108 696330 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :http://mainisusuallyafunction.blogspot.com/2012/09/taralli-screen-edge-pointer-wrapping.html < 1347248125 966920 :ion!ion@heh.fi PRIVMSG #esoteric :Thanks < 1347248421 385726 :ion!ion@heh.fi PRIVMSG #esoteric :
ACTION tried it. You lose the display’s four sweet spots.
< 1347248504 445915 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :meaning the points which are easy to hit? < 1347248738 11686 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah i also thought a toroidal screen would make the edges harder to hit... < 1347248762 387692 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah, it does < 1347248788 278435 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :but i think it's worth it, especially on a desktop 5000 pixels wide < 1347248938 607811 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :i don't need to hit edges that often < 1347248971 206768 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :i mainly use the mouse for clicking stuff on web pages < 1347248982 213549 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :and copy-pasting text < 1347249003 59130 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :the stuff at the edges of the screen -- scroll bars and the browser tab bar -- i have keyboard shortcuts for < 1347249086 818488 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :i'm trying out Vimium now :) < 1347249146 482008 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1347249159 97805 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I tried a (also synergy-driven) wrapping desktop once, with a desktop 4544 pixels wide, but somehow could never (well, in the day or two I had it) learn to take the short way around. < 1347249167 261121 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1347249405 82256 :DH____!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1347249409 465407 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1347249714 428132 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 276 seconds < 1347249963 385648 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 272 seconds < 1347250415 902082 :MoALTz!~no@host-92-2-123-15.as43234.net JOIN :#esoteric < 1347252359 179542 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :@Horse_ebooks tweet: "Awaken The Unused 98% Of Your Infinite" < 1347252360 46203 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Unknown command, try @list < 1347252373 555692 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I think I'm fine with the 2% of my infinite that I'm actually using. < 1347252386 928444 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1347252391 281744 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I mean, it's still perfectly nice and infinite. < 1347252405 403823 :pikhq!~pikhq@75-163-145-146.clsp.qwest.net PRIVMSG #esoteric :2% of infinity is quite impressive still. < 1347252419 743456 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah caring about the difference is a cardinal sin < 1347252475 38215 :aloril!~aloril@dsl-tkubrasgw3-fe7ef900-153.dhcp.inet.fi QUIT :Ping timeout: 244 seconds < 1347252515 54914 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com QUIT :Changing host < 1347252515 73724 :tswett!~tswett@unaffiliated/tswett JOIN :#esoteric < 1347252860 33195 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :womp womp < 1347253342 429649 :aloril!~aloril@84.249.126.153 JOIN :#esoteric < 1347253844 860620 :lambdabot!~lambdabot@li85-105.members.linode.com QUIT :Ping timeout: 248 seconds < 1347254135 848376 :lambdabot!~lambdabot@li85-105.members.linode.com JOIN :#esoteric < 1347254943 714071 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1347256985 254495 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :2% of infinite is still infinite (but depending on what kind of infinite number systems is being used, it might be less). < 1347257606 775178 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I can only assume that tswett learned of horse_ebooks because Hussie. < 1347257922 347990 :pikhq!~pikhq@75-163-145-146.clsp.qwest.net PRIVMSG #esoteric :zzo38: So we punned. < 1347258072 374903 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1347258945 298727 :soundnfury!~edward@static-87-243-208-102.adsl.hotchilli.net PRIVMSG #esoteric : What is a good simple pseudorandom number generator... < 1347258947 464007 :soundnfury!~edward@static-87-243-208-102.adsl.hotchilli.net PRIVMSG #esoteric :zzo38: if the PRNG doesn't have to be very secure, just use a LFSR < 1347259177 274061 :ais523!~ais523@147.188.254.178 JOIN :#esoteric < 1347259177 926304 :ais523!~ais523@147.188.254.178 QUIT :Changing host < 1347259177 944834 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1347261164 382545 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The Finalize monad must have a use in category theory in general? < 1347261594 205920 :Eladith!~eladith@gzrrplox.kortex.jyu.fi JOIN :#esoteric < 1347263010 540186 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1347263026 641090 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1347263141 166992 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1347263259 816907 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1347263700 858901 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 248 seconds < 1347263733 543747 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1347264042 677201 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1347264066 536580 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: Isn't it kind of bad that taralli breaks the well-known consequence of Fitts's Law, in that it removes the ideal locations of the edges and esp. corners of the screen? < 1347264788 654631 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have some idea: I once read somewhere someone had a computer program on punched cards and the customs agent took some of the cards. My idea is program (or programming language) that you can shuffle the cards and take out up to 10% and the program still works. < 1347264985 142684 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I didn't see taralli. < 1347265001 300450 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION will try it.
< 1347265017 729814 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, dude, this is weird. < 1347265223 124946 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It segfaults if you don't run it under X. :-( < 1347265407 478114 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :soundnfury: But can this PRNG be used for easily shuffling a deck of cards, and are most permutations possible? < 1347265476 166473 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Quit: ! < 1347265571 929326 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1347265880 858062 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :One could use arcfour-N to generate permutations < 1347266099 286349 :elliott!~elliott@unaffiliated/elliott PART #esoteric :"Leaving" < 1347266941 186972 :ais523_!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1347266945 353955 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1347266958 578731 :ais523_!~ais523@unaffiliated/ais523 NICK :ais523 < 1347268104 534051 :kinoSi!~kinosi@27-96-32-84.ipq.jp QUIT :Read error: Connection reset by peer < 1347268132 190988 :kinoSi!~kinosi@27-96-32-84.ipq.jp JOIN :#esoteric < 1347269034 844781 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Are you sure you should check event.xcookie.type == GenericEvent? < 1347269039 238374 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(As opposed to event.type.) < 1347270137 379537 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 268 seconds < 1347270481 709305 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Is there a reason you do all the work to check for a RawMotion event? As far as I can tell the program gets no other events, and doing extra wrapping probably isn't harmful anyway. < 1347271115 146412 :KingOfKarlsruhe!~chatzilla@p5B131C94.dip.t-dialin.net JOIN :#esoteric < 1347272136 60335 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :zzo: theres 2 possible approaches i can think of.. one is to say order doesn't matter... another is to have a means of re-sorting the cards when necessary < 1347272222 150920 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :the part about being able to remove 10% of the cards sounds more tricky < 1347275068 177623 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1347276083 354065 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1347276837 75410 :mig22!~miguelort@bb116-15-65-102.singnet.com.sg JOIN :#esoteric < 1347277757 47413 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ask elliott 04:41 shachaf: Okay, so you want Nothing returned when neither modifies either to indicated that the compound didn't modify anything. < 1347277757 66448 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1347277766 920218 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ask elliott (It made perfect sense in context!) < 1347277766 939211 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1347278147 829876 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1347278477 674981 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Anarchy's beginning to look more like a real language now < 1347278487 150189 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even though all I'm doing is tweaking the spec to avoid warts < 1347278649 394876 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1347278840 211699 :MoALTz!~no@host-92-2-123-15.as43234.net QUIT :Quit: Leaving < 1347279015 833198 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and writing the grammar to type correctly < 1347279247 727588 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one interesting feature that came about is that functions have something of a "natural parameter order" < 1347279271 925803 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :e.g. strchr needle haystack has a somewhat cleaner implementation than strchr haystack needle < 1347279972 25665 :MoALTz!~no@host-92-2-123-15.as43234.net JOIN :#esoteric < 1347281627 655155 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net QUIT :Quit: Leaving < 1347281666 585090 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net JOIN :#esoteric < 1347282280 453148 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Sgeo: quite indirectly, yeah. < 1347282292 659077 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :horse_ebooks via Robert J! Lake via Solatrus via the Bandcamp page. < 1347283089 822372 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :> 4180 * 24 < 1347283090 834106 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 100320 < 1347283818 559078 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: Computer has gone to sleep. < 1347284983 484183 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1347285116 530159 :mig22!~miguelort@bb116-15-65-102.singnet.com.sg QUIT :Quit: mig22 < 1347285636 504727 :quintopi1!~quintopia@74.117.159.204 JOIN :#esoteric < 1347286094 241239 :KingOfKarlsruhe!~chatzilla@p5B131C94.dip.t-dialin.net QUIT :Quit: ChatZilla 0.9.88.2 [Firefox 15.0.1/20120905151427] < 1347286198 506 :quintopi1!~quintopia@74.117.159.204 QUIT :Quit: Lost terminal < 1347286198 27989 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Quit: Lost terminal < 1347286218 766890 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1347286984 822857 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Ping timeout: 260 seconds < 1347286997 392079 :atriq!~Taneb@host-2-99-84-46.as13285.net JOIN :#esoteric < 1347287482 590756 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1347287680 330787 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1347287685 327080 :ais523_!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1347287708 661671 :ais523_!~ais523@unaffiliated/ais523 NICK :ais523 < 1347289198 216595 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1347289266 265269 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1347289276 608910 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1347289312 669616 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1347289328 433444 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1347289530 643385 :augur!~augur@208.58.5.87 QUIT :Ping timeout: 246 seconds < 1347290103 58606 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net QUIT :Quit: Lost terminal < 1347290597 705036 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :I swear, on any other programming website < 1347290613 184783 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :That which a Truth-machine is designed to showcase would be a given < 1347290915 344636 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :??? < 1347291019 489296 :atriq!~Taneb@host-2-99-84-46.as13285.net QUIT :Remote host closed the connection < 1347291065 374935 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net JOIN :#esoteric < 1347291323 495483 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1347291443 52420 :augur!~augur@206.196.186.175 JOIN :#esoteric < 1347291499 770766 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 260 seconds < 1347292583 372115 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :uh, it's not possible to write a truth-machine in Chef? < 1347292614 170900 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :apparently output is only possible once the program has terminated... which it doesn't in case of an infinite loop < 1347292944 986905 :ais523_!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1347292973 521368 :ais523!~ais523@unaffiliated/ais523 QUIT :Disconnected by services < 1347292975 97286 :ais523_!~ais523@unaffiliated/ais523 NICK :ais523 < 1347295022 197085 :KingOfKarlsruhe!~chatzilla@p5B131EC2.dip.t-dialin.net JOIN :#esoteric < 1347295038 34107 :atriq!~Taneb@host-2-99-84-46.as13285.net JOIN :#esoteric < 1347295148 339607 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :Phantom__Hoover, Truth-machine < 1347295214 895794 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :atriq: what did you mean "That which a Truth-machine is designed to showcase would be a given"? < 1347295225 624541 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :Probably < 1347296163 767189 :ogrom!~nask@gprs-inet-65-156.elisa.ee JOIN :#esoteric < 1347297082 335116 :KingOfKarlsruhe!~chatzilla@p5B131EC2.dip.t-dialin.net QUIT :Quit: ChatZilla 0.9.88.2 [Firefox 15.0.1/20120905151427] < 1347297146 469508 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1347297302 14971 :KingOfKarlsruhe!~chatzilla@p5B131EC2.dip.t-dialin.net JOIN :#esoteric < 1347297402 450446 :ais523_!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1347297452 22814 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 245 seconds < 1347297476 455395 :ais523_!~ais523@unaffiliated/ais523 NICK :ais523 < 1347297561 293128 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1347297568 674709 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au QUIT :Quit: Leaving < 1347297996 440337 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net JOIN :#esoteric < 1347298114 832670 :ais523_!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1347298347 523065 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 276 seconds < 1347298465 544541 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1347298513 474207 :ogrom!~nask@gprs-inet-65-156.elisa.ee QUIT :Quit: begone < 1347299339 782845 :ais523_!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 260 seconds < 1347299408 330914 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oh my, they made the intro theme worse in season 3 < 1347299418 492910 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :olsner, to what? < 1347299420 405696 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Red Dwarf? < 1347299423 610129 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Sgeo: enterprise < 1347299434 203236 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :There was a season 3? < 1347299435 397631 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :THEY HAVE? < 1347299520 766411 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :they added some cheesy backing track, I suppose they intended to make it "fuller" or something but it sounds more like they found the make-a-beat button on the keyboard < 1347299756 513321 :augur!~augur@206.196.186.175 QUIT :Remote host closed the connection < 1347299977 223482 :Zuu!zuu@unaffiliated/zuu QUIT :Ping timeout: 260 seconds < 1347299980 708167 :augur!~augur@206.196.186.175 JOIN :#esoteric < 1347300308 266381 :Zuu!zuu@unaffiliated/zuu JOIN :#esoteric < 1347301349 216794 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 260 seconds < 1347302480 935774 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :They also changed the theme tune to Thomas the Tank Engine, fwiw < 1347302484 824271 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :Also they made it CGI < 1347302603 180307 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I don't remember enterprise ever switching to the Thomes the Tank Engine theme < 1347302854 147321 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1347303102 584453 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : @ask elliott (It made perfect sense in context!) <-- if you say so. < 1347303212 652 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I wonder if I watched thomas the tank engine in english when I was a kid or if it was translated ... can't remember what it was called in swedish though < 1347303230 693277 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :I watched it in English < 1347303252 787645 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :that's amazing < 1347303263 515571 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :I also watched it in England < 1347303285 199161 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :I think the latter rather accounts for the former < 1347303316 549195 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's "lokomotivet thomas" in norwegian, anyway < 1347303322 423096 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :In Finnish, the show is called Tuomas-veturi. < 1347303394 233443 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hexham = helsinki, by a symmetry which switches finnish and english. < 1347303438 7183 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :Hexham also has a very poor to nonexistent underground/light railway < 1347303458 449463 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1347303501 278999 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :"underground railway" makes me think of a subculture of railway enthusiasts running an illegal private railway < 1347303559 848916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i used to like london, back when it was underground < 1347303820 155279 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au JOIN :#esoteric < 1347303999 256334 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I never watched it at all. < 1347304108 170634 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1347304113 583494 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i'm not sure if i have) < 1347304192 586740 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :shocking < 1347304201 604975 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i watched some on youtube this year < 1347304219 612497 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :What did you make of it? < 1347304243 148757 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :well i was aware of it before... but... < 1347304279 706672 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i guess i'm not all that fond of the political philosophies espoused by any shows about workers having to work < 1347304312 839273 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :uhhhh... < 1347304356 356680 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :the point is it has ringo, it has trains, and it has cool landscapes < 1347304383 4073 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :And what do you think of El Nombre? < 1347304383 824606 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :and perhaps a world first, anthropomorphic trains < 1347304394 141570 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I remember reading a thing about how Thomas the Tank Engine espoused the Blairite work ethic < 1347304408 934514 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Except I was really young at the time and I was more confused than anything else. < 1347304418 659139 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :It's based on a book! It's very pre-Blair! < 1347304426 168105 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :Phantom__Hoover: thats good... i didnt just imagine it! < 1347304449 829487 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1347304513 791621 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :It had 7 or 8 books before Tony Blair was born! < 1347304530 573003 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :The Blairite work eithic espoused Thomas the Tank Engine < 1347304556 146581 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :oh darn < 1347304563 662348 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :*ethic < 1347304592 923771 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :for some reason i read blair as thatcher < 1347304645 343271 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Excess Flood < 1347304667 145101 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :anyway though.. i always say stupid things like that... < 1347304676 735233 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :but i like thomas the tank engine < 1347304708 486378 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :or do i ... < 1347304737 496509 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :anyway... a show which is good is the live action animated version of the wind in the willows < 1347304769 1959 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i like these anthropomorphic animal based shows < 1347304833 258066 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is today's http://www.mezzacotta.net/garfield/ nothing more than a typo correction? < 1347304895 459578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :next up: günther the gas chamber < 1347304935 508665 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*-h, maybe. < 1347304945 86562 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :with h < 1347304947 589882 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :--- < 1347304956 537380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1347304958 469714 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :shit my macro < 1347304972 443806 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :---## < 1347304977 924631 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1347305024 29617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :apparently it can be either < 1347305072 632503 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Read error: Connection reset by peer < 1347305152 917736 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: seen kmc < 1347305165 847645 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: occasionally < 1347305181 697332 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: You're not a very useful bot. :-( < 1347305187 955145 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you don't say < 1347305195 670166 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't? < 1347305197 548829 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my specialty is puns, not information < 1347305203 838641 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1347305206 429955 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can I have a pun? < 1347305213 736368 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eek < 1347305230 296047 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1347305230 466830 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, that's no good either. :-( < 1347305238 499927 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Tell me a pun. < 1347305247 406630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm just too puny < 1347305247 745192 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: No. < 1347305248 943412 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :fresh baked puns can't be just served up < 1347305272 261069 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Want to hear the best joke in the world? < 1347305277 937665 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If a category has more than one final object, or more than one initial object, are they isomorphic? < 1347305279 640710 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :okay < 1347305281 174418 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Q: Where does a general keep his armies? < 1347305295 431586 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A: In his sleevies! < 1347305307 828323 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: that's not a pun < 1347305313 626566 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :oerjan: I know. < 1347305315 369301 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, yes. < 1347305323 566486 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I already said no I won't tell you a pun, please. < 1347305374 933856 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because there is exactly one morphism each way, and their compositions must be the identities < 1347305398 776162 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes that is what I thought. < 1347305432 1710 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :even when category theory is all worked out, our descendants will evolve new levels of conciousness with which they must solve greater and greater riddles.... and the accomplishments of humans in what we currently call 2012 won't seem very helpful except in a retro kind of way < 1347305529 252102 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :no very helpful except in a retro kind of way you say < 1347305556 488663 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :"oh look, they used their bodies to think. how quaint" < 1347305568 480845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i keep getting this feeling that itidus21 says things that _might_ be true, but which there's nearly no evidence for < 1347305572 236207 :atriq!~Taneb@host-2-99-84-46.as13285.net QUIT :Quit: Leaving < 1347305591 151547 :atriq!~Taneb@host-2-99-84-46.as13285.net JOIN :#esoteric < 1347305599 552125 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :everyting i thought i'messed. my body is working the things out < 1347305624 300288 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :things that might be true in the same sense that random sentences from fungot might be true? < 1347305624 812088 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :without any active control of my mind < 1347305625 464242 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :olsner: my understanding is an fsa two counters ( bignums), rationals or complex numbers? ( credit card numbers?) < 1347305638 715576 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :i every smile i thought of was a fake smile < 1347305640 676142 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :olsner: maybe slightly more coherent < 1347305642 417087 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :oerjan: i just see my random posts as a kind of venting i can't help myself but blurt out... < 1347305650 888582 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oerjan: yeah < 1347305654 486911 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i think its tied in with the anxiety thing < 1347305679 684641 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: btw heard it before < 1347305680 796249 :augur!~augur@206.196.186.175 QUIT :Remote host closed the connection < 1347305702 327988 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :hagb4rd: none of thats true etc.. < 1347305704 77266 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Doesn't stop it from being the best joke in the world! < 1347305716 214546 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Though, you know: The beauty of the pun is in the Oy of the beholder. < 1347305738 652539 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :sorry i misread < 1347305752 625551 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :okay if there is nothing between true and false it is not true < 1347305758 428031 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :indeed < 1347305792 169907 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :itidus21: regarding category theory, i have this feeling there is a whole world of things going on in algebraic geometry that are immensely powerful yet so abstract that i could never hope to understand them. and i have a math doctorate! < 1347305793 362064 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :basically i am trying to avoid thinking about things myself < 1347305793 907877 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :thats y i don't like digital media :P < 1347305812 154541 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so any idea that things will ever be all worked out is naive, i think < 1347305815 392277 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :its all due to anxiety < 1347305825 561490 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(even without considering godel and turing) < 1347305831 578541 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :its the same reason i cant sit there and read a book..... < 1347305847 336067 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i cant even sit there and think < 1347305847 675654 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :This Togliatti surface is an algebraic surface of degree five: https://en.wikipedia.org/wiki/File:Togliatti_surface.png < 1347305883 783644 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I can't just sit there and read a book, or sit there and think, either; to read much of a book I prefer to lie down. < 1347305892 70983 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :so rather than think about things, i just blurt them out < 1347305894 983862 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :For thinking it is various; sometimes walking around < 1347305906 950313 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Sometimes I am lying down or sleeping < 1347305913 69306 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Sometimes sit down. < 1347305968 307184 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :yea < 1347305988 918816 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :seen zzo38 seen < 1347306047 443913 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Sometimes by writing. < 1347306064 622843 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :When I am think about things by writing it is often not clear to anyone else, what it is for. < 1347306146 988120 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I like to think by writing < 1347306162 816275 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :when I try to think by thinking I usually only achieve the illusion of thinking < 1347306168 238538 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :hmm < 1347306184 279577 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :absent-mindedness is concentration on sth else < 1347306195 275542 :augur!~augur@206.196.186.175 JOIN :#esoteric < 1347306206 801403 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :meditation is supposed to be able to help you think by thinking < 1347306219 54965 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i think < 1347306237 554766 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :wait..don't we have to stop thinking during such a session? < 1347306245 651043 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :i mean im not a guru < 1347306251 536945 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :in today's episode of Enterprise: vulcan zombies < 1347306253 913367 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :neither am i < 1347306254 85382 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :itidus21, do we call them chairs because we sit on them, or do we sit on them because they are called chairs? < 1347306282 675700 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :We call them chairs because that is the word for them, I think. Isn't it? < 1347306295 821956 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :they chairs are chairs as long as we _think_ of them as chairs and not tables < 1347306299 352613 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :atriq: we sit on chairs mostly to conform with social conventions < 1347306305 799724 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :or fireplaces < 1347306328 640484 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :but then the question turns to why social conventions converge on chairs < 1347306336 20439 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :we sit on chairs because our floors are improperly heated < 1347306341 519478 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :its not really social.. its just functional < 1347306365 975469 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :to avoid chaos everyone has to agree what is a chair < 1347306377 380818 :augur!~augur@206.196.186.175 QUIT :Remote host closed the connection < 1347306383 629539 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :let's play #esoteric-chairs < 1347306462 719351 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i actually did put "some" thought into this once, < 1347306478 844556 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :just not enough to matter < 1347306500 58246 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :into the definition of chair? < 1347306513 862545 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i don't know what to quite call it < 1347306524 633759 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :no.. into the hell of a chair! < 1347306537 905255 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :
ACTION looks quizzical.
< 1347306553 886356 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :when the doors of perception are cleansed everythings appears to man as it is infinite < 1347306561 88026 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i can throw a few more words in to show how the ideas were forming to me < 1347306564 403250 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :which is less then 1 i guess < 1347306583 177434 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :psychogeography.. i was wondering what that infact was... parkour.. drifters.. < 1347306615 961660 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :and from my bookmarks i see the words derive and flaneur < 1347306704 270699 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i didnt quite figure out whatever it was i was trying to figure out < 1347306713 309318 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :hmm, combining parkour and flaneur sounds interesting < 1347306851 226198 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :i.e. a slow walking kind of parkour, I imagine it would be very fluid and graceful and involve monocles < 1347306965 71361 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :That sounds hilarious < 1347306970 868009 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :Pythonesque, almost < 1347306990 647872 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :"The flâneur and the traceur (a parkour practitioner) both have their origins in Paris. In the nineteenth century the flâneur walked the city in order to experience it and over 150 years later traceurs in the Parisian suburbs found new ways of moving through the very same spaces." < 1347306992 607018 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :I'm just imagine people in monocles slowly walking up a wall and down the other side < 1347306998 992850 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :the time for the flaneurtraceur is nigh < 1347307075 995469 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :pure joy < 1347307288 564467 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :walking the walls up and down is a small time. but no clue where to get a monocle at this time < 1347307324 813608 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :Buy a cheap pair of glasses and snap them in two < 1347307330 506209 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :And tie a cord to it < 1347307335 394648 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i was hopping around wiki at that time < 1347307438 564103 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :the general question, applied back to chairs i guess was, if you choose to ignore knowing that such things are chairs and you can sit on them, are there new ways you can define the environment and the ways you move around it < 1347307496 731513 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :and that sentence was quite long winded < 1347307498 635826 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :the point is: you would surely place your ass on it to sit down, even without knowing it is a chair < 1347307516 928100 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :so we don't have to agree to it beeing a chair < 1347307535 68366 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :its not a social convention < 1347307548 478186 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :but a social convention wp < 1347307574 71645 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :would be not to piss on a grave < 1347307579 720348 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :for example < 1347307598 741086 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :ok heres a specific example. in a restaurant its not ok to sit on the table < 1347307613 815209 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :(although some gravestones would make perfect toilets) < 1347307630 673358 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :thats a social convention yes < 1347307640 490925 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :and if i can trust tv which i can't, if a woman sits on your desk she is flirting < 1347307645 646942 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :but o dont think this leads us anywhere < 1347307662 260829 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :well the table could be a chair.... < 1347307667 690829 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :but no way leads any where < 1347307676 937096 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :one way is the way with heart < 1347307680 762903 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :the other is not < 1347307718 545590 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :although both lead nowhere < 1347307727 514072 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :;) < 1347307768 792665 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i guess that the table is there for a reason too < 1347307775 484928 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i was forgetting that < 1347307820 7146 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :if you're looking for things not having any purpose: y don't take a i-pad < 1347307832 235708 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric ::p < 1347307848 180189 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :okay..you can sit on it < 1347307929 506104 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :another thought i had was whether theres things humans can do which we just havent thought of < 1347308024 91815 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :on a certain scale the body is mostly muscles and bones, and.. presumably each joint gets used regularly < 1347308055 840372 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :so it seems unlikely that there is much more we can do with it < 1347308077 777760 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :we can get some banana < 1347308081 702954 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i think parkour does challenge this a bit < 1347308119 620684 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :and some circus performers can do some amazing things < 1347308208 869471 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :brachiation! < 1347308322 603448 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :and then theres the fun which can be had with machines < 1347308547 770618 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :roller skates, skateboards, pogosticks, bicycles, unicycles, stilts, grappling hooks, segways, elevators, escalators < 1347308550 404019 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :The plural of ski is either ski or skis. Frequently the plural is erroneously written �skiis,� owing no doubt to the fact that the double �i� occurs in skiing, the present participial form. < 1347308557 599837 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically there are professions whose _job_ it is to find out such things, which means it's unlikely to have been ignored for not looking... < 1347308642 935190 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm in norwegian the plural is ski, although it's not a neuter noun (which would have made it regular.) < 1347308678 29707 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i had to google it cos skis just seems so weird < 1347308801 764006 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :this is all atriq's fault for asking me a question about chairs < 1347308811 752569 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :Of the 8 esolangs I have created < 1347308816 930423 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :4 are imperative < 1347308820 475603 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :3 are functional < 1347308830 475510 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :And the remaining 1 is string-rewriting < 1347308835 821280 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :And not actually that esoteric < 1347308859 873999 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :I'd say it's about as esoteric as Thue < 1347308964 422381 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :oerjan: for me, the interest is not in actually moving about in the environment, but in video gaming < 1347309013 754640 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :Fueue and Real Fast Nora's Hair Salon 3: Shear Disaster Download are my two favourite esolangs I have created < 1347309057 557102 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :itidus21: but then why restrict to what can be done with a body? >:) < 1347309144 523338 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :maybe because of piracy is killing intellectual property rights < 1347309170 608214 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :I'm not sure if anyone's talking at eachother or if we're just talking < 1347309269 445462 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :well real fast nora's hair salon 3 sounds interesting < 1347309310 427344 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :It's a functional programming language with the same motivation as BIT < 1347309353 601494 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I should probably find food to eat < 1347309360 53576 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Rather than pretending that food is optional < 1347309400 262952 :augur!~augur@206.196.186.175 JOIN :#esoteric < 1347309421 709536 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :as an example.. (better math notation skills would be handy here.. ) given (x,y) then (x(succ),y) and (x(pred),y) mean walking right and left respectively < 1347309425 889862 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :do i have this right? :D < 1347309470 137927 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :I think so < 1347309478 441388 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :It doesn't handle collisions at all, though < 1347309481 586127 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :so.. the verb walking < 1347309485 429244 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :And assumes distances are discrete < 1347309522 601779 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :is hard to avoid in a video game < 1347309578 218264 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :it look so elegant expressed that way though ... < 1347309616 767883 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :for some reason < 1347309661 848250 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i guess its the same as (x+1,y) and (x-1,y) < 1347309662 189497 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :(x,y) -> (x++, y), (x--, y) < 1347309813 968006 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :Well, it's goodnight from me! < 1347309816 734164 :atriq!~Taneb@host-2-99-84-46.as13285.net PRIVMSG #esoteric :Goodnight! < 1347309817 928733 :atriq!~Taneb@host-2-99-84-46.as13285.net QUIT :Quit: Leaving < 1347309840 776545 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :oerjan: i have thought about this a bit < 1347309857 279878 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :@ itidus21: but then why restrict to what can be done with a body? >:) < 1347309882 751020 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :if only i did something eh < 1347309993 282777 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1347310257 757867 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :specifically, the question of why things in a computer are modelled upon things in real life < 1347310376 569595 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :looking at some windows apps, many things have an analogy to real life.. notepad, calculator, paint(like a canvas), folders, < 1347310502 153769 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :i guess that is because if they wouldn't reflect the (actual state of) ideas of this world, we weren't even able to realize and abstract their patterns < 1347310555 251022 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i guess that just like how given (x,y) -> (x+c,y) where c != 0 inevitably coincides with walking... an array of values displayed as colours whereby we can change the values of those colours inevitably coincides with a canvas < 1347310627 890229 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :fwiw i don't really know what the -> there means :D < 1347310629 724968 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :but thats ok < 1347310648 462541 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i know its something to do with it being a function < 1347310674 560095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (\(x,y) -> (x+c,y)) (a,b) < 1347310675 536065 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (a + c,b) < 1347310745 361022 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric ::o < 1347310767 387895 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :your game is almost done < 1347310841 998832 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :everything big starts small < 1347310848 525538 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :even the universe..so they say < 1347310952 105353 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :
ACTION adds to the "things to do when I have enough savings to buy a time machine" : check if the universe was really small at some point
< 1347311157 933365 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :How can anyone have enough savings to buy a time machine, if the price is infinite? < 1347311249 719644 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :since my thought process isnt always clear, whats fascinating to me about such things is that, given a coordinate, any change to the coordinate is motion, any absence of changes to the coordinate is stasis < 1347311254 922050 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I don't know, but I expect my future self to come with a solution and bring it to me < 1347311290 668926 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i cant quite explain why such things are puzzling to me < 1347311296 590653 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Remote host closed the connection < 1347311318 818297 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :except that it involves no work on my part to make changes to coordinates mean motion < 1347311344 190995 :kinoSi!~kinosi@27-96-32-84.ipq.jp QUIT :Read error: Connection reset by peer < 1347311372 171943 :kinoSi!~kinosi@27-96-32-84.ipq.jp JOIN :#esoteric < 1347311372 812535 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Arc_Koen: just be careful not to accidentally become the small thing the universe grew from < 1347311422 47143 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well *that* would be rewarding < 1347311441 978452 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :perhaps, but also likely fatal < 1347311484 363605 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well that would be a much more ironical way of dying than, say, a cancer or a car accident < 1347311488 595228 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :and it takes no work on my part to make changes to an array of color values mean painting on a canvas < 1347311529 829653 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :like, "you used a self-generation time travel paradox to invent a time machine, and then the same paradox happened to create the universe (by killing you)" < 1347311580 953656 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :so.. coordinates and color values are ways of treating numbers.... but i don't know what that means < 1347311584 452163 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :besides, if that's what happened and I don't fulfill my destiny, then isn't there a risk that the universe suddenly cease to exist? < 1347311599 496951 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i think thats where the work comes in < 1347311618 791491 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :defining coordinates and colours < 1347311645 720683 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :> type coordinates = int * int < 1347311646 652130 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `type' < 1347311652 146894 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric ::( < 1347311701 257521 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :humm < 1347311723 665550 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :perhaps the only universes which exist are those in which such an extremely unlikely paradox happened. < 1347311727 340550 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :no, as its part you cannot dispatch this monad < 1347311730 761911 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :* Arc_Koen adds to the "things to do when I have enough savings to buy a time machine" : check if the universe was really small at some point < 1347311752 692633 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Finding that out is equivalent to checking if it's finite at all. < 1347311764 157347 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(It probably isn't.) < 1347311804 806541 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh, you mean like some kind of "until you look at it it's much more complex"ish quantum thing? < 1347311828 572649 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'd imagine that if the proliferating universes theory is correct, then each sub-universe, being created by one particular incident, is likely finite < 1347311843 891624 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :well at least its much more simple until the mathematics look at it < 1347311850 389580 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :proliferating? as in breeding? < 1347311903 278760 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah. < 1347311919 852555 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :maybe and if the universe is goin all possible ways any time.. a vast amount of universes exits.. yes all of them < 1347311925 857019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :one theory is that every black hole created in this universe creates a new one in its singularity < 1347311963 468348 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(although because of time dilation, the new one is past the end of ours < 1347311965 345295 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :) < 1347312037 813615 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and then there's something else about universes created by colliding branes < 1347312046 578291 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :so given two octets, i can mean a coordinate (x,y) with 65536 unique positions, or a very small canvas with 256 unique colours per pixel, or i can mean two ascii text characters.. < 1347312077 941701 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :that would be kind of depressing. instead of having a god or something of the like above us, we might have spawned between two molecules of a bottle of beer from a bigger universe :( < 1347312081 317074 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :and these all seem to be total functions (of course i am rambling and i dont know what the words im using really quite mean) < 1347312133 59258 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :one theory is that every black hole created in this universe creates a new one in its singularity <-- yes like that one. singularity goes a long way ;) < 1347312140 742240 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION wonders how beer got mentioned in this
< 1347312284 44993 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :itidus21: everything is encoded as something else, until you reach bits, and then you get to build those out of physical components, which are "encoded" with quantum particles. < 1347312284 899188 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I mean, when I look at the landscape aroung my house and how it is very different in the day and in the night, but always so beautiful, and all that is caused by a star in the sky... that's how I like my universe < 1347312339 581811 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and encoding things as something else is the basic trick to proving languages turing-complete... < 1347312345 759160 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :trying to check out this stellarium app (you may know it) i realized how fast the we're turning on earth. had some hard time to focus on beteigeuze while not paused < 1347312386 173624 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh yeah they had this question "what would happen if the earth stopped spinning all of a sudden" < 1347312394 125276 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :never had a chance to use a real telescope < 1347312478 33033 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think nothing much immediately; then our magnetic field would disappear; then our atmosphere. < 1347312479 433565 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :but i will go and get one, after i've studied the sky virtually for some time < 1347312508 293200 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oerjan: I think the conclusion was "everything would get sublimated, including the earth's mantel" < 1347312517 153547 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1347312532 350332 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :the magnetic sphere is created by the fluid (turning) part of the core.. thats true < 1347312557 156133 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :but can anyone tell me why the earth is that hot inside? < 1347312564 626516 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :or as they say < 1347312569 903557 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :still that hot? < 1347312582 484487 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there are far too many google hits for this question :P < 1347312616 202197 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: i've read that it's about half leftover heat from its creation, half radioactive isotopes < 1347312630 443650 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :yea. and thats a poor explanation < 1347312649 213529 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why? < 1347312670 939980 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :i've heard a theory at last.. quite interesting. an underdog. < 1347312705 545231 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1347312708 139364 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :he talked about the small interaction of .. cmon which particle was it < 1347312720 486508 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :leptons? < 1347312730 693411 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :neutrinos? < 1347312740 248583 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :yes. i think neutrinos! < 1347312745 472496 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :you're right < 1347312758 875898 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :that was too obvious :( < 1347312762 20343 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :it was about neutrinos heating up the earth < 1347312770 885411 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :and neutrino as a power source < 1347312806 84463 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or maybe it was dark matter. i saw there was a theory that there might be places with enough of it to keep planets livable without stars < 1347312814 201703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the other day < 1347312831 665036 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: i'm pretty sure they've calculated that to be insignificant. < 1347312889 203560 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :iirc a neutrino passing through a light year of lead has about 50% chance of being absorbed. < 1347312913 567290 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :yes hes theory was _based_ on that fact < 1347312926 168461 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :where are the rest of themß < 1347312932 179904 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :a light year of lead sounds like it might collapse into a black hole or something < 1347312940 692187 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...they're going straight _through_, duh < 1347312970 142547 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :olsner: yeah yeah. although it doesn't have to be thick in the other directions... < 1347312986 591331 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :how thin would it have to be not to collapse into a black hole? < 1347312991 528259 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : or maybe it was dark matter. i saw there was a theory that there might be places with enough of it to keep planets livable without stars < 1347313015 530183 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :The gist of the theory is that dark matter could be made up of particles that are their own antiparticles and so annihilate with themselves. < 1347313046 162280 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :So they'd gather in large gravity wells and provide heat through annihilation. < 1347313078 47139 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: anyway surely someone has calculated how much uranium etc. is needed to keep the earth hot and found it not to be unreasonable. < 1347313092 476354 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :olsner, ooh, I totally know this but I forget exactly what it is. < 1347313096 777740 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Not that thin though. < 1347313109 941349 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Phantom__Hoover: cool < 1347313114 33791 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Think about it: near the middle, the lead's being pulled in both directions equally. < 1347313137 336863 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :So the bits compressing it would mostly be at the end. < 1347313152 559001 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :OTOH it would still flow into a sphere pretty quickly. < 1347313170 798962 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :it's easily belived they already found an answer. but i'm sure there is somthing more to be known. and it's worth further investigation < 1347313196 860903 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :There probably is, but not by you or any of your friends. < 1347313225 638051 :KingOfKarlsruhe!~chatzilla@p5B131EC2.dip.t-dialin.net QUIT :Quit: ChatZilla 0.9.88.2 [Firefox 15.0.1/20120905151427] < 1347313236 856369 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well what is known is that _very_ few neutrinos interact with the matter in our neutrino detectors. which means our earth would have to contain something that absorbed neutrinos better than ordinary matter in order to get any significant heating. < 1347313313 999800 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and there isn't any reason to believe the matter inside earth is _that_ different, is there... < 1347313322 428818 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :hä? do you know the amount of neutrino passing the earth? and the power of 50% NOT going through? no? me neither < 1347313325 892973 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :if its that < 1347313330 411128 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :i dont have the numbers < 1347313343 35722 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :and can only recall parts of his argumentation < 1347313354 631486 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :if you want to read more.. go and find some sources on thr < 1347313378 266127 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: um the earth isn't 1 light year in diameter. it is about 1/20 light second. < 1347313406 996283 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`frink (40000 km / pi) -> light seconds < 1347313426 744720 :HackEgo!codu@codu.org PRIVMSG #esoteric :0.042470699671009158153 < 1347313501 189368 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 0.5**(0.04247 / (365.2425*86400)) < 1347313502 753673 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 0.9999999990671482 < 1347313543 536290 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 1-0.9999999990671482 < 1347313544 462980 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 9.328517958095972e-10 < 1347313585 120885 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so about a billionth of the neutrons passing through the earth in the middle might be absorbed, if it were made of lead. < 1347313723 53618 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :okay. so how much energy would that be in kJ? do we know how much energy/mass a neutrino has? < 1347313909 450887 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : h�? do you know the amount of neutrino passing the earth? and the power of 50% NOT going through? no? me neither < 1347313942 514398 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Yes. Yes I do. < 1347313984 405981 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :share it with me and my friends. please. < 1347313994 901586 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :A single solar neutrino has an energy on the order of 100keV-1MeV. < 1347314013 434598 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :oh thats fuck of a lot < 1347314017 602865 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :isnt it < 1347314020 959189 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :No, no it isn't. < 1347314032 410890 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, what's Frink for 'in ' < 1347314053 343995 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom__Hoover: see above :P < 1347314067 930944 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It's 1.6 ten-trillionths of a Joule. < 1347314072 749561 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Ah. < 1347314083 259044 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`frink 1 MeV -> joules < 1347314094 722860 :HackEgo!codu@codu.org PRIVMSG #esoteric :1.602176487000000e-13 < 1347314109 290203 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Meanwhile, 6.5e10 of those pass through the Earth at any given time. < 1347314117 741012 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :So taking the average and multiplying: < 1347314145 217697 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`frink 450keV * 6.5e10 -> joules < 1347314155 133092 :HackEgo!codu@codu.org PRIVMSG #esoteric :0.004686366224475 < 1347314165 882458 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :omg < 1347314232 298355 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :So... what is that, the kinetic energy of a paperclip held by someone on a walk? < 1347314243 172136 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh, and that's per second. < 1347314279 131897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION always approves of other people doing the work for him
< 1347314301 601494 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Now I don't know offhand what the radiative heat losses of Earth are, nor what proportion of that balances heat from the core, but I'm willing to bet that both are far, far, far, far more than 4 millijoules. < 1347314311 923078 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*4 milliwats < 1347314314 827818 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*watts < 1347314316 363795 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tip: volcanos < 1347314332 333512 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :oh :( < 1347314348 451159 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :i want the radioactive theory to be approved .. please! < 1347314352 108611 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric ::P < 1347314352 992682 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hagb4rd, oh, also, the way I got that highly technical data? Wikipedia. < 1347314366 225745 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Maybe your friend should check it before trying to do science. < 1347314403 520321 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :stop talking about my friends casper < 1347314426 847790 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :i wanted to point out the fact the reason for the hot earth is not finally clear < 1347314452 239340 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh? And why would that be? < 1347314454 691070 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :he may have seen the movie 2012, the top google hit for "neutrinos heating earth's core" is http://blogs.scientificamerican.com/observations/2009/11/13/in-2012-neutrinos-melt-earths-core-and-other-disasters/ < 1347314477 654753 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Sounds about right for hagb4rd's level of scientific expertise. < 1347314534 460851 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`frink 0.004 mW * 60s * 60 * 24 * 365.24 * 4.5e9 < 1347314544 892508 :HackEgo!codu@codu.org PRIVMSG #esoteric :5.68021248000e+11 m^2 s^-2 kg (energy) < 1347314545 63328 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: fortunately they have plans for how to measure the amount of radioactivity in the earth's core, so they should be able to make it clear. guess how they'll measure it? with neutrinos. < 1347314563 702354 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :no :) < 1347314591 256834 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, that'd only measure beta decays? < 1347314596 547517 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :beta radiation comes with neutrinos, you see. < 1347314609 254462 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :aha < 1347314611 553932 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom__Hoover: well ok may be exaggerating slightly for dramatic effect. < 1347314631 566125 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :How're they planning to detect alpha decay? < 1347314633 441294 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :which makes me recapitulate the first round < 1347314650 424600 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :maybe its not the power of the neutrino < 1347314656 458697 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :but the side effect < 1347314667 760380 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :i have to watch this over again < 1347314680 63078 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :then we'll speak again < 1347314704 951042 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :protip: 2012 is not scientifically accurate < 1347314711 582421 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: well ok but that's how _ordinary_ beta radiation works. and most of the neutrinos get away from the earth, so it will be a tiny fraction of the heating that's due to them. < 1347314717 944788 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :shut the fuck up hoover < 1347314725 728956 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(see paperclip above) < 1347314780 960353 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hagb4rd, I'm just trying to help. < 1347314803 201507 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Also the neutrino doesn't have a side effect, it's the side effect of beta decay. < 1347314838 5486 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :you talk as you would know every fact on this material.. ignoring the armies of true scientist gathering to capture just one of them to prove their mathematical disaster they have constructed < 1347314844 540605 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 276 seconds < 1347314881 912002 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :or to get rid of it < 1347314910 70969 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :They've captured plenty of neutrinos, mate. < 1347314924 296834 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Or did you think those massive detectors were just for show? < 1347314938 220195 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :How do you think they got the energies without capturing some? < 1347314944 814456 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh it's not quite 50% residue < 1347314947 958044 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"The Earth's internal heat comes from a combination of residual heat from planetary accretion (about 20%) and heat produced through radioactive decay (80%)" < 1347314950 145300 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :How do you think they know they exist. < 1347314957 900930 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Geothermal_gradient < 1347314987 802934 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :what is about higgs? do they got one? < 1347314992 628575 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1347314999 360615 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :In a box? No. < 1347315001 183101 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :what is dark matter? what is matter? < 1347315008 962870 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what are tables, man < 1347315009 511962 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: your "you talk" comment looks distinctly crackpot, i hope you didn't write it yourself. < 1347315061 721795 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :and was pointed to hover < 1347315066 398132 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :it < 1347315074 260218 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :however < 1347315078 291924 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :im disgusted < 1347315083 692948 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :well done < 1347315096 600667 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :uh < 1347315125 484523 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :did you mean to type all of those into 5 different tabs < 1347315135 208919 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :because they make no sense whatsoever when taken together. < 1347315149 699626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well he _is_ disgusted. < 1347315199 593314 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1347315205 194462 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :as far as i can tell some really stupid argument is going on < 1347315205 231996 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott: You have 2 new messages. '/msg lambdabot @messages' to read them. < 1347315216 784652 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i am here to laugh at whoever is stupider but am too tired to tell which side that is < 1347315217 806816 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, it got so stupid i think hagb4rd's brain died < 1347315219 510085 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: help me out < 1347315227 610031 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Laugh at me instead. < 1347315227 782408 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: sorry for insulting you. i don't think neutrinos are among the things that are still in doubt in physics, however. they were detected decades ago. < 1347315239 736129 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wow i never noticed oerjan uses two spaces after dots < 1347315242 54317 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Neutrinos are faked by NASA. < 1347315242 907632 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or is it only when you're being serious < 1347315247 671514 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :some of their _properties_ still are, of course. < 1347315260 329589 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Like the property of existence! < 1347315261 560560 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :however. yes. < 1347315273 501830 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :i never said they were not discovered < 1347315275 207480 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If neutrinos are real how come there are still photons. < 1347315282 924032 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i use little punctuation when not serious i guess :P < 1347315303 666315 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats shachaf -----###
< 1347315305 243096 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: how hard will i get kicked if i add a quote < 1347315310 6366 :MoALTz!~no@host-92-2-123-15.as43234.net QUIT :Ping timeout: 244 seconds < 1347315318 512152 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's because when he was young they used typewriters for irc < 1347315320 124063 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: not very hard. there might be some swatting. < 1347315327 787484 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :awesome < 1347315341 130522 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's the great thing about this channel < 1347315346 71107 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is practically impossible to ever get kicked from it < 1347315351 411651 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's also the terrible thing about this channel < 1347315366 840482 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sorry < 1347315368 542870 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I made an error < 1347315372 245373 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the terrible thing about this channel is oerjan < 1347315372 452044 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: help me out <-- but for once i _am_ on one of the sides :/ < 1347315376 276194 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :BURN!!! !! ! ! !! < 1347315383 313964 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no you can get kicked quite easily if you try to get someone kicked who should be < 1347315389 846107 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan come on < 1347315393 158713 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that was worth at least a kick < 1347315402 121335 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: KICK ME < 1347315412 850661 :ion!ion@heh.fi QUIT :Ping timeout: 248 seconds < 1347315413 12620 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you have to work for your punishment, shachaf < 1347315414 926614 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :get in line < 1347315446 478064 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan is part of the neutrino conspiracy. < 1347315449 822637 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is suddenly imagining shachaf as something from a lewis carroll book
< 1347315450 174470 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's why he won't kick me. < 1347315467 995794 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: which side are you on < 1347315468 23732 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :IF U BELIEVE IN NEUTRINOS U MUST KICK ME :"( < 1347315472 780686 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :also what is the argument actually < 1347315485 484896 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i just went "oh i should do my daily glancing at #esoteric logs to see how terrible the channel has become" and woah < 1347315504 377200 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom__Hoover: btw you have an extra _ < 1347315507 745343 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yeah < 1347315516 54920 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Did you see my @tells? < 1347315522 141515 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Isn't that sentence great? < 1347315522 180077 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i rebooted and freenode didn't disconnect me fast enough < 1347315526 27971 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: whether neutrinos have any significant part in the heating of earth's interior. < 1347315529 996371 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 NICK :Phantom_Hoover < 1347315530 14865 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also I still want an answer to my question. < 1347315530 169435 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: it's a pretty good sentence < 1347315541 309704 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: that's way too much science for me < 1347315543 245198 :myndzi!~myndzi@71-35-133-36.tukw.qwest.net JOIN :#esoteric < 1347315551 305539 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, there were numbers too < 1347315555 990145 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fuck numbers < 1347315556 236204 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1347315558 833554 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :they'd probably scare you < 1347315559 173009 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what are they even for < 1347315573 236963 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :numbers are for ruining fun < 1347315578 234942 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :they're like bits but moreso < 1347315586 478781 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :does that make sense to your little programmer brain < 1347315593 684030 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wow i see a conversation between the two best people who have nicknames with numbers in them in this log < 1347315614 452883 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: well you have to admit that it's a pretty good argument against them heating up the core to calculate "um i get about 4 milliwatts" < 1347315631 788165 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Am I one of those people. :'( < 1347315632 810092 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :millis are the small ones right < 1347315648 464286 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes. < 1347315653 580441 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm a dumb C++ programmer so i don't know these things < 1347315659 802393 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i rely on wise mathematicians to keep me straight < 1347315662 650406 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but it would be a good argument even it were mega, really. < 1347315665 924155 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, if you hold a paperclip and walk forwards then its kinetic energy is ~4mW < 1347315673 208653 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: shit < 1347315678 779620 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :templateT elliott(T T) { return T; } < 1347315678 945471 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: i never knew paperclips had enough power to heat the earth < 1347315682 240665 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's cosmic < 1347315683 129982 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :does that make sense to you or do i have to object-orient it < 1347315688 230541 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, does that compile? < 1347315690 791065 :ion!ion@heh.fi JOIN :#esoteric < 1347315710 444492 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: btw why am i tired at like 23:30 < 1347315714 882107 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :23:23 in fact < 1347315715 429279 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nice < 1347315724 905109 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I have 23:31 here < 1347315729 202703 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you know i think C++ is actually an ok language in some respects < 1347315731 805453 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i feel bad about saying this < 1347315735 356100 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :well actually i have 00:22 here < 1347315742 688266 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what did the clocks change < 1347315744 942535 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :??!?!?!? < 1347315748 182169 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :but the clock is off by an hour for some reason < 1347315756 50736 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no my clock is in GMT+2 < 1347315759 404354 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i have no idea why < 1347315766 935430 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ok well < 1347315768 676131 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ok < 1347315769 358241 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :ok i've got the authors: Johannes von Buttlar and Konstantin Meyl < 1347315783 11063 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: your house has undetectedly slipped into the north sea < 1347315794 908163 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :19:30:32: even when category theory is all worked out, our descendants will evolve new levels of conciousness with which they must solve greater and greater riddles.... and the accomplishments of humans in what we currently call 2012 won't seem very helpful except in a retro kind of way < 1347315808 761091 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i < 1347315811 569581 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i honestly can't tell whether this would make sense if i was less tired < 1347315815 581550 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :probably because of neutrinos < 1347315816 95880 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :don't think you can all work out category theory < 1347315818 860012 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :like it makes no sense but < 1347315822 997499 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :neutrinos as a category < 1347315823 546233 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nothing makes much sense to me right now < 1347315827 353993 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :um < 1347315828 796753 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :wait < 1347315834 636484 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :quantum physics uses groups and shit < 1347315838 904831 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :so probably that works < 1347315842 48553 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: can i come visit in trondheim < 1347315854 899022 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i'm all soured and cynical < 1347315915 983632 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sorry, i am too soured and cynical myself to see visitors < 1347315920 547536 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :trondheim is the perfect name for a place to be soured and cynical < 1347315923 413991 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: great! see you then < 1347315934 872551 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: that _is_ true. < 1347315953 364490 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's ok i'll just go on a trip to norway and HAPPEN to pass through trondheim < 1347315967 731477 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and HAPPEN to spend all day covering every inch of the place until i run into oerjan BY COMPLETE COINCIDENCE ISN'T IT AMAZING?!?!?!?!??!!! < 1347315977 346010 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, but will you and oerjan be able to share his cardboard box < 1347315984 422167 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what cardboard box < 1347315994 873187 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i mean there's not much demand in trondheim for a beggar who can't even integrate < 1347316027 294773 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan < 1347316030 855540 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i have some life wisdom to dispense < 1347316032 50447 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :are you ready < 1347316032 737850 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i doubt most of the beggars in trondheim can integrate, being romanian roma < 1347316056 806101 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :admittedly they're not much in demand either < 1347316059 479852 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :are you ready < 1347316064 125038 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i didn't say there was much supply for integrating beggars either < 1347316065 904639 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :NEVER < 1347316067 961720 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ok < 1347316068 473152 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well < 1347316070 216595 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :here it is < 1347316076 479058 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you know how everything sometimes seems like crap < 1347316078 221198 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well let me tell you < 1347316082 522120 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that all goes away when you're tired!!! < 1347316085 457376 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that's my life tip of the ay < 1347316086 142830 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :life wisdom never comes when you're ready anyway < 1347316100 619168 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*of the day < 1347316192 62902 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :so... be tired all the time? < 1347316196 524124 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: http://esolangs.org/wiki/SMITH_Turing-completeness_proof_sketch someone is encroaching on ur teriotry < 1347316228 895123 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://esolangs.org/w/index.php?title=AAAAAAAAAAAAAA!!!!&curid=1671&diff=33689&oldid=20842 great editg < 1347316230 296580 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :edit < 1347316319 536004 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: oddly enough another thing that goes away when you're tired is your left ear < 1347316329 390687 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :itst the mysteries of creaiotn that bind us all together < 1347316355 233844 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :17:52:00: they added some cheesy backing track, I suppose they intended to make it "fuller" or something but it sounds more like they found the make-a-beat button on the keyboard < 1347316358 505362 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: i love that fucking button < 1347316383 196202 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm imagining a wonderful crappy keyboard beat underneath the enterprise theme now < 1347316384 683174 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mmmmmmmmmmmmmmmm < 1347316393 204721 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :jammin' < 1347316497 350522 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1347316543 282301 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: oddly enough another thing that goes away when you're tired is your left ear <-- well i've noticed mine starts ringing when i'm tired and many people are speaking... < 1347316759 876811 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what more proof do you need < 1347316788 947301 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 248 seconds < 1347316869 418358 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :i want to touch the wounds < 1347316886 263498 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :thanks < 1347316917 988577 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so hum proving that all programs in a certain language are bound to terminate is a proof that that language is not turing complete? < 1347317012 586047 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1347317027 133654 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :however, proving that not all programs in a language terminate is not a proof of turing completeness < 1347317037 148940 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(i.e., there are languages with non-halting programs that are still not powerful enough to be TC) < 1347317040 855884 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(but you must have non-halting programs to be TC) < 1347317070 613860 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :subtle cough is a simple example < 1347317101 427941 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :some people might not consider it simple :) < 1347317119 962333 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well a _small_ example, then :P < 1347317183 967220 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also this assumes that the language is actually implementable and that termination means that the implementation also terminates. < 1347317239 297474 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :otherwise you get into semantics of what termination means for very abstract models < 1347317240 659363 :hagb4rd!~perdito@koln-4d0b7be8.pool.mediaWays.net PRIVMSG #esoteric :the greatest variety of phenomena from the smallest amount of principles < 1347317321 775426 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i also recall 0x29a which was TC but the functional subset alone wasn't < 1347317331 716602 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :elliott: however, proving that not all programs in a language terminate is not a proof of turing completeness I think HQ9+ misses an infinite loop instruction < 1347317360 470460 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i am reminded of oerjan's HQ9+ variant < 1347317414 411357 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :btw, what the hell does the + do? < 1347317432 450358 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Increments the accumulator, doesn't it? < 1347317466 228915 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :*what* accumulator? < 1347317475 351105 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the accumulator that is incremented by + < 1347317480 906529 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Arc_Koen: that's the joke. < 1347317481 248277 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :let's not get bogged down in ontology < 1347317484 945101 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Arc_Koen: the accumulator < 1347317526 3145 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I suppose it's all very philosophical. < 1347317567 855857 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Gregor: I tried to have a Portland food cart lunch today, but all the other people wanted to go somewhere where they can sit down and have a beer. Perhaps tomorrow. < 1347317606 84861 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ok well thanks for your help < 1347317639 464896 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and gnight < 1347317644 572174 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Are you telling me you can build a time machine but you can't cook a cheese soufflé? You've got your priorities all wrong! < 1347318086 276915 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but what if i used a time machine to work for Carême? < 1347318099 308505 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i am going to bed now < 1347318106 325906 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good night then < 1347318107 350237 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :zzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz < 1347318124 713044 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :have a nice day everybody except the bad people < 1347318159 217688 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Did you answer my cryptography question yet. :'( < 1347318163 549003 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Also am I bad people? < 1347318167 818990 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn elliott always excluding us villains < 1347318174 886086 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: what question < 1347318188 730393 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: don't worry i was thinking of people who weren't you < 1347318194 475623 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1347318224 124764 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Stream ciphers and disk encryption and all that. < 1347318249 720705 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :uh < 1347318253 509470 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i don't remember it < 1347318254 536074 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so goodnight < 1347318353 205978 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Remote host closed the connection < 1347318360 797328 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1347318434 833478 :elliott!~elliott@unaffiliated/elliott QUIT :Remote host closed the connection < 1347318608 99332 :kmc_!~keegan@c-76-119-235-30.hsd1.ma.comcast.net JOIN :#esoteric < 1347318814 290886 :mig22!~miguelort@bb116-15-65-102.singnet.com.sg JOIN :#esoteric < 1347319085 5718 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: I SEE KMC_ < 1347319440 301129 :kmc_!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :hi guys < 1347319469 333853 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net QUIT :Quit: Lost terminal < 1347319487 702607 :kmc_!~keegan@c-76-119-235-30.hsd1.ma.comcast.net NICK :kmc < 1347319494 867406 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :still getting the hang of tmux < 1347319793 497449 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi kmc < 1347319844 793322 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: So I wrote that program in Haskell (mostly). < 1347319864 769203 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Halfskell halfC, anyway. There are no XInput bindings. < 1347319968 255033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did all my kmc:s before get through? < 1347320207 785210 :ion!ion@heh.fi QUIT :Ping timeout: 246 seconds < 1347320242 748034 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :all the ones i saw got through < 1347320268 783291 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :
ACTION checks logs
< 1347320275 680772 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :shachaf: you're right that I probably don't need to check the event type < 1347320313 303641 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :@tell elliott yes, it does break these consequences of Fitt's law, but personally I don't use the screen edges that much -- I already have keyboard shortcuts for tab bar and scrolling < 1347320313 322336 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1347320319 257159 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :O, 7-zip can unpack many file types, and the common ones (tape archive, gzip, zip, etc) can be used with packing as well. < 1347320327 533380 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :@tell elliott i mainly use the mouse for clicking links in the middle of web pages, ymmv of course < 1347320327 561813 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1347320348 97033 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :shachaf: what did you write in Haskell? a screen wrappy thing? < 1347320369 103056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Yes. < 1347320373 617498 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :cool < 1347320386 156071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's mostly a port of the C code. < 1347320409 698580 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The X11 bindings are both incomplete and low-levelish. < 1347320469 254352 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :7-Zip can even unpack Macintosh disk images, which I have once had to do; the music for PySol is in this format for some reason I don't know. < 1347320524 286894 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://slbkbs.org/wrap/Main.hs http://slbkbs.org/wrap/cbits.c < 1347320627 740198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Anyway I'm trying it and it's weird. < 1347320635 578452 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe it's be more useful if I had more screens. < 1347320986 664846 :ion!ion@heh.fi JOIN :#esoteric < 1347321008 673060 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :i am used to it and so i use it even on the small laptop screen < 1347321009 868617 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :but yeah < 1347321209 696891 :kmc!~keegan@c-76-119-235-30.hsd1.ma.comcast.net PRIVMSG #esoteric :i learned that you can set the window title in screen/tmux with \ek