00:01:08 shachaf: x/0 = inf, inf*0 = ℕ/ℤ/ℚ/ℝ/whatever 00:01:27 No? 00:01:34 shachaf: Correct 00:01:41 I don't get it. 00:02:03 Anyway, there are algebraic structures that involve adding an infinity element. You can extend the reals with +infinity and then get a min/plus ring. 00:02:05 Operation proposal: a+b = 1/((1/a):(1/b)) 00:02:06 Or semiring? 00:03:41 It's the case that 1/(a+b) = 1/a : 1/b 00:03:51 And also 1/(a:b) = 1/a + 1/b 00:04:04 But you have to figure out how to define : first. 00:04:23 Yes, but I need a primitive operation like S(x) = x+1 00:05:33 I don't know why you want a successor in particular, but sure. 00:06:23 (Also, point of order, ⊕ is a much nicer symbol for this than either a:b or a||b) 00:06:52 @let a ? b = 1/(1/a + 1/b) 00:06:54 Defined. 00:07:07 It's a symbol that already means something. 00:07:16 > 0 ? 1 00:07:18 0.0 00:07:29 oops 00:07:39 Right, you only want the positive reals. 00:07:47 > 1 ? 1 00:07:49 0.5 00:07:56 @undefine 00:07:56 Undefined. 00:08:17 @let (?) :: Rational -> Rational -> Rational; a ? b = 1/(1/a + 1/b) 00:08:18 Defined. 00:08:23 > 1 ? 1 00:08:25 1 % 2 00:08:35 -!- Cale has joined. 00:08:37 > iterate (?1) 1 00:08:39 [1 % 1,1 % 2,1 % 3,1 % 4,1 % 5,1 % 6,1 % 7,1 % 8,1 % 9,1 % 10,1 % 11,1 % 12,... 00:08:53 > 0.5 ? 0.5 00:08:55 1 % 4 00:09:02 Er, right. 00:09:11 How do you make a number greater than 1? 00:09:18 shachaf: '4' 00:09:43 Use the other digits and/or more columns. hth. 00:09:54 (Just don't use '0' or put a '-' at the beginning) 00:10:35 Maybe you just don't. 00:10:36 -!- PinealGlandOptic has quit (Quit: leaving). 00:11:23 The panaturals, obtained from 1 and (?1), are isomorphic to the naturals, obtained from 1 and (+1)? 00:11:35 shachaf: Wait, how could it be hard? you're adding two reciprocals and taking their reciprocal 00:11:39 > 3 ? 5 00:11:41 15 % 8 00:12:01 I'm talking about constructing the numbers starting from this operation. 00:12:04 Oh 00:12:52 OOOOH I see 00:13:08 You probably need some other constant? 00:13:15 Let's try... 00:13:21 > iterate (?(-1)) 1 00:13:23 [1 % 1,*Exception: Ratio has zero denominator 00:13:31 No, that doesn't work... 00:13:49 > iterate (?(-1)) 2 00:13:51 [2 % 1,(-2) % 1,(-2) % 3,(-2) % 5,(-2) % 7,(-2) % 9,(-2) % 11,(-2) % 13,(-2)... 00:14:44 The sum of two natural numbers is always >= the two numbers. 00:14:50 Yes 00:14:51 Is the opposum always <=? 00:14:55 And the (+) is <= 00:14:59 shachaf: Correct, AFAICT 00:15:16 shachaf: So maybe you need infinitely-large numbers for it to work nicely? 00:15:28 It seems fine. 00:15:28 * hppavilion[1] . o O ( Natural infinities... mmm... ) 00:17:05 OK, so like Peano numbers or something, you can start with S (for the Singular value 1), and an operation Z (the Zuccessor) 00:17:15 So you have S, ZS, Z(ZS), etc. 00:17:17 oerjan: actually it doesnt. usps hands parcels to postes canada through a portal. 00:17:36 Z is a fun name :D 00:17:39 the same portal ghe internet wires run through 00:18:17 shachaf: *eye twitch* 00:18:34 haha 00:19:12 Cale: The idea is to figure out how parallel sum works. 00:19:24 a?b = 1/(1/a+1/b) 00:19:44 harmonic sums eh 00:22:49 Z is for the zomplex type. 00:25:09 S is for the Simplex type 00:26:41 what are a?b=c?d s.t. a!=c or d and b!=c or d? 00:30:45 oerjan: actually it doesnt. usps hands parcels to postes canada through a portal. <-- sensible. 00:32:24 shachaf: it's pretty obvious that \x -> 1/x is an isomorphism between the positive reals with + and the positive reals with parallel sum. 00:32:54 eh? 00:33:10 oerjan: Yes. 00:33:26 so everything works the same, just with values pre-1/ed 00:33:49 So how do we know we aren't in a parallel universe, where what we think is + is really :? 00:33:52 2+3=5, 2?3=6/5 00:34:21 sum/coproduct: a+b; product/cosum: a*b, a×b, or ab; harmonic sum/harmonic coproduct: a⊕b = 1/((1/a)+(1/b)); harmonic product/harmonic cosum: a⊗b = 1-(1-a)*(1-b) [note: what exactly it is when a or b is outside the <0 -> 1> interval is unclear; presumably take the reciprocal of those and transform the output (e.g. one reciprocal means reciprocal output, two reciprocals means reciprocal-square-output or something)] 00:36:04 -!- carado has quit (Ping timeout: 260 seconds). 00:36:33 shachaf: Alternate universe is relative hth 00:36:43 (as is parallel universe) 00:36:58 -!- moonythedwarf_ has joined. 00:37:08 shachaf: Also, wouldn't that put us in the serial universe? Presumably parallel sum is used in the parallel universe. 00:37:30 helloony 00:37:50 -!- moony has quit (Ping timeout: 250 seconds). 00:38:06 regular sum is used in regular universe 00:38:16 quintopia: AKA serial sum 00:38:38 why call it that? 00:38:44 quintopia: Not sure, but it is 00:38:51 it can be done in parallel... 00:39:47 (Maybe it has summed 3 or more times for psychological gratification, taking place over a period more than a month with a significant break?) 00:39:56 a serial universe is obviously one that comes before or after ours in time 00:40:17 This is like the choice of i vs. -i 00:40:47 shachaf: Is -i a big deal? 00:40:53 -!- DHeadshot has quit (Ping timeout: 248 seconds). 00:40:57 Well, you can't distinguish i from -i 00:40:59 Ah 00:41:06 Both i^2 and (-i)^2 are -1 00:41:18 And you "define" i just by saying that i^2 = -1 00:41:19 Right, there's no difference in the properties of i and -i, but their sum isn't the same as twice either one 00:41:30 Oh, they're certainly not equal. 00:41:34 ⁂ i = -i 00:41:34 But you have to pick one arbitrarily. 00:41:40 :P 00:41:51 (⁂ used for want of 'therefor sign' on my keyboard) 00:41:52 `unidecode ⁂ 00:41:53 ​[U+2042 ASTERISM] 00:42:05 * boily 깻잎장아찌-ly pokes lifthrasiir 00:43:39 boily: Sesame Pickle-ly? 00:44:15 they *fixed it* :( <-- *MWAHAHAHA* 00:44:32 Matrix harmonic sum is obviously based on inverse matrices 00:44:44 But what about matrix harmonic product? What's 1- 00:44:52 Is 1 the identity matrix? 00:45:07 Oh, gtg 00:45:50 hppavilion[1]: it's a common mistranslation. it's pickled perilla leaves ^^ 00:46:22 `cat bin/? 00:46:23 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed "s/noo\+dl/nooodl/;s/ *$//;s,\(\(..\?\)\?/\)*,,") \ topic1=$(echo "$topic" | sed "s/s$//") \ cd wisdom \ if [ \( "_$topic1"_ = "_ngevd"_ \) -a \( -e ngevd \) ]; \ then cat /dev/urandom; \ elif [ -e "$topic" ]; \ then cat "$topic" | rnooodl; \ elif [ -e "$topic1" ]; \ then cat 00:47:26 lol 00:48:16 wait did i mess that up 00:48:23 `? hmmm 00:48:24 hmmm? ¯\(°​_o)/¯ 00:48:31 `? ¯\(°​_o)/¯ 00:48:32 ​¯\(°​_o)/¯ is a misspelling of ¯\(°_o)/¯ 00:48:42 nope, /s still work 00:48:42 -!- moonythedwarf_ has quit (Quit: See ya later, [INSERT_NAME_HERE]). 00:49:51 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 00:50:09 how can it, though... 00:50:25 -!- moony has joined. 00:50:44 `culprits bin/? 00:50:46 oerjan oerjan oerjan fizzie jeffl35 oerjan oerjan tswett tswett oerjan elliott shachaf oerjan oerjan oerjan oerjan nooodl Roujo nooodl__ shachaf oerjan ais523 ais523 oerjan Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet oerjan oerjan oerjan oer 00:51:23 lol 00:52:34 `? /oerjan 00:52:36 Your mysterious weevil bulgarian quack octoberlord oerjan is a lazy expert in suture computation. Also a Pre-recombination Glaswegian who mildly dislikes Roald Dahl and passion fruit. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 00:52:45 `? oerjan/ 00:52:46 oerjan/? ¯\(°​_o)/¯ 00:53:24 oh i see 00:53:42 one thinko cancels another :P 00:54:03 -!- MoonyTheDwarf has joined. 00:54:03 -!- MoonyTheDwarf has quit (Changing host). 00:54:03 -!- MoonyTheDwarf has joined. 00:54:25 jeffl35: i did it somewhat buggily, so there's a loophole in it hth 00:54:45 lol 00:54:48 ok 00:57:52 -!- moony has quit (Ping timeout: 268 seconds). 00:59:49 `ls tmp 00:59:50 1padfile \ ${$1}padfile \ aaaaa \ args \ at \ foo \ fruit \ linetest \ sh \ spline \ spout \ tempcmd \ testcmd \ tmp_jonas \ wdiff \ wegians 01:00:04 `ls tmp/wegians 01:00:06 tmp/wegians 01:00:21 `` rgrep wegians bin/ 01:00:25 No output. 01:00:32 `rm tmp/wegians 01:00:33 No output. 01:00:40 `? wegian 01:00:42 A wegian is an equivalence class of #esoteric regulars. There are two main wegians, the Nor (from Finland) and the Glas (from Hexham). 01:01:02 `file tmp/sh 01:01:03 tmp/sh: a /hackenv/tmp/args a b script, ASCII text executable 01:01:12 `cat tmp/sh 01:01:13 ​#!/hackenv/tmp/args a b 01:01:29 `file tmp/args 01:01:31 tmp/args: Bourne-Again shell script, ASCII text executable 01:01:36 `cat tmp/args 01:01:38 ​#!/bin/bash \ for a in "$@"; do echo -n "[$a]"; done 01:01:54 I don't remember why tmp/args existed. 01:01:57 But it was a good reason. 01:02:04 `` ls -l tmp/args 01:02:05 ​-rwxrwxrwx 1 5000 0 51 Jul 5 01:26 tmp/args 01:02:06 too bad we can't look at the hg history and find out 01:02:10 curses 01:02:18 sad trombone 01:02:34 tmp/ has its bad sides. 01:03:29 `tmp/sh 01:03:30 ​[a b][/hackenv/tmp/sh] 01:03:42 Oh, right. 01:03:44 `tmp/sh hm 01:03:44 Now I remember. 01:03:45 ​[a b][/hackenv/tmp/sh][hm] 01:05:20 `cat tmp/1padfile 01:05:22 test \ test\n \ test\n \ test 01:05:37 `cat tmp/${$1}padfile 01:05:38 test 01:05:51 `` rm tmp/*padfile 01:05:52 No output. 01:06:11 `cat tmp/aaaaa 01:06:12 ​[1m[31mA[33mA[32mA[36mA[34mA[35m 01:06:16 `rm tmp/aaaaa 01:06:18 No output. 01:06:33 `wisdom 01:06:34 huh//huh is ¯\(°​_o)/¯ 01:07:23 `cat tmp/b_jonas 01:07:24 cat: tmp/b_jonas: No such file or directory 01:07:34 `cat tmp/tmp_jonas 01:07:35 i=0; find wisdom -type f | shuf | while read F; do i=$((i+1)); if hoag "$F" | grep -q b_jonas; then echo -n "$i:${F#wisdom/}//"; cat "$F"; break; fi; done | rnooodl 01:07:49 `` ls -l tmp/tmp_jonas 01:07:50 ​-rwxrwxrwx 1 5000 0 165 Jun 17 09:26 tmp/tmp_jonas 01:08:30 `rm tmp/tmp_jonas 01:08:31 No output. 01:09:10 `` ls -l tmp/tempcmd 01:09:11 ​-rwxrwxrwx 1 5000 0 14 May 25 17:55 tmp/tempcmd 01:09:16 are you really cleaning up tmp/ 01:09:20 `cat tmp/tempcmd 01:09:22 testt \n test 01:09:23 why don't you just rm -r tmp/ 01:09:28 `rm tmp/tempcmd 01:09:29 No output. 01:09:34 i would do it but there would be no revert 01:11:07 -!- Guest17008 has quit (Remote host closed the connection). 01:11:45 `cat tmp/testcmd 01:11:46 No output. 01:12:45 `ls tmp/wdiff 01:12:46 wdiff-1.2.2 \ wdiff-latest.tar.gz 01:14:45 gah network lag 01:15:00 `` rm -r tmp/wdiff # hth 01:15:01 No output. 01:15:51 `rm -r tmp/* 01:15:52 rm: invalid option -- ' ' \ Try `rm --help' for more information. 01:16:06 whoa whoa whoa 01:16:14 `` rm -r tmp/* 01:16:15 let's not be hasty twh 01:16:15 No output. 01:16:20 too late 01:16:22 feels so good 01:16:26 -!- Froox has joined. 01:16:28 `touch -r * 01:16:29 touch: failed to get attributes of ` *': No such file or directory 01:16:37 hm 01:16:43 `` touch -- '-r *' 01:16:46 No output. 01:18:27 i think "tmp" can be deleted at any time no one is actively using it is the simplest policy to keep. 01:18:36 er, *-" *+" 01:18:37 -!- Frooxius has quit (Ping timeout: 240 seconds). 01:18:57 `? tmp 01:18:58 tmp? ¯\(°​_o)/¯ 01:19:11 oerjan: what sort of garden path sentence is that 01:19:26 i can't make heads or tails of it 01:19:26 oh 01:19:26 shachaf: move the second " hth 01:19:27 i see 01:19:45 I think keeping tmp/ around is good. 01:19:55 spam and so on use it, for instance 01:20:02 yes, the directory itself 01:20:07 but not its contents 01:20:28 Oh, tmp/* 01:20:36 Sure, that's fine, I don't care. 01:20:43 It's kind of rude to delete it too frequently, though. 01:24:22 -!- xfix has quit (Write error: Connection reset by peer). 01:25:56 -!- xfix has joined. 01:35:09 -!- Frooxius has joined. 01:35:37 -!- Frooxius has quit (Read error: Connection reset by peer). 01:36:16 -!- Froox has quit (Ping timeout: 260 seconds). 01:39:04 -!- Tiktailk has quit (Ping timeout: 240 seconds). 01:39:46 -!- Tiktalik has joined. 01:41:22 -!- hppavilion[1] has joined. 01:48:22 `wisdom 01:48:24 guarantee//HackEgo is guaranteed merchantable. 01:48:25 `? Γ 01:48:26 ​Γ? ¯\(°​_o)/¯ 01:48:33 `? ſ 01:48:34 ​ſ? ¯\(°​_o)/¯ 01:49:29 maybe <<`le/rn Γ/Γ is the magiscule of ſ ("long s").>>? 01:50:08 (By analogy to f/F) 01:58:34 well, f is a small digamma. 01:58:35 -!- Akaibu_ has joined. 01:58:57 -!- Akaibu has quit (Ping timeout: 240 seconds). 01:58:57 -!- Akaibu_ has changed nick to Akaibu. 02:06:19 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 02:13:13 -!- moon__ has joined. 02:13:13 -!- MoonyTheDwarf has quit (Read error: Connection reset by peer). 02:22:27 And i is ı with a combining dot. 02:23:49 -!- moon__ has quit (Ping timeout: 248 seconds). 02:51:48 -!- boily has quit (Quit: LETTER CHICKEN). 03:04:44 -!- augur has quit (Remote host closed the connection). 03:12:36 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:38:14 pikhq: "i am ı with a combining dot" hth 03:38:33 Thx 03:39:58 you all are wrong, "I am a longer ı" hth 03:41:37 -!- augur has joined. 03:42:04 as polyphemus said: "ı am being attacked by nobody" 04:41:07 -!- augur has quit (Remote host closed the connection). 04:41:44 -!- augur has joined. 04:46:40 -!- augur has quit (Ping timeout: 260 seconds). 04:49:17 -!- hppavilion[1] has joined. 04:53:32 -!- augur has joined. 05:03:03 -!- otherbot has quit (Remote host closed the connection). 05:05:55 -!- otherbot has joined. 05:07:30 https://t.co/cwXGIgMDNc javascript 05:08:17 url shorteners #scow 05:08:27 you should be polite and unshorten it twh 05:08:54 t.co os obviosly some tweet 05:10:06 No, t.co is Twitter's URL shortener. It could be anything. 05:11:22 Apparently wizarding money has three coins 05:12:13 Galleon (USD ~7.34), Sickle (17 to a Galleon), and Knut (29 to a Sickle) ([kn∧t]) 05:12:17 This makes me cry 05:12:21 For many reasons 05:14:21 i know a certain country with crazy units for measurement of distances 05:14:32 myname: Burma! 05:14:35 with feet, miles and inches 05:14:41 myname: Yes 05:14:46 it's like totally crazy 05:14:48 But at least 5280 isn't prime or something 05:14:53 who would ever do that shit 05:15:01 a pint's a pound the world around 05:15:04 except in the uk 05:15:07 and also in the us 05:15:09 (I would prefer if it was 5040... I wonder if that was the classical definition...) 05:15:12 actually a pint is nowhere a pound 05:15:21 what's the problem with it being prime? 05:15:23 shachaf: Pint is volume 05:15:34 myname: Because then you can't say 1/3 galleon or something 05:15:45 so what? 05:15:47 You can't divide it up into smaller amounts and just easily math it 05:15:47 i know what a pint is hth 05:15:56 https://en.wikipedia.org/wiki/Pint#Equivalence hth 05:16:31 you say x sickle instead of 1/x^-1tg galleon, no problem with that 05:16:50 how many sickles to a hammer 05:17:01 on a scale of 17 or 29, there is really no need for fractions 05:17:54 myname: Also, this makes a knut ~0.002 galleons... 05:18:09 so? 05:18:40 how many miles are an inch? 05:19:01 myname: This makes a knut worth, what, USD 0.014 05:19:13 -!- pikhq has quit (Ping timeout: 260 seconds). 05:19:16 Why is a gallon worth 7.34 USD? 05:19:29 shachaf: Because J. K. Rowling said so 05:19:30 iirc 05:19:38 Presumably the exchange rate has suffered. 05:19:38 what's the problem with that? 05:19:49 I mean, sure, but if you're already minimizing coins (why only have 3 if you aren't minimizing?), what's the NEED for a knut? 05:19:56 (Yes, I know, pennies) 05:20:01 (But those are terrible too) 05:20:03 you know how many USD a yen are? 05:20:09 myname: Nope 05:20:20 look it up 05:21:05 -!- pikhq has joined. 05:21:16 -!- oerjan has quit (Quit: Nite). 05:21:40 It's just annoying that you can't evenly divide any of the coins... 05:21:47 also, iirc that 17 was some kind of error on rowlings part 05:21:54 it was supposed to be 16 05:21:59 Oh? 05:22:01 Oh. 05:22:26 By the way, the PDF points out that if you use parallel sum, you also want to use roots instead of exponents. 05:22:31 but somewhere she accidentally said something like 9 galleon and 16 sickle 05:22:40 To get identity similar to x^(a+b) = x^a x^b 05:22:42 an 05:22:46 which would have been 10 galleon 05:22:58 to not change that, she just changed the exchange rate 05:23:50 Wasn't the exchange rate defined in the first book? 05:24:01 Probably? 05:24:17 rowling really is not that good in making consistent fantasy worlde 05:31:38 -!- pikhq has quit (Ping timeout: 250 seconds). 05:32:16 -!- Frooxius has joined. 05:33:39 -!- pikhq has joined. 05:39:45 hppavilion[1]: there is a german video podcast on youtube where that was mentioned iirc 05:41:07 like, there is no 9 3/4 in king's cross 05:41:16 like, there is no wall 05:41:32 the wall from the movie is between 4 and 5 06:00:13 Oh! I can just call <0 -> 1> ðe unit interval! 06:00:20 This makes everything so much easier! 06:00:55 -!- pecan has changed nick to so5ho. 06:01:01 -!- so5ho has changed nick to pecan. 06:01:29 did you mean: the 06:01:38 myname: I did mean: the 06:01:56 (I was talking to a friend in ERA and forgot to switch for a second) 06:15:41 -!- Cale has quit (Remote host closed the connection). 06:20:13 -!- `^_^v has joined. 06:35:46 * hppavilion[1] . o O ( A number is a perfect kth power if the multiplicities of its factor-bag are all divisible by k. ) 06:35:46 -!- MDead has joined. 06:36:43 * hppavilion[1] . o O ( A perfect jth power is also a perfect kth power, where k \divides j ) 06:36:43 -!- HackEgo has quit (Remote host closed the connection). 06:36:46 WAT 06:36:58 HACKEGNOOOOOOOOOOOOOOOOOOOOOOOOO 06:37:24 -!- HackEgo has joined. 06:38:28 HACKEGYEEEEEEEEEEEEEEEEEEEEEEEEEEEEEES 06:38:40 -!- MDude has quit (Ping timeout: 260 seconds). 06:38:42 -!- MDead has changed nick to MDude. 06:39:40 dude, what's wrong 06:39:55 myname: Me? Hackego lost connection. 06:40:09 That's usually not a good thing 06:40:22 so what 06:40:50 myname: We have to mourn HackEgo when hacke disconnects. 06:40:58 We must honor hackis memory. 06:41:21 no 06:41:46 myname: HackEgo usually doesn't disconnect afaict. It's a big deal when e does. 06:46:07 I went out to eat today 06:46:53 And 2pi radians with Anderson Cooper was playing on the TV 06:46:55 (http://instantrimshot.com/) 07:08:05 -!- `^_^v has quit (Quit: This computer has gone to sleep). 07:37:29 -!- augur has quit (Remote host closed the connection). 07:48:47 There wouldn't happen to be a value k s.t. k^(k^x) = x, would there? 07:48:55 I'm pretty sure that's impossible, but not 100% certain 07:49:29 -!- `^_^v has joined. 07:54:19 https://en.wikipedia.org/wiki/List_of_pastries 07:54:24 (angelic stock sound) 08:02:12 -!- imode has quit (Ping timeout: 260 seconds). 08:03:44 -!- pikhq has quit (Ping timeout: 250 seconds). 08:03:45 You know what's fun? Non sequitur 08:03:47 *-s 08:05:37 -!- pikhq has joined. 08:14:23 -!- otherbot has quit (Remote host closed the connection). 08:19:59 -!- augur has joined. 08:32:18 fñord 08:34:12 (Presumably a fnordic fjord?) 08:34:28 Fnorway, Fnorse, Fnorwegian... 08:35:07 fungot: fñord 08:35:07 hppavilion[1]: so much for graphics cards, modems, and the question i am interested 08:35:15 -!- hppavilion[1] has quit (Quit: Leaving). 08:35:42 -!- carado has joined. 08:57:57 -!- `^_^v has quit (Ping timeout: 240 seconds). 08:59:54 -!- AnotherTest has joined. 09:02:34 -!- `^_^v has joined. 09:04:12 -!- augur has quit (Read error: Connection timed out). 09:07:36 -!- augur has joined. 09:37:52 -!- Froox has joined. 09:40:44 -!- Frooxius has quit (Ping timeout: 260 seconds). 09:45:07 -!- Froox has quit (Quit: *bubbles away*). 09:45:29 -!- Frooxius has joined. 09:48:04 -!- augur has quit (Read error: Connection reset by peer). 09:49:38 -!- augur has joined. 10:15:30 -!- DeadPerson has changed nick to PocketKiller[rip. 10:15:43 -!- PocketKiller[rip has changed nick to PocketKiller-rip. 10:17:09 -!- gniourf has quit (Quit: Leaving). 10:20:54 -!- gniourf has joined. 11:02:41 -!- `^_^v has quit (Ping timeout: 260 seconds). 11:04:08 -!- `^_^v has joined. 11:13:42 -!- Froox has joined. 11:16:08 -!- Frooxius has quit (Ping timeout: 250 seconds). 11:33:58 -!- boily has joined. 11:39:40 `wisdom 11:39:47 qzyzzalroum//You should start the crossword over. 11:41:40 -!- `^_^v has quit (Ping timeout: 268 seconds). 11:50:13 -!- `^_^v has joined. 11:51:14 -!- Froox has quit (Quit: *bubbles away*). 11:51:35 -!- Frooxius has joined. 11:51:54 `wisdom 11:51:55 kinder surprise//Kinder Surprise is an addictive drug marketed for children so dangerous it's banned at the federal level. 11:51:55 `wisdom 11:51:56 wfraatw//A WFRAATW is a well-founded recursive acronym akin to "WFRAATW". 11:51:57 `wisdom 11:51:58 footnote 8//Isn't it fun reading through all the footnotes? 11:52:24 `` ls wisdom/foot* 11:52:26 wisdom/footnote 1 \ wisdom/footnote 8 11:52:39 `? footnote 1 11:52:40 May contain nuts. 11:53:20 `` sed -i 's/\./⁸./' wisdom/footnote\ 1 11:53:23 No output. 11:54:02 `` sed -i 's/\?/⁺?/' wisdom/footnote\ 8 11:54:05 No output. 12:10:20 `wisdom 12:10:21 false//false is a very old stack-based language. For an authentic experience, run it on an Amiga. It's also not true. 12:10:26 `wisdom 12:10:27 wumpus//Wumpus the Hunted is an early 70s action game in which the Wumpus is trapped in a dodecahedral labyrinth where it's chased by bats. It has to avoid traps and evade magical arrows that are guided by a nefarious AI. 12:10:40 `wisdom 12:10:41 `wisdom 12:10:41 pouti//Pouti is boily's brother. he's also Canadian, and he closes the Roujo pointer loop. 12:10:42 superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal//Superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal is where mroman lives. 12:11:19 there's a suspicious lack of diæresises in mroman's whereabouts... 12:11:47 `` sed -i 's/\. h/. H/' wisdom/pouti 12:11:50 No output. 12:11:53 `wisdom 12:11:54 ​¯\_(ツ)_/¯//¯\_(ツ)_/¯ is the ¯\(°​_o)/¯ of urbandictionary 12:12:11 `wisdom 12:12:12 bardsworthlist//bardsworthlist is update notification for the Bardsworth webcomic. http://www.bardsworth.com/ 12:15:32 `wisdom 12:15:33 forth//Since Biblical times, Forth has been the go-to language for multiplication. 12:15:40 `wisdom 12:15:42 québec//Attache ta tuque avec d'la broche; y fait frette icitte! 12:16:46 . o O ( mets en qu'on se les gèle... ) 12:17:05 `wisdom 12:17:07 catamorphism//A catamorphism is when you recurse too greedily and too deep. 12:18:44 hehe 12:18:49 I don't remember some of those 12:19:13 shouldn't the québec one mention québec somewhere in the content too? 12:20:09 I don't recall the forth one either, though it might be old 12:20:20 ok, I'll take my chance too 12:20:22 `wisdom 12:20:23 font//#esoteric bitmap fonts include: \oren\'s font http://www.orenwatson.be/fontdemo.htm , lifthrasiir's font https://github.com/lifthrasiir/unison/ https://lifthrasiir.github.io/unison/sample.png , b_jonas's font http://www.math.bme.hu/~ambrus/pu/fecupboard20-c.pcf.gz 12:20:34 `wisdom 12:20:36 lexer//lexer is a maximally Norwegian painter. Its squares are munched with chili sauce. 12:20:49 what? 12:21:03 that one's mine :D 12:22:56 `wisdom 12:22:57 internationale//You have been reported to the House Un-American Activities Committee. 12:28:37 -!- heroux has quit (Ping timeout: 248 seconds). 12:28:52 -!- boily has quit (Quit: LOOKING CHICKEN). 12:42:29 -!- Froox has joined. 12:45:00 -!- Frooxius has quit (Ping timeout: 260 seconds). 12:52:40 -!- heroux has joined. 12:54:10 -!- PinealGlandOptic has joined. 13:36:59 -!- carado has quit (Ping timeout: 268 seconds). 13:37:26 -!- Phantom_Hoover has joined. 13:37:38 -!- Phantom_Hoover has quit (Changing host). 13:37:38 -!- Phantom_Hoover has joined. 13:38:03 -!- carado has joined. 14:05:16 -!- PinealGlandOptic has quit (Ping timeout: 265 seconds). 14:05:56 -!- `^_^v has quit (Quit: This computer has gone to sleep). 14:35:03 -!- lleu has joined. 14:35:03 -!- lleu has quit (Changing host). 14:35:03 -!- lleu has joined. 14:44:51 -!- `^_^v has joined. 14:55:24 -!- `^_^v has quit (Ping timeout: 250 seconds). 14:57:47 -!- `^_^v has joined. 15:03:27 -!- Cale has joined. 15:39:14 -!- Sgeo__ has joined. 15:41:28 -!- Sgeo_ has quit (Ping timeout: 260 seconds). 16:18:01 -!- oerjan has joined. 16:36:05 -!- `^_^v has quit (Ping timeout: 248 seconds). 16:38:19 <\oren\> jesus christ the guy running the unifont project is a dick 16:38:28 <\oren\> "the Unifont package comes with its own wcwidth function that covers all glyphs that are part of Unifont in the Basic Multilingual Plane and in the Supplemental Multilingual Plane." 16:39:16 <\oren\> He's seriously asking everyone from nano to xterm to irssi to recompile their software linking to his own wcwidth function for his individual font 16:39:40 <\oren\> what a dick 16:40:33 dafuq 16:40:42 * oerjan bitches at the fact that what he'd like to bitch at would just get him laughed at because it's windows. 16:40:49 -!- `^_^v has joined. 16:41:39 <\oren\> oerjan: In my salvo back at that guy, I pointed out that even powershell adheres to the informal standard of using unicode's annex 11 data 16:43:03 <\oren\> as does putty 16:44:03 (basically, windows 10 just changed to make it even harder for people to schedule reboots safely) 16:44:32 <\oren\> oerjan: oh. yeah, I would just turn off my computer every night if I had windows 10 16:44:37 (you now can only give a time of day when you're usually busy) 16:44:56 <\oren\> or you could disable updates 16:44:59 \oren\: i _do_ turn off my computer whenever i leave for long. 16:45:33 <\oren\> when I had windows 8, I disabled all updates and simply ran them manually every few months 16:45:55 -!- otherbot has joined. 16:46:14 nonprofessional windows 10 doesn't allow disabling it, last i checked. 16:46:46 <\oren\> I also pointed out to the imbecile that "Terminal emulators typically have menu options to change fonts at will, without recompiling. And as for tmux, nano, and irssi, these should be able to act in a standard way without needing to be aware what font is in use." 16:47:05 windows 8 i had no problems with. it warned me a day in advance, when i turned on the computer. 16:47:59 with windows 10, i don't trust it to unexpectedly reboot if i'm spending too long in the bathroom... 16:48:02 <\oren\> oh. yeah I would get the professional verison 16:48:10 <\oren\> I always do 16:48:39 (admittedly, this may be colored by how it behaved just before the disk crash last autumn) 16:48:49 *it not to 16:48:55 <\oren\> also, you can kill windows update 16:49:00 <\oren\> using the taskmgr 16:49:26 <\oren\> but then, I always kill things first and ask questions later 16:50:02 afaict it's not currently running. 16:50:15 <\oren\> http://www.laptopmag.com/articles/stop-windows-automatic-reboots <-- I wonder if this guide is still valid 16:50:35 <\oren\> oerjan: it is always running 16:50:53 given that my most recent problem started just this time, i doubt any site is up to date. 16:50:55 <\oren\> unless you kill it and disable its scheduled run 16:52:22 \oren\: that site just describes what i had previously done tdnh 16:53:01 that option is now gone. 16:53:25 <\oren\> oerjan: try the registry edit 16:54:17 \oren\: that's only for windows 7 and 8 16:54:35 <\oren\> http://superuser.com/questions/957267/how-to-disable-automatic-reboots-in-windows-10 <-- try the task scheduler thing from this thread 16:54:58 <\oren\> http://superuser.com/questions/1110265/how-to-prevent-windows-10-from-restarting-the-computer-after-installing-updates/1125051#1125051 16:56:12 i'm pretty sure that all the options i looked for last year only worked for professional version hth 16:56:46 <\oren\> try the last link I posted. 16:57:04 <\oren\> do you know how to open the task scheduler? 17:00:00 no. 17:00:39 hm maybe i found it 17:06:26 -!- otherbot has quit (Remote host closed the connection). 17:08:15 well, that looked promising, let's see if it actually works :) 17:08:55 \oren\: thanks for helping 17:21:22 <\oren\> hopefully this good karma will result in the unifont guy pulling his head out of his ass 17:22:28 :P 17:22:40 <\oren\> XD 17:28:28 -!- otherbot has joined. 17:31:39 -!- otherbot has quit (Remote host closed the connection). 17:42:20 -!- MoALTz has joined. 17:48:49 @tell hppavilion[1] There wouldn't happen to be a value k s.t. k^(k^x) = x, would there? <-- then you get for all x,y: x+y = k^(k^(x+y)) = (k^k^x)^(k^y) = x^(k^y). thus k^y = 1 and y = k^(k^y) = k contradiction hth 17:48:49 Consider it noted. 17:51:35 `? footnote 1 17:51:36 May contain nuts⁸. 17:51:40 `? footnote 8 17:51:41 Isn't it fun reading through all the footnotes⁺? 17:52:11 that's a bit scow in my font 17:52:58 <\oren\> https://www.youtube.com/watch?v=dVqqWUyDPzA 17:59:00 @tell boily there's a suspicious lack of diæresises in mroman's whereabouts... <-- surprisingly, i think the only peculiar thing is the specifically swiss spelling "Scheissegal", which narrowly avoids a ß hth 17:59:00 Consider it noted. 18:00:37 @tell boily `` sed -i 's/\. h/. H/' wisdom/pouti <-- lern2slwd hth 18:00:38 Consider it noted. 18:00:51 `? pouti 18:00:53 Pouti is boily's brother. He's also Canadian, and he closes the Roujo pointer loop. 18:02:09 @tell boily (one of its advantages, shared by most wisdom/ commands, is that it tells you the result so you (and people watching) know if you messed up) 18:02:09 Consider it noted. 18:02:50 -!- `^_^v has quit (Quit: This computer has gone to sleep). 18:11:37 <\oren\> http://www.unicode.org/mail-arch/unicode-ml/y2016-m10/0192.html This guy from the unicode mailing list is a master troll. I am in awe. 18:19:06 -!- zgrep has quit (Ping timeout: 258 seconds). 18:21:20 -!- zgrep has joined. 18:26:32 -!- hppavilion[1] has joined. 18:32:37 -!- otherbot has joined. 18:35:19 -!- Bowserinator has changed nick to Jeffool2. 18:36:36 -!- Jeffool2 has changed nick to Bowserinator. 18:49:02 -!- oerjan has quit (Quit: Latre). 18:52:45 -!- gamemanj has joined. 19:02:22 -!- izalove has quit (Quit: WeeChat 1.5). 19:03:01 -!- izabera has joined. 19:06:37 -!- DHeadshot has joined. 19:11:49 What's the opposite of Q.E.D.? 19:12:01 For when you negate the original proposition? 19:12:04 @messages-proud 19:12:04 oerjan said 1h 23m 14s ago: There wouldn't happen to be a value k s.t. k^(k^x) = x, would there? <-- then you get for all x,y: x+y = k^(k^(x+y)) = (k^k^x)^(k^y) = x^(k^y). thus k^y = 19:12:04 1 and y = k^(k^y) = k contradiction hth 19:12:47 this...looks a lot like SELECT. talk 19:13:04 quintopia: Wat? 19:13:54 <\oren\> Quod Erat Non Demonstrandum 19:14:00 <\oren\> QEND 19:14:09 https://esolangs.org/wiki/SELECT. 19:14:25 Q.E.N.D? 19:15:34 I am a fan of indenting proofs... 19:15:41 <\oren\> "That is what was not to be demonstrated" 19:16:58 "Quod erat 19:16:58 exspectare quid" 19:17:02 Whoops 19:17:15 Spiritually, "Which is totally unrelated to what had to be demonstrated" 19:17:23 Used at the end of a non sequitur 19:19:18 -!- myname has quit (Ping timeout: 250 seconds). 19:20:05 QEEQ? 19:23:38 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 19:28:46 -!- hppavilion[1] has joined. 19:29:05 Also good: B.A.T. ( 19:29:06 Bobus avunculi tui) 19:29:14 Dammit, what is it with newlines? 19:33:07 * hppavilion[1] . o O ( Is Bob my uncle? I actually don't know... ) 19:34:15 If we restrict unclehood to only include a parent-sibling (and not a parent-sibling-spouse), Bob probably isn't my uncle; my father has one sibling- a younger sister- and my mother has 3(ish)- 2 step sisters, 1 half sister 19:34:44 But OTOH, my mother actually has a few more half siblings on her mother's side; I've never met them because her mother is crazy and we avoid them. 19:38:45 [wiki] [[Special:Log/newusers]] create * Cosmikdebris * New user account 19:38:58 Ooooh, bot or person? :D 19:43:16 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=49931&oldid=49908 * Cosmikdebris * (+114) 19:44:08 -!- PocketKiller-rip has left ("PART ->> >>| PocketKiller |<< <<- PART"). 19:45:05 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=49932&oldid=49931 * Cosmikdebris * (+156) 19:45:27 [wiki] [[Prehistory of esoteric programming languages]] https://esolangs.org/w/index.php?diff=49933&oldid=43160 * Cosmikdebris * (+52) /* GPM and TRAC language */ 19:45:54 -!- otherbot has left. 19:46:36 -!- otherbot has joined. 19:47:03 -!- otherbot has left. 19:47:23 `` echo 'funFNORDgot: test' | sed 's/FNORD//' 19:47:24 fungot: test 19:47:30 -!- otherbot has joined. 19:47:31 fungot: clever bot... 19:47:31 hppavilion[1]: fnord the moment i mostly work on 1024x768. 19:47:40 `? weather 19:47:41 lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK 19:47:45 CYUL 121800Z 14004KT 060V200 30SM FEW150 FEW240 19/05 A3015 RMK AC1CI1 SLP213 DENSITY ALT 300FT \ ENVA 121820Z 12007KT CAVOK M00/M01 Q1033 NOSIG RMK WIND 670FT VRB03KT \ ESSB 121820Z 02003KT 9999 19:47:45 BKN019 07/03 Q1034 \ KOAK 121753Z 22003KT 10SM BKN010 OVC012 16/12 A3010 RMK AO2 SLP193 T01560117 10156 20133 50015 19:47:48 @metar PAMR 19:47:49 PAMR 121753Z 03004KT 7SM CLR 01/M03 A2967 RMK AO2 SLP050 60000 T00111028 10011 21028 58002 19:47:55 Chilly 19:48:08 Clear skies though. 19:49:28 -!- otherbot has left. 19:49:28 -!- otherbot has joined. 19:59:19 What equation gives the number of possible unique permutations of an n*n*n rubik's cube? 19:59:21 -!- Akaibu has quit (Ping timeout: 260 seconds). 20:01:56 -!- Akaibu has joined. 20:02:59 If you assume that any possible state can be reached in a rubik's cube (probabyl 20:03:11 *probably untrue in any cube with a "centre") 20:04:41 then multiply the amount of squares on each face by 6, and then get 6^(the resulting number)? 20:04:53 At least, that should be an upper bound. 20:05:35 that is indeed not true 20:05:45 Just checked, it definitely covers too many possibilities, 20:05:47 there is a parity; half the states are unreachable 20:05:53 but will never cover too few. 20:06:10 Also, all 6 colours must be on the cube in the same amount. 20:06:39 So (for a standard size 3 cube): 6^(9 * 6) will not work. 20:06:53 gamemanj, there'll be something very clever to do with group actions I imagine 20:07:06 I don't think you need much group theory 20:07:26 gamemanj: Yeah, that's simple, the problem is the impossible states 20:07:42 I'm pretty sure, not positive, that there is only one parity that eliminates states 20:08:02 I want to know how many states *that can be reached*, not just the logical upper bound 20:08:53 hmm apparently there are two parities on the 4x4 cube 20:09:33 although one can be eliminated by moving pieces around in the center 20:09:47 so I guess it also depends on whether you consider identically-coloured pieces as distinct 20:10:18 Does bachelor imply "not currently married" or "has never been married"? 20:12:50 <\oren\> someone male, formerly married is a divorcee, or a widower depending on how the marriage ended 20:13:21 \oren\: So a divorcee or a widower isn't a bachelor? 20:13:34 <\oren\> I think so yes 20:13:57 Also: Whatever the gay version of "Widower" is (man formerly married to another man, with the marriage ending in his spouse's death) 20:15:28 <\oren\> widowerer 20:15:57 There are (8! * 3^7 * 12! * 2^11)/2 Rubik's cube configurations reachable by just face turns; if you allow turning the whole cube then this is multiplied by an additional factor of 24. 20:15:58 what if the marriage was annulled? 20:17:10 <\oren\> well if it 20:17:25 <\oren\> s annulled that means legally it never happened 20:17:38 <\oren\> so they become a bachelor/spinster again 20:18:40 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 20:18:48 "spinster"? 20:18:54 For the 4x4x4 cube I guess it's 8!*3^7 * 24! * 24!/4!^6 (assuming the normal kind where the four center pieces of each face are indistinguishable) 20:19:54 Cale: Do you know whether the linear logic operation par has an analogy in vector spaces? I guess A # B would be A* -o B, or (A* ⊗ B*)*, or something. 20:20:56 (note that because of those indistinguishable pieces this not the size of the underlying group; that group is just acting on the 4x4x4 cube, and many group elements correspond to the same pattern on the surface) 20:22:19 > 24^6 `div` 4 20:22:22 47775744 20:23:02 Yeah, that seems big enough for "many". 20:29:56 And actually I think I should divide by 2 there. 20:33:13 `unidecode 20:33:14 No output. 20:33:53 `unidecode a⁢b 20:33:54 ​[U+0061 LATIN SMALL LETTER A] [U+2062 INVISIBLE TIMES] [U+0062 LATIN SMALL LETTER B] 20:38:20 <\oren\> gamemanj: spinster means an unmarried woman 20:38:36 <\oren\> or rather a woman who has nvever married 20:40:03 -!- imode has joined. 20:43:34 <\oren\> uh oh, SJW flame war imminent on unicode mailing list 20:43:44 <\oren\> again 20:44:11 mailing lists sure do like flame wars these days 20:45:36 \oren\: O_o 20:45:40 what about? 20:49:13 <\oren\> about whether it was a mistake to have brown and pink emoji 20:50:06 ... 20:50:18 it doesn't matter, because it's done, no? 20:50:27 `` cd wisdom; grep -r invisible * | shuf 20:50:27 On the one hand, if the reference implementation of the emoji had a race, then no. Otherwise, it was, since it implied a race for the default, which made a complete mess. 20:50:36 Binary file reflection matches \ ipu:IPU is an invisible pink unicorn. 20:51:51 <\oren\> gamemanj: most emoji have been bright yellow since prehistory 20:52:05 oren: But was it specified as bright yellow? 20:52:14 [wiki] [[Bug Computer]] https://esolangs.org/w/index.php?diff=49934&oldid=49926 * Function call without parameters * (-4) correction of opcode F9 20:52:30 <\oren\> other emoji were invented by japanese people and were usually displayed with pale skin and black hair like most japanese people have 20:53:10 Displayed != specified. 20:53:27 <\oren\> I don't think the specification ever specified colors 20:53:42 In which case, it was never Unicode's problem, so thus nothing to talk about. 20:55:11 <\oren\> but now, we have the yellow ones, and five human skin tones, none of which match my phenotype (super pale, brownish hair) anyway 20:55:39 * gamemanj sighs 20:56:20 <\oren\> luckily I chose not to post in the mailing list, but someone said stuff nayway 20:58:36 <\oren\> about "what if I have blue skin" which is a stupid example of someone who doesn't fit 20:58:53 * alercah blames the simpsons 21:00:03 <\oren\> actually, samsung doesn't have yellow by default 21:00:33 <\oren\> instead the default for them is pale with brownish hair 21:00:34 Maybe just zero the saturation of all emoji. Everywhere. 21:00:50 Not just pale, but completely nil the saturation. Turn them all into robots. 21:01:07 As for the skin-colour modifiers, does anyone even write those? 21:01:13 \oren\: yes, but that's samsung 21:01:27 they also have six-fingered hands 21:03:01 <\oren\> so they made the emoji european by default, and then the lightest color modifier mades tham asian with black hair 21:03:23 <\oren\> I would have expecte the opposite from samsung 21:06:23 <\oren\> really six fingered hands? I don't see any 21:09:51 <\oren\> oh 21:09:55 <\oren\> now I see it 21:16:42 <\oren\> http://emojipedia.org/crossed-flags/ <- interesting difference there, samsung! 21:22:55 [wiki] [[POGAACK]] https://esolangs.org/w/index.php?diff=49935&oldid=46376 * Rdebath * (+105) Example gave wrong result, also Implementation 21:24:13 \oren\: interesting indeed, now you point it out... 21:25:12 (the "politically correct" way to handle this, of course, would have been to remove the red dot, but not put anything else on, successfully neutralizing the flag. Then again, "happy holidays" doesn't have that ring to it...) 21:25:46 In other news, I'm not quite sure what HTC are doing. 21:26:38 -!- MoALTz_ has joined. 21:27:03 Aha! I worked it out! HTC's implementation of the crossed-flags emoji is because of the whole "flat UI" trend. 21:28:12 gameanj: "Politically correct", but surrendering? 21:28:50 DHeadshot: Well, it was either that or display the flag of whatever country the user's in, and then you end up having issues when a new country comes along and starts complaining. 21:28:54 Also, there are a lot of countries. 21:29:25 -!- MoALTz has quit (Ping timeout: 248 seconds). 21:29:26 Could use chequered flags... 21:30:00 DHeadshot: The same argument against "surrendering" also counts against "finishing", I'd think... 21:30:19 And if you used coloured chequered flags, the vendors would never agree on a colour. 21:31:03 <\oren\> well, it's not as bad as when google ruined christmas with a frowning santa 21:31:07 <\oren\> https://code.google.com/p/android/issues/detail?id=41827 21:33:30 someone actually got assigned to that issue. assigned to the issue of making Santa happier. 21:33:47 Issue trackers have gone too far. 21:36:07 <\oren\> lol 21:40:41 how is any of that the issue tracker's fault... 21:41:37 issue trackers make rampant bureaucracy possible! 21:42:36 -!- b_jonas has quit (Ping timeout: 260 seconds). 21:43:55 -!- MoALTz_ has changed nick to MoALTz. 21:50:21 -!- MoALTz has quit (Quit: Leaving). 22:00:00 -!- hppavilion[1] has joined. 22:00:30 I'm playing with operations 22:01:36 * gamemanj mumbles something to himself about hoping the patient(s) survive 22:02:45 (I'm guessing you didn't mean that kind of "operations"?) 22:02:59 (Actually - replace "guessing" with "hoping"...) 22:06:42 I have a+:b (properly, it's a plus sign with diaeresis/umlaut, but limiting to mostly ASCII is necessary here), which is roughly equal to basket((+), a, b) (it isn't exact because of rational inputs) 22:10:26 -!- AnotherTest_ has joined. 22:10:31 -!- DHeadshot_ has joined. 22:11:18 0+:k is the kth triangle number. 22:12:05 I guess j+:k is the kth j-trapezoid/trapezium number? 22:13:13 -!- deltab__ has joined. 22:13:55 (OK, the different words bug me. I move that 'trapezium' be a subset of 'trapezoids'- to fit with the '-oid' prefix. Perhaps a trapezium is the traditional, vertically-symmetrical shape and trapezoid has no such requirement?) 22:14:48 (Oh, dammit, that's an isosceles trapezite...) 22:17:10 -!- Lymee has joined. 22:18:24 -!- Tiktailk has joined. 22:18:50 -!- Hooloo42 has joined. 22:19:17 -!- DHeadshot has quit (*.net *.split). 22:19:17 -!- gamemanj has quit (*.net *.split). 22:19:18 -!- AnotherTest has quit (*.net *.split). 22:19:18 -!- Tiktalik has quit (*.net *.split). 22:19:18 -!- deltab_ has quit (*.net *.split). 22:19:19 -!- Hoolootwo has quit (*.net *.split). 22:19:19 -!- Lymia has quit (*.net *.split). 22:19:21 -!- AnotherTest_ has changed nick to AnotherTest. 22:19:29 -!- Lymee has changed nick to Lymia. 22:20:31 -!- deltab__ has quit (Ping timeout: 265 seconds). 22:20:31 -!- deltab__ has joined. 22:23:00 -!- moonythedwarf_ has joined. 22:23:16 -!- ^v has quit (*.net *.split). 22:23:25 -!- moonythedwarf has joined. 22:23:31 -!- moonythedwarf has changed nick to moony. 22:23:42 -!- moonythedwarf_ has quit (Client Quit). 22:23:44 -!- ^v has joined. 22:24:33 -!- deltab__ has quit (*.net *.split). 22:28:58 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:29:57 There may be no feeling more repetitively confusing (being able to confuse you again 2 seconds after you remember why it's happening) and frustrating than a software you use losing a hotkey 22:30:34 <\oren\> I recommend using a soldering iron to make the key hot again 22:30:46 (e.g. When I type something into the search bar (ctrl+k type) and hit , it doesn't search on ) 22:30:55 (It used to) 22:31:13 <\oren\> try using a soldering iron to heat up your enter key 22:31:29 <\oren\> it will then be a hotkey again 22:31:34 \oren\: OK, let me grab the soldering iron I have on hand preheated at all times 22:31:50 (It isn't preheated, OBVIOUSLY) 22:32:23 <\oren\> well, it should be 22:33:52 <\oren\> I love the smell of molten plastic at midnight 22:34:04 \oren\: It's 13:30 here. 22:39:02 -!- carado has quit (Ping timeout: 268 seconds). 22:39:02 -!- b_jonas has joined. 22:46:18 <\oren\> b_jellonas 22:46:43 -!- lleu has quit (Quit: That's what she said). 22:54:24 What do you call a linear map e.g. f : R^2 -> R^3 that leaves the (x,y) coordinates unchanged, just adds a z coordinate? 22:55:41 <\oren\> well, for one, it's an embedding of a flat 2-manifold in 3-space? 22:58:10 <\oren\> or a matrix of the form [1,0;0,1;x,y]? 22:58:42 Sure, it's both of those things. 22:58:57 I guess it's a section in particular. 22:59:04 shachaf: ...a putter? 23:00:15 But is there a specific name for it, like "natural embedding"? 23:00:32 f (x,y) = (x,y,ax+by) 23:00:44 (And I mean from any space to a higher-dimensional space, of course.) 23:02:05 Well, what's the name of f (x,y,z) = (x,y)? 23:02:41 <\oren\> the projection on the x,y plane? 23:03:46 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 23:15:53 <\oren\> https://www.youtube.com/watch?v=_L1Eh5iJBS4 23:37:16 -!- oerjan has joined. 23:39:39 -!- moony has quit (Ping timeout: 258 seconds). 23:42:49 -!- hppavilion[1] has joined. 23:44:49 -!- otherbot has quit (Quit: Restart requested by jeffl35: testing...). 23:45:07 I still want to, just for fun, create a deterministic, computer-driven numerological fortune teller 23:45:09 -!- otherbot has joined. 23:47:51 -!- moony has joined. 23:49:49 -!- deltab__ has joined. 23:49:55 (for some value of deterministic) 23:50:23 Generally, it takes some information about the current user and some information about the current state of the world (the simplest system is the user's birthday and today's date) 23:50:28 Somehow combines this information 23:50:40 And generates several pseudo-random numbers from that seed 23:52:28 -!- Froox has quit (Quit: *bubbles away*). 23:52:48 -!- Frooxius has joined.