←2016-12-23 2016-12-24 2016-12-25→ ↑2016 ↑all
00:11:51 -!- augur has joined.
00:23:50 -!- rdococ has joined.
00:37:09 <fizzie> 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 <augur> fizzie: QI is awesome
01:17:01 -!- rdococ_ has changed nick to rdococ.
01:17:24 <myname> QI?
01:18:13 <rdococ> questionable internet
01:18:32 <myname> i thought something similar
01:18:43 <myname> the german word for content actually starts with an i
01:18:48 <rdococ> ...
01:18:50 <rdococ> :p
01:20:53 <izabera> https://www.reddit.com/r/css_irl/
01:22:33 -!- LKoen has joined.
01:24:02 <myname> beautiful
01:35:15 -!- LKoen has quit (Remote host closed the connection).
01:45:36 <fizzie> "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 <boily> @massages-loud
03:06:34 <lambdabot> 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 <lambdabot> you missed something.
03:07:08 <boily> @tell oerjan hellørjan. oops. my bad. can I still mapole you in two years?
03:07:08 <lambdabot> 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 <boily> `5 w
03:17:33 <HackEgo> 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 <boily> `spam
03:20:46 <HackEgo> 2/2:pice that grows in your leg.
03:21:00 <shachaf> `? the five wisdoms
03:21:03 <HackEgo> the five wisdoms? ¯\(°​_o)/¯
03:25:59 <boily> hellochaf. what are the five wisdoms?
03:30:10 <shachaf> I don't know!
03:30:15 <shachaf> 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 <shachaf> Cale: http://slbkbs.org/prismata-cpu-temp.png can you guess when I started and finished playing Prismata?
07:52:46 <shachaf> Hmm, that graph is the average core temperature, the maximum temperature is even higher.
07:53:25 <shachaf> Updated to the maximum temperature graph.
07:55:33 <shachaf> Oh man, going back a few hours, you can see each of my Prismata games as a temperature spike.
07:55:38 <shachaf> 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 <zgrep> `le/rn the five wisdoms//The first wisdom is that there is only one wisdom.
09:16:55 <HackEgo> Learned 'the five wisdoms': The first wisdom is that there is only one wisdom.
09:17:17 <zgrep> `le/rn the five wisdoms//The first of the five wisdoms is that there is only one wisdom.
09:17:19 <HackEgo> Relearned 'the five wisdoms': The first of the five wisdoms is that there is only one wisdom.
09:17:33 <shachaf> I don't buy it.
09:17:45 <zgrep> You don't have to.
09:17:46 <zgrep> 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 <int-e> zgrep: it was sold for -1 zorkmid?
10:28:53 <int-e> 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 <zgrep> int-e: I don't know the actual amount. We had to use something to power Santa's stove.
10:32:59 <zgrep> 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 <int-e> 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 <zgrep> What are the expenses?
10:52:39 <int-e> food for reindeers, rent for sled, red costume, good/bad list from the CIA, gifts.
10:53:16 <myname> i would buy that list for 20 bucks
10:53:18 <int-e> hmm, it's good/naughty, isn't it.
10:53:55 <int-e> the presents are surprisingly cheap, too
10:57:16 <zgrep> I think Santa buys them in bulk and directly from the source.
10:58:05 <int-e> He also has access to cheap elf labour.
10:58:32 <myname> "cheap"
10:59:29 <int-e> Apparently they don't even need food.
10:59:53 <int-e> But perhaps they're outsourced and have become part of the presents item.
11:00:34 <int-e> This is a common trick to evade employment protection laws.
11:03:08 <zgrep> Elf smuggling?
11:03:50 <myname> does the north pole even has jurisdiction?
11:06:43 -!- LKoen has joined.
11:08:11 <int-e> Tricky, because nobody is enforcing anything up/down/whatever there.
11:09:55 <int-e> Best I can tell it makes most sense to treat the pole itself as international waters.
11:10:34 <int-e> 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 <int-e> 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 <int-e> ...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 <int-e> But at least Canada wants to claim territory all the way to the pole.
11:22:24 <zgrep> «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 <int-e> zgrep: I suppose a pole made out of concrete would be a severe handicap in pole jumping.
12:32:40 <zgrep> 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 <int-e> (There's a third meaning of "pole" but as a german I probably shouldn't go there.)
12:33:14 <zgrep> (Ah. I see.)
12:33:34 <int-e> hmm, vaulting.
12:33:38 <int-e> thanks.
13:31:26 <fizzie> The jurisdictional status of the north pole is irrelevant for Santa anyway, because everyone knows he operates from Finnish Lapland.
13:40:04 <int-e> 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 <oerjan> @messages-foul
14:41:14 <lambdabot> boily said 11h 34m 6s ago: hellørjan. oops. my bad. can I still mapole you in two years?
14:41:39 <oerjan> @tell boily I'm sure I'll deserve it hth
14:41:39 <lambdabot> 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 <Jafet> @xmassages-loud
14:54:53 <lambdabot> You don't have any messages
15:11:05 -!- MDude has joined.
15:26:22 -!- boily has joined.
15:28:55 <boily> fungot: holidays nostril!
15:28:56 <fungot> 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 <boily> @massages-loud
15:29:06 <lambdabot> oerjan said 47m 26s ago: I'm sure I'll deserve it hth
15:30:57 <oerjan> boyeux noïly
15:32:28 <boily> 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 <Asje> 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 <oerjan> hm an albanian
16:55:21 <oerjan> google translates that as "does". strange greeting...
16:56:02 <fizzie> They have a Nutella <something> at the <chain restaurant>s in <country>.
16:56:04 <fizzie> (I've forgotten most things about that factoid.)
16:56:32 <fizzie> Ah: burger, McDonald's, Italy.
16:56:32 <oerjan> apparently it also means "hello".
16:57:31 <fizzie> Incidentally, how do you form the genitive of "McDonald's"? Is it just the same thing?
16:58:27 <oerjan> i'm pretty sure we've discussed that before.
16:58:42 <oerjan> or possibly i saw it elsewhere.
16:59:55 <fizzie> (And is the plural "McDonalds'"?)
17:01:07 <oerjan> it's not like it's unheard of for english to drop an inflection when it's awkward: consider -er.
17:01:19 <oerjan> (as in, not use it)
17:01:40 <boily> Mcmcdonald's's?
17:06:05 <fizzie> I was wondering if the plural was possibly "McDonald'ses".
17:08:25 <boily> “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 <int-e> 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 <oerjan> Frooxius: *cough*
18:59:25 -!- Froox has joined.
18:59:37 <oerjan> Froox: *cough*
19:00:29 <shachaf> 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 <oerjan> who broke the pipe
20:49:15 <oerjan> was it peer
20:50:12 <shachaf> `relcome IceFly
20:50:27 <HackEgo> IceFly: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
20:51:12 <oerjan> @tell fizzie something weird with this commit http://codu.org/projects/hackbot/fshg/index.cgi/rev/bbcd13bb5a35
20:51:12 <lambdabot> Consider it noted.
20:52:06 <oerjan> `cat quines/haskell
20:52:23 <HackEgo> main=putStr s>>print s;s="main=putStr s>>print s;s="
20:52:28 <oerjan> oh
20:52:38 <oerjan> `cat print
20:52:39 <HackEgo> No output.
20:52:46 <oerjan> `doag print
20:52:53 <HackEgo> 10012:2016-12-22 <zgrëp> quines/haskell
20:53:01 <oerjan> `` ls -l quines/haskell
20:53:05 <HackEgo> ​-rwxr-xr-x 1 5000 0 53 Oct 28 18:37 quines/haskell
20:53:13 <shachaf> `dowg quines/haskell
20:53:17 <shachaf> Er.
20:53:19 <HackEgo> No output.
20:53:21 <oerjan> @tell fizzie never mind, it created an empty file
20:53:21 <lambdabot> Consider it noted.
20:53:23 <shachaf> `doag quines/haskell
20:53:29 <HackEgo> 8602:2016-06-25 <int-̈e> ` ( echo \'main=putStr s>>print s;s="main=putStr s>>print s;s="\' ) > quines/haskell \ 8601:2016-06-25 <int-̈e> ` ( echo \'main=putStr s>>print s\'; echo \'s="main=putStr s>>print s\\ns="\' ) > quines/haskell \ 7913:2016-05-07 <shachäf> mkx quines/haskell//echo \'main=putStrLn$(<*>)(++)show"main=putStrLn$(<*>)(++)show"\
20:53:57 <shachaf> int-e decompiled my program!
20:54:00 <oerjan> shocking
20:54:16 <oerjan> and made it break too
20:54:18 <oerjan> `rm print
20:54:22 <HackEgo> No output.
20:54:38 <shachaf> Well, made it break by turning the executable compiled Haskell code into the Haskell source code.
20:54:55 <shachaf> Which is being executed with sh.
20:56:14 <shachaf> int-e: what's that all about
20:56:23 <shachaf> the dogs now howl
20:56:45 * oerjan wonders if that is a reference to something
20:57:13 <shachaf> tdnh hth
20:57:45 <oerjan> the only google hit is not something i'd expect shachaf to reference.
20:58:33 <oerjan> (well, two hits referencing the same thing)
20:58:52 <oerjan> dammit the internet is slowing down again
20:59:03 <shachaf> it is an expansion of "tdnh" hth
20:59:26 <oerjan> . o O ( are all the neighbors testing their new ipads simultaneously )
20:59:28 <oerjan> shachaf: ooh
21:00:11 -!- TieSoul has joined.
21:00:16 <oerjan> `` chmod a-x quines/haskell
21:00:19 <HackEgo> No output.
21:00:32 <shachaf> oerjan: Wait, why?
21:00:45 <oerjan> i was too lazy to do the other thing.
21:00:50 <shachaf> also why wouldn't you expect me to reference Elements Of Crime – Shitehawks?
21:01:04 <shachaf> cat quines/haskell
21:01:08 <oerjan> it doesn't seem like the kind of thing you use to reference
21:01:31 <shachaf> `cat quines/haskell
21:01:32 <HackEgo> main=putStr s>>print s;s="main=putStr s>>print s;s="
21:01:51 <shachaf> `` chmod +x quines/haskell; sled "quines/haskell//s#^#echo '#; s#$#'#"
21:01:54 <HackEgo> ​/bin/sed: -e expression #1, char 18: unterminated `s' command
21:02:05 <shachaf> `` chmod +x quines/haskell; sled "quines/haskell//s#^#echo '#; s#\$#'#"
21:02:10 <HackEgo> quines/haskell//echo 'main=putStr s>>print s;s="main=putStr s>>print s;s="'
21:02:14 -!- boily has joined.
21:02:16 <shachaf> `quines/haskell
21:02:17 <HackEgo> main=putStr s>>print s;s="main=putStr s>>print s;s="
21:08:10 <boily> `` ls quines/*
21:08:12 <HackEgo> 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 <hppavilion[1]> boily: Yay \o/
21:23:04 <hppavilion[1]> boily: It's still 2016-12-24-12:23 here
21:23:13 <hppavilion[1]> OK, is there a standard way to write date+time?
21:25:01 <shachaf> nanosecods since 1970 hth
21:25:46 <boily> it's 16h25 December 24 here, but I'm taking no chance.
21:39:26 <ybden> `? christmapole
21:39:38 <HackEgo> christmapole? ¯\(°​_o)/¯
21:40:24 <shachaf> 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 <boily> ybdellon, helloochaf. it's a Winter Solstice Limited Edition™ Mapole.
22:03:09 -!- TieSoul has quit (Quit: Leaving).
22:16:49 <boily> hppavilion[1]: you may want to take a look at ISO 8601 and/or RFC 2822.
22:17:17 <fizzie> As always with standards, there's multiple standard ways.
22:18:51 <boily> time is weird. Taneb goes through it.
22:19:17 <fizzie> `` date -Iseconds
22:19:19 <HackEgo> 2016-12-24T22:19:16+0000
22:20:19 <fizzie> (RFC 3339 as well.)
22:21:48 <Taneb> boily, it's like a burrito
22:22:14 -!- LKoen has joined.
22:22:38 <boily> fungot: what's the nutritional value of a monad?
22:22:38 <fungot> boily: " memq", " functions" ( fnord unix)
22:24:50 <Taneb> `quote time is like a burrito
22:24:52 <HackEgo> No output.
22:24:56 <Taneb> `quote time is
22:24:57 <HackEgo> No output.
22:25:00 <Taneb> `quote time
22:25:02 <HackEgo> 33) <mycroftiv> [...] sometimes i cant get out of bed becasue the geometry of the sheet tangle is too fascinating from a topological perspective \ 59) <oklofok> i use dynamic indentation, i indent lines k times, if they are used O(n^k) times during a run of the program \ 86) <oerjan> insufficient time dilation. try running faster. \ 109) <fungot>
22:25:14 <Taneb> Half-remembering a quote is fun
22:25:17 <Taneb> `quote burrito
22:25:18 <HackEgo> 877) <ais523> btw, I finally discovered what a burrito was, recently <ais523> they're kind of nice to eat <ais523> but don't really resemble monads \ 910) <elliott> well what is time <elliott> imo: an illusion [...] <Taneb> elliott, I think it's more like a burrito <Taneb> If you have too much of time you get ill <Taneb> But damn it felt good
22:25:30 <Taneb> `quote 910
22:25:30 <HackEgo> 910) <elliott> well what is time <elliott> imo: an illusion [...] <Taneb> elliott, I think it's more like a burrito <Taneb> If you have too much of time you get ill <Taneb> But damn it felt good <Taneb> You only get out what you put in, unless your time was made by someone else, which isn't as fun <ais523> burritos don't work like that!
22:26:09 <rdococ> Everyone knows time is simply imaginary space.
22:27:15 <rdococ> and we need more chat to fill it.
22:31:35 <rdococ> ...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 <shachaf> `? the four wisdoms
22:34:42 <HackEgo> the four wisdoms? ¯\(°​_o)/¯
22:35:12 <shachaf> I believe only oerjan knows all four wisdoms.
22:35:23 <rdococ> Wisdom, intelligence, knowledge, bananas
22:35:27 <shachaf> `? oerjan
22:35:28 <HackEgo> 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 <shachaf> `slwrjan s completionist wise
22:35:49 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: slwrjan: not found
22:35:57 <shachaf> `swrjan s completionist wise
22:36:01 <HackEgo> 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 <shachaf> `dowg oerjan
22:36:22 -!- Lord_of_Life has joined.
22:36:22 <HackEgo> 10021:2016-12-24 <shachäf> swrjan s completionist wise \ 9962:2016-12-14 <boil̈y> slwd oerjan//s/swr/f\xc3\xa6ric/ \ 9883:2016-12-07 <oerjän> swrjan s/oerjan/swr &/ \ 9882:2016-12-07 <shachäf> swrjan s#golfing#completionist#; soaoeo \ 9804:2016-11-30 <shachäf> slwrjan sgrowlingolfing \ 9803:2016-11-30 <shachäf> slwrjan s\x16helpful\x16gr
22:36:40 <shachaf> `swrjan s.færic.fanfic.
22:36:44 <oerjan> `le/rn second wisdom//The second wisdom is that wisdom can never be complete or consistent.
22:36:44 <HackEgo> 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 <HackEgo> Learned 'second wisdom': The second wisdom is that wisdom can never be complete or consistent.
22:38:08 <rdococ> that's like saying 2+2 isn't always 4
22:38:18 <oerjan> no it isn't
22:38:23 <oerjan> hth
22:38:25 <rdococ> (I mean, it's not in base 3 but that's beside the point)
22:38:29 <shachaf> oerjan wins this round
22:38:35 <rdococ> (well, it IS in base 3, but represented by 11 instead)
22:38:57 <rdococ> Wisdom is knowledge, yes?
22:39:18 <oerjan> a common misinterpretation among the unwise.
22:39:45 <rdococ> Enlighten me, then, oh so wise lord.
22:40:19 * oerjan sets rdococ on fire
22:40:30 <rdococ> 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 <rdococ> Does that make you unwise now?
22:41:04 <oerjan> no, just wet hth
22:41:08 <shachaf> as they say in the united states: cricket or ticket
22:41:25 <oerjan> do they?
22:41:35 <rdococ> Google says it means knowledge... which means it definitely DOESN'T
22:41:49 <shachaf> At least in WA and CA.
22:41:58 <oerjan> google often gets translations wrong when subtlety is involved.
22:42:12 <rdococ> okay, so what is wisdom?
22:42:13 <oerjan> shachaf: and what does it mean?
22:42:19 <hppavilion[1]> Is there an equivalent to e^ix = cos(x)+i·sin(x) for Quaternions?
22:42:52 <hppavilion[1]> 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 <oerjan> hppavilion[1]: the formula should still be true assuming quaternions are a banach algebra
22:42:57 <shachaf> oerjan: https://en.wikipedia.org/wiki/Click_It_or_Ticket hth
22:43:02 <hppavilion[1]> OK, good
22:43:08 <oerjan> or wait
22:43:12 <rdococ> I believe all of those three formulae are true...
22:43:12 <oerjan> ignore me
22:43:43 <rdococ> but since, iirc, quaternions are equal to their inverse, that means that e^ix = -e^ix... I think
22:44:08 <rdococ> Nevermind, actually - I'm mixing normalized quaternions with unnormalized quaternions.
22:44:35 <rdococ> |e^ix| = |-e^ix| tho
22:44:44 <rdococ> which is obvious tho
22:45:41 <hppavilion[1]> rdococ: Does it count if e^ix = @?
22:45:46 <rdococ> @?
22:45:51 <hppavilion[1]> Sgeo: |-@| = ???
22:45:55 <hppavilion[1]> `? @
22:45:57 <HackEgo> ​@ is an OS made out of only the finest vapour.
22:46:00 <hppavilion[1]> `tomfoolery @
22:46:01 <HackEgo> ​|a+b@| = { √(a²-b²) if a²-b² ≥ 0 ; i√(a²-b²) if a²-b² < 0 }
22:46:34 <hppavilion[1]> rdococ: Presumably |-@| = |@|, but given @ it's hard to be sure
22:47:26 <oerjan> hm the quaternions are a real banach algebra. which means e^, cos and sin can be defined by their series.
22:48:13 <oerjan> and i'm guessing that means _any_ c fitting c^2 = -1 also can be used for the formula.
22:48:22 <rdococ> oh, @?
22:48:31 <hppavilion[1]> rdococ: @
22:48:34 <rdococ> so |-@| is undefined?
22:48:41 <hppavilion[1]> rdococ: |@| = -1
22:48:44 <rdococ> oh
22:49:03 <rdococ> I think |-@| = |@| = -1
22:49:13 <rdococ> it doesn't mean @ = -@ tho
22:49:20 <hppavilion[1]> Obviously
22:49:24 <rdococ> durr
22:49:29 <hppavilion[1]> I guess if the properties |a@| = -a and |ab| = |a||b| are to be preserved, |-@| = -1
22:49:57 <rdococ> for positive a?
22:50:07 <hppavilion[1]> Since in this case, we can say |-@| = |(-1)*@| = |-1||@| = 1*|@| = |@| = -1
22:50:12 <hppavilion[1]> rdococ: Ah, yes
22:50:12 <rdococ> |a@| = -|a|
22:50:19 <hppavilion[1]> There you go
22:51:39 <rdococ> I kinda like @
22:51:47 <hppavilion[1]> I do too
22:52:02 <rdococ> it's unique like sqrt(-1) for i is
22:52:11 <hppavilion[1]> rdococ: Yeah, a lot of people take issue with it, but I don't see how it'sthat different
22:53:06 <hppavilion[1]> 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 <rdococ> I'll have to try to rack up my brains with a unique number like that
22:53:42 <rdococ> perhaps... maybe something closer to epsilon though seeing as its size |@| is literally negative
22:53:54 <hppavilion[1]> |Ω| = -1, |γ| = i
22:54:07 <hppavilion[1]> rdococ: Eh, maybe...
22:55:07 <rdococ> 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 <rdococ> 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 <rdococ> 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 <rdococ> I like the operator :
23:22:43 <rdococ> x:y = x/x+y
23:28:36 <Taneb> 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 <IceFly> I hope so, since otherwise x is just increment except with a smaller domain
23:47:55 <IceFly> err, : is just increment x*
23:52:47 <shachaf> HiceFly
23:54:02 <shachaf> To say that for destruction IceFly / Is also great / And would sufficefly.
23:54:14 <IceFly> Not bad
23:54:24 <Taneb> It's quite nicefly
←2016-12-23 2016-12-24 2016-12-25→ ↑2016 ↑all