00:02:42 -!- DHeadshot has joined.
00:21:19 -!- DHeadshot has quit (Ping timeout: 260 seconds).
00:35:35 <oerjan> @tell Slereah <Slereah> Is there a way to implement combinators using C# delegates without getting stack overflows <-- i suspect this is when you need a trampoline.
00:35:36 <lambdabot> Consider it noted.
00:46:25 <hppavilion[1]> OK, the wikipedia Philosophy trick is freaking me out right now
00:46:27 <hppavilion[1]> Why does it work?
00:46:38 <hppavilion[1]> And is it possible to have a chain where it does not?
00:47:04 <oerjan> mainly because articles about concrete things tend to start with a link to something slightly more abstract
00:47:32 <oerjan> and philosophy is about the most abstract there is.
00:48:08 <hppavilion[1]> oerjan: But is there, like, an inalienable reason? Like, MediaWiki code?
00:48:14 <hppavilion[1]> Or is it just random?
00:48:14 <oerjan> so unless you have a _short_ loop (which probably exist), you'll probably keep going up.
00:48:45 <oerjan> there's no intrinsic necessity there - after all, the trick _excludes_ the most mechanical links.
00:49:54 <oerjan> i think people in the channel searched for an exception once, and i think we found one.
00:50:06 <oerjan> unless it was a variant game.
00:50:28 <hppavilion[1]> FUUUUUUUUUUU
00:50:36 <hppavilion[1]> God, it works every time
00:50:57 <oerjan> well sure, it _usually_ does.
00:52:09 <hppavilion[1]> I love how https://en.wikipedia.org/wiki/Linguistics needs a citation that it is, indeed, science
00:52:18 <oerjan> heh
00:52:37 * hppavilion[1] . o O ( Does Uncyclopedia have something like this? Or even just The Wiki? )
00:52:56 <oerjan> i dunno about our wiki
00:53:10 <oerjan> we have the bf derivative game, of course.
00:53:15 <hppavilion[1]> Also, wikipedia vandalism idea: Make all the loops have a distance of 1 (so in EVERY article, the first link is DIRECTLY to philosophy)
00:53:21 <hppavilion[1]> Haven't heard of it
00:54:22 <oerjan> i'm not sure i remember the rules, but you are basically clicking random until you either get a language you made, or a bf derivative.  +1 for the former, -1 for the latter.  or thereabouts.
00:55:13 -!- byteflame has quit (Ping timeout: 252 seconds).
00:55:28 <hppavilion[1]> "In classical [[philosophy]], Adolf Hitler is the archetypical [[Assholery (philosphy)|asshole]]..."
00:55:44 <oerjan> is there a misspelling there
00:55:47 <hppavilion[1]> Oooh
00:55:49 <hppavilion[1]> Where?
00:55:55 <oerjan> philosphy
00:56:03 <hppavilion[1]> No?
00:56:09 <oerjan> the second one.
00:56:12 <hppavilion[1]> philosphy is just a branch of philosophy
00:56:13 <hppavilion[1]> hth
00:56:18 <oerjan> O KAY
00:56:41 <hppavilion[1]> ("Adolf" is hard to spell, because I feel like it should be "Adolph")
00:56:58 -!- byteflame has joined.
00:57:24 <oerjan> that's because you don't have the german spirit (Deutsche Volksgeist)
00:57:53 <hppavilion[1]> Dammit, even https://en.wikipedia.org/wiki/Religious_views_of_Adolf_Hitler applies
00:58:18 <oerjan> applies to what?
00:58:31 <hppavilion[1]> Philosophication
00:58:52 <hppavilion[1]> I kind of want to mathematicize ethics, but I fear that Godellery poses a problem
00:59:38 <oerjan> mathematicizing ethics killed godel
00:59:58 <oerjan> (by making not eating seem ethical, i guess)
01:00:20 <hppavilion[1]> ...nope
01:00:40 <oerjan> i fail to see how your objection applies hth
01:01:24 <hppavilion[1]> oerjan: Question: When mathematicizing ethics, should one take the axiom of choice?
01:02:03 <oerjan> <zzo38> Are there any languages that are LL(1) but are not LR(1)? <-- iirc no.
01:02:36 <oerjan> hppavilion[1]: one should either take it or leave it, no third option hth
01:29:06 * hppavilion[1] . o O ( Shouldn't eligibility to hold office start at 18? )
01:29:58 <oerjan> pretty sure that varies by country hth
01:34:53 <hppavilion[1]> oerjan: Yeah, but, like, everywhere
01:35:06 <hppavilion[1]> (Well, if the age of majority is different, then change 18 to that)
01:36:52 <oerjan> well, why should it be tied to age rather than skill, anyway
01:37:10 <oerjan> 18 is no guarantee of anything...
01:42:14 -!- copumpkin has quit (Quit: Textual IRC Client: www.textualapp.com).
01:56:52 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
02:10:04 -!- `^_^v has quit (Quit: This computer has gone to sleep).
02:14:32 -!- copumpkin has joined.
02:14:35 -!- hppavilion[1] has joined.
02:16:03 <copumpkin> shachaf: just ordered it :)
02:16:13 <shachaf> hipumpkin
02:16:27 <shachaf> do you have any book corecommendations
02:16:36 <shachaf> that one isn't even the best book
02:16:39 <shachaf> it's just pretty good
02:18:41 <quintopia> hmm
02:26:12 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
02:41:58 -!- hppavilion[1] has joined.
02:47:32 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
02:49:59 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
02:57:15 <HackEgo> [wiki] [[Logicode]]  https://esolangs.org/w/index.php?diff=49697&oldid=49693 * Qwerp-Derp * (+412) Added + operator in wiki
03:05:03 <copumpkin> shachaf: not really, don't read books much these days
03:05:23 <copumpkin> the last thing I remember reading was that thriller they made into a movie about the dude with the disappeared wife
03:10:07 <shachaf> I think I watched the movie but didn't read the book.
03:12:05 <copumpkin> ah, I haven't seen the movie
03:12:08 <copumpkin> the book was riveting though
03:12:15 <copumpkin> I finished it the night I started it
03:17:16 <oerjan> dvorak is such a reassuring robot.
03:20:14 -!- Jafet has quit (Ping timeout: 244 seconds).
03:41:41 <Sgeo> In Freefall?
03:41:56 * Sgeo doesn't actually know which robot is which.
03:42:07 <Sgeo> (Well, I know Clippy and ... Sam's robot)
03:42:17 <Sgeo> Helix iirc
03:42:28 <Sgeo> Ok so there are a number of robots I know
03:46:20 <oerjan> dvorak was like the second robot to show up in the series, i think...
03:47:33 <oerjan> hm nope
03:47:45 <oerjan> that seems to have been sawtooth.
03:52:11 <oerjan> fourth, then. qwerty was third.
03:53:16 <shachaf> copumpkin: I once read a mystery book printed on red and blue pages.
03:53:18 <shachaf> It was rivening.
03:57:35 <oerjan> i also once read such a book.
03:57:44 <oerjan> it was neverending.
04:01:02 -!- myndzi has quit (Quit: .).
04:04:48 <oerjan> hm apparently only some editions had the colored text
04:16:00 <shachaf> oh man, colored text
04:16:05 <shachaf> I can't remember whether my version had that.
04:20:52 -!- byteflame has quit (Ping timeout: 240 seconds).
04:41:55 -!- `^_^v has joined.
06:17:55 -!- carado has joined.
06:39:52 -!- hppavilion[1] has joined.
06:42:01 <hppavilion[1]> Standard Deviation: Square root of the average of the squares of the average value minus each single value; sqrt(sum([((sum(vals)/len(vals))-k)^2 for k in vals])/len(vals))
06:42:07 <hppavilion[1]> Even-more-standard deviation: The same thing, but higher; cbrt(sum([((sqrt(sum([k^2 for k in vals])/len(vals)))-k)^3 for k in vals])/len(vals))
06:42:31 <hppavilion[1]> (wait, I did something wrong)
06:42:37 <hppavilion[1]> Oh, no I didn't
06:45:47 -!- `^_^v has quit (Ping timeout: 265 seconds).
07:06:08 <hppavilion[1]> root-median-square
07:12:50 <hppavilion[1]> Huh, geometric median is a thing
07:13:06 <hppavilion[1]> And it works for arbitrarily many dimensions
07:13:34 <hppavilion[1]> It's calculated by finding the point p such that the sum of the distances to all other points is the smallest
07:22:52 -!- oerjan has quit (Quit: Nite).
07:23:32 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
07:23:48 -!- Jafet has joined.
08:47:35 -!- augur has quit (Ping timeout: 265 seconds).
08:58:22 -!- augur has joined.
09:41:40 -!- AnotherTest has joined.
10:24:52 -!- `^_^v has joined.
10:32:30 -!- `^_^v has quit (Quit: This computer has gone to sleep).
10:36:43 -!- Jafet has quit (Quit: Jafet).
10:52:51 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
10:58:50 <izabera> stackoverflow is offline
10:59:09 <izabera> i suddenly can't program
11:15:07 -!- `^_^v has joined.
11:25:39 -!- xfix has quit (Remote host closed the connection).
11:32:15 -!- augur has quit (Remote host closed the connection).
11:32:59 -!- augur has joined.
11:37:15 -!- augur has quit (Ping timeout: 250 seconds).
11:37:52 -!- xfix has joined.
11:47:05 -!- cnr has quit (Ping timeout: 244 seconds).
11:57:40 -!- cnr has joined.
12:14:13 -!- copumpkin has joined.
12:29:41 -!- Kaynato has quit (Read error: Connection reset by peer).
12:35:44 -!- Guest15977 has quit.
12:55:24 -!- `^_^v has quit (Quit: This computer has gone to sleep).
12:58:18 -!- `^_^v has joined.
13:22:20 -!- Phantom_Hoover has joined.
14:58:39 -!- carado has quit (Ping timeout: 260 seconds).
15:07:57 -!- carado has joined.
15:09:23 -!- `^_^v has quit (Quit: This computer has gone to sleep).
15:20:34 -!- Deewiant has quit (*.net *.split).
15:20:34 -!- zzo38 has quit (*.net *.split).
15:20:34 -!- tromp has quit (*.net *.split).
15:20:34 -!- deltab has quit (*.net *.split).
15:20:47 -!- astslash has joined.
15:32:58 -!- `^_^v has joined.
15:34:05 -!- `^_^v has quit (Client Quit).
15:40:43 -!- Deewiant has joined.
15:42:11 -!- tromp has joined.
15:42:11 -!- zzo38 has joined.
15:42:11 -!- deltab has joined.
15:56:12 -!- stateless has quit (Quit: leaving).
16:03:21 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds).
16:28:17 <\oren\> wait, there are people who say heigth and not height?
16:30:38 -!- astslash has quit (Quit: Leaving).
17:30:33 <lifthrasiir> rfist osecnd ithrd rfouth ffith xsith nseveth heigth nnith nteth
17:42:53 <\oren\> Argh, why won't chrome allow https: to be redirected!
17:59:37 -!- Phantom_Hoover has joined.
18:02:27 -!- hppavilion[1] has joined.
18:06:19 -!- Phantom__Hoover has joined.
18:08:51 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
18:21:28 <fizzie> \oren\: To what? 
18:23:11 <hppavilion[1]> Hm... what's the name of the reverse of the root mean square...
18:23:17 <hppavilion[1]> (square-mean-root?)
18:23:48 <hppavilion[1]> (Square of the arithmetic means of the square roots)
18:26:29 <fizzie> It's just "power mean with an exponent of 1/2".
18:28:44 <hppavilion[1]> Well yeah
18:28:50 <hppavilion[1]> But that doesn't sound interesting enough
18:28:58 <hppavilion[1]> square-mean-root (SMR) sounds cooler
18:29:14 <fizzie> There's a bunch of hits for it.
18:29:20 <hppavilion[1]> And you can take the asymptotic square mean root to get ASMR
18:29:45 <fizzie> Though many of them are just hypotheticals.
19:03:42 -!- MoALTz has joined.
19:30:29 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
19:32:56 -!- hppavilion[1] has joined.
19:39:58 -!- FreeFull has quit (Ping timeout: 252 seconds).
20:04:43 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
20:30:53 -!- augur has joined.
20:43:18 <zzo38> On Saturday when internet was not working I somehow received an email messages that was dated from Thursday, it said my computer received it on Thursday too, but I didn't receive it. Do you know what is wrong with it, is there some sort of misconfiguration on my end?
20:43:41 -!- augur has quit (Remote host closed the connection).
20:44:18 -!- augur has joined.
20:49:18 -!- augur has quit (Ping timeout: 250 seconds).
20:59:07 -!- augur has joined.
21:09:53 -!- augur has quit (Remote host closed the connection).
21:22:29 -!- carado has quit (Ping timeout: 260 seconds).
21:28:26 -!- carado has joined.
21:59:26 -!- MoALTz has quit (Quit: Leaving).
22:13:18 -!- DHeadshot has joined.
22:14:01 -!- hppavilion[1] has joined.
22:18:29 -!- carado has quit (Ping timeout: 260 seconds).
22:19:24 <hppavilion[1]> If "ng" is /ŋ/
22:19:29 <hppavilion[1]> What's "mg"?
22:19:30 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:22:22 <fizzie> /㎎/.
22:22:31 <hppavilion[1]> `unidecode ɳ
22:22:34 <HackEgo> ​[U+0273 LATIN SMALL LETTER N WITH RETROFLEX HOOK]
22:22:56 <hppavilion[1]> `unidecode Ɲ
22:22:57 <HackEgo> ​[U+019D LATIN CAPITAL LETTER N WITH LEFT HOOK]
22:23:28 * hppavilion[1] prays there's a LATIN CAPITAL LETTER N WITH RETROFLEX HOOK
22:24:03 <fizzie> There's only one LATIN CAPITAL LETTER with a RETROFLEX HOOK, and it's T.
22:24:07 <hppavilion[1]> Damn, looks like there isn't
22:24:10 <hppavilion[1]> :(
22:24:22 <hppavilion[1]> I was hoping to add ɳ to the alphabet
22:25:03 <fizzie> Ʈoo bad.
22:25:12 <hppavilion[1]> ...
22:25:13 <hppavilion[1]> -_-
22:25:21 <hppavilion[1]> Someone needs to bug the unicode consortium about this
22:25:54 <zzo38> You could add it anyways even if it isn't part of Unicode, if you want to do so
22:26:06 <hppavilion[1]> Ah, yes
22:26:16 <hppavilion[1]> And eventually they'll have to add it >:)
22:26:28 <hppavilion[1]> (Until then, computer representations will be based on X-SAMPA)
22:27:02 <hppavilion[1]> (X-SAMPA ɳ is n`, so capital ɳ will be written N` until further notice)
22:27:51 <zzo38> You don't have to, you could just make your own code for it
22:28:13 <fizzie> `unidecode ⥥
22:28:14 <HackEgo> ​[U+2965 DOWNWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT]
22:35:14 <hppavilion[1]> Hm... If we call '.' a "point", ',' a "pause", '!' an "exclamation stop", and '?' an "interrogation stop" (and, of course, '‽' an "exclamatory interrogation stop" or "interrobang" informally), then we can also have exclamation pauses, interrogative pauses, and exclamatory interrogation pauses ("interrobang pauses")
22:35:23 <hppavilion[1]> (and, of course, the inverted variants)
22:36:37 <zzo38> I have read someone has made up such thing before, I think
22:38:50 <shachaf> inverterrobang
22:39:18 <shachaf> `olist 1051
22:39:19 <HackEgo> olist 1051: shachaf oerjan Sgeo FireFly boily nortti b_jonas
22:42:22 <zzo38> Now my RDF parser program in JavaScript has a few bug fixed and now supports hexadecimal integer literals (this is a nonstandard feature, and furthermore it does automatically convert to decimal in the returned RDF data).
22:48:28 <hppavilion[1]> shachaf: I'm pretty sure Unicode already has inverted interrobang, because if anybody were to start using interrobangs it'd be spanish-speakers (as they already decided proper punctuation is important enough to make sure you know they did it at the beginning), so of course there's an inverted one because they need it
22:48:55 <hppavilion[1]> But I like the exclamation pause and interrogation pause
22:49:00 <hppavilion[1]> Good for quotes, I guess?
23:02:07 -!- augur has joined.
23:08:50 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
23:25:34 -!- DHeadshot has quit (Ping timeout: 260 seconds).
23:30:08 -!- augur has quit (Remote host closed the connection).
23:31:52 -!- augur has joined.
23:32:57 <pikhq> Yeah, Unicode has the gnaborretni.
23:33:28 <pikhq> U+2E18 INVERTED INTERROBANG
23:33:51 -!- Moonythedwarf has joined.
23:39:36 <fizzie> It also has the HEAVY INTERROBANG ORNAMENT.
23:40:39 <fizzie> I wonder if Metal Gear fans use the VERY HEAVY SOLIDUS character as a joke.
23:40:41 <fizzie> (Same block.)
23:47:23 -!- hppavilion[1] has joined.