00:05:56 -!- Ghoul_ has joined. 00:07:59 -!- Taneb has quit (Quit: Leaving). 00:24:19 -!- nooodl has quit (Ping timeout: 272 seconds). 00:25:54 -!- augur has joined. 00:26:24 -!- nathnath has left. 00:32:48 -!- prooftechnique has joined. 00:33:55 -!- Lymia has joined. 00:56:44 -!- nisstyre has quit (Quit: Leaving). 00:58:45 -!- Bike has quit (Ping timeout: 248 seconds). 00:59:18 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:01:45 -!- tswett has left ("http://quassel-irc.org - Chat comfortably. Anywhere."). 01:06:10 -!- Bike has joined. 01:07:50 -!- augur has quit (Quit: Leaving...). 01:08:43 -!- shikhin has quit (Ping timeout: 244 seconds). 01:09:44 -!- prooftechnique has quit. 01:12:44 -!- yorick has quit (Remote host closed the connection). 01:27:38 -!- prooftechnique has joined. 01:31:45 -!- ter2 has joined. 01:34:40 -!- ter2 has changed nick to tertu. 01:35:58 Semigroupoids are like the vegetarian version <-- i don't see the need for the term semigroupoid, since categories are identical. 01:36:16 * oerjan hides under rock 01:41:42 i prefer non-associative semigroupoids 01:45:40 oerjan: Uh, i thought semigroupoids are categories sans id. But i probably remember incorrectly. 01:45:49 "On Windows, we cannot make a flie named 'aux'. So It doesn't make src/components/main/layout/aux.rs on Win" 01:45:52 best platform ever 01:46:27 the top hit for magmoid is relevant, dunno about the rest. 01:47:44 kmc: :-D 01:49:10 -!- Ghoul_ has quit. 01:49:27 kmc: Yes, AUX is a DOS device name in Windows. So is CON, PRN, COM1, COM2, LPT1, etc. Yes it can be a problem, such as that one. 01:50:12 con.carne 01:50:27 who here remembers

01:50:49 They should have perhaps used a symbol at front which isn't used in actual filenames, in DOS 1.0, but that isn't what they did. 01:51:07 kmc: \o/ 01:51:08 | 01:51:08 /< 01:51:20 click here 01:51:34 90s Kids Remember These 12 IE5 DoS Exploits 01:52:31 I have done in some versions of ZZT, made a link to CON in a menu, which caused strange things to happen. In the latest version I believe that bug is fixed and a link to CON is an error. 01:52:55 ion: that is correct. thus semigroupoids are not identical, but categories are. 01:58:56 oerjan: Oooh, i see what you did there. 01:59:51 puns: sometimes they get too deep and sink 02:00:20 Especially funpuns 02:00:51 i sunk columbus, oh 02:01:04 oh no 02:04:40 -!- Sgeo has joined. 02:05:41 kmc: hell, no 02:07:10 Are there any good amateur philosophy subreddits? I get the impression that /r/philosophy isn't one. I want to rant about how "same" is a silly concept 02:07:21 oh my god 02:07:56 "amateur philosophy subreddit" ;_; 02:08:21 kmc: i think we need to find such a subreddit to ask whether it's ethical to answer that question 02:08:50 do you enjoy arguing with programmers who have never taken a philosophy class or read a book but think that they're automatically an expert because humanities are for dumb people 02:08:51 kmc: Not just any amateur, *good* amateur. 02:09:33 Also, kmc, I have a criticism of Rust in regards to macros 02:09:34 at least when they do this about philosophy it's of no real consequence to anyone 02:10:09 http://www.reddit.com/r/askphilosophers seems empty 02:10:16 Sgeo: oh? 02:10:28 (based on r/askhistorians, it was the obvious place) 02:10:48 "To make this behavior more obvious, the rule has been made that use-statement always need to be written before any declaration, like in the example above. This is a purely artificial rule introduced because people always assumed they shadowed each other based on order, despite the fact that all items in rust are mutually recursive, order independent definitions." 02:11:34 Having artificial restrictions like this could hinder the ability for macros to emit such code without regard to their location in the file, or mixing two separate macros that both expand to use-statements and declarations 02:11:48 http://www.reddit.com/r/askphilosophy looks promising 02:11:59 I think I'm lagging a bit 02:12:22 Sgeo: interesting 02:12:29 I'm not sure that macros can even emit "use" items at the moment 02:12:31 but I think they can 02:12:35 rust-http generates whole modules from macros 02:12:53 btw, another confusing consequence of that is "use foo::Bar; ...; mod foo;" 02:12:57 it must be in that order and not the other 02:13:16 I think there's another similar artificial restriction that's related (external mod, I think?) but same concept/concern 02:14:01 "mod foo;" is a definition and not just a declaration; it creates a module named "foo", but it grabs the module contents from an external file foo.rs and so it doesn't really "look like" a definition 02:16:03 Sgeo: you should start reddit.com/r/Sgeo 02:16:59 shachaf: that's such a good idea, I'll hop in my time machine and do it a year ago 02:17:54 (I wanted to see what the mod tools were like) 02:18:14 I CAN SEE THAT 02:18:15 it's private :'( 02:18:18 but nothing else 02:18:36 i was hoping for a place full of Sgeoy things 02:18:47 such as «Are there any good amateur philosophy subreddits? I get the impression that /r/philosophy isn't one. I want to rant about how "same" is a silly concept» 02:18:59 shachaf: are you sure this would be safe? 02:18:59 did sgeo say that 02:19:24 oerjan: for whom 02:19:27 Bike: well he said the same thing 02:19:44 oh, indeed he did 02:20:07 a good amateur philosophy subreddit presumes good amateur philosophy 02:20:08 whether this means he said that, you'll have to ask an amateur philosopher. 02:20:17 Bike: well, it could be empty 02:20:24 checkmate 02:20:27 damn. 02:20:39 shachaf: for the universe. maybe it would turn reddit into a black hole or something. 02:20:52 could make /r/BikeGetsOwned. only user is shachaf 02:21:01 just constantly burning me left and right 02:21:59 * oerjan remembers to drink his irange juice 02:22:00 the other day i found reddit.com/r/magicskyfairy which seems to be a sort of improvement on reddit.com/r/atheism 02:22:19 i don't know what that is, i thought it was orange but the keyboard doesn't lie 02:22:52 the true spirit of reddit, i think 02:23:13 haha an improvement on /r/atheism 02:23:45 /r/atheism, now with blackjack and hookers 02:23:55 *but with 02:24:17 kmc: hard to believe, i know 02:27:28 I have heard a lot, many people think of "God" as the "magic sky fairy" and is why those people don't believe in such things. Other people are not so dumb. And learn ignosticism too. 02:28:33 are antipodes related to octopodes <-- whatever you do, don't mix them, especially not in 8:1 proportion 02:29:36 Hey, i heat my house with that energy. 02:30:35 also you get a nice tan from the gamma rays? 02:31:07 Only cos. 02:32:05 i get really nervous whenever I add an rm -rf rule to a makefile 02:32:50 hehe 02:34:01 zzo38: I don't think it's *why* those people don't believe in a god, it's just a way to make fun of people who do 02:34:41 kmc: Probably you are correct at least in some cases. I don't know if it is true in all cases. 02:34:51 i dislike religion immensely but that kind of mockery is probably bad and unhelpful 02:35:11 I think you are correct, it isn't very helpful. 02:35:42 one thing that most of the Angry Internet Atheists tend to miss is that religions fulfill like 30 different social roles, many of which have nothing to do with superstition or metaphysics 02:35:51 the fact that they are tied up with superstition and metaphysics is historical baggage 02:36:05 Yes, that is true too, you do make the good points too 02:36:10 hooray 02:39:32 I think ignosticism should be a thing. You just don't think about the existence of god 02:39:43 it is a thing 02:39:47 zzo38 just recommended it 02:39:58 (I've heard it called "apatheism" as well) 02:40:03 Oh, wow, it is a thing 02:40:09 it actually means the belief that questions of theism can't be dealt with without an adequate definition of 'god' etc 02:40:14 there are other positions like, "whether god exists is an ill-posed question" 02:40:33 which is different from "i don't care" and also different from the traditional agnostic "we can't ever know" 02:40:43 "whether god exists is independent of the axioms of ZFC" 02:40:52 Bike: Yes that is what I meant 02:41:06 kmc: That one's a little better 02:41:11 kmc: [gödel joke] 02:41:37 but of course we can talk about systems ZFC+Θ and ZFC+¬Θ 02:41:53 Yes I think that is correct, whether or not God exists is an ill-posed question. 02:42:03 can God create a statement of number theory which is so self referential that even He cannot prove or disprove it 02:42:57 I assume that Gödel actually said something about that at some point 02:42:59 anyone know what? 02:43:20 oh, i was referring to godel's attempted proof of god's existence 02:43:28 yeah I figured 02:44:00 lexande: do you know if he said anything about it? 02:44:21 I guess it is similar to other simpler theological puzzles such as, can god create an object which is both light and heavy 02:44:28 or a glass which is both empty and full 02:44:39 (can god create an object whose inertial mass differs from its gravitational mass?) 02:45:38 Bah, temporal logic 02:45:57 -!- drlemon has quit (Ping timeout: 240 seconds). 02:46:10 kmc: I suppose they might be possible, but not in this universe (by definition) 02:46:14 hmm 02:46:28 can god create a new universe where naive set theory is consistent 02:46:37 a philosopher buddy of mine happened to be reading a book on godel's philosophical influences, perhaps it is relevant http://www.amazon.com/After-Godel-Platonism-Rationalism-Mathematics/dp/019960620X 02:46:59 as for that, i <3 psychologism~ 02:47:04 kmc: But set theory is mathematics, not physics. Therefore the question is wrong. 02:47:07 yeah i don't "read books" or anything like this 02:47:41 zzo38: oh? 02:48:10 zzo38: uh, i think that's explicitly the question 02:48:22 of whether maths had to be the same in all "universes" 02:48:34 -!- nisstyre has joined. 02:48:44 I think it does have to be the same. 02:49:10 how about the fact that YHWH apparenly thinks that pi=3.0? 02:49:18 prooftechnique: I guess my view is a form of agnosticism, in that I believe any evidence of God which is admissible to a finite mind would be better explained (c.f. occam's razor) with beings of finite power instead 02:49:23 "god doesn't exist, aliens are just fucking with you" 02:49:25 lexande: That is simply an error in the Bible. 02:49:39 Any book can contain errors. 02:49:56 prooftechnique: so I can't assert "there is no god" but i have no reason to believe there is one, and I never could 02:50:04 zzo38: so i'd say that no universe where naive set theory is consistent exists 02:50:13 but i think this relies heavily on my definition of "exists" 02:50:13 zzo38: many people believe quite explicitly that the Bible is exempt from that fact about books 02:50:17 kmc: I can get down with a little Lovecraftian theology, sure 02:50:23 prooftechnique: heh is that what we call it 02:50:52 However if you say God created that, God did that, deliberately, accidentally, by choice, by having no choice, etc, it is just metaphorical and why should we think it is applicable to God in the same way it is to us? Probably it isn't. 02:50:59 kmc: how about the statement that you're in a simulation? 02:51:08 could naive set theory be consistent in this cardboard box right here 02:51:14 Bike: no. 02:51:17 That sounds exciting because maybe there are cheat codes 02:51:21 People think of God as a Person, but that is silly and stupid. 02:51:37 Bike: The Axiom of the Carboard Box says it is 02:51:47 lexande: hmm, it depends on what you mean by "simulation" 02:51:47 Still it can be a metaphor when some people draw the picture (which is a representation, as inaccurate as others); it is not the kind of metaphor I prefer however. 02:51:54 lexande: are you sure. have you even seen the box! 02:52:09 Bike: does the cardboard box exist? if so then i'm sure 02:52:11 it's pretty nice. filled with books. books i like, so objectively good 02:52:29 you're that sure huh 02:52:30 -!- tertu has quit (Ping timeout: 245 seconds). 02:52:35 kmc: depends how? 02:52:43 The Weak Axiom of the Cardboard Box says it might be consistent in a certain neighborhood of the box. 02:52:56 The Axiom of the Weak Cardboard Box says that the box might fall apart under stress. 02:52:57 in which topology 02:53:04 prooftechnique: http://lesswrong.com/lw/qk/ 02:53:23 lexande: if I take a red pill and trip balls and emerge naked from a pod of alien goo, I'll probably conclude that I was in a simulation before, but maybe aliens are just tricking me, but if their trick is sufficiently advanced then maybe it counts as a simulation too 02:53:47 i suppose i could have said "why is 'X theory is consistent' a statement you make about places" directly but i like boxes 02:54:03 What is the simulation in, then? 02:54:11 intercal 02:54:16 Turtle 02:54:24 kmc: how do you decide whether pre or post red pill is the simulation? 02:54:32 and who is emerging from the pod 02:55:09 valid questions too 02:55:13 but anyway i'm specifically considering the statement that the whole universe is more or less how it looks except it's a simulation inside a larger universe 02:55:16 "I" is a leaky abstraction 02:55:33 and it seems like no evidence could convince me of that for the same reason none could convince me of god 02:55:38 yeah, maybe 02:55:38 which is good, because it allows some p. cool exploits 02:55:41 I will think about that more 02:55:54 and yet it seems odd to assign that statement extremely small probability 02:56:07 given the arguments about how the universe is probably a simulation, etc 02:56:16 oh, hey, i read a nice paper about this once, let me see if i can find it again 02:56:16 Does the simulation have to be in a larger universe? 02:56:30 I don't think the universe is a simulation, although I cannot discard that hypothesis. 02:56:33 people write papers about brains in vats all the time though :/ 02:56:34 so i think i have to say that "the universe is a simulation" is not a meaningful statement, since only things in the universe "are" 02:56:44 kmc: I think the problem is that "naive set theory" refers to something within this universe. 02:56:46 What is universe in, anyways? 02:56:53 if you assume mathematics can vary over universes then "naive set theory" as a concept is local to this one 02:57:14 here it is, drevil.pdf 02:57:24 zzo38: what evidence might cause you to increase or decrease your confidence in that hypothesis? 02:57:27 naive set theory is local to this box 02:57:48 Bike: So the Axioms of the Cardboard Box are consistent 02:57:50 Sweet 02:57:52 good, good 02:57:52 I assume mathematics is fixed and cannot vary over universes. However, if a mathematical theory is inconsistent (i.e. all well-formed statements are theorems) then it isn't a Mathematical Truth. 02:57:55 we should find some actual space aliens and ask them what their mathematics is like 02:57:56 how do you compare the probability of the universe being a simulation with the probability of in-universe aliens trolling you 02:58:02 "Defeating Dr. Evil with self-locating belief", if anyone's interested. 02:58:04 zzo38: you ever dream maths? 02:58:19 when i dream maths it's all wrong 02:58:28 kmc: i have a fantasy of running some AI simulations and seeing what they can come up with under various developmental schemes. 02:58:34 Yes I sometimes to dream about mathematical things 02:58:38 things feel like proofs that certainly are not proofs 02:58:55 I sometimes finish proofs while I'm asleep 02:58:57 which i find deeply disconcerting 02:59:16 Dr Evil is about, uh, "Dr. Evil learns that a duplicate of Dr. Evil has been created. Upon learning this, how seriously should he take the hypothesis that he himself is that duplicate?" 02:59:18 i had a dream where I discovered a security flaw in a real software system and it turned out to be real 02:59:29 And I notice that some of the "illogical" things in my dreaming are actually logical if you use the wrong kind of logic. 02:59:44 kmc: nice 02:59:47 wrong kind, huh. 02:59:52 the reasoning in my dreams is consistently nonsense 02:59:54 i hate dreaming 02:59:54 kmc: I think something similar may have happened to me, but I am unsure. 03:00:01 and with that, i'm going to take a nap 03:00:05 Bike: At the end, do they fight, or do they make out? 03:00:09 Yes the reasoning is sometimes nonsense. 03:00:09 enjoy, lexande 03:00:21 prooftechnique: well, one of them is being tortured. 03:00:25 prooftechnique: one and then the other 03:00:26 Kinky 03:00:30 also man i'm glad i'm not a mathematician because i would not fit in 03:00:42 However I am distinguishing between logic (which is mathematics) and reasoning (which is informal thinking, and should be logical). 03:00:45 It's fun, Bike. Pinky swear 03:01:02 It's just pacing for hours and thinking really hard 03:01:13 Which, as I understand it, is what most people do, just not about math 03:01:29 yeah, i do that about parts of china and caterpillar legs. 03:01:39 By "wrong kind of logic", I mean for example linear logic where classical logic would be a better model in real situations, and vice versa, and other similar kind of things too. 03:01:43 -!- nisstyre has quit (Disconnected by services). 03:01:59 -!- nisstyre has joined. 03:02:23 If everyone turned all their nervous energy to some light mathematics, there'd be some neat stuff to show for it :D 03:02:50 three billion proofs of the parallel postulate from the other axioms 03:03:07 oerjan: That was pretty cool 03:03:11 Definitely bookmarking 03:14:02 An example of something that doesn't follow ordinary logic, but may be logical in other kinds of logic, in my dreams, may be the one where I had the belief that I (as my character in the dream) had never been there but that I (as myself) had been to that place before, and these beliefs could not be combined in my reasoning. (As it turns out, the second belief is also untrue, but I believed it while I was asleep.) 03:14:39 -!- Oj742 has joined. 03:15:16 Despite being strange (and clearly incorrect), it still appears perfectly logical to me, just using the "wrong kind of logic". 03:19:48 Do you have dreams like that too? 03:20:40 why do you think math "does have to be the same [in all universes]", i'm curious 03:21:02 i mostly dream about being very afraid 03:22:34 Because mathematics is the *real* reality. 03:22:43 why do you think that? 03:22:46 Bike: Very afraid? If anything in particular? 03:23:04 the things i'm afraid of aren't very constant between dreams, no 03:23:31 But what are they for instance? Do you know? Or is just being afraid in general? 03:23:37 * constant looks at Bike 03:23:45 * Bike looks at constant 03:24:25 zzo38: one time, it was a virtual reality character, an imperial japanese soldier who had strapped himself with explosives. for example. 03:24:40 Ah, OK. 03:24:51 another time it was the concept of dreaming. another time it was a big thing that looked like a displacer beast made of half-cooked meat 03:25:00 OK. 03:25:46 When I am dreaming of being afraid of something (which isn't common), it is almost always other people trying to push me or rescue me or something, it seems. 03:26:47 Bike: Sounds low calorie 03:26:54 prooftechnique: also, http://qntm.org/responsibility :) 03:27:50 oerjan: https://sites.google.com/site/asenselessconversation/ 03:27:52 I like this one 03:28:51 oerjan: Also, did you hear about Google/NASA's quantum computer? 03:29:28 um did they buy one of those d-wave things that are _possibly_ sort of qc but not the "real" thing 03:30:20 (aaronson at shtetl-optimized likes to criticize them) 03:31:07 It is a D-wave, yes 03:31:44 iirc from his last post about it, they cannot do "real" quantum algorithms and the evidence that what they can do is hard with classical computers is increasingly weak 03:31:54 Aww 03:55:11 kmc: should I comment on my Rust thoughts elsewhere? 03:55:28 perhaps you could use the rust channel 03:56:08 I could bring it up in the Rust channe; 03:56:08 channel 03:58:11 I feel awkward being on the Mozilla IRC network while being a Chrome user 03:58:29 it's in your user-agent, they can deal! 03:59:04 Disable VERSION then. 04:05:14 kmc: fwiw, a thing I do think I like about Rust is its do syntax. As readable as Ruby, without an actual physical distinction, just syntactic sugar 04:37:42 yep 04:37:59 'for' used to be similarly superficial sugar 04:38:14 -!- ^v has quit (Ping timeout: 240 seconds). 04:38:15 for a call with a lambda 04:38:16 but it didn't work out so well, so now it's sugar for calling .next() repeatedly 04:38:40 not such a big deal to consumers, but implementing an object with a .next() method is a lot more work than implementing a function that takes a function 04:38:43 oh well 04:38:58 (the reasons for switching were composability and performance, I think) 04:39:06 I often don't like to knock out opponent's active pokemon cards. 04:39:13 C++ lambdas can do something Rust lambdas can't which is inline into the function they're passed to 04:39:28 that's weird 04:40:00 in C++ you can do void f(std::function g) but you can *also* do template void f(G g) and the latter will enable such optimizations 04:40:27 with Rust if you want the latter you need to define and implement a trait 04:41:06 Sgeo: I dunno, if you have specific questions or suggestions you could take them to #rust on irc.mozilla.org 04:42:35 Already did, someone commented on my mentioning the restriction, but not my comment about how it affects macros 04:42:42 okay 04:42:52 you could press on that point? 04:42:55 i thought it was an interesting point 04:43:14 I don't know how to do that without being rude 04:44:04 -!- ^v has joined. 04:46:47 i give this article an eight of ten. most enlightening. http://krazydad.com/tutorials/makecolors.php 04:47:31 prooftechnique: reading your senseless conversation link now, i think i guessed pretty quickly where this is going... 04:47:42 oerjan: Yeah, so did I 04:47:50 That was the only disappointing thing about it 04:53:29 kmc: are you in the chat? 04:53:50 not paying attention atm 04:57:47 http://zzo38computer.org/img_16/pokemon_card_never_switch.png As it turns out both of us had the same active pokemon card during the entire duel, never shifting or getting knocked out. (I knocked out their bench pokemon cards though; the AI is really bad.) 05:04:00 oerjan: i am amused by the idea of hofstadter administrating the test tho :D 05:07:59 zzo38: the symbols look like a mess, how can you read that? 05:08:50 -!- augur has joined. 05:08:55 oklopol: I can read it, I can tell you its meaning: Side card, Active pokemon card, Number of cards remaining in draw pile. 05:09:18 i could read up to side card 05:09:39 but kanji are a mess 05:09:58 Well, now you know the rest too. Yes the kanji is in a small resolution that is hard to read, but I know what they mean in this context anyways. 05:10:50 how do you say the active 05:11:35 I don't know. 05:11:58 But that is what it means in this context. 05:12:08 ok 05:13:49 Do you play Pokemon card? It would be more understandable to someone who does. 05:15:17 i don't 05:15:42 but i play some japanese 05:16:21 What games can you play in Japanese? Shogi? Mahjong? 05:16:55 no i mean i play the language itself 05:17:02 in the sense of pretending to learn it 05:17:21 well i've played some mahjong obviously 05:17:29 Pretending to learn it? 05:17:45 Is it Japanese mahjong? Do you know Washizu mahjong? 05:18:41 i just know the mahjong computer game, it's a kind of solitaire 05:18:50 you have to remove pairs until the heap runs out 05:18:55 and then you win 05:19:19 Yes, mahjong solitaire, I know that one, but that isn't the real mahjong game, it is just the mahjong solitaire, using the same tiles 05:19:51 i sort of figured 05:19:53 The true mahjong game is 4 players game. 05:19:55 what's the actual mahjong like 05:19:57 ohhhh 05:20:03 i've read its rules 05:20:06 i think 05:20:12 there's like four winds and stuff 05:20:16 Yes 05:20:36 and like a great wall made from the pieces maybe_ 05:20:37 ? 05:20:55 Yes, usually there is. (Sometimes a bag is used instead.) 05:21:09 There is many different variants, such as Chinese game, Japanese game, etc. 05:21:44 dunno which one was in the big book of random games i read once 05:22:25 http://en.wikipedia.org/wiki/X-machine okey doke 05:30:57 oerjan: i am amused by the idea of hofstadter administrating the test tho :D <-- oh, i didn't notice the first name coincidence. 05:31:38 coincidence? i'd guess intentional. it's not like Zongker is much of a computational philosopher 05:46:11 hey oklopol 05:46:15 hii 05:46:21 surely you know the answer to my question 05:46:45 hide the finnish grammars! 05:46:49 how can we probe a formal language for word-word interactions without knowing the grammar or the class of grammars involved? 05:47:48 well that's easy but you don't know enough flexo-flamigold theory to understand it so no can do 05:48:16 probe like, how? temperature? 05:48:32 Bike: yes, temperature 05:54:09 oklopol: it's more-or-less like canasta, if you've played that 05:54:12 it's similar anyway 05:54:20 mahjongg, I mean 06:00:38 i don't know canasta 06:01:00 but kanasta means "from a chicken" in finnish 06:05:07 -!- prooftechnique has quit. 06:17:07 Yes, it is somewhat like canasta and other rummy games. 06:17:27 Although there are actually many significant differences. 06:20:44 I made up a new esolang http://esolangs.org/wiki/B-tapemark 06:28:03 -!- Oj742 has quit (Ping timeout: 245 seconds). 06:37:35 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 07:03:17 -!- Ghoul_ has joined. 07:20:45 -!- ^v has joined. 07:24:54 -!- ^v has quit (Client Quit). 07:25:24 -!- ^v has joined. 07:33:23 Bike: so imo the "finite observations" business is a sensible way to understnd continuity 07:35:36 -!- Bike has quit (Ping timeout: 246 seconds). 07:40:33 @ask Bike imo wow rude 07:40:34 Consider it noted. 07:42:29 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 07:54:48 oerjan: in re http://lesswrong.com/lw/qk/ , https://twitter.com/HardSciFiMovies/status/396699827414646784 07:54:58 (though i realise that's kind of missing the point) 07:56:18 that was a plot point in the movie also 07:57:00 lexande: that's based on the Matrix movies though (duh), not yudkowsky 07:57:14 yes. still. 07:57:32 should i read more lesswrong sci fi 07:57:35 it seems p. interesting 07:57:56 the only yudkowsky sci fi i know about is this and the one with the babyeaters and superhappies and hpmor 08:00:12 "If you have a sexual fetish for people who have a fetish for recursion, and they have a fetish for people with a fetish for recursion, the two of you have a fetish for each other via Lob's Theorem." 08:01:13 \rainbow{yudkowsky} 08:01:34 kmc: i haven't seen any other fiction on lesswrong than those yudkowksy things but i haven't looked 08:03:30 :D 08:04:34 oerjan: where should i eat pizza if i visit .no 08:05:25 the latest HardSciFiMovies happens in a world close to you 08:05:53 shachaf: i see you think i have taste 08:06:08 alternative answer: you can't afford norwegian food anyhow. 08:06:53 i hear good norwegian pizza costs $30 or something? 08:07:08 PLAYSIBLE 08:08:40 i can tell you the two biggest pizza chains i know of, but i cannot remember if they're considered _good_: peppe'?s pizza and dolly dimple's 08:09:18 (actually dolly's has a bit unusual cheese mix) 08:09:40 also norwegians have lousy taste in food in general. 08:09:49 and mine is worse. 08:10:30 by which i mean, i'm not very discerning. 08:10:32 lexande: I support research into further applications of modal logic in this domain 08:12:03 oh and i should mention Egon for old times sake, and because i recall at least one person praising their pizza. 08:13:32 oerjan: is one of them on the other side of the street from the royal palace 08:14:03 shachaf: i have no idea what's there, i don't live in Oslo. 08:14:50 i hear everything in scandinavia costs at least $30 08:14:54 i'll have to send lexande on a pizza mission for me 08:16:05 "the other side of the street from the royal palace" doesn't really make sense, the palace is in the middle of a park. 08:17:11 shachaf: yeah i suspect you will just have to go hungry the whole time you are in norway 08:17:23 why 08:17:28 oh, i guess you have a real job, so maybe not 08:17:38 because expensive 08:18:09 I'll probably be in .eu early next year for work. But maybe not .no. 08:21:01 shachaf: took a stroll on streetview down from the castle, hit Egon: https://maps.google.no/maps?q=slottsplassen,+Oslo&hl=no&ll=59.914042,10.738304&spn=0.000003,0.00206&sll=63.409649,10.364351&sspn=0.359599,1.054687&t=h&hq=slottsplassen,&hnear=Oslo&z=19&layer=c&cbll=59.914042,10.737794&panoid=TZqdkmjMXg09K1O52clPeA&cbp=12,26.73,,0,-7.72 08:23:18 oerjan: what about Peppes Pizza - Stortingsgaten 08:26:48 well i looked down Karl Johans gate which is the main street 08:27:03 Pizza in Oslo? Sounds expensive 08:27:18 well there's a peppes in both streets anyhow 08:29:28 well there you go https://maps.google.no/maps?q=Peppes+Pizza+-+Stortingsgaten,+Stortingsgata,+Oslo&hl=no&ll=59.912869,10.738964&spn=0.000086,0.065918&sll=59.912923,10.741856&sspn=0.000792,0.003082&oq=Pepp&t=h&hq=Peppes+Pizza+-+Stortingsgaten,+Stortingsgata,+Oslo&z=14&layer=c&cbll=59.912987,10.738613&panoid=0JExO66m127U5RdZx3MyPA&cbp=12,205.42,,1,17.44 08:31:08 the one in Karl Johans gate is much further down 08:32:29 are there loads of peppes pizza places in oslo? if not I might've eaten at that one 08:32:39 olsner: was it good 08:33:00 olsner: yes 08:33:11 shachaf: not really... I guess it was ok? 08:35:19 anyway just give up all your money and eat at maaemoe hth 08:35:20 -!- MindlessDrone has joined. 08:35:42 wait that was one e too much 08:35:49 *maaemo 08:35:58 (i doubt they have pizza) 08:37:51 (do i need to mention i've never eaten there?) 08:47:51 shachaf: you know how JavaScript supports bitwise "32-bit integer operations" on its sole numeric type of 64-bit floats? 08:48:05 well I learned today that this is actually essential to Emscripten performance 08:48:23 it outputs code like «var x = f()|0; var y = g()|0; return (x+y)|0;» 08:48:35 That's the asm.js thing too, right? 08:48:36 which acts as a hint to the JIT that it should compile this as 32-bit integer code 08:48:48 right, the big win of asm.js is that you can do this interprocedurally too 09:12:51 -!- FreeFull has quit. 09:17:41 -!- Bike has joined. 09:24:11 -!- Bike has quit (Ping timeout: 272 seconds). 09:25:35 -!- aloril_ has quit (Ping timeout: 260 seconds). 09:38:49 -!- aloril_ has joined. 09:57:33 -!- upgrayeddd has quit (Quit: Connection closed for inactivity). 10:10:26 -!- Bike has joined. 10:22:11 -!- Bike has quit (Ping timeout: 272 seconds). 10:56:47 -!- Taneb has joined. 10:57:06 In two years this channel has turned me from loving python to hating it 10:57:34