302 Found

00:00:02 unfortunately wikipedia's article https://en.wikipedia.org/wiki/Beta_normal_form is too crappy to define the latter precisely or even mention the former 00:00:25 oh wait maybe it does define the latter 00:01:42 Hmm, there's a concept called "contextual equivalence": M and N are contextually equivalent, if C[M] has a normal form if and only if C[N] does, for all contexts C. 00:02:47 http://tarpit.github.io/TarpitGazer/gallery.html 00:02:49 weak head normal form does not allow the initial lambdas afair/u 00:04:36 (and all the top google hits for it are about haskell) 00:05:36 ok maybe not all 00:06:01 "The term was coined by Simon Peyton Jones to make explicit the difference between head normal form (HNF) and what graph reduction systems produce in practice." 00:07:02 peano arithmetic is inconsistent therefore every term is equal, thanksa nd you're welcome 00:07:09 Oh, I didn't know that SPJ coined that. Interesting. 00:07:14 *thanks and (I can prove that the original sentence actually had no error) 00:07:23 from the foldoc article, which manages not to mention haskell otherwise :P 00:07:46 elliott: You what? Did you prove that 0=1? 00:07:57 well... yes and no. 00:08:02 Ouch. 00:08:25 (At least that answer was consistent...) 00:12:11 are you sure? 00:14:01 oerjan: Well, I read that as "I proved it, and I also disproved it." 00:14:37 Mathematics will not tell us whether that was the intended meaning. 00:14:39 I can prove that it was inconsistent. 00:15:01 good, good 00:15:58 this may be my fault, i've been threatening elliott with an afterlife where logic doesn't exist hth 00:16:13 Ah. 00:16:23 * int-e fails to see the threat and runs away in panic. 00:16:40 it wasn't on-channel hth 00:16:50 -!- Phantom_Hoover has quit (Quit: Leaving). 00:16:59 but now it's meta-on-channel 00:17:01 * elliott doesn't consider that a threat 00:17:16 but you also _do_ consider that a threat, right? 00:17:41 (i may not actually have expressed it as a threat) 00:18:24 oerjan: Maybe absence of logic also means absence of truth and falseness (falsity?), and therefore your question doesn't make any sense. 00:19:35 in fact your sentence may be indistinguishable from rnad qjnf cnbbdaas eowelhfvcdsa wqq fjdsbncww ... 00:19:48 now that's crazy talk 00:20:21 (all I see is letters; soon it'll be pixels.) 00:20:52 ___ _ __ _ __ __ 00:20:52 / _ \ | |/ / / \\ \ / / 00:20:52 | | | | | ' / / _ \\ V / 00:20:52 | |_| | | . \ / ___ \| | 00:20:52 \___/ |_|\_\/_/ \_\_| 00:21:51 -!- int-e has set topic: Symbols devoid of meaning | but often spelled correctly. | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/. 00:43:33 -!- mitchs has joined. 00:46:45 -!- Guest86681 has changed nick to shikhin. 00:46:51 -!- shikhin has quit (Changing host). 00:46:51 -!- shikhin has joined. 00:59:04 I want to make a GUI for editing 2d progarms 00:59:18 it will need to be able to drag boxes around and have the wires connecting them move along with it 00:59:29 -!- CrazyM4n has joined. 01:09:28 What kind of 2D programs? It depend what kind. 01:10:46 the language is called '2d' 01:10:57 i can post an example program 01:11:29 OK 01:11:48 http://lpaste.net/117043 01:12:01 inputscome from north and west, outputs are east and south 01:12:10 a box is triggered if it has all inputs 01:13:20 its hard to program in because of the editing... 01:13:26 but if i had a nice GUI editor it would be ok 01:16:27 so i want to make an editor.. 01:16:35 but i think that would be a ot of work 01:24:28 that language looks really pretty 01:28:04 -!- shikhin has quit (Quit: leaving). 01:30:07 -!- nys has quit (Ping timeout: 255 seconds). 01:32:35 -!- augur has quit (Quit: Leaving...). 01:33:03 -!- nys has joined. 01:51:17 here's integer division in spite 01:51:21 ^^`<.;k:p^-;>>>> >><`<;<;><;>><;^+;>>>>>> >>< >>>.;<;>;k0< 01:51:54 crazy :D 01:52:07 99 bottles here i come 01:55:43 -!- Alkahest has joined. 01:55:57 nys: I love how programs look 01:56:18 :D 01:59:23 it's lots of fun to program with 02:00:43 because of the prefix syntax 02:01:22 so i can just kinda trace along with my finger and say "ok this is the part that does one iteration but i need it to recurse instead" 02:01:58 and then just tack on another function in front of it to do that 02:05:31 -!- augur has joined. 02:06:20 oerjan: GG is up 02:06:50 ooh 02:08:26 Where'd the Werebear go? 02:09:17 bear? i thought it was a sparkhound 02:09:34 assuming you're referring to tybalt 02:10:01 Oh. Yes that makes more sense. 02:11:02 (Just noticed that nobody intervened in the attack on Martellus *this time*.) 02:11:11 hm right 02:11:35 the bears haven't shown up at the fortress yet. i expect that will be interesting. 02:12:15 Ah the train will smash them and then the Dreen will get the train. 02:12:55 [wiki] [[Spite]] http://esolangs.org/w/index.php?diff=41531&oldid=41528 * Nysnamovois * (+0) added positive predicate function 02:13:40 (I sort of like the idea of pitting the Dreen against that metal-eating engine, now.) 02:13:41 well that's a theory. 02:15:53 Actually we don't even know whether the bears or the Dreen are fiercer. 02:15:55 it cannot be a proper magnet battle without wolkerstorfer, surely. 02:16:04 I'm just *assuming* it'll be the Dreen. 02:16:47 Is that singular or plural anyway? 02:16:53 both afaiu 02:17:11 Maybe a single one is a Dree? 02:17:49 they used the word "Dreen" when the single one showed up at mechanicsburg, although with no article 02:18:07 nys: you don't document how to actually do IO btw 02:18:29 i have a hello world :D 02:18:40 `hello world 02:18:40 Hello 02:18:51 also given that this dreen was found in the fortress vault, who knows who if anyone it's loyal too. 02:18:54 that doesn't show the I but it does show the O 02:19:14 if it's even alive, i was assuming it was disabled somehow since they passed it without event 02:19:21 i've tried a bit of both input and output but it's weird 02:19:44 (the ones seen before were obviously working for wulfenbach) 02:20:09 oerjan: It was clearly alive and lurking, hth. 02:20:29 hm 02:20:32 And maybe the Dreen are actually peaceful. 02:20:40 "clearly" <-- to my mind. 02:28:40 hm it does seem a bit hard to explain the two pictures of the dreen without it moving. 02:29:56 Also the eyes(?) glow, and I'd expect them to go dark when the Dreen dies. 02:47:18 -!- Zuu has joined. 02:47:42 -!- Zuu has changed nick to Guest55348. 03:11:01 -!- adu has quit (Quit: adu). 03:20:03 -!- CrazyM4n has quit (Quit: so that's how you do quit messages). 03:27:02 -!- MoALTz_ has joined. 03:30:14 -!- MoALTz has quit (Ping timeout: 258 seconds). 03:40:09 -!- Alkahest has quit (Quit: Leaving). 03:42:29 -!- vanila has quit (Quit: Leaving). 04:11:32 Racket apparently *does* have a (case ...) like I was looking for; http://docs.racket-lang.org/mzlib/mzlib_etc.html#%28form._%28%28lib._mzlib%2Fetc..rkt%29._evcase%29%29 04:14:39 [wiki] [[Spite]] http://esolangs.org/w/index.php?diff=41532&oldid=41531 * Nysnamovois * (+326) 99 bottles of beer on the wall (almost) 04:14:51 read it and weep 04:16:55 http://pasterack.org/pastes/29552 04:17:52 nys: that reminds me that I really wanna port Heresy to Haskell or F# in the near future. I started working through a book on doing a Lisp in C, but it's not strictly faithful to Lisp. 04:18:53 nice 04:20:39 Doesn't use linked lists, which makes standard head and tail work weird, but that's not the weirdest part, which is the "Q-expressions". Rather than support the usual 'quote form and macros, it implements a special kind of list syntax with curly braces that is ignored at the interpreter level. 04:21:04 huh 04:23:28 to be fair that is an idea so weird that it was in original lisp 04:23:30 (m-exprs) 04:24:14 elliott, can you tell me if mathematica's syntax is essentially m-exprs? 04:24:34 I guess so, yeah. 04:24:40 well, mathematica's syntax is like prolog or whatever. 04:24:50 M-exprs are defined by their equivalence to s-exprs, I feel 04:24:55 mathematica operates on its terms directly 04:25:26 also mathematica has weird infix operators and lambda syntax and stuff 04:25:33 true nuff 04:26:20 elliott: I suppose no one is so clever as they think. At least not with McCarthy and the AI Lab as competition. ;) 04:26:40 (the author of BYOL seems to think he invented them) 04:27:12 Actually those kind of "Q-expressions" are also something I would have wanted to use once 04:28:00 elliott: You might find this interesting. http://lpaste.net/117041 I can use Yoneda in order to fuse fmaps in lens composition to enable GHC generics to optimize away 04:28:04 that description of them reminds me of MDL 04:28:16 Honestly, it's not a terrible idea. Quote/quasiquote etc. are one of the weirdest concepts in Lisp for a beginner, and at first feel more like something you're fighting with than helps you. 04:28:27 -!- adu has joined. 04:28:41 (at least until you learn the magic of `(,templating)) 04:28:44 glguy: that sounds cool! I'll take a look later 04:29:03 Quote/quasiquote operators will still help too even if you have Q-expressions, I think 04:30:01 zzo38: True, you probably at least still want an explicit function for converting data to and fro q-exps. I haven't got far enough yet to see how it's handled. 04:31:54 J_Arcane: oh, I see, it's an alternative to quote. 04:31:58 that's not quite like m-exprs then 04:32:02 I think clojure does something like that though? or something 04:33:18 elliott: It might, somewhere. Clojure has so many inane weird little syntaxes for things I wouldn't be surprised. 04:35:11 -!- Aberian has joined. 04:36:46 -!- Prax has quit (Ping timeout: 244 seconds). 04:37:01 -!- nys has quit (Quit: quit). 04:40:55 -!- Sprocklem has joined. 05:02:15 -!- MDude has changed nick to MDream. 05:07:12 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 05:20:06 (require mzlib/etc)(for([n(in-range 1 101)])(let([% modulo])(displayln(evcase 0((% n 15)"FizzBuzz")((% n 5)"Buzz")((% n 3)"Fizz")(0 n))))) 05:42:01 -!- Solace has joined. 05:43:25 How do you turn amino acids into hash for ruby CrazyM4n? 06:15:23 -!- adu has quit (Quit: adu). 06:27:15 Data charts are a nuisance 06:29:48 Gasp thats some pretty code oren 06:32:08 -!- Solace has changed nick to Solace|datastuff. 07:04:41 God dammit why does everything break when i try and do something 07:08:15 Human Condition hth 07:14:06 -!- shikhin has joined. 07:14:06 -!- shikhin has quit (Client Quit). 07:14:40 -!- shikhin has joined. 07:14:44 -!- shikhin has quit (Client Quit). 07:18:38 -!- shikhin has joined. 07:18:39 -!- shikhin has quit (Changing host). 07:18:40 -!- shikhin has joined. 07:21:15 -!- shikhin has quit (Client Quit). 07:21:54 -!- shikhin has joined. 07:21:55 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 07:21:56 -!- shikhin has quit (Changing host). 07:21:56 -!- shikhin has joined. 07:22:27 -!- shikhin has quit (Client Quit). 07:22:45 -!- shikhin has joined. 07:23:08 -!- shikhin has changed nick to Guest84664. 07:24:46 That doesnt help ;-; 07:25:11 -!- Guest84664 has quit (Client Quit). 07:27:37 indeed 07:29:11 -!- Patashu has joined. 07:30:19 -!- shikhout has joined. 07:30:24 -!- shikhout has quit (Changing host). 07:30:24 -!- shikhout has joined. 07:31:29 -!- shikhout has quit (Client Quit). 07:31:47 -!- shikhin has joined. 07:43:18 -!- MoALTz__ has joined. 07:46:18 -!- MoALTz_ has quit (Ping timeout: 258 seconds). 07:47:10 -!- MoALTz_ has joined. 07:50:55 -!- MoALTz__ has quit (Ping timeout: 264 seconds). 07:53:39 Whats the best way to stress test your server without breaking it 07:54:32 took it into the lava, it won't break (but it will melt) 07:54:35 take* 07:55:08 Host content on it and post to Google+ 07:55:45 :L 07:56:23 Yeah, that probably wouldn't be enough to stress anything... 07:56:25 Back to data structures! 07:56:36 * Solace|datastuff flys away 07:57:18 Solace|datastuff: seriously, I think "without breaking it" part is redundant. the goal of stress testing is to determine its "normal" operating range and test the graceful failure when its load exceeds that "normal" range. 07:57:55 Yeh i meant 07:58:32 A permant ammount of a nice thick ammount of lag 07:58:39 I dont want that 07:58:40 if your server breaks rather violently after some number, then it should be visible from your stress test I think 07:59:11 Look guy this is my first time having a server 07:59:22 I dont want to mess up | _ | 07:59:32 oh, is it a physical server (not a server software)? 07:59:37 I don't know anything about that >_> 07:59:50 Physical 08:00:52 The data relay is fine im just wanting to see how much data it can process before shutting down 08:01:03 Blank packets 08:01:12 You're talking about stressing the hardware a LA memtest86+ ? 08:01:33 it's a sanity test, not a stress test! 08:01:55 Tosses server under a car 08:03:59 Atleast you guys tried helping ill go scour the internets 08:04:25 Scoure? idfk i havent used that word in so long 08:05:55 if you permanently lag your server for the rest of time by flooding it with packets that's kind of impressive 08:07:19 glguy: that ghc generics thing is cool 08:07:34 I can't imagine actually wanting to handwrite those last lenses though 08:07:52 btw, how come that generic iso isn't already in GHC.Generics.Lens? 08:07:53 That was a demo. You can automate that 08:08:18 It's type was too restrictive 08:09:11 infinite loop packets into the server? turns off when my heart stops? 08:09:39 The fusion can help lenses in general, helps GHC generics a lot 08:09:43 http://lpaste.net/116931 08:09:50 Anyways you guys carry on ill go ask somewhere else 08:11:53 Or you can genetically generate more interesting lens http://www.galois.com/~emertens/tries/Trie.hs 08:12:53 Like a new trie type for any ADT along with a corresponding "at" lens 08:13:15 Without generics overhead ^_^ 08:13:28 I'm just exploring the space right now 08:14:51 My phone confused generic and genetic 08:15:18 genetic space exploding 08:21:18 * glguy wipes some of the spilled excitement up and goes back to idling 08:22:48 glguy: so when is deriveLenses going to use this :p 08:24:14 When I have a personal level up and wrap my head around a way to make type changing lenses easy to generate this way 08:24:55 I can do them ugly like the first code I shared or automatic like the second with no type change 08:36:30 ah 08:36:37 surfing the web with flash deactivated is sooo comfortable 08:36:46 and it's so smooth 08:37:02 no lags due to flash ads that try to render 3d shit and what not 08:37:17 you can actually smoothly scroll now on certain websites 08:50:57 -!- oerjan has quit (Quit: Smoooooth). 08:54:23 -!- Sprocklem has quit (Ping timeout: 240 seconds). 09:07:09 Or even just don't install Flash and then they won't try to render 3D and music and stuff because it can't. 09:09:31 Goodnight 09:09:49 -!- Solace|datastuff has changed nick to Solace|zzz. 09:18:31 Many people have different opinions of IAU making their 2006 definition of planets not including Pluto, including: astronomers, other scientists, astrologers, song writers, etc. What are your opinions? 09:21:47 make a planetness index. 09:22:46 How would you intend to do it? 09:24:28 Pluto is less planety than (say) Earth but more planety than most asteroids? 09:24:55 A proper definition would still be required though. 09:36:27 -!- jslave has joined. 09:37:28 -!- MoALTz_ has quit (Quit: Leaving). 09:37:42 -!- MoALTz has joined. 09:41:08 Is the sun a planet? 09:41:22 No, the sun is a star. 09:41:28 Why is it not a planet? 09:41:32 It's round for all that matters. 09:41:46 Yes, it is round. I don't know all of the details. 09:42:04 I'd classify every sufficiently round object as planet. 09:43:08 So actually the earth is a moon of the sun. 09:43:15 and the moon is a sub-moon of the sun 09:43:23 because it's a moon of the earth which is just a moon of the sun. 09:43:25 mroman: I have thought of things like that too actually 09:43:47 Although it might not be correct? 09:43:57 planet means 'wanderer' 09:43:57 planet means 'wanderer' 09:44:16 Jupiter is a gas planet, the sun is a urm... hot glowing planet? 09:44:29 planet means 'wanderer' 09:44:32 Yes, and that is also a very old definition, where the objects they saw in the sky which aren't "fixed stars" are called planets, so it does includes Sun/oon. 09:45:05 Some astrologers have said they want to omit Pluto from a horoscope because the IAU no longer considers it a planet. That is a silly reason! Even if it is not a planet, it still has coordinates! Anyways, horoscopes nearly always include Sun and Moon, which also aren't planets. A good reason to omit Pluto might be if there are too many lines and you want to remove some to simplify the horoscope, such as if you do not need to plot that data. 09:45:09 "A star is a massive, luminous sphere of plasma held together by its own gravity. " 09:46:17 Yes, a star does do that; it emit light, makes nuclear fusion, etc 09:46:24 And the planets go around it (if there are any). 09:46:49 I mean, it _does_ make absolute sense to classify planets by some of their properties. 09:46:57 also, there are more objects, even bigger than pluto in the cuiper belt - all those would need to become planets.. they didn't like it 09:47:06 isn't the moon bigger than pluto? 09:47:39 and yes, there are many objects larger than pluto that aren't planets (yet) 09:47:41 ah yes.. planets also orbit stars 09:47:50 but there are planets that don't orbit stars 09:48:17 Exoplanets afaik 09:48:25 none that i know of^^ 09:48:53 An exoplanet or extrasolar planet is a planet that does not orbit the Sun and instead orbits a different star 09:48:57 hm no 09:49:14 "A rogue planet, also known as an interstellar planet, nomad planet, free-floating planet or orphan planet, is a planetary-mass object that orbits the galaxy directly. " 09:49:17 rogue planet 09:49:17 :> 09:49:41 fileplanet 09:50:00 i mean 09:50:07 what says there can't be planets that orbit another planet 09:50:17 for example 09:50:22 a rogue planet that has moons with sub-moons 09:50:32 or a rogue planet that has moons 09:50:34 astronomers do... and screw them! pluto is a planet 09:50:50 so they don't orbit a star 09:51:01 they orbit a planet that doesn't orbit a star either 09:51:34 `quote halting problem 09:51:36 usually not 09:51:36 498) theorem prover yada yada halting problem. \ 630) if the halting problem was solved, as a placebo.. would it benefit people? 09:51:41 `quote mroman 09:51:42 768) You can't quote me. \ 1139) Bike: I refuse to believe in bottom ass is an urban legend \ 1218) Rule of thumb is that if I can understand it you're not using enough fancy stuff \ 1221) piece of cake doing this stuff in Burlesque :P [19 lines later] I hate Burlesque :( 09:51:48 ah 09:51:50 I agree it make sense to classify planets by some of their properties. 09:51:56 Since I don't believe in bottom I can believe anything I want. 09:51:58 except those living on earth maybe 09:52:06 A property may include their orbits. 09:52:08 Therefore, there are rogue planetary systems orbiting galaxies. 09:52:32 which don't have a star at the center but a rogue planet. 09:54:07 zzo38: i think there was also another criterium: planets need to be round 09:54:27 jslave: Yes; I was only listing some of them, but there may be others. 09:54:39 However, it is also possible that some of the criteria aren't very good. 09:54:55 they are not named pluto 09:55:32 jslave: not round but they have to have enough mass for gravity to do that weird named thing 09:56:13 welly well 09:56:15 they need to be in "Hydrostatic equilibrium" 09:56:38 you're cheating 09:56:43 well 09:56:46 I don't know what that means 09:56:53 I just know that planets have to be that 09:57:04 I have no idea what hydrostatic equilibrium actually is 09:57:26 "In continuum mechanics, a fluid is said to be in hydrostatic equilibrium or hydrostatic balance when it is at rest, or when the flow velocity at each point is constant over time. This occurs when external forces such as gravity are balanced by a pressure gradient force.[1] For instance, the pressure gradient force prevents gravity from collapsing the Earth's atmosphere into a thin, dense shell, whereas gravity prevents the pressure gradient force from diffu 09:57:33 so 09:57:37 planets are fluids 09:57:38 got it. 09:59:01 Everything is a fluid with enough pressure I guess? 09:59:13 Esolangs are fluids. 10:00:05 with less pressure..if 10:01:12 hm 10:01:16 but... 10:01:24 can you make a rock fluid by using... 10:01:27 less pressure? 10:02:05 I'm so not into physics. 10:02:17 neutron stars are pretty solid iirc.. more density..less movement ..more solid.. at least that's my intuitive conclusion 10:03:29 I imagine them as stars solely consisting of neutrons 10:03:37 no electrons, no protons 10:04:40 let's have temperature.. the lowest temp -273° is wehen the lightest atom (hydrogen) is not moving anymore (it becomes solid) 10:05:16 there are no upper boundaries to temp. so everything gets fluid or even plasma 10:08:19 but you're right.. pressure affects the temp. needed to switch aggregate state 10:08:26 Neutron stars are "solid" due to pauli exclusion 10:08:39 There are then also black holes and possibly other stuff that you don't know. 10:09:14 Didn't some paper just recently claim that black holes don't exist? 10:09:24 Possibly. 10:12:53 related: http://media-cache-ec0.pinimg.com/736x/bf/1f/29/bf1f2950b73d662f7695a7d132e537f5.jpg ;) 10:14:45 The universe is actually one big planet 10:15:07 The what is our universe orbiting? 10:15:10 *Then 10:15:41 around jafet 10:15:49 Yo momma 10:15:53 lol 10:15:54 also we know for almost certain that god created the earth 10:16:09 and the sun I guess 10:16:41 what we don't know is if he intented pluto to be a planet or a dwarf planet. 10:16:46 mroman: Extremely indirectly, I think. But that has nothing to do with deciding what is considered a planet and how to figure out stuff by science and so on. 10:17:40 Pluto doesn't exist; it's all greenscreened 10:18:48 I doubt it, but I don't know 100% sure really 10:19:47 hm 10:19:47 cmon.. we don't want to fall back into that intellectual scheme..do we? 10:19:54 does the bible actually say that god made the moon? 10:19:58 or did the moon come naturally 10:19:59 Into what intellectual scheme? 10:20:21 also there's no mentioning of him creating hell 10:20:22 mroman: I don't know, but it doesn't matter. 10:20:24 just heaven and earth. 10:20:31 zzo38: :) 10:20:43 But if you are interested, you can look it up! 10:20:50 I'm trying to look it up 10:21:01 but it's so hard to find sources that look serious enough to be taken serious 10:21:01 Taking into mind string theory 10:21:17 Heaven and hell could exist in other universes 10:22:27 well.. at least it says here 10:22:30 Skeptics Annotated Bible includes the full King James version (which isn't a very good version, but it is what is commonly used) except deuterocanonical/apocryphal books, and is full of cross-references and external links; you can also use a search function. 10:22:32 we should rule the animals 10:22:45 so I guess it's ok to eat animals and make them do whatever we want them to do. 10:22:48 Solace|zzz: What does string theory have to do with that exactly? 10:23:36 Idk what you are talking about 10:23:43 I should sleep 10:23:43 other universes are an invention of scientists having difficulties to explain the well balanced properties of our universe 10:24:17 mroman: Well, the Bible is book like any other books really. It isn't worthless; it is still a book. But, it isn't the only book, nor does it mean you should believe everything you can read. 10:24:20 Maybe there are universes with even more well balanced properties. 10:24:38 we just think our universe is perfect when there could be even more perfect ones. 10:24:59 maybe thre is milk with 13,7% fat 10:25:09 zzo38: yes, and everybody reads a translation of the original one that has gone under modifications over time 10:25:21 Of course human is omnivore so yes we can eat animals but, that doesn't mean you should make them do whatever you want them to do and do bad thing. 10:25:25 mroman: Yes, that too. 10:25:32 which has actually been studied very well. It's known that some texts barely resemeble the original ones. 10:25:53 mroman: Which I also know. It is certainly something to study! 10:26:13 jslave: Yes I know that thing about other universe that scientists propose for such reasons. 10:26:29 are you talking about apocryphs? 10:26:59 i believe everything i can't read 10:27:05 I believe that "mathematics is the real reality", so really any mathematically possible universe are mathematically exist. The physical existence is just an instance of such. 10:27:24 Really? 10:27:39 Wouldn't one rather say that mathematics just describes what we can observe 10:27:43 for some values of observe 10:28:07 or that it describes what we could observe based on what we already observed 10:29:27 i'm not sure if you have an idea of how well balanced the values of every constant is.. change the weight of an electron by 0.0001% and the universe is crap 10:30:59 Probably 10:31:05 No, mathematics can also describe things that are impossible to observe. Also, not all mathematics can be studied, due to our limitations of universe and other things. To describe what is observed is scientific, and mathematics can be used to describe it scientifically, based on what is known. The true mathematics of universe is possibly unknowable and/or uncomputable and/or nondeterministic. 10:31:08 but who says other universes actually have electrons. 10:31:32 Define electrons in the context of other universes! 10:33:36 i observed the set of all sets last week but forgot to take a picture 10:34:00 -!- jslave has quit (Ping timeout: 250 seconds). 10:34:44 Did you at least obtain a preimage? 10:37:06 -!- jslave has joined. 10:39:09 the set of all sets you say.. that reminds me of leibniz' monadology 10:39:34 i tried to, but my precamera case was stuck and i couldn't get it clopen 10:40:07 you know leibniz? it's a german cookie distributor.. 10:40:26 but also a famous mathematician.. 10:41:42 i hope you like cookies 10:42:59 Solace|zzz: i was asleep when you posted that but thanks! lol "C utf-8" ... "pretty code" ... lololol 10:46:25 okay..thanks for playing 10:48:57 wow did this channel actually just have a religious discussion? 10:49:17 -!- evalj has joined. 10:51:36 religious? let's say esoteric.. scindere et re.ligio 10:53:47 other universes moght be defined in terms of a different logic than the one that seems to govern ours 10:55:04 for example in another universe the axiom of choice might be true 10:55:51 wait what 10:56:47 in other universes, mother russia makes jokes about you 10:56:47 so in another universe i might be able to have as many birthday balloons as i want, provided a sphere-duplication machine 10:57:24 there's a fast approximation for the permanent of a matrix with non-negative elements only, and this result is from 2004? 10:57:28 I totally haven't heared about this 10:57:35 why did nobody tell me this? 10:57:46 or more likely they did, I just didn't listen 10:58:05 in another universe they may have told you 11:01:04 in another universe.. they share information! completely different logic you know? you probably came to the wrong place 11:01:37 fungot: in which other universes did they tell you that the permanent of matrices with nonnegative entries is easy to approximate? 11:01:37 b_jonas: i mean, there's nothing i've noticed in sisc), you must have been tough 11:02:53 uh huh 11:03:11 fungot: for arcane casters, which one is easier, levitating themselves, or levitating another monster with similar weight? 11:03:11 b_jonas: it's the if true part, not many things are you devising now? 11:10:28 -!- jmaster has joined. 11:10:52 fungot: i'm a better bot than you! i can be programmed live ..right here in the irc-channel ;) 11:10:52 jslave: that cannot be smoothed out by some macros are allowed to 11:17:50 b_jonas: in Final Fantasy they can't do either, you can only fly by getting the airship from Cid hth 11:22:21 jslave: you are not 11:24:16 or in FF7 the rocket ship damn that game was awesome. 11:27:39 .var cxg = function(text) { wpost("http://cxg.de/paste.php", {'lang':'auto','pastetext': text} ).then(function(response) { result = response.match(/http:\/\/cxg\.de\/.*\.htm/); console.log(result); }) } 11:27:56 .cxg("Hello World!") 11:27:56 jmaster: http://cxg.de/_69201b.htm 11:29:30 .cxg(wget("http://codu.org/logs/log/_esoteric/s")) 11:29:31 jmaster: http://cxg.de/_596b3f.htm 11:31:15 .var fungot = {} 11:31:15 jmaster: he *is* alive." block expr; everyone i was 7. o only pushes one value onto o, fnord... fnord... :( 11:33:06 -!- shikhin_ has joined. 11:33:16 .fungot.insult = function(text) { text = text || "thanks."; console.log("fungot: " + text); } 11:33:16 jmaster: function (text) { text = text || "thanks."; console.log("fungot: " + text); } 11:33:16 jmaster: i am a bot you fools! ha ha ha 11:33:16 jslave: damn low-level.... and that gave them a special look and feel 11:34:14 is this a bot loop?! 11:35:31 a bot-loop? 11:35:47 u mean like a REPL? yes 11:35:57 -!- shikhin has quit (Ping timeout: 240 seconds). 11:36:55 .search.gg("REPL") 11:36:55 jmaster: http://www.google.de/search?hl=de&q=REPL&btnI=1 11:37:33 jmaster, a bot-loop is when two or more IRC bots get stuck talking to eachother 11:37:47 okay 11:37:48 In an infinite loop 11:38:10 well..than it's not a botloop 11:38:17 I guess not :) 11:38:20 lol :) 11:38:29 Does jslave evaluate J? 11:38:37 ecma5 11:38:45 in a v8 sandbox 11:38:52