00:09:46 -!- hppavilion[1] has joined. 00:10:00 -!- DHeadshot_ has quit (Ping timeout: 244 seconds). 00:10:03 I think the society in My Little Pony have some rather advanced math 00:11:25 In the second movie, they mention the Pythagorean theorem (they actually SAY the definition- "And the distance between two points is just the square root of the sum of the squares of the difference the offsets of 3-dimensional points" or somesuch) 00:11:34 -!- B1ood6od has quit (Ping timeout: 244 seconds). 00:12:36 -!- wob_jonas has joined. 00:13:20 hpp: it's just square roots, and square roots have been mentioned already in S3 E1. that's not advanced math. even the ancients knew the pythagorean theorem. 00:13:26 They mentioned a person named "Haycartes" (in the context of "Haycartes' Method", which is probably philosophical rather than mathematical but they still have the quy) 00:13:39 wob_jonas: Yeah, but it's fairly impressive for ponies 00:13:52 And they just mentioned pre-calculus (thus implying they have proper calculus) 00:13:59 -!- B1ood6od has joined. 00:14:04 oh yes, sinuses 00:14:16 but they have a snout, of course they know about sinuses 00:15:09 sinuses? 00:15:17 That have anything to do with sine? 00:15:41 no, only the name 00:17:24 They also had the equations for General Relativity on the chalkboard at one point, which implies they have that (I mean, it's probably just that the animators needed something nopony would understand so no one would get upset, but still) 00:26:26 -!- augur has quit (Remote host closed the connection). 00:27:03 -!- augur has joined. 00:30:48 -!- oerjan has joined. 00:31:14 -!- augur has quit (Read error: Connection reset by peer). 00:31:14 -!- augur_ has joined. 00:33:58 @messages-gold 00:33:58 Taneb said 15h 39m 1s ago: It is not DWFO, it's one being organized by a couple of people in my uni called "STVN" 00:33:58 Taneb asked 15h 34m 11s ago: hth (shachaf told me to) 00:34:11 oerjan: whoa whoa whoa 00:34:13 very good 00:34:18 @tell Taneb it's really quite simple... 00:35:52 @tell Taneb oerjan says it's really quite simple hth 00:35:52 Consider it noted. 00:36:51 hello̼ 00:37:29 hi 00:37:50 wait, when did you buy a Lambdabot Gold account? 00:41:32 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 00:41:37 wellob_jonas 00:44:20 copumpkin: This Nix thing is a mess. :-( 00:44:30 Why is it trying to install binutils and bash and all these things? 00:44:52 to build stuff 00:45:18 Why didn't it want them before? 00:45:54 @ask Taneb does that mean it's star trek 00:45:54 Consider it noted. 00:48:42 I hate how there's always greasy cooking smell coming in the windows here. I blame the neighbour on the ground floor. 00:52:11 i've heard hungarian cooking is very greasy 00:52:49 yeah, usually it is. 00:53:20 I prefer it less greasy than average, but that's irrelevant. Nobody likes when they get cooking smell all the time. 00:54:27 pretty sure if anyone tried that in this building they'd set off the fire alarm 00:56:07 (greasy cooking without proper ventilation, that is) 00:56:59 He's got proper ventillation, he's ventillating all the smell outside the building. I bet his apartment is all nice and non-smelly. It's coming in through the window in here. 00:57:01 -!- B1ood6od2 has joined. 00:57:06 -!- hppavilion[1] has joined. 00:57:57 OKAY 00:59:31 -!- B1ood6od has quit (Ping timeout: 250 seconds). 01:01:23 -!- B1ood6od2 has quit (Ping timeout: 265 seconds). 01:01:32 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 01:04:59 -!- B1ood6od has joined. 01:08:15 -!- B1ood6od2 has joined. 01:11:39 -!- B1ood6od has quit (Ping timeout: 250 seconds). 01:13:21 @tell Slereah what is a trampoline* <-- it is a way to emulate deep recursive calls without a stack, by having each step return directly to a loop at the top, which calls the next step hth 01:13:21 Consider it noted. 01:14:50 @tell Slereah https://en.wikipedia.org/wiki/Trampoline_(computing)#High-level_programming 01:14:50 Consider it noted. 01:15:48 quoting people who use <-- is very confusing <-- i don't see why hth 01:23:14 -!- carado has quit (Ping timeout: 260 seconds). 01:26:12 I like stacking left-arrows for stacked replies 01:26:22 makes for a decent one-message quote tower on IRC 01:26:33 I usually use double right arrows instead, like this => => 01:27:25 I usually use "←" 01:32:00 -!- hppavilion[1] has joined. 01:37:30 Maybe we should use other arrows, like ~> or <-| 01:47:29 If I need to calculate where a line from 0 to a complex number z = a+bi intersects the unit circle a^2+(b*-i)^2 = 1, what equation would I use? 01:48:22 (I suppose maybe I'm just supposed to divide by the absolute value? That works for calculating sgn(x) (barring x=0), which this is a generalization of) 01:48:30 hppavilion[1]: yep 01:50:01 note that with a full line, there are two intersections. 01:50:59 -!- B1ood6od2 has quit (Remote host closed the connection). 01:52:20 @tell int-e ouch I hope none of the punsters on here see this: http://www.mezzacotta.net/pomh/?comic=65 <-- too late, i read that comic hth 01:52:20 Consider it noted. 01:53:00 * oerjan hopes int-e won't misinterpret that due to filthy english grammar. or maybe that would be appropriate. 01:54:35 oerjan: Ah, I meant ray 01:55:10 (Is factorial defined for the Gaussians?) 01:55:53 [wiki] [[Vitsy]] https://esolangs.org/w/index.php?diff=49709&oldid=49706 * Oerjan * (-22) enough of this 01:58:01 [wiki] [[FuckbeEs]] https://esolangs.org/w/index.php?diff=49710&oldid=49705 * Oerjan * (-22) nipping this in the bud 01:58:11 Clearly, it needs to be based on the relationship between a and b & (a+b)! 01:59:58 hppavilion[1]: factorial is generally extended to the complexes with the gamma function. it's probably unlikely to send gaussians to themselves. 02:00:28 oerjan: Yeah, but I was going for something that doesn't require calculus to understand 02:01:02 (Also, the gamma function is stupid. Pi function is much better) 02:01:20 well i'm guessing you're unlikely to find something logical, but i dunno. 02:02:23 i'm not sure if there's a rule for (a + i)! 02:02:36 which is what you'd need to make sense of this. 02:04:39 oerjan: but you know where to look for such a rule, right? http://dlmf.nist.gov/5.5 . and since it's not there, you can be sure there's no easy rule. 02:05:01 i didn't know that. 02:06:22 oerjan: Or you need to know ki! and (a+b)! 02:06:41 Defining ki! is the hard part, most likely 02:07:20 wat 02:07:54 hppavilion[1]: there wasn't any rule for calculating (a+b)! either hth 02:08:07 oerjan: Oh, I hoped there would be 02:08:19 e.g. (a+b)! = a!b! or something 02:08:30 otherwise you'd really just need i! 02:09:05 hppavilion[1]: that's the rule for exp hth 02:09:29 oerjan: Yeah, it was an example 02:09:35 I suppose i! is enough 02:10:04 isn't there a pole or something there? 02:10:11 0! = 1; k! = k*((k-1)!) 02:10:24 no wait, there isn't 02:11:49 (a+b)! = (a+b)*((a+b-1)!) = (a+b)*((a+b-1)*((a+b-2)!)) 02:11:51 the poles are at ik-1 for every integer k 02:11:54 I'm just dumb 02:11:54 Hm... 02:12:06 How about just blind experimentation 02:14:05 Try to find some patterns, see if they generalize 02:14:13 3! = 6; 2! = 2; (3+2)! = 5! = 120; 120 = 12*10 = 10*6*2 = 6*5*2*2 02:17:18 wob_jonas: um the poles are at -k for natural k hth 02:17:32 oh 02:17:34 ok 02:17:41 I was holding this thing sideways then 02:17:47 fiendish 02:17:50 3*5*2*2*2... a*(a+b)*(a*b) where a > b it seems; if a < b it's 2*(2+3)*(2*3) = 2*5*6 = 60 = 120/2 I guess? 02:18:24 -!- atslash has quit (Ping timeout: 250 seconds). 02:18:49 2! = 2; (2+2)! = 4! = 24. 2*(2+2)*(2*2) = 2*4*4 = 32, so that pattern doesn't hold. 02:19:19 (s/a > b/a >= b/ or it doesn't work for any even numbers) 02:19:27 -!- atslash has joined. 02:20:02 good luck outpatterning euler and gauss hth 02:20:10 oerjan: ty 02:21:13 I suppose it's probably impossible or really really weird, really, as (1) (k+0)! has to equal k!, so unless (a+b)! really just is a!b! (which I have a feeling I'll disprove with the first example) that doesn't work 02:22:18 and (2) there are a LOT of different ways to write k as a sum 02:23:12 Just to test if (a+b)! = a!b!, (2+3)! = 5! = 120; 2! = 2, 3! = 6, 6*2 /= 120 02:24:13 3!(2^2)! = 6*24 = 144 02:25:00 (3*2)! = 6! = 720 02:26:05 (I keep seeing patterns, but I'm not sure where they're coming from; 720=144/2*10) 02:26:41 hppavilion[1]: f(a+b) = f(a)f(b) on the reals holds _only_ for exponentials hth 02:26:51 oerjan: Yeah, figured 02:27:12 oerjan: n! is kind of a not-quite-but-frustratingly-close-to exponential, isn't it? 02:27:12 (well, assuming an even slightly nice function - there are axiom of choice counterexamples) 02:27:23 IF YOU SAY SO 02:29:56 hm s/reals/rationals/ and its completely true. 02:30:54 Wait, (n+1)! = n!*(n+1) apparently 02:31:06 (wait, what?) 02:31:38 4! = 24; 6*4 = 24 02:31:52 -!- `^_^v has joined. 02:32:06 Wait, that is pretty obvious 02:32:17 It's some algebration of the definition given above that everyone has memorized 02:32:23 (Low battery) 02:33:31 ugh: https://pbs.twimg.com/media/CsG6MSpWAAAdTob.jpg 02:33:44 this one is irritating 02:36:32 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 02:46:03 -!- hppavilion[1] has joined. 03:00:13 -!- j-bot has quit (Remote host closed the connection). 03:00:23 -!- j-bot has joined. 03:23:42 What is the best notation for subfactorial? 03:24:20 (Also, should n! just be considered to equal Gam(n-1) at this point? The same way we didn't need a new sign for + when we went from integers to reals?) 03:24:40 (or is it n+1?) 03:28:05 And presumably, there's some equivalent to the gamma function (Maybe we should just call it L(x) where L is an approximate upside-down gamma?) for derangement- L(x) = (n-1)(Γ(n-1)+Γ(n-2)) 03:31:07 Hm, gamma is defined for complex numbers 03:32:52 Oh, and i! is irrationally complex, of course 03:35:06 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:42:49 hppavilion[1]: s/Γ/L/g 03:45:02 oerjan: Yeah 03:45:15 oerjan: I just noticed that 03:45:22 `? inory 03:45:29 Inorically, inory is when you say something is irony that really isn't. Someone who does this is an inorite. 03:46:02 `culprits inory 03:46:07 No output. 03:46:18 `culprits wisdom/inory 03:46:20 oerjan hppavilion[1] hppavilion[1] 03:47:03 the functions with the property f(n) = (n-1) (f(n-1) + f(n-2)) are obviously exactly the linear combinations of n! and !n 03:47:54 which makes it strange if only one of them had a complex extension. but the wikipedia page doesn't list one. 03:48:24 or wait hm 03:49:30 what is !n 03:49:48 subfactorial 03:49:57 https://en.wikipedia.org/wiki/Derangement 03:50:12 yes 03:52:12 Not really a fan of !n notation because it's liable to be confused with ~n 03:52:25 wat 03:52:40 "Why are you using 2's complement for anything but computers?" 03:53:11 hppavilion[1]: 2-adic numbers hth 03:53:49 yes 03:54:00 we can use 10's-complement for everything else 03:54:04 oerjan: ssssssshhhhhhhhhh 03:54:17 hppavilion[1]: ~n and !n are totally different HTH 03:54:20 quintopia: 10's-complement doesn't give a field, you philistine 03:54:41 quintopia: Um, the base 10 analogue for 2s complement is 9s complement. 03:55:07 pikhq: oh! then i guess 10's complement _does_ give a field. smashing! 03:55:33 how do I filter the duplicates out? 03:55:56 pikhq: um wouldn't 9's complement correspond to 1's complement? 03:56:11 wob_jonas: which duplicates? 03:56:12 Maybe my memory's messed up. 03:56:37 pikhq: i mean, purely from the naming. it wouldn't be the first time mathematical naming is messed up. 03:57:02 Is there a 3's complement? 03:57:05 (and of course, this makes ternary impossible to speak of) 03:58:47 hppavilion[1]: problem is, with binary you speak of both 1's and 2's complement, which means if you try to extend it to all bases you get overlapping meanings... 03:59:25 Oh 03:59:57 So the 1's complement in base 3 is different from the 1's complement in base 2? 04:00:00 Erm, I'm wrong. 9's and 1's are analogous, 10's and 2's are analogous. 04:00:19 oerjan: i think 10's complement as I meant it is the same as 10-adic numbers? I know that ...99999 is -1, for instance 04:00:20 That's... a little disconcerting 04:01:00 The 1's complement base 3 would be, what, the 3's complement minus 2? 04:01:08 pikhq: Not really sure 04:01:19 quintopia: yeah i understood what you _meant_ 04:01:22 pikhq: What would 3's complement be 04:01:37 oerjan: and yes it doesn't give a field, because rational numbers aren't a field either 04:01:59 hppavilion[1]: 3's complement would be _either_ for base 3 or base 4, with different meanings 04:02:01 3's complement base 3 is 3^n - y where y is the number and n is the number of digits. 04:02:06 Like, how do you invert the trits of a 3-digit number? 04:02:22 quintopia: um rational numbers are a field hth 04:02:38 (because the radix complement in any base is b^n - y where b is the base, n the number of digits, and y is the number, apparently) 04:04:59 oerjan: erm, sorry. not the rationals. rather, the subset of rationals representable using at most k digits after the point in base b. 04:05:36 quintopia: the way you make p-adics a field are by allowing finite number of digits after the point, and infinite before 04:05:47 this does not work for non-prime p. 04:05:57 *is 04:06:10 eh, who cares whether its a field 04:06:50 (unary: mits, marks; binary: bits; ternary: trits; quaternary: tits (tetra- instead of quat-; not qits to avoid confusion with qubits); quinary: pits (again, can't use q, so swapped roots); senary: snits; octal: oits (pronounced "wits"); decimal: dits/digits; dozenal: zigits (so as not to use "zits"); etc.) 04:07:44 Base 256: octets HTH 04:10:40 pikhq: Is the 16's complement of higits/hits (hexadecimal) numbers the same as the 2's complement of the binary equivalent? 04:11:51 hppavilion[1]: ah, wolfram.com has a formula using the incomplete gamma function http://mathworld.wolfram.com/Subfactorial.html 04:13:58 I dunno for sure, but it intuitively seems like it should be. 04:15:49 Hrm. The 16's complement of n is 16^n-digits_16(n), while the 2's complement of n is 2^n-digits_2(n). 16=2^4, digits_16(n)=floor(digits_2(n)/4)... 04:15:52 Hmm. 04:16:17 Phinary is a thing 04:16:34 a phine base indeed 04:18:43 Ah, no wonder I'm confused here, I wrote things wrong. 04:19:06 16^digits_16(n)-n, 2^digits_2(n)-n. Those are the expressions I should be looking at. 04:20:47 digits_2(n) = 4 * digits_16(n). So, 2^digits_2(n) = 2^(4*digits_16(n)) = 16^digits_16(n). 04:21:23 hppavilion[1]: Yes, the 16's complement of a hexadecimal number is the same as the 2's complement of the same number in binary. 04:22:52 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 04:23:27 hppavilion[1]: apparently the incomplete gamma function is harder to extend to complex numbers than the usual one, it can become multivalued. 04:23:37 https://en.wikipedia.org/wiki/Incomplete_gamma_function 04:24:46 in the case of subfactorial, because of a factor (-1)^s 04:25:03 helloerjan 04:25:16 Where can I find a definition of the differential forms thing you were talking about the other day? 04:26:09 hello̼ 04:26:29 doesn't wikipedia have this stuff 04:27:00 i,i אוריין 04:27:05 Probably. Which article? 04:27:23 "Differential form"? 04:27:39 it's not like i've looked. 04:28:25 although i vaguely recall once having had this explained in university, i have no idea if there even was a book involved. 04:28:39 Well, I want this vector space that you were talking about. 04:28:45 Oh, maybe "exterior algebra". 04:29:35 hm that does look promising 04:31:00 Is this "unordered set of basis elements" basis used anywhere? 04:31:22 (Or is it a non-empty unordered set?) 04:31:24 Cale might know. 04:32:48 shachaf: it'd be empty for the 0 components case i guess. 04:33:12 for n components, you need sets with n elements 04:36:17 apparently the correct term is "n-vector" 04:37:43 maybe Taneb invented them? 04:38:03 who invented taneb? 04:38:15 `? cis 04:38:16 The CIs are a secret society led by David Morgan-Mar, bent on conquering the world from Sydney with web comics and unsolvable puzzles. They invented Taneb. 04:38:21 hth 04:39:12 `slwd cis//s/web c/webc/ 04:39:13 Rosebud! 04:39:14 `? april 04:39:15 april? ¯\(°​_o)/¯ 04:39:19 `slwd ci//s/web c/webc/ 04:39:20 `? january 04:39:21 wisdom/ci//The CIs are a secret society led by David Morgan-Mar, bent on conquering the world from Sydney with webcomics and unsolvable puzzles. They invented Taneb. 04:39:22 january? ¯\(°​_o)/¯ 04:39:36 hm 04:39:44 `` ls -l wisdom/password 04:39:46 ​-rw-r--r-- 1 5000 0 40 Aug 2 03:16 wisdom/password 04:39:55 `? password 04:39:56 The password of the month is Strindberg 04:41:44 `learn The password of the month is au cœur de septembre 04:41:46 Relearned 'password': The password of the month is au cœur de septembre 04:47:47 shachaf: What? 04:48:06 Well, you missed the conversation the other day. 04:48:22 I think oerjan was talking about the definition of multivectors? 04:48:34 oerjan: how does `learn know to update the password in that case? 04:48:55 izalove: it ignores articles 04:49:00 nice 04:49:03 Or some thing that has some complicated ordered basis or something. 04:49:34 shachaf: the "Duality" section in that wikipedia article seems closest to what i said 04:50:10 (about universal property. the "Universal property" section is a different view.) 04:51:40 shachaf: oh and the basis is also shown in another section. (no mention of unordered sets though) 04:54:28 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 04:57:22 hey, any mtg player? 04:57:45 i found a gilt-leaf seer 04:57:48 `? mtg 04:57:49 mtg? ¯\(°​_o)/¯ 04:57:52 magic 04:57:58 `card-by-name gilt-leaf seer 04:57:59 Gilt-Leaf Seer \ 2G \ Creature -- Elf Shaman \ 2/2 \ {G}, {T}: Look at the top two cards of your library, then put them back in any order. \ LRW-C 04:58:15 how much would you pay for it? 04:59:28 ah i see, according to this site it's worth up to a whopping $0.80 http://magic.tcgplayer.com/db/search_result.asp?Set_Name=Lorwyn 04:59:57 Why are you selling it? 05:00:15 because i don't play this game 05:00:36 I rarely play Magic: the Gathering but I do know all of the rules 05:00:42 You can build your starter deck around it. 05:00:43 the card is in italian and i found it in a book 05:00:53 Do you want deck-building tips? 05:00:58 sure 05:01:00 why not 05:01:04 they could come in handy someday 05:01:05 I recommend including at least one basic land. 05:01:11 ok that sounds good 05:01:14 what's a land? 05:01:17 That's a type of card. 05:01:20 Land is one of the types. 05:01:24 i see 05:01:44 There are very few decks that don't use land. 05:01:45 How to built deck can differ based on whether it is standard or vintage or draft or whatever, too. 05:02:03 how much is it gonna cost me? 05:02:06 Sometimes non-English cards are worth more than English cards. 05:02:30 But that particular card is probably not going to be very valuable no matter what. 05:02:40 Basic lands I think you can get not costing as much as other cards, because they are very common and you can get in all sets. 05:03:03 Yes, only unique variants of basic lands end up being costly. 05:03:05 I'll give you a basic land card for free. 05:03:16 i also found this black lotus thingy, is it worth anything? 05:03:25 (but those are in no way superior) 05:03:29 Blacker Lotus is worth more. 05:03:29 Black Lotus is worth a lot; it is on the reserved list meaning they can't reprint it. 05:03:39 * izalove is being funny 05:03:41 izalove: Either you're fucking with me, or you're not aware that that is a really expensive card. 05:03:42 However, it is restricted in Vintage and banned in all other formats. 05:04:17 Therefore, unless you play Vintage or like to collect it (whether to keep or to resell), it might not be worth as much to you. 05:04:26 What's the going price for a Black Lotus these days, 30k? 05:04:33 -!- `^_^v has quit (Quit: This computer has gone to sleep). 05:04:46 Surely not. 05:04:48 7.5k http://www.ebay.it/itm/like/262597320477?lpid=96&chn=ps 05:04:58 why does ebay.com redirect to .it 05:05:03 stupid localization 05:05:27 Ah, 30k is probably going price for a mint Alpha Black Lotus, not a Black Lotus in general. 05:05:31 -!- `^_^v has joined. 05:05:54 Oh, I'd believe that. 05:06:30 -!- `^_^v has quit (Client Quit). 05:08:11 pikhq: You should start an investment management company that provides Magic: The Gathering ETFs. 05:08:23 Hah. 05:08:53 I might buy some shares in your 3x Bull Power Nine ETF 05:09:27 -!- aloril has quit (Read error: Connection reset by peer). 05:09:43 `learn MTG is short for Money Tapping Game. 05:09:46 Learned 'mtg': MTG is short for Money Tapping Game. 05:10:27 oerjan: Is that supposed to be a pun on "tapping", a frequent action that can be applied to objects on the battlefield in Magic: The Gathering? 05:10:39 (Can you ever tap or untap something that isn't on the battlefield?) 05:10:55 shachaf: No. Only permanents can be tapped/untapped. 05:11:24 (Any object on the battlefield is a permanent.) 05:11:31 I forgot the word "permanent". 05:11:38 shachaf: not really, i'd have used a better word if i could think of one. 05:12:03 I wish there was a Magic: The Gathering Online eXchange 05:12:08 -!- aloril has joined. 05:12:21 `welcome aloril 05:12:22 aloril: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 05:12:23 Also, only permanents can be destroyed, sacrificed, attached to other objects/players, have status, etc 05:12:52 But a permanent can be phased out. 05:13:17 Yes; only permanents can be phased out (and most effects ignore them while phased out). 05:13:39 Thankfully nothing can go in the phased out zone anymore. 05:13:56 There was a phased out zone? 05:14:01 Yes. 05:14:08 There used to be. Not any more. 05:14:15 Phasing has had many, *many* hacks to make it work in the past. 05:14:17 I guess it was just a phase. 05:14:20 One of those hacks was a zone. 05:14:34 (A custom card I made up some time ago got a different function due to them changing this rule actually.) 05:14:52 -!- izalove has quit (Ping timeout: 252 seconds). 05:15:34 -!- izalove has joined. 05:15:42 I wish there was a Magic: The Gathering Online eXchange <-- all it takes is one big bitcoin investment hth 05:15:45 If not playing in an official tournament, you may also use proxies, by agreement of players involved; and custom cards, by agreement of players involved. So purchasing the cards is not always necessary. If playing Limited format tournament, you need not bring your own cards (it won't help anyways); you can purchase cards as part of the entry fee. 05:17:07 -!- `^_^v has joined. 05:17:53 I always keep track of rule changes to Magic: the Gathering, far more often than I play, actually. 05:18:54 -!- izalove has quit (Changing host). 05:18:54 -!- izalove has joined. 05:25:03 -!- Caesura has quit (Ping timeout: 240 seconds). 05:30:18 -!- `^_^v has quit (Quit: This computer has gone to sleep). 05:40:19 very sound logic in today's girl genius. 06:19:46 i bought a pair of headphones that are so unconfortable they're killing my ears 06:19:47 -!- `^_^v has joined. 06:19:48 i'm in hell 06:25:13 -!- `^_^v has quit (Quit: This computer has gone to sleep). 06:37:28 * oerjan sets fire to izalove's headphones 06:38:52 thanks 06:56:40 <\oren\> http://orenwatson.be/KSP/MurcielagoAtMun.PNG 06:57:29 nice sunset 07:19:50 -!- hppavilion[1] has joined. 07:38:33 -!- carado has joined. 07:57:18 Good morning 07:57:25 @messages-loud 07:57:25 shachaf said 7h 21m 32s ago: oerjan says it's really quite simple hth 07:57:25 oerjan asked 7h 11m 31s ago: does that mean it's star trek 07:57:47 oerjan, in this case, ST stands for Student Tele 07:59:30 fiendish 08:00:10 @tell Taneb and yes, it's quite simple. 08:00:35 (the VN then stands for vision Network) 08:00:52 I'll link you all the episodes as they go online 08:01:22 THREATS WILL GET YOU NOWHERE 08:05:49 `unidecode Ć̨̽͑ͨ̏ͬ̈́̈͋͆͛͒ͩͥ̆̈́̑͗̑͢͏̡̟̳̤̝͈̼̗̦̝̯̤̦̝̘̩̣͡ͅỏ͂̈́͊́ͬͩ҉͉̥͖̬͙̹̻̫̼̬́͜͝ͅͅǘ̢ͧͭͧ̽̽̏̂̔ͤ̃̇̿҉̡̼̬͖̞͖͈̙͓̙̱̩̹ͅľ̸̨͚̖͇͈͔̘̟̺ͮ̀̓͐̽̾̂ͣͣͧ́̽̀̈́̕͜͜ḋͯ̾̀ͨ̆ͩͯ̾ͮ̂҉̷̟̥̻̠̞̮̺̫̖͍̪̼̳̗̘͈̠̻̣ ̷̻̹̰̖͇̬̺̗͙̩̙͔̻̻̘̟̻͎͙ͦ͊̄ͣ̇ͮ̾ͯ̾̓͂͂ͨ̍͑̈͒͠ 08:05:50 ​[U+0106 LATIN CAPITAL LETTER C WITH ACUTE] [U+033D COMBINING X ABOVE] [U+0351 COMBINING LEFT HALF RING ABOVE] [U+0368 COMBINING LATIN SMALL LETTER C] [U+030F COMBINING DOUBLE GRAVE ACCENT] [U+036C COMBINING LATIN SMALL LETTER R] [U+0344 COMBINING GREEK DIALYTIKA TONOS] [U+0308 COMBINING DIAERESIS] [U+034B COMBINING HOMOTHETIC ABOVE] [U+0346 COMB 08:35:43 -!- oerjan has quit (Quit: Nite). 08:36:54 -!- AnotherTest has joined. 08:42:02 -!- augur_ has quit (Remote host closed the connection). 08:42:50 -!- augur has joined. 08:45:32 ...woooooooooooooow 08:45:53 Albany was considering a law that'd make it a crime to walk away from Airport security (as in, leaving the airport without boarding your flight) 08:47:02 ...OK, I'm beginning to think Hillary might ACTUALLY have some health issues 08:47:42 I mean, I don't see why she'd run for President if she did (unless she was in denial or figured it wouldn't kill her in the next 8 years) 08:48:11 becaus at least it's not trump? 08:48:31 myname: Hillary is /marginally/ better than Trump? 08:48:39 It boils down to shot in the leg vs. shot in the head to me 08:49:29 OTOH, the signs showed up during a 9/11 ceremony (she nearly collapsed when leaving, claiming she felt overheated. Trump is, of course, going to say something about how she was just bored and looking for an excuse to leave, because c'mon, it's Trump and that's exactly the kind of crazy thing he'd say), so it could've just been an emotional thing 08:49:30 welcome tp the usa :p 08:49:50 But I'm pretty sure being emotional /doesn't/ cause your legs to give out usually; wouldn't it generally be the opposite? 08:50:30 No, the video doesn't look like that: https://twitter.com/zgazda66/status/774993814025011200/video/1 08:51:35 hppavilion[1], BBC is reporting she's been diagnosed with pneumonia 08:51:40 but tbh, outlook in germany is not that great either 08:52:29 myname: Yeah, I think the world is either going to end in the next 2 years or this is going to be a long boring period that you'll have to learn about in history where everything sucked 08:55:21 If I ever shoot a video the news starts asking to use, I'm going to have to make some absurd condition 08:56:01 Like, "Yes, but only if you say 'All glory to ba'al the soul-eater' on air" 08:56:46 No, "Cthulhu fhtagn" 09:29:48 <\oren\> hppavilion[1]: if she drops out, then Tim Kaine (her VP) would be a much better president probably 09:30:32 If a nominee drops out, does their running mate become the nominee? 09:30:38 <\oren\> sometimes 09:30:59 <\oren\> hppavilion[1]: basically, the DNC would decide by a new vote of the delegates 09:31:06 <\oren\> or something 09:31:16 Oh, yep, looks like she actually has pneumonia 09:31:36 <\oren\> she was seen giving hug today to little children 09:31:52 <\oren\> pneumonia is a huge cause of death for children under 6 09:32:35 \oren\: Your point? 09:33:11 As in, if it's contagious (is pneumonia contagious? I've always thought it was a symptom of various things, some of which are contagious) she might have passed it? 09:33:13 <\oren\> my point is pneumonia is really contagious 09:33:25 <\oren\> or most causes anyway 09:33:51 <\oren\> so, then you can narrow it down to causes that aren't contagious 09:34:07 Looking at the news, I feel like we're on an exponential curve towards a tipping point at which there is an anticlimactic resolution 09:34:25 \oren\: Unless she didn't know 09:34:42 <\oren\> whe supposedly was diagnosed on friday 09:37:18 <\oren\> anyway, one cause of pneumonia is stroke 09:38:31 Oh 09:38:44 <\oren\> another is parkinson's disease 09:38:44 I'm beginning to think there might be a serial killer on the loose in anchorage 09:39:06 \oren\: I think we're looking at this wrong; do lizards get pneumonia? 09:39:53 Wait, WTF, there was a double murder at Valley of the Moon‽ 09:39:55 <\oren\> probably. lizards have lungs 09:44:51 Woooooooow, APD doesn't broadcast the police scanner anymore (and they encrypt the stream) 09:46:35 I'm relieved that you mean Anchorage and not Atherton. 09:47:02 http://www.mercurynews.com/2011/08/27/the-best-of-atherton-police-blotter/ 10:00:07 Yeah, I'm convinced, definitely a serial killer 10:18:12 * hppavilion[1] . o O ( If somebody comes out as gay on Wikipedia, does that constitute original research? ) 10:29:58 The official "overheated" explanation suggests more robots than lizards. 10:42:41 -!- Frooxius has joined. 10:43:14 dialogue between coworker that does webthings and coworker that does zfs: 10:43:22 - why are we still using less in 2016? 10:43:31 - less? the command line pager? 10:43:52 - no, less is... do you know coffeescript? well, less is to css like coffeescript is to js 10:44:06 fizzie: Um, lizards are coldblooded and need to move in and out of sunlight to control body temperature. hth. 10:44:06 - . . . 10:48:57 No new xkcd yet!? 10:52:29 Darn, I want to read a dinosaur comics that is more historically accurate AND where t rex wears more :,( 10:57:12 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 10:59:23 <\oren\> my theory is that trump is increasing his stamina using amphetamines, i.e. adderall 10:59:58 <\oren\> he's always jittery 11:01:58 -!- `^_^v has joined. 11:16:54 -!- PinealGlandOptic has joined. 11:36:59 -!- `^_^v has quit (Quit: This computer has gone to sleep). 12:10:35 [wiki] [[Talk:Logicode]] https://esolangs.org/w/index.php?diff=49711&oldid=49694 * Qwerp-Derp * (+102) 12:22:23 [wiki] [[Logicode]] https://esolangs.org/w/index.php?diff=49712&oldid=49697 * Qwerp-Derp * (+309) 12:25:16 -!- augur has quit (Remote host closed the connection). 13:00:31 -!- gniourf has quit (Quit: Leaving). 13:07:10 -!- choochter has joined. 13:11:12 -!- gniourf has joined. 13:42:50 -!- `^_^v has joined. 13:53:52 -!- `^_^v has quit (Ping timeout: 255 seconds). 13:56:13 -!- `^_^v has joined. 14:01:32 -!- `^_^v has quit (Ping timeout: 240 seconds). 14:04:03 -!- Sgeo has quit (Ping timeout: 240 seconds). 14:53:24 -!- Phantom_Hoover has joined. 15:24:24 -!- Frooxius has quit (Quit: *bubbles away*). 17:10:59 -!- `^_^v has joined. 17:11:32 -!- zzo38 has quit (Remote host closed the connection). 17:11:38 -!- Reece` has joined. 17:12:50 -!- moony has joined. 17:13:57 -!- moony has quit (Quit: WeeChat 0.4.2). 17:14:56 -!- moonythedwarf has joined. 17:15:12 Boop 17:19:27 -!- MoALTz has joined. 17:39:13 -!- xfix has quit (Quit: No Ping reply in 180 seconds.). 17:40:36 -!- xfix has joined. 17:56:42 -!- DHeadshot has joined. 18:00:55 -!- danofthedeep has joined. 18:01:33 -!- `^_^v has quit (Quit: This computer has gone to sleep). 18:31:44 beep 18:38:31 http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1527.pdf very interesting 18:38:40 why is there no link bot in this chan? 18:38:44 can i bring mine? 18:39:51 https://fliptomato.wordpress.com/2007/03/19/medical-researcher-discovers-integration-gets-75-citations/ 18:40:16 -!- LKoen has joined. 18:41:55 -!- Caesura has joined. 18:52:00 -!- wob_jonas has joined. 18:52:03 WTF that's even worse! 18:54:54 That means eight new expansion symbols per year. Four for ordinary expert level expansion sets, two for this "Masterpiece Series" they just announced (why don't they just print the expansion set's symbol in a different color for that), one for a casual supplementary product and one for a duel decks. 18:54:57 That's horrible! 18:55:30 Though at least now they have the set code printed at the bottom, but still. 18:56:53 -!- hppavilion[1] has joined. 18:58:03 Although at least these cards will probably be rare, so maybe there's only six expansion symbols per year I'll commonly see. 19:01:55 ( Magic: the Gathering stuff) 19:01:56 (input):1:6: error: expected: "#", 19:01:56 "$", "&", "&&", "&&&", "*!>", 19:01:56 "*", "***", "*>", "*>|", "+", 19:01:56 "++", "+++", "-", "->", ".", 19:01:56 "/", "/=", ":+", ":-", "::",↵… 19:09:59 -!- zzo38 has joined. 19:10:40 -!- Zarutian has joined. 19:18:32 Do you like this? [:trigger [:upkeep :you]; :iif [:equal [:life :you], 1]; :do [:win :you]] 19:48:49 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 19:48:56 what's iif? 19:49:27 i guess :iff 19:55:43 Intervening if clause 19:56:20 zzo38: I like the general idea. I'm not sure about the specific syntax and semantics. 19:58:41 What might you suggest to change? The syntax is RDF syntax. 20:00:02 I'm not yet sure what it should look like. 20:02:33 -!- Caesura has quit (Ping timeout: 240 seconds). 20:05:14 -!- hppavilion[1] has joined. 20:06:16 -!- Caesura has joined. 20:13:00 I think this format can help to implement effects of Magic: the Gathering cards in computer program, as well as to search the card database by effect (such as with Gremlin or SPARQL or whatever) instead of only by text. 20:15:21 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 20:15:46 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 20:18:41 zzo38: What I want is a small core set of rules, and for most keywords and so on to be implemented in a "standard library". 20:19:01 Which just uses the same language that's used on cards. 20:19:52 I did too intend that keywords can be implemented in a standard library too, as well as various other rules can be implemented in a standard library 20:22:24 -!- Phantom_Hoover has joined. 20:25:22 -!- atslash has quit (Ping timeout: 255 seconds). 20:25:46 -!- atslash has joined. 20:30:01 -!- Reece` has quit (Read error: Connection reset by peer). 20:32:48 -!- Caesura has quit (Ping timeout: 244 seconds). 20:35:42 -!- Caesura has joined. 20:36:20 -!- idris-bot has quit (Quit: Terminated). 20:36:38 -!- idris-bot has joined. 20:54:55 -!- LKoen has quit (Remote host closed the connection). 21:14:47 What's a "link bot"? 21:15:34 a title displayer, I guess 21:15:51 I don't think that's a good idea. 21:15:57 I wouldn't expect one of those do anything reasonable with a .pdf. 21:16:06 But you can put your bot in here and have it /msg you the titles of links. 21:16:17 fizzie: Why not? 21:16:30 I don't know, it seems like much to expect. 21:16:35 or make it dispay titles, but not for every link it sees, but only when he's addressed? 21:16:49 perlbot, head http://esolangs.org/wiki/Main_Page 21:16:56 I'm not sure it has that command 21:17:10 oh right, perlbot isn't here 21:17:34 but it answers in private 21:17:44 -!- MDude has quit (Remote host closed the connection). 21:17:52 I mean, answers when private messaged 21:21:31 -!- MoALTz has quit (Quit: Leaving). 21:25:29 -!- carado has quit (Ping timeout: 260 seconds). 21:25:48 <\oren\> https://www.youtube.com/watch?v=nnZb-ibenFA 21:32:51 -!- DHeadshot has quit (Ping timeout: 264 seconds). 21:34:46 -!- Caesura has quit (Ping timeout: 265 seconds). 21:47:02 -!- Caesura has joined. 22:20:59 -!- digin4 has joined. 22:22:29 -!- atslash has quit (Ping timeout: 244 seconds). 22:22:59 -!- atslash has joined. 22:25:32 -!- moonythedwarf has quit (Remote host closed the connection). 22:29:23 -!- digin4 has quit (Quit: Leaving). 22:29:28 -!- Caesura has quit (Ping timeout: 265 seconds). 22:29:48 -!- digin4 has joined. 22:32:03 -!- augur has joined. 22:33:14 -!- digin4 has quit (Client Quit). 22:33:40 -!- digin4 has joined. 22:34:05 -!- digin4 has quit (Remote host closed the connection). 22:34:26 idea for a hash table: 22:34:40 - generate a bunch of primes 22:35:28 - when you first allocate a new hash table, associate it the first prime in the list 22:35:55 - when inserting, hash the key and multiply it by the table's current prime 22:36:15 -!- digin4 has joined. 22:36:31 if we get a collision, check the next k elements where k may be 1 for example 22:37:12 - if all the next k elements are occupied, we choose the next prime and try to rehash all the keys 22:37:38 - if we run out of primes, resize the hash table 22:39:40 if we fix k, this guarantees O(1) worst case search time, O(n) worst case insertion time and O(1) avg insertion time, right? 22:40:53 which would be great if you access the elements way more often than you insert them 22:42:08 -!- AnotherTest has quit (Ping timeout: 250 seconds). 22:42:26 Wait, what did I miss. Who is izalove? 22:42:30 it's me 22:42:35 (some version of) java used a simple formula like doing 3x+1 with a magic number starting point, iirc that generated a series of primes up to a billion 22:42:47 Have I seen you here before, possibly under a different nick? 22:42:55 izabera maybe 22:42:58 ah! 22:43:01 indeed 22:43:17 so it's just an alternate nick 22:43:35 planning to keep it for a while at least 22:43:59 -!- PinealGlandOptic has quit (Quit: leaving). 22:44:39 so is that a super bad idea? 22:44:52 i haven't implemented it yet so i dunno how well it works 22:47:33 how do you "check forbthe next element"? 22:47:54 -!- digin4 has quit (Quit: Leaving). 22:48:22 if (!strcmp(key, table[hash+1].key)) 22:48:28 or something 22:48:32 -!- digin4 has joined. 22:50:19 i don't get the role of the primes unless you make hash functions that hash to primes 22:50:31 oh uhm 22:51:13 or at least make it unlikely to have "relevant" divisors 22:51:24 good point 22:51:48 scratch the idea 22:52:00 instead let's use a set of different hash functions 22:52:50 you know cuckoo hashing? 22:52:53 yes 22:53:30 that's probably better eh? 22:55:01 the primes thing was just to have an easy way to generate hash functions 22:55:14 -!- atslash has quit (Quit: Leaving). 22:55:43 i guess one can use a hash function that outputs 64 bits and do something like (hi32 * prime) ^ lo32 22:56:07 does that look reasonable? 22:58:27 I cannot figure out how to make a addon for Node.js (and on #Node.js channel, they don't help either). I looked at the NAN package but I do not understand it. 22:59:46 that does spund esoteric enough 23:00:48 While FFI is too slow. 23:01:40 And some other stuff I have found fails to compile on this version of Node.js 23:01:49 zzo38: that sounds bad. I hope you'll find other people on the internet who understand node.js and can help you. 23:04:38 -!- digin4 has quit (Quit: Leaving). 23:06:52 -!- Sgeo has joined. 23:10:03 I found a few different packages for accessing SQLite from JavaScript but none of them are very good. 23:14:13 None of them allow implement virtual table modules or VFS. I found sql.js which implements SQLite entirely in JavaScript (so there is no need for native addons), although it only works with in-memory databases (VFS support could avoid this limitation), and since it is implemented entirely in JavaScript it cannot use SQLite extensions. 23:14:52 that latter is scary 23:15:09 so can you perhaps take one of the existing extensions, if they're of a good quality, and extend them? 23:22:08 What latter is scary? 23:23:25 zzo38: the part where they implement it in node.js 23:26:10 Why are addons so difficult? 23:27:40 I have seen someone wanted to add built-in FFI support to V8 and that would improve it a lot. But, they don't do that yet 23:29:01 zzo38: can I ask why you're using node.js? 23:29:10 I'm just curious 23:29:56 It is to execute a JavaScript program, so that I can write a JavaScript program with 23:30:45 ok 23:40:04 I would expect that communicating through a pipe would be as slow as FFI, I think? Node.js doesn't even have a function to create a pipe. 23:42:30 -!- hppavilion[1] has joined. 23:45:43 Do you know any C++ programming? 23:47:32 who, me? yes 23:49:50 Maybe you would know how to do it then. 23:49:56 Potentially-useful function: sign-preserving power 23:50:53 hppavilion[1]: Yes, I think in some circumstances it can help. 23:50:54 b^'p = sgn(b)*abs(b)^p 23:51:03 how to do what? 23:51:13 (I have had use for such in some program I have written once) 23:51:13 zzo38: The most notable circumstance, I think, is root-mean-square 23:51:38 Because negative numbers don't really go well in the root-mean-square AFAICT (they become positive) 23:51:42 wob_jonas: How to do Node.js extension with NAN. I read the documentation but I don't understand so well 23:52:04 zzo38: I don't know anything about node.js 23:52:26 So replace the square root with the sign-preserving square root and instead of squaring numbers, sign-preserving square them 23:55:30 At least some of the time, negative numbers are *supposed* to become positive when you root-mean-square them. 23:55:31 Root-mean-square is usually about getting the "magnitude" of something... I think. 23:55:50 One example is the way that we talk about AC voltage. 23:56:08 tswett: I thought it was just a different version of average with some different benefits and downsides 23:56:10 When people talk about "120 volts AC", that means AC with a RMS of 120 volts. 23:56:23 (Traditionally, is the distance between two complex numbers real or complex? E.g. do you just find the absolute value of the difference of their absolute values, or would it actually be complex itself?) 23:56:53 wob_jonas: Look at the documentation for NAN and see if you can understand that if you know any C++ programming. 23:56:57 The distance between two complex numbers is the absolute value of their difference. So it's always real and nonnegative. 23:57:05 tswett: Ah 23:57:36 * hppavilion[1] . o O ( sqrt((a-c)^2+((b-d)^2)i) ) 23:57:37 zzo38: got a link? 23:58:17 wob_jonas: https://github.com/nodejs/nan