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:46:25 <hppavilion[1]> OK, the wikipedia Philosophy trick is freaking me out right now
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 <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: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: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: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: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: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: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: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:27 <shachaf> do you have any book corecommendations
02:16:36 <shachaf> that one isn't even the best book
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: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:56 * Sgeo doesn't actually know which robot is which.
03:42:07 <Sgeo> (Well, I know Clippy and ... Sam's robot)
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: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:57:35 <oerjan> i also once read such a book.
04:01:02 -!- myndzi has quit (Quit: .).
04:04:48 <oerjan> hm apparently only some editions had the 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:45:47 -!- `^_^v has quit (Ping timeout: 265 seconds).
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…).
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:23:11 <hppavilion[1]> Hm... what's the name of the reverse of the root mean square...
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: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:30 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:22:34 <HackEgo> [U+0273 LATIN SMALL LETTER N WITH RETROFLEX HOOK]
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: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: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: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:36:37 <zzo38> I have read someone has made up such thing before, I think
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
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:47:23 -!- hppavilion[1] has joined.