00:00:10 oerjan: are you saying santa claus is not evil tdnh 00:00:56 those out of context quotes and replies are frustrating tdnh 00:01:25 -!- Froox has quit (Quit: *bubbles away*). 00:01:39 well boily will probably ping out before he sees them, anyway. 00:01:42 -!- Frooxius has joined. 00:02:48 shachaf: beware of such comments, they may get you on the naughty list tdnh 00:04:41 if you get on that list twice does it cancel out 00:05:53 nope. 00:09:16 `cwlprits alise 00:09:56 coppr̈o 00:10:14 @metar lowi 00:10:14 LOWI 282350Z AUTO 28003KT 9999 NCD M04/M06 Q1040 00:10:36 I thought it was a bit cold outside. Glad to have it confirmed. 00:12:50 @metar BIRK 00:12:51 BIRK 290000Z 21023KT 9999 -SHSN FEW010 SCT035CB BKN064 01/M02 Q0998 00:14:07 which of these field is the temperture and on what scale? 00:14:56 "9999" 00:14:58 It's in German. 00:16:08 int-e: i hope GG's Grandma is as prepared as she gives impression of or this is going to turn _bad_ even in Family terms... 00:16:32 zzo38: are you the one who commented on the "orwell chess" chessvariant page? 00:16:53 this game attracted my attention a long time ago 00:16:57 oerjan: Well this feels like a Grand Finale so it's time to kill a couple of main characters anyway *runs* 00:17:01 Zarutian: 01/ 00:17:14 int-e: AAAAAAAAAAAAAAA 00:17:15 (e.g., everyone) 00:17:49 I know, I know, we still haven't seen any time travel. 00:17:50 tarvek has hopefully taken his own antidote... 00:18:23 int-e: because of the whole 'hotdog' incident it was pretty much banned. 00:18:50 But the machines riding the time machines could be clanks built by van Rijn. 00:19:00 Zarutian: does "GG" mean anything to you? 00:19:13 Because I don't recall any hotdogs in there. 00:19:41 int-e: why would he build clanks looking like agatha, gil and moloch 00:20:00 oerjan: To avoid plot holes! 00:20:08 fiendish 00:20:10 It'll be a bumpy ride as is :-P 00:20:56 int-e: i am sort of hoping that she was expecting the Queen when she told tarvek it would be "educational" 00:20:57 int-e: depends. If from an First Person Shooter then it means Good Game 00:21:11 (it's so much fun to mess with oerjan's head... usually it's the other way around) 00:21:41 `? gg 00:21:42 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 00:21:43 int-e: Otherwise in an certain online RPG it stands for Gold Gainer 00:21:43 gg? ¯\(°_o)/¯ 00:21:52 Zarutian: http://www.girlgeniusonline.com/ ... not required reading 00:22:11 int-e: oh, I am sorry. I know too damn many acronyms 00:22:14 But a very good web comic... 00:22:25 Zarutian: you're forgiven 00:22:42 I got it in a pinned tab in my web browser 00:23:01 (I actually do see the "good game" variant quite a bit, in another online gaming context.) 00:23:04 schlock merchanary is another good one. 00:23:44 I have trouble dating that ship design though. 00:31:39 int-e, this looks very mongoloid 00:33:14 Oh, it's back to the roots. 00:33:53 http://www.girlgeniusonline.com/!.images.page/welcome/welcomepage2.jpg 00:35:11 damn this shit is old 00:35:24 (this helped: http://schlockmercenary.wikia.com/wiki/Kitesfear ) 00:37:23 which appeared here for the first time, http://www.schlockmercenary.com/2000-06-18 00:43:12 and I suppose http://www.schlockmercenary.com/2001-02-13 was the last appearance; the explosion is http://www.schlockmercenary.com/2001-02-07; the last live appearance of the ship is http://www.schlockmercenary.com/2001-02-04 (last panel), my curiosity is satisfied :) 01:28:06 <\oren\> horay, I finished coptic! 01:28:26 <\oren\> ...well, the basic coptic alphabet 01:31:45 <\oren\> what shuld I do next... 01:32:07 <\oren\> more kanji! 01:33:52 . o O ( `learn Coptology is comprised of coptanalysis and coptography. Coptanalysis is concerned with the disassembly and analysis of copters, whereas coptography is the art of designing and engineering copters that are robust against coptanalysis. ) 01:37:12 int-e: you go right ahead 01:37:36 `learn Coptology is comprised of coptanalysis and coptography. Coptanalysis is concerned with the disassembly and reverse engineering of copters, whereas coptography is the art of designing and engineering copters that are robust against coptanalysis. 01:37:49 Learned 'coptology': Coptology is comprised of coptanalysis and coptography. Coptanalysis is concerned with the disassembly and reverse engineering of copters, whereas coptography is the art of designing and engineering copters that are robust against coptanalysis. 01:38:07 <\oren\> `wisdom 01:38:11 trunc//The trunc and truncf functions (of C99 and C++11) are actually supported by the MS compiler (starting from the 2013), only strangely undocumented. 01:38:29 <\oren\> `wisdom 01:38:31 (If anyone wonders where that came from... I wanted to read "coptic" as "cryptic" and the rest was kind of obvious.) 01:38:32 repetive//A repetive action is one that tries to repeat something, but fails miserably. 01:40:05 <\oren\> https://www.youtube.com/watch?v=xEsbMj3tfdE 01:51:27 <\oren\> `wisdom 01:51:30 hagb4rd//hagb4rd is one spacey fellow. Spaaaaaaaaaaaaaaace. 01:51:38 <\oren\> `wisdom 01:51:40 japan//Japan is so far from Finland. However, like Finland, it is so near to Russia, and quite a long way from Cairo. It's many fewer miles from Vietnam than Finland is. 01:54:00 <\oren\> “If you are corrupt, I will fetch you with a helicopter and I will throw you out on the way to Manila,” Duterte said, as cited by the Philippine Star newspaper. 01:54:12 <\oren\> lol 01:56:04 research continues on whether it's best to elect politicians that are corrupt, or politicians that are straight up insane. 01:58:17 <\oren\> lol 02:04:38 Japan is handier to get to from Finland than from UK. 02:04:52 As far as I can determine, the only direct flights from London to Japan are to Tokyo. 02:05:19 oerjan: America confounds by picking both of the above. 02:06:04 (From Finland, Finnair flies non-stop to at least four airports.) 02:06:26 Which four? 02:07:53 pikhq: that's the control group 02:08:14 pikhq: Fukuoka, Nagoya (Chubu), Osaka (KIX) and Tokyo. 02:09:05 fizzie: There's not a "Tokyo Airport"; do you mean Tokyo Narita or Tokyo Haneda? 02:09:14 Narita. 02:10:35 (From Heathrow you can get to both of those, but no other places in Japan.) 02:10:59 Little surprised they'd have a direct flight to Nagoya. 02:11:27 *shrug* 02:12:15 Well, Finnair tries to make a big deal about being a "gateway to Asia" for the European market. 02:12:37 https://www.finnair.com/gb/gb/destinations/asia-pacific/japan/nagoya 02:12:49 "We fly the geographically shorter route to Asia, making your flight time to Japan considerably shorter." 02:13:27 Oh, they fly to Nagoya out of London? Hah! 02:14:22 Oh, no, that's not direct, that's via Helsinki. 02:14:40 Yeah, it's showing "from London"-oriented info because I picked UK as my location. 02:15:03 Because otherwise it'd pick a non-English language, and that is the working language of #esoteric. 02:15:15 (I assume) 02:15:34 You can do "Finland, English" as well. 02:15:35 https://www.finnair.com/fi/gb/destinations/asia-pacific/japan/nagoya 02:15:45 Fair 'nough. 02:15:58 (Not all combinations are valid, but it offers English in several geographical locations.) 02:16:38 I suppose there's going to be rather a lot of people all over Europe who only speak English and a language local to their place of birth but not to their current place of residence, so. 02:17:22 Well. Current location, not so much residence. 02:17:43 I at least assume if you're in an area for a reasonable amount of time you'd try to pick up the local language regardless. :) 02:22:34 when I flew Toronto to Japan, we went over Russia 02:22:42 thanks, great circles :) 02:23:03 And Russia being a lot more close to Japan than people usually think. 02:23:27 yeah 02:23:44 got a cool view of some random kamchatkan volcanoes 02:30:40 -!- bb010g has joined. 02:33:45 <\oren\> I don't like the practice of naming things like "the hamiltonian". The hamiltonian what? 02:34:08 the Hamiltonian thing 02:34:29 Quantas is planning to start a regular non-stop service from London to Perth, apparently the first such service from UK to Australia. 02:34:38 \oren\: how do you feel about "the derivative" then? 02:34:39 "The flights are expected to run 14 times per week, and will take about 17 hours, depending on weather conditions." 02:34:45 It's a long flight. 02:35:22 it's a far distance. 02:39:37 -!- hppavilion1 has joined. 02:52:00 <\oren\> I want to try 02:52:34 <\oren\> i wonder how it would feel to spend 17 hours on an airplane 02:52:49 <\oren\> I've done 12 many times before 03:06:41 -!- atehwa has quit (Ping timeout: 246 seconds). 03:16:14 -!- Warrigal has changed nick to tswett. 03:20:53 So, a deductive system that's missing one of the usual structural rules (weakening, contraction, exchange) is called a substructural logic. 03:21:09 What do you call a deductive system that *has* all three of those rules? 03:21:26 Is that a "fully structural logic" or something? 03:26:18 What would be the name of the `jew command variant for wisdom? 03:26:32 (we'll assume there's a command named `jew. It's a coincidence.) 03:27:08 tswett: What if it's missing 2 of them? 03:27:30 Still just substructural. 03:31:51 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:31:52 hppavilion1: `trwll hth 03:32:38 oerjan: ...as in `troll -> `trwll or?? 03:32:41 * hppavilion1 is not sure of the joke 03:32:51 the point is you're trolling hth 03:33:10 oerjan: I'm actually curious though ;-; 03:33:13 ;-; 03:33:39 ;_; 03:33:44 ;¯; 03:38:19 <\oren\> `jww? 03:38:26 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: jww?: not found 03:47:02 <\oren\> and obviously `wow would become www 03:47:16 <\oren\> ＷＷＷＷＷＷＷＷＷＷＷＷ 03:47:39 -!- Sprocklem has quit (Ping timeout: 246 seconds). 03:47:52 -!- oerjan has quit (Quit: Nite). 03:52:33 \/\/\/\/\/\/. 04:32:07 -!- Sprocklem has joined. 04:38:53 -!- guest28894 has joined. 04:42:28 <\oren\> https://www.youtube.com/watch?v=uizvFK2KQ_o 04:48:58 <\oren\> https://www.youtube.com/watch?v=PjB8pwNRFmY 04:56:53 A chess problem mentioned in HAKMEM: 8/5BP1/1p6/8/1N6/kP6/2K5/8 #3 05:12:21 -!- Frooxius has quit (Read error: Connection reset by peer). 05:18:59 -!- guest28894 has quit (Quit: Page closed). 05:30:13 Hey folks, have a notation! 05:30:17 Here's the unknot: A/V 05:30:31 Here's a more verbose way of writing the unknot: A/II/V 05:30:40 And an even more verbose way: A/II/II/II/II/II/II/V 05:31:17 And another verbose way: AAAAA/IVVVVI/V 05:31:33 All of those are knot diagrams with no crossings. 05:32:08 Here's a diagram of the unknot, with lots of crossings going in the same direction: A/N/N/N/N/N/N/N/N/V 05:32:16 Lots of crossings in the opposite direction: A/Z/Z/Z/Z/Z/V 05:33:23 Here's a diagram of the unknot with lots of crossings, oriented horizontally this time: 05:33:40 AAAAA/IZZZZI/VVVVV 05:43:09 Here's the trefoil knot: AA/INI/ZZ/IVI/V 05:43:24 What's this notation? 05:44:55 It's a notation for tangle diagrams, where "tangle" means the "in link theory" meaning here: https://en.wikipedia.org/wiki/Tangle_(mathematics) 05:46:04 Hmmm... 05:46:10 A represents a tangle with 0 endpoints on the top and 2 endpoints on the bottom. It's just an arc connecting the two endpoints. 05:46:23 I represents a tangle with 1 endpoint on the top and 1 endpoint on the bottom. Again, just an arc connecting the two endpoints. 05:46:43 V represents a tangle with 2 endpoints on the top and 0 endpoints on the bottom. Once again, just an arc connecting the two endpoints. 05:47:08 * zgrep . o O ( n l u ) 05:47:37 N represents a tangle with 2 endpoints on the top and 2 endpoints on the bottom. There's an arc connecting top-left to bottom-right, crossing in front of an arc connecting top-right to bottom-left. 05:48:03 Z represents a tangle with 2 endpoints on the top and 2 endpoints on the bottom. There's an arc connecting top-right to bottom-left, crossing in front of an arc connecting top-left to bottom-right. 05:48:14 I see. 05:50:28 Juxtaposition represents... juxtaposition. If you juxtapose a tangle with t1 endpoints on the top and b1 endpoints on the bottom (a tangle t1 -> b1) and a tangle with t2 on the top and b2 on the bottom (a tangle t2 -> b2), you get a tangle with t1 + t2 on top and b1 + b2 on the bottom. 05:50:56 The slash represents stacking or composition. If you compose a tangle t -> m and a tangle m -> b, you get a tangle t -> b. 05:51:20 Of course, this means that tangles form a category. 05:51:31 * zgrep should learn a tad more about category theory 05:52:03 only some and knots are tangles \{\} -> \{\}? 05:52:08 s/only some // 05:52:50 Links are tangles 0 -> 0. 05:53:01 Knots are tangles 0 -> 0 that have the property that there's only one component. 05:53:28 ahh right 05:57:12 If I'm not mistaken, there are surprisingly few axioms you need in order to get all of the equalities that you'd want. 05:58:14 -!- Sprocklem has quit (Ping timeout: 264 seconds). 05:58:42 Axiom AJ: Juxtaposition is associative. Axiom AC: Composition is associative. Axiom JC: (a/b) (c/d) = ac/bd. 05:59:07 Axiom S: IA/VI = I (plus mirror images). 05:59:29 Well, there's only one mirror image. It's AI/IV = I. 06:00:54 "S" stands for "straighten", and the letter S also happens to resemble the left-hand side of the operation. 06:03:09 Axiom Psi: IZ/VI = NI/IV (plus mirror images). 06:03:20 This time there are 7 mirror images. 06:03:31 "Psi" doesn't stand for anything, but the letter does resemble the left-hand side of the operation. 06:04:04 Axiom R1: A = A/Z (plus 3 mirror images). 06:04:22 Axiom R2: Z/N = II (plus 1 mirror image). 06:07:07 Axiom R3: IN/NI/IZ = ZI/IN/NI (plus 3 mirror images). 06:08:56 Let me redo that last one slightly. 06:09:02 Axiom R3a: IN/NI/IZ = ZI/IN/NI (plus 3 mirror images). 06:10:49 Axiom R3b: IN/NI/IN = NI/IN/NI (plus 1 mirror image). 06:11:01 I think that's all of them. 06:18:03 AJ and AC don't need to be axioms do they? 06:18:43 also you need a logical system that allows you to apply these axioms in a subtangle of the tangle you're working with 06:21:03 Sure, you need a logical system that obeys the substitution property. 06:21:35 Why wouldn't you need AJ and AC as axioms? Associativity of operators doesn't just happen automatically. 06:22:10 it can happen as a consequence of your definitions, which I believe it does here 06:28:11 So how would you prove that (A/V) (A/V) = AA/VV? 06:28:34 I think I'm missing one axiom. Here it is: 06:29:26 Axiom I: Each tangle consisting of zero or more juxtapositions of I is an identity element for composition. 06:30:16 ...okay, my question was silly, because you didn't say that you wouldn't need JC as an axiom, and so the answer is that you'd use axiom JC. 06:30:37 Okay, how would you prove that (II)I = I(II)? 06:31:00 Or that (N/N)/N = N/(N/N)? 06:34:39 hmm I suppose I'm assuming that you have tangle operations defined already 06:35:14 in which case, perhaps your approach is correct 06:35:33 but I would generally prefer to define the composition and juxtaposition semantically rather than syntactically 06:38:46 What if I rotate a knot. 07:16:04 -!- bb010g has quit (Quit: Connection closed for inactivity). 07:48:41 -!- augur has quit (Remote host closed the connection). 07:48:45 -!- augur has joined. 07:49:52 -!- augur_ has joined. 07:55:26 -!- augur_ has quit (Ping timeout: 258 seconds). 08:02:50 -!- augur has quit (Remote host closed the connection). 08:03:11 -!- augur has joined. 08:03:19 -!- augur has quit (Remote host closed the connection). 08:07:41 (N/N)/N = N/(N/N)? No, unless N = 1 08:07:46 tswett: ^ 08:08:03 That's 1/N vs. N. 08:08:08 Oh, or N = -1 08:09:08 -!- Zarutian has quit (Quit: Zarutian). 08:14:53 or N = $ 08:15:29 1/$ = $, $ =/= 1 08:16:47 no? 08:16:57 nvm you're busy 08:17:07 * rdococ needs constant attention 08:33:43 -!- augur has joined. 08:37:52 -!- augur has quit (Remote host closed the connection). 08:38:49 -!- augur has joined. 08:42:47 * rdococ still needs constant attention 08:54:11 * zgrep pours a bucket of detention on rdococ 08:54:25 I didn't have any attention nearby, so I thought it'd be close enough. 09:02:01 zgrep, do you have poor attention retention? 09:02:10 * rdococ snatches the bucket and uses it to attack zgrep with asphyxiation 09:02:38 I know it's not very close to attention, but it's the only thing I had. 09:02:48 Taneb: Don't even mention (it). 09:03:04 hi 09:03:08 rdococ: I... hhhHHhhHHh... see... 09:03:19 * rdococ is pretending to have a small attention span 09:03:23 see what? 09:03:33 attntn 09:03:41 lol 09:04:39 For chess problems there is the Codex of Chess. So, for Magic: the Puzzling, I invented the Codex of Magic: the Gathering. However, some things are missing and if you know of any problem it causes that hopefully I could fix it. 09:05:44 hllo. I wll now use an abitary losy copresin algitm fr Eglsh. 09:06:17 * zgrep is reminded of http://ed-von-schleck.github.io/shoco/ 09:12:42 * rdococ gives zgrep some more asphyxiation 09:12:59 Wonderfu... 09:13:08 * zgrep falls 10:07:46 * rdococ is sad now 10:29:52 -!- ^v^v has joined. 10:30:56 -!- IronY has quit (*.net *.split). 10:30:57 -!- ^v has quit (*.net *.split). 10:30:58 -!- xfix has quit (*.net *.split). 10:30:58 -!- alakra has quit (*.net *.split). 10:30:58 -!- FreeFull has quit (*.net *.split). 10:30:59 -!- pledis_ has quit (*.net *.split). 10:31:00 -!- L3viathan has quit (*.net *.split). 10:31:00 -!- deltab has quit (*.net *.split). 10:31:01 -!- sparr has quit (*.net *.split). 10:31:01 -!- cnr has quit (*.net *.split). 10:36:32 -!- IronY has joined. 10:36:32 -!- xfix has joined. 10:36:32 -!- alakra has joined. 10:36:32 -!- FreeFull has joined. 10:36:32 -!- L3viathan has joined. 10:36:32 -!- pledis_ has joined. 10:36:32 -!- deltab has joined. 10:36:32 -!- sparr has joined. 10:36:32 -!- cnr has joined. 10:37:11 -!- sparr has quit (Max SendQ exceeded). 10:39:33 -!- sparr has joined. 11:09:46 -!- Frooxius has joined. 11:23:41 -!- Frooxius has quit (Quit: *bubbles away*). 11:53:50 -!- Frooxius has joined. 12:15:38 Wow, freenode is having netsplits too 12:16:10 rdococ: My grandmother used to talk by dropping all the vowels 12:21:56 hw dd sh prnnc cnsnnts lke tht? 12:22:34 how would she string consonants together tho? 12:26:06 hppavilion1: "too"? 12:26:58 (was some other net splitting recently too?) 12:27:58 probably 12:28:08 FireFly: Foonetic is having a shittonne of netsplits 12:28:21 Ah 12:28:35 FireFly: I had THREE Foonetic tabs open the other day, one on each running server we could find. 12:28:48 rdococ: I have no idea. She must be a god. 12:29:02 I don't know enough about foonetic.. 12:29:09 FireFly: It's mostly xkcd stuff 12:29:11 afaikt 12:29:14 *afaict 12:29:23 That's all I've ever seen / been on it. 12:29:25 Ah, right 12:29:52 we have i^2 = -1, |@| = -1, I wonder what other functions we could define impossible circumstances for, and use for new numbers 12:29:55 rdococ: But in all seriousness, she only did it while texting. I think I eventually snapped at her and said "This is English, not Arabic. We use an alphabet, not a fucking abjad", but I don't think I said it like that (citation: She's my grandma) and I'm not sure if I ever really said it 12:30:20 ooh 12:30:27 rdococ: 1/0 = ζ, |γ| = i 12:30:39 N Nglsh bjd 12:30:46 snds cl 12:31:32 hppavilion1: Gamma? $? 12:31:33 |x| = sin(t) + icos(t) and we have an infinite number of numbers including @ and γ 12:31:43 zgrep: I like greekocity 12:31:43 s/sin/cos and s/cos/sin I got those mixed up 12:31:48 but whatever it doesn't mean too much 12:31:52 hppavilion1: But... now I have to find my gamma key. 12:31:58 Maybe I should get an APL keyboard. 12:32:13 zgrep: Do you have a custom keyboard layout? :D 12:32:21 No, but I could easily set one up. 12:32:22 The drugs are kicking in, I should sleep. 12:32:29 aw 12:33:02 what about sqrt(@)? 12:33:19 Hmm... |√@| 12:33:54 `wa sqrt(i) 12:34:05 `` url `which wa` 12:34:14 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wa: not found 12:34:18 Ah, I see. 12:34:22 http://codu.org/projects/hackbot/fshg/ 12:34:25 `` url `which w` 12:34:31 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/w 12:34:42 Oh. 12:35:34 What on earth could you possibly be looking for? 12:35:51 * zgrep . o O ( The ISS. ) 12:36:27 "wa" is a weird abbreviation for the ISS. 12:36:41 international space station? 12:37:13 zgrep: sqrt(i) is e^i(τ/7) iirc 12:37:24 o.o 12:37:25 you mean tau/8? 12:37:35 That'd make a tad more sense... 12:37:49 rdococ: Yes, τ 12:37:52 sqrt(i)^8 = i^4 = -1^2 = 1 12:37:54 rdococ: Oh, yes, 8 12:38:00 Hymn, damn. 12:38:02 lol :p 12:39:24 tbh if I were to choose an existing angular measurement other than radians I'd go for grads (1 grad = τ/400) 12:39:53 if I were able to make my own I would use powers of 12 eg. 144 because of their high divisibility. 12:40:29 rdococ: I hate grads. Also, that's why we use 360 12:40:41 true... 12:41:05 but 1/3 of 90 degrees is 33.33333.... not a pretty number. but 1/3 of 36 rdococs are 12 rdococs. 12:41:39 rdococ: They're both superior highly composite numbers 12:41:48 rdococ: 360 is at least less arbitrary than 400 12:42:00 rdococ: Also, 1/3 of 90° is 30° 12:42:03 oh. 12:42:08 yeah. 12:42:16 * rdococ is embarrassed now. 12:42:23 144 is not superior highly composite 12:42:47 rdococ: I like bidrees, which are 1/256. I'm making a physics calculator that can do angles nicely, and it implements, like, 12 types of measurement. 12:42:48 * rdococ is now enlightened with hppavilion1's wisdom 12:43:10 1 / a power of 2? nope pls 12:44:05 but in defense of 144, in the dozenal system a quarter would be 30_12 rdococs, and a third 40_12 rdococs 12:44:50 rdococ: It overflows nicely. 12:45:09 you mean bidrees? I guess that's good for binary computing 12:46:44 * hppavilion1 vanishes as a spectre into the night 12:46:48 -!- hppavilion1 has quit (Quit: PH'NGLUI MGLW'NAFH HPPAVILION[1] LA'SKA WGAH'NAGL FHTAGN). 12:48:16 Oh, that's right... HackEgo is tightly locked down, it can't make any sort of network requests. :( 12:51:58 At least, it could, were some sort of proxy running. 13:01:03 -!- LKoen has joined. 13:12:29 τ is a fun number but I prefer τ/4. e^iτ/4 = i c: 13:13:57 -!- Cale has quit (Ping timeout: 240 seconds). 13:15:49 zgrep: There was a proxy thing (with an explicit whitelist), but it got out of order during a move. 13:15:59 Ah. 13:16:03 zgrep: At any rate, if "wa" meant Wolfram|Alpha, that sort of command would be explicitly against the Wolfram|Alpha Terms of Use. 13:16:18 Hm, it would? 13:16:19 * zgrep looks 13:16:21 "The Wolfram|Alpha service may be used only by a human being using a conventional web browser to manually enter queries one at a time." 13:16:54 so Siri doing it is against the terms? 13:17:12 I expect they have a separate agreement. 13:17:17 oh, k 13:17:39 (Presumably an actual API as well.) 13:20:21 fizzie: But the API has its own terms of use. 13:20:51 Oh, they've got a public thing now? 13:20:58 They have for a long time. 13:21:02 Last time we had this discussion, the website was the only thing they had. 13:21:13 Well, for a long time from my perspective. 13:21:35 http://products.wolframalpha.com/docs/WolframAlpha-API-Reference.pdf 13:21:37 yeah they do have an api 13:21:51 In that case, that's different. 13:22:21 I was going to use an API key, etc. It's limited, but since HackEgo can't let me get things from / via the API anyway, *shrug*. 13:22:28 At least, not unless I do it manually. 13:25:04 Apparently you'd have to do the link thing anyway, it's kind of ugly for IRC. 13:25:13 ("Unless part of a written agreement to the contrary, You are required to provide a hyperlink to http://www.wolframalpha.com on every page with Results.") 13:25:21 Really? Heh. 13:25:36 I guess that's relatively short link. 13:25:39 Well, IRC technically doesn't have pages. 13:26:11 I know of at least one bot that doesn't link to wolfram alpha every time. 13:26:42 I wouldn't expect them to actually enforce that. 13:27:09 It's a bit of a shame the proxy thing is broken, there were some other commands that also used the internets that no longer work as well. 13:27:14 -!- Cale has joined. 13:31:48 what would happen if there were particles that attracted their charge? 13:31:59 would they just be the opposite charge? 13:33:52 At some (small) distances, certain forces overpower electromagnetic forces. Stuff sticks together, like atoms, which is handy for our continued existence. 13:39:46 I wonder, in a world made of tachyons, would we look like the FTL matter? 13:58:43 hello 14:05:12 -!- oerjan has joined. 14:06:18 zgrep: may the strong force be with you! 14:14:24 -!- hue has quit (Changing host). 14:14:24 -!- hue has joined. 14:36:41 int-e x = 3; 14:37:00 what kind of type is int-e anyway? 14:41:20 <\oren\> answers.com is such a crap 14:42:18 /oren/ 14:43:06 <\oren\> noping 14:43:15 rdococ: deja vu! 14:44:10 wonder what type int-e is. 14:44:23 maybe a multiple of e? 14:44:24 2e? 14:45:11 tell us!!! 14:46:14 :c 14:46:17 2ie? 14:46:23 oh my god IE IS IMAGINARY E 14:47:05 -!- Froox has joined. 14:48:05 -!- Frooxius has quit (Ping timeout: 248 seconds). 14:51:58 <\oren\> 曾 14:52:26 i@ 14:53:36 * rdococ ponders the facts that 0+1i is a 90 degree rotation, but 0+1i+0j+0k is 180 degrees. 14:54:40 anyone have any thoughts on the topic? 14:55:52 no?! 14:55:53 rude 14:56:47 * myname gives rdococ e,attention 14:56:55 yay 14:57:00 so... 14:57:07 it's a constant 14:57:36 0+1i is a tau/4 rotation in the complex plane, but a tau/2 rotation in the quaternion hyperspace. 15:05:41 it appears that conjugation isn't the same as multiplication 15:05:45 mystery solved! 15:05:57 conjugation? 15:06:16 ? 15:06:38 yes. conjugation is how quaternions give rise to rotation, x |-> a x a^-1 15:07:14 (IIRC, but I'm fairly certain anyway) 15:07:17 ? 15:08:04 0 + 1k is equal to the Euler angle (180, 180, 0) = (0, 0, 180) 15:08:12 and you get that by multiplying i and j 15:08:17 ij, not ji which is -k 15:08:56 aka. 15:09:17 (180, 0, 0) + (0, 180, 0) = (180, 180, 0) = (0, 0, 180), and ij = k 15:09:29 that's how I know it's multiplication, not conjugation 15:12:09 i^-1 = -1; i(ai + bj + ck)(-i) = (-a+bk-cj)(-i) = ai-bj-ck 15:12:26 * rdococ has just been thrown letters 15:12:43 1/i = -i, I'm pretty sure 15:12:50 well, use x y z instead of a b c if you prefer those names for coordinates. 15:13:05 it won't change the fact that the operation being used is conjugation. 15:14:28 ? 15:14:58 *composition* of rotations is multiplication, becuae r (s x s^-1) r^-1 = (r s) x (r s)^-1. That's a law of conjugates. 15:15:07 s/becuae/because 15:15:32 okay...? 15:16:12 -!- Froox has quit (Quit: *bubbles away*). 15:18:46 -!- nycs has joined. 15:20:05 -!- Frooxius has joined. 15:46:55 -!- oerjan has quit (Quit: Later). 15:54:50 `wisdom 15:55:04 notsuredom//A state of incertitude, partial existence, dubiosity and conjecturability. 16:12:41 -!- Phantom_Hoover has joined. 16:14:32 [wiki] [[Special:Log/newusers]] create * FTcode * New user account 16:29:54 rdococ: some quaternion math: http://sprunge.us/FUTg 16:51:01 -!- Phantom__Hoover has joined. 16:54:24 -!- Phantom_Hoover has quit (Ping timeout: 258 seconds). 17:32:45 -!- izabera has changed nick to notboring. 17:33:00 notbelloring. 17:35:04 helloily 17:35:54 -!- notboring has changed nick to izabera. 17:38:11 -!- Lord_of_Life has quit (Excess Flood). 17:42:26 -!- Lord_of_Life has joined. 17:53:18 quinthellopia! 17:56:57 `? pda 17:57:05 pda? ¯\(°_o)/¯ 17:57:48 . o O ( let's make something up: personalized differential advertising ) 18:03:32 . o O ( polymerized ductile acacia ) 18:05:00 * rdococ wonders the mechanics of the humble cog in four dimensional space. 18:06:30 boily: tbh I scared myself a little there; my interpretaion of "differential advertising" would be planting an idea in somebody's mind in such small incremental steps that they don't notice it happening. 18:07:22 that does sound creepy 18:08:11 int-e: Burma Shave Mind Control. 18:08:27 but don't worry, it's personalized! 18:08:39 Personalized Mind Control (TM)(C)(R) 18:09:22 Differential advertising sounds much more sinister in my opinion. 18:09:37 tbh I think some of it might be going on today. 18:20:06 -!- Sprocklem has joined. 18:51:01 -!- LKoen has quit (Remote host closed the connection). 19:05:07 -!- Phantom__Hoover has quit (Ping timeout: 258 seconds). 19:19:35 -!- Lord_of_Life has quit (Excess Flood). 19:20:56 -!- Lord_of_Life has joined. 19:29:28 https://www.youtube.com/watch?v=B0tWfZU0b2I 19:31:21 -!- Notebook has joined. 19:32:04 Hello! 19:34:54 Things really are magical sometimess# 19:35:06 magical? 19:35:19 Like maths! 19:35:28 Hi! 19:35:38 I was in a car accident two days ago! 19:35:38 Think about adding and multiplying, and boom, you get polynomials 19:35:39 math is logical! 19:35:40 Woo! 19:35:51 Generalise them just a little and boom, algebraic geometry 19:35:59 Notebook, are you OK? 19:36:19 Well, so far it was single exclamation marks... it may be fine. 19:36:37 Well, I'm not a timelord! 19:36:49 But yeah, not a scratch. 19:36:59 fungot: Are you more coherent than Notebook? 19:36:59 int-e: any new languages? :) taken me all night if you ask me, assuming he's an intentional troll. what is the definition 19:37:04 The car was totaled, though. 19:37:22 Gross :( 19:37:23 fungot: I'll take that as a no. 19:37:23 int-e: i recompiled it with code to resize and copy the commands there are shortcuts 19:37:31 I've been in a couple of crashes like that 19:37:49 Both going southbound on the A68 from Scotland with my dad driving and me in the front seat 19:37:54 This wasn't first. 19:38:01 I was in the back. 19:38:08 My father was driving. 19:38:13 I cannot drive. 19:38:45 Due to the fact I am 14. 19:38:50 Or infinity. 19:39:00 Or a very small decimal. 19:39:31 All of those are unusual ages for drivers 19:39:53 Well, Timeis infinitely divisible, so everyone is infinity! 19:40:26 And human civilization isn't even visible on a timeline of the universe, from beginning to end. 19:40:41 And I'm a lot younger than human civilization. 19:41:06 ;D 19:43:06 * int-e ponders the ieea of a 14 year old notebook... 19:43:10 idea. 19:43:32 I'd hope it's the dead tree kind, then it would still be of some use :P 19:43:37