00:11:51 -!- augur has joined. 00:23:50 -!- rdococ has joined. 00:37:09 I'm watching this QI thing, I wonder if this is a British thing to be doing. 00:43:28 -!- LKoen has quit (Remote host closed the connection). 00:54:25 -!- LKoen has joined. 00:57:10 -!- rdococ has quit (Remote host closed the connection). 00:57:59 -!- rdococ has joined. 01:09:51 -!- LKoen has quit (Remote host closed the connection). 01:12:29 -!- rdococ_ has joined. 01:13:48 -!- rdococ has quit (Ping timeout: 246 seconds). 01:16:43 fizzie: QI is awesome 01:17:01 -!- rdococ_ has changed nick to rdococ. 01:17:24 QI? 01:18:13 questionable internet 01:18:32 i thought something similar 01:18:43 the german word for content actually starts with an i 01:18:48 ... 01:18:50 :p 01:20:53 https://www.reddit.com/r/css_irl/ 01:22:33 -!- LKoen has joined. 01:24:02 beautiful 01:35:15 -!- LKoen has quit (Remote host closed the connection). 01:45:36 "Quite Interesting". It's a BBC thing. 01:47:20 -!- Phantom_Hoover has quit (Quit: Leaving). 01:52:05 -!- LKoen has joined. 02:09:51 -!- oerjan has quit (Quit: Nite). 02:22:15 -!- rdococ_ has joined. 02:23:34 -!- rdococ has quit (Disconnected by services). 02:23:40 -!- rdococ_ has changed nick to rdococ. 02:40:52 -!- Akaibu has quit. 02:41:44 -!- rdococ has quit (Ping timeout: 250 seconds). 02:43:58 -!- rdococ has joined. 02:56:07 -!- tswett_ has quit (Quit: Lost terminal). 02:56:29 -!- Akaibu has joined. 03:05:13 -!- rdococ_ has joined. 03:06:32 -!- boily has joined. 03:06:34 @massages-loud 03:06:34 oerjan said 7h 12m 46s ago: @tell doesn't support arbitrary punctuation after the nick so i have no idea what you said in the second message hth also i was not requesting on my own behalf, clearly 03:06:34 you missed something. 03:07:08 @tell oerjan hellørjan. oops. my bad. can I still mapole you in two years? 03:07:08 Consider it noted. 03:08:51 -!- rdococ has quit (Disconnected by services). 03:08:54 -!- rdococ_ has changed nick to rdococ. 03:11:05 -!- DHeadshot has joined. 03:12:31 -!- LKoen has quit (Remote host closed the connection). 03:14:44 -!- LKoen has joined. 03:17:15 `5 w 03:17:33 1/2:loop//loop: see loop \ possibility//If possibility did not exist, it would not be possible for Taneb not to invent it. \ histogram//Histograms are diagrams showing histamine levels. Taneb invented them. \ moon//Moon is a murderous lunatic, not an unretroreflectorey object. He sometimes causes overmoonification. \ stibia//Stibia is a s 03:18:22 -!- DHeadshot has quit (Ping timeout: 268 seconds). 03:19:05 -!- LKoen has quit (Ping timeout: 246 seconds). 03:20:45 `spam 03:20:46 2/2:pice that grows in your leg. 03:21:00 `? the five wisdoms 03:21:03 the five wisdoms? ¯\(°​_o)/¯ 03:25:59 hellochaf. what are the five wisdoms? 03:30:10 I don't know! 03:30:15 That's why I asked. 03:37:45 -!- rdococ_ has joined. 03:39:01 -!- rdococ has quit (Ping timeout: 260 seconds). 04:19:06 -!- rdococ_ has changed nick to rdococ. 04:20:39 -!- boily has quit (Quit: ALTIMETRE CHICKEN). 05:10:01 -!- doesthiswork has quit (Quit: Leaving.). 05:53:16 -!- rdococ_ has joined. 05:54:21 -!- rdococ has quit (Ping timeout: 260 seconds). 06:18:21 -!- rdococ_ has changed nick to rdococ. 06:22:58 -!- rdococ_ has joined. 06:24:41 -!- rdococ has quit (Ping timeout: 260 seconds). 06:27:32 -!- _rdococ has joined. 06:29:21 -!- rdococ_ has quit (Ping timeout: 260 seconds). 07:49:12 -!- hppavilion[1] has joined. 07:51:25 Cale: http://slbkbs.org/prismata-cpu-temp.png can you guess when I started and finished playing Prismata? 07:52:46 Hmm, that graph is the average core temperature, the maximum temperature is even higher. 07:53:25 Updated to the maximum temperature graph. 07:55:33 Oh man, going back a few hours, you can see each of my Prismata games as a temperature spike. 07:55:38 They should really fix this. 08:31:42 -!- augur has quit (Remote host closed the connection). 08:40:52 -!- rdococ has joined. 08:40:57 -!- _rdococ has quit (Ping timeout: 260 seconds). 08:48:37 -!- rdococ has quit (Ping timeout: 248 seconds). 08:48:41 -!- rdococ_ has joined. 08:49:14 -!- rdococ_ has quit (Remote host closed the connection). 09:08:05 -!- augur has joined. 09:16:37 `le/rn the five wisdoms//The first wisdom is that there is only one wisdom. 09:16:55 Learned 'the five wisdoms': The first wisdom is that there is only one wisdom. 09:17:17 `le/rn the five wisdoms//The first of the five wisdoms is that there is only one wisdom. 09:17:19 Relearned 'the five wisdoms': The first of the five wisdoms is that there is only one wisdom. 09:17:33 I don't buy it. 09:17:45 You don't have to. 09:17:46 It's free. 09:19:59 * zgrep . o O ( The second wisdom has been auctioned to the highest bidder. We apologize for the inconvenience. ) 10:26:00 zgrep: it was sold for -1 zorkmid? 10:28:53 The first wisdom of christmas is that there is no Santa Claus, and no wisdom. (It's christmas, so we packaged two wisdoms into one, out of pure generosity!) 10:32:53 int-e: I don't know the actual amount. We had to use something to power Santa's stove. 10:32:59 So we threw in the invoice. 10:48:08 -!- hppavilion[1] has quit (Quit: PH'NGLUI MGLW'NAFH HPPAVILION[1] LA'SKA WGAH'NAGL FHTAGN). 10:51:06 hmm, association: http://static.nichtlustig.de/toondb/011219.html (left column are expenses, right column is income, thought bubble reads "wait a moment, this doesn't really pay off") 10:51:51 What are the expenses? 10:52:39 food for reindeers, rent for sled, red costume, good/bad list from the CIA, gifts. 10:53:16 i would buy that list for 20 bucks 10:53:18 hmm, it's good/naughty, isn't it. 10:53:55 the presents are surprisingly cheap, too 10:57:16 I think Santa buys them in bulk and directly from the source. 10:58:05 He also has access to cheap elf labour. 10:58:32 "cheap" 10:59:29 Apparently they don't even need food. 10:59:53 But perhaps they're outsourced and have become part of the presents item. 11:00:34 This is a common trick to evade employment protection laws. 11:03:08 Elf smuggling? 11:03:50 does the north pole even has jurisdiction? 11:06:43 -!- LKoen has joined. 11:08:11 Tricky, because nobody is enforcing anything up/down/whatever there. 11:09:55 Best I can tell it makes most sense to treat the pole itself as international waters. 11:10:34 But I lack the patience to read all of https://en.wikipedia.org/wiki/Territorial_claims_in_the_Arctic#North_Pole_and_the_Arctic_Ocean in the hope of finding something concrete about the pole itself. 11:12:38 Ah, this seems clear enough: "Currently, under international law, no country owns the North Pole or the region of the Arctic Ocean surrounding it. The five surrounding Arctic countries, Russian Federation (the biggest country), Canada, Norway, Denmark (via Greenland), and the United States (via Alaska), are limited to a 200-nautical-mile (370 km; 230 mi) exclusive economic zone around their... 11:12:44 ...coasts, and the area beyond that is administered by the International Seabed Authority." https://en.wikipedia.org/wiki/North_Pole#Territorial_claims_to_the_North_Pole_and_Arctic_regions 11:14:41 But at least Canada wants to claim territory all the way to the pole. 11:22:24 «in the hope of finding something concrete about the pole itself.» I doubt the pole is made of concrete. I doubt there's a physical pole at the pole either (Santa retracts it so that it doesn't bend in the wind). 11:44:50 -!- doesthiswork has joined. 12:31:27 zgrep: I suppose a pole made out of concrete would be a severe handicap in pole jumping. 12:32:40 It'd be pretty good for pole vaulting, though. Not great, concrete's not the best material out of which to make vaults, but acceptable. 12:32:54 (There's a third meaning of "pole" but as a german I probably shouldn't go there.) 12:33:14 (Ah. I see.) 12:33:34 hmm, vaulting. 12:33:38 thanks. 13:31:26 The jurisdictional status of the north pole is irrelevant for Santa anyway, because everyone knows he operates from Finnish Lapland. 13:40:04 Nope. 14:04:20 -!- Frooxius has joined. 14:24:22 -!- MDude has quit (Ping timeout: 258 seconds). 14:26:40 -!- MoALTz_ has joined. 14:29:57 -!- MoALTz has quit (Ping timeout: 248 seconds). 14:39:29 -!- oerjan has joined. 14:41:14 @messages-foul 14:41:14 boily said 11h 34m 6s ago: hellørjan. oops. my bad. can I still mapole you in two years? 14:41:39 @tell boily I'm sure I'll deserve it hth 14:41:39 Consider it noted. 14:49:07 -!- 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.”). 14:54:53 @xmassages-loud 14:54:53 You don't have any messages 15:11:05 -!- MDude has joined. 15:26:22 -!- boily has joined. 15:28:55 fungot: holidays nostril! 15:28:56 boily: to use the lisppaste bot, visit http://paste.lisp.org/ new/ scheme and enter your paste. i'll comment further when i can take from the exact opposite. :p terribly out of tune like this 15:29:06 @massages-loud 15:29:06 oerjan said 47m 26s ago: I'm sure I'll deserve it hth 15:30:57 boyeux noïly 15:32:28 joyeux noërjan! 16:11:46 -!- Froox has joined. 16:14:54 -!- Frooxius has quit (Ping timeout: 265 seconds). 16:17:43 -!- Asje has joined. 16:18:14 Ckemi 16:21:32 -!- MoALTz_ has changed nick to MoALTz. 16:21:33 -!- Asje has quit (Read error: Connection reset by peer). 16:50:32 * oerjan eats his traditional nutella ball 16:51:26 hm an albanian 16:55:21 google translates that as "does". strange greeting... 16:56:02 They have a Nutella at the s in . 16:56:04 (I've forgotten most things about that factoid.) 16:56:32 Ah: burger, McDonald's, Italy. 16:56:32 apparently it also means "hello". 16:57:31 Incidentally, how do you form the genitive of "McDonald's"? Is it just the same thing? 16:58:27 i'm pretty sure we've discussed that before. 16:58:42 or possibly i saw it elsewhere. 16:59:55 (And is the plural "McDonalds'"?) 17:01:07 it's not like it's unheard of for english to drop an inflection when it's awkward: consider -er. 17:01:19 (as in, not use it) 17:01:40 Mcmcdonald's's? 17:06:05 I was wondering if the plural was possibly "McDonald'ses". 17:08:25 “A frying of McDonald'ses” 17:10:43 -!- boily has quit (Quit: VIRTUAL CHICKEN). 17:48:14 -!- Lord_of_Life has quit (Excess Flood). 17:51:52 -!- Lord_of_Life has joined. 18:11:49 -!- Froox has quit (Ping timeout: 248 seconds). 18:16:27 -!- Frooxius has joined. 18:16:55 -!- Froox has joined. 18:21:02 -!- Frooxius has quit (Ping timeout: 264 seconds). 18:33:31 -!- Froo has joined. 18:36:47 -!- Frooxius has joined. 18:37:11 -!- Froox has quit (Ping timeout: 252 seconds). 18:38:42 -!- Froo has quit (Ping timeout: 250 seconds). 18:45:31 -!- Froox has joined. 18:47:48 -!- Frooxius has quit (Ping timeout: 250 seconds). 18:50:25 why would a bank's homepage include scripts from etracker.com... 18:55:51 -!- Frooxius has joined. 18:57:43 -!- Froox has quit (Ping timeout: 252 seconds). 18:59:17 Frooxius: *cough* 18:59:25 -!- Froox has joined. 18:59:37 Froox: *cough* 19:00:29 a cough is the dual of an ugh 19:01:14 -!- Frooxius has quit (Ping timeout: 250 seconds). 19:07:34 -!- Froo has joined. 19:09:08 -!- Frooxius has joined. 19:11:28 -!- Froox has quit (Ping timeout: 258 seconds). 19:12:24 -!- Frooxius has quit (Read error: Connection reset by peer). 19:12:37 -!- Froo has quit (Ping timeout: 258 seconds). 19:14:27 -!- Lord_of_Life has quit (Excess Flood). 19:15:22 -!- Lord_of_Life has joined. 19:15:43 -!- rdococ has joined. 19:17:26 -!- FireFly has changed nick to IceFly. 19:40:36 -!- augur has quit (Remote host closed the connection). 19:41:13 -!- augur has joined. 19:46:16 -!- augur has quit (Ping timeout: 268 seconds). 20:28:08 -!- augur has joined. 20:43:59 -!- HackEgo has quit (Write error: Broken pipe). 20:44:29 -!- HackEgo has joined. 20:49:09 who broke the pipe 20:49:15 was it peer 20:50:12 `relcome IceFly 20:50:27 ​IceFly: 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.) 20:51:12 @tell fizzie something weird with this commit http://codu.org/projects/hackbot/fshg/index.cgi/rev/bbcd13bb5a35 20:51:12 Consider it noted. 20:52:06 `cat quines/haskell 20:52:23 main=putStr s>>print s;s="main=putStr s>>print s;s=" 20:52:28 oh 20:52:38 `cat print 20:52:39 No output. 20:52:46 `doag print 20:52:53 10012:2016-12-22 quines/haskell 20:53:01 `` ls -l quines/haskell 20:53:05 ​-rwxr-xr-x 1 5000 0 53 Oct 28 18:37 quines/haskell 20:53:13 `dowg quines/haskell 20:53:17 Er. 20:53:19 No output. 20:53:21 @tell fizzie never mind, it created an empty file 20:53:21 Consider it noted. 20:53:23 `doag quines/haskell 20:53:29 8602:2016-06-25 ` ( echo \'main=putStr s>>print s;s="main=putStr s>>print s;s="\' ) > quines/haskell \ 8601:2016-06-25 ` ( echo \'main=putStr s>>print s\'; echo \'s="main=putStr s>>print s\\ns="\' ) > quines/haskell \ 7913:2016-05-07 mkx quines/haskell//echo \'main=putStrLn$(<*>)(++)show"main=putStrLn$(<*>)(++)show"\ 20:53:57 int-e decompiled my program! 20:54:00 shocking 20:54:16 and made it break too 20:54:18 `rm print 20:54:22 No output. 20:54:38 Well, made it break by turning the executable compiled Haskell code into the Haskell source code. 20:54:55 Which is being executed with sh. 20:56:14 int-e: what's that all about 20:56:23 the dogs now howl 20:56:45 * oerjan wonders if that is a reference to something 20:57:13 tdnh hth 20:57:45 the only google hit is not something i'd expect shachaf to reference. 20:58:33 (well, two hits referencing the same thing) 20:58:52 dammit the internet is slowing down again 20:59:03 it is an expansion of "tdnh" hth 20:59:26 . o O ( are all the neighbors testing their new ipads simultaneously ) 20:59:28 shachaf: ooh 21:00:11 -!- TieSoul has joined. 21:00:16 `` chmod a-x quines/haskell 21:00:19 No output. 21:00:32 oerjan: Wait, why? 21:00:45 i was too lazy to do the other thing. 21:00:50 also why wouldn't you expect me to reference Elements Of Crime – Shitehawks? 21:01:04 cat quines/haskell 21:01:08 it doesn't seem like the kind of thing you use to reference 21:01:31 `cat quines/haskell 21:01:32 main=putStr s>>print s;s="main=putStr s>>print s;s=" 21:01:51 `` chmod +x quines/haskell; sled "quines/haskell//s#^#echo '#; s#$#'#" 21:01:54 ​/bin/sed: -e expression #1, char 18: unterminated `s' command 21:02:05 `` chmod +x quines/haskell; sled "quines/haskell//s#^#echo '#; s#\$#'#" 21:02:10 quines/haskell//echo 'main=putStr s>>print s;s="main=putStr s>>print s;s="' 21:02:14 -!- boily has joined. 21:02:16 `quines/haskell 21:02:17 main=putStr s>>print s;s="main=putStr s>>print s;s=" 21:08:10 `` ls quines/* 21:08:12 quines/c \ quines/cat \ quines/ciol \ quines/haskell \ quines/perl \ quines/python \ quines/q \ quines/q2 \ quines/ruby \ quines/slashes 21:08:46 -!- MDude has quit (Ping timeout: 258 seconds). 21:14:54 -!- MDude has joined. 21:19:24 -!- hppavilion[1] has joined. 21:22:27 * boily christmapoles hppavilion[1] with glitters and sequins and blinkenlights 21:22:38 boily: Yay \o/ 21:23:04 boily: It's still 2016-12-24-12:23 here 21:23:13 OK, is there a standard way to write date+time? 21:25:01 nanosecods since 1970 hth 21:25:46 it's 16h25 December 24 here, but I'm taking no chance. 21:39:26 `? christmapole 21:39:38 christmapole? ¯\(°​_o)/¯ 21:40:24 a christmapole? is that a festivus thing? 21:41:16 -!- augur has quit (Remote host closed the connection). 21:41:56 -!- augur has joined. 21:42:26 -!- augur has quit (Remote host closed the connection). 21:42:38 -!- augur has joined. 21:46:31 -!- augur has quit (Remote host closed the connection). 21:46:55 ybdellon, helloochaf. it's a Winter Solstice Limited Edition™ Mapole. 22:03:09 -!- TieSoul has quit (Quit: Leaving). 22:16:49 hppavilion[1]: you may want to take a look at ISO 8601 and/or RFC 2822. 22:17:17 As always with standards, there's multiple standard ways. 22:18:51 time is weird. Taneb goes through it. 22:19:17 `` date -Iseconds 22:19:19 2016-12-24T22:19:16+0000 22:20:19 (RFC 3339 as well.) 22:21:48 boily, it's like a burrito 22:22:14 -!- LKoen has joined. 22:22:38 fungot: what's the nutritional value of a monad? 22:22:38 boily: " memq", " functions" ( fnord unix) 22:24:50 `quote time is like a burrito 22:24:52 No output. 22:24:56 `quote time is 22:24:57 No output. 22:25:00 `quote time 22:25:02 33) [...] sometimes i cant get out of bed becasue the geometry of the sheet tangle is too fascinating from a topological perspective \ 59) i use dynamic indentation, i indent lines k times, if they are used O(n^k) times during a run of the program \ 86) insufficient time dilation. try running faster. \ 109) 22:25:14 Half-remembering a quote is fun 22:25:17 `quote burrito 22:25:18 877) btw, I finally discovered what a burrito was, recently they're kind of nice to eat but don't really resemble monads \ 910) well what is time imo: an illusion [...] elliott, I think it's more like a burrito If you have too much of time you get ill But damn it felt good 22:25:30 `quote 910 22:25:30 910) well what is time imo: an illusion [...] elliott, I think it's more like a burrito If you have too much of time you get ill But damn it felt good You only get out what you put in, unless your time was made by someone else, which isn't as fun burritos don't work like that! 22:26:09 Everyone knows time is simply imaginary space. 22:27:15 and we need more chat to fill it. 22:31:35 ...no? 22:34:06 -!- Lord_of_Life has quit (Excess Flood). 22:34:32 * oerjan empties a barrel of crickets onto rdococ 22:34:40 `? the four wisdoms 22:34:42 the four wisdoms? ¯\(°​_o)/¯ 22:35:12 I believe only oerjan knows all four wisdoms. 22:35:23 Wisdom, intelligence, knowledge, bananas 22:35:27 `? oerjan 22:35:28 Your completionist @messages-lord færic oerjan is a lazy expert in future computation. Also a Glasswegian who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 22:35:48 `slwrjan s completionist wise 22:35:49 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: slwrjan: not found 22:35:57 `swrjan s completionist wise 22:36:01 oerjan//Your wise @messages-lord færic oerjan is a lazy expert in future computation. Also a Glasswegian who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 22:36:14 `dowg oerjan 22:36:22 -!- Lord_of_Life has joined. 22:36:22 10021:2016-12-24 swrjan s completionist wise \ 9962:2016-12-14 slwd oerjan//s/swr/f\xc3\xa6ric/ \ 9883:2016-12-07 swrjan s/oerjan/swr &/ \ 9882:2016-12-07 swrjan s#golfing#completionist#; soaoeo \ 9804:2016-11-30 slwrjan sgrowlingolfing \ 9803:2016-11-30 slwrjan s\x16helpful\x16gr 22:36:40 `swrjan s.færic.fanfic. 22:36:44 `le/rn second wisdom//The second wisdom is that wisdom can never be complete or consistent. 22:36:44 oerjan//Your wise @messages-lord fanfic oerjan is a lazy expert in future computation. Also a Glasswegian who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 22:36:47 Learned 'second wisdom': The second wisdom is that wisdom can never be complete or consistent. 22:38:08 that's like saying 2+2 isn't always 4 22:38:18 no it isn't 22:38:23 hth 22:38:25 (I mean, it's not in base 3 but that's beside the point) 22:38:29 oerjan wins this round 22:38:35 (well, it IS in base 3, but represented by 11 instead) 22:38:57 Wisdom is knowledge, yes? 22:39:18 a common misinterpretation among the unwise. 22:39:45 Enlighten me, then, oh so wise lord. 22:40:19 * oerjan sets rdococ on fire 22:40:30 Ohh, so wise is being on fire. 22:40:39 * oerjan serves roasted crickets to everyone 22:40:45 * rdococ douses oerjan in water 22:40:56 Does that make you unwise now? 22:41:04 no, just wet hth 22:41:08 as they say in the united states: cricket or ticket 22:41:25 do they? 22:41:35 Google says it means knowledge... which means it definitely DOESN'T 22:41:49 At least in WA and CA. 22:41:58 google often gets translations wrong when subtlety is involved. 22:42:12 okay, so what is wisdom? 22:42:13 shachaf: and what does it mean? 22:42:19 Is there an equivalent to e^ix = cos(x)+i·sin(x) for Quaternions? 22:42:52 The most likely answer is that e^jx = cos(x)+j·sin(x) and e^kx = cos(x)+k·sin(x), but I'm not sure. 22:42:56 hppavilion[1]: the formula should still be true assuming quaternions are a banach algebra 22:42:57 oerjan: https://en.wikipedia.org/wiki/Click_It_or_Ticket hth 22:43:02 OK, good 22:43:08 or wait 22:43:12 I believe all of those three formulae are true... 22:43:12 ignore me 22:43:43 but since, iirc, quaternions are equal to their inverse, that means that e^ix = -e^ix... I think 22:44:08 Nevermind, actually - I'm mixing normalized quaternions with unnormalized quaternions. 22:44:35 |e^ix| = |-e^ix| tho 22:44:44 which is obvious tho 22:45:41 rdococ: Does it count if e^ix = @? 22:45:46 @? 22:45:51 Sgeo: |-@| = ??? 22:45:55 `? @ 22:45:57 ​@ is an OS made out of only the finest vapour. 22:46:00 `tomfoolery @ 22:46:01 ​|a+b@| = { √(a²-b²) if a²-b² ≥ 0 ; i√(a²-b²) if a²-b² < 0 } 22:46:34 rdococ: Presumably |-@| = |@|, but given @ it's hard to be sure 22:47:26 hm the quaternions are a real banach algebra. which means e^, cos and sin can be defined by their series. 22:48:13 and i'm guessing that means _any_ c fitting c^2 = -1 also can be used for the formula. 22:48:22 oh, @? 22:48:31 rdococ: @ 22:48:34 so |-@| is undefined? 22:48:41 rdococ: |@| = -1 22:48:44 oh 22:49:03 I think |-@| = |@| = -1 22:49:13 it doesn't mean @ = -@ tho 22:49:20 Obviously 22:49:24 durr 22:49:29 I guess if the properties |a@| = -a and |ab| = |a||b| are to be preserved, |-@| = -1 22:49:57 for positive a? 22:50:07 Since in this case, we can say |-@| = |(-1)*@| = |-1||@| = 1*|@| = |@| = -1 22:50:12 rdococ: Ah, yes 22:50:12 |a@| = -|a| 22:50:19 There you go 22:51:39 I kinda like @ 22:51:47 I do too 22:52:02 it's unique like sqrt(-1) for i is 22:52:11 rdococ: Yeah, a lot of people take issue with it, but I don't see how it'sthat different 22:53:06 rdococ: If @ were to be given a more proper name that doesn't feel like it should be an operator, do you think Ω would do? 22:53:11 I'll have to try to rack up my brains with a unique number like that 22:53:42 perhaps... maybe something closer to epsilon though seeing as its size |@| is literally negative 22:53:54 |Ω| = -1, |γ| = i 22:54:07 rdococ: Eh, maybe... 22:55:07 Really you could define any number x where |x| = e^it for any angle t... for 0, you'd have x=1. for pi, you'd have x=Ω. for pi/2, x=γ. I think. 22:57:07 but then you could have some number whose absolute value is @... 22:57:08 -!- yorick has quit (Remote host closed the connection). 22:59:48 uderestill/ 23:00:59 -!- MDude has quit (Remote host closed the connection). 23:05:10 -!- rdococ_ has joined. 23:08:30 -!- rdococ has quit (Ping timeout: 250 seconds). 23:16:34 -!- yorick has joined. 23:16:35 -!- yorick has quit (Changing host). 23:16:35 -!- yorick has joined. 23:17:36 -!- rdococ_ has changed nick to rdococ. 23:18:21 -!- augur has joined. 23:22:39 I like the operator : 23:22:43 x:y = x/x+y 23:28:36 Do you mean x/(x+y)? 23:40:38 -!- augur has quit (Remote host closed the connection). 23:41:13 -!- augur has joined. 23:46:46 -!- augur has quit (Ping timeout: 268 seconds). 23:47:30 I hope so, since otherwise x is just increment except with a smaller domain 23:47:55 err, : is just increment x* 23:52:47 HiceFly 23:54:02 To say that for destruction IceFly / Is also great / And would sufficefly. 23:54:14 Not bad 23:54:24 It's quite nicefly