00:03:00 I think esolangs will live on across all the human planets 00:03:50 I ignored most of the end of that question, but it was about esolangs, right? 00:06:22 My bot is working 00:06:32 Yay 00:11:41 (All it can do is determine whether someone has the title of "admin" and handle inventories, which are only allowed to give people meaningless items) 00:11:53 (Wait, that lost coherency in a thoughtsplit) 00:22:33 `? 9 00:22:35 9 is a free smalltalk. 00:23:12 WAT! 00:23:32 'No' in Esperanto is 'neniu' 00:23:35 TWO syllables! 00:23:47 (MAYBE THREE!) 00:23:58 so? 00:24:56 also, lojban is way more awesome than esperanto 00:28:28 myname: I agree 00:28:38 myname: But Esperanto is more common and Google Translate supports it 00:29:19 i thought about making a translation program from german to lojban 00:35:01 -!- MoonyTheDwarf has joined. 00:35:04 Moo 00:35:17 indeed 00:37:13 -!- ski has quit (Ping timeout: 276 seconds). 00:37:52 Help, I am helping other people with maths assignments to procrastinate doing my maths assignment 00:38:18 which math is your assignment about 00:38:22 is the assigment you are helping with easy? 00:38:23 Lie Algebras 00:38:24 -!- ski has joined. 00:38:27 myname: Are you a masochist? 00:38:33 (the 'ch' being [x] here) 00:38:40 myname, it's more obvious to me than mine is 00:38:48 Listening to https://www.youtube.com/watch?v=jhk-DiPqhr8 on loop, I guess. 00:38:49 Ease is relative 00:38:57 Taneb: i can relate than 00:39:14 hppavilion[1]: why do you ask 00:39:17 Took me 5 fucking years to get that the meaning of "You're the last thing on my mind" is different at the beginning vs. the end 00:39:26 myname: Because you want to translated German to Lojban 00:39:37 myname: You want to translate German into *anything* 00:39:48 How do you even tell where the word boundaries are‽ 00:39:51 it's not that hard 00:39:57 on spaces 00:40:38 myname: What about e.g. "ringstellung" or "schneeballschlacht" 00:41:14 * hppavilion[1] is using words e learned in German today 00:41:14 (ringstellung I already knew from implementing Enigma) 00:41:32 (Oh, the first snow here was over the weekend, which is why we learned shneeular words) 00:41:34 hppavilion[1]: well, that may be a problem for actual vocabulary, my current translation thingie does not do this 00:41:47 myname: Oh! You mean you're just translating fixed words? 00:41:49 also, english is not that easier there 00:41:52 no 00:42:06 what i do is something like 00:42:11 myname: Wir gehen entgegen, wir haben entgegengegangen. 00:42:19 myname: I mean translating *known* words, so compound words that aren't on file can't be translated 00:42:36 "he likes a dog" to "exists X: dog(X) and likes(he, X)" 00:42:57 myname: How do you handle quantifier ambiguity? 00:42:58 fizzie: "wir haben entgegengegangen" does not make sense 00:43:09 hppavilion[1]: order of appearance 00:43:12 Ah 00:43:25 fizzie: my favorite: "ich werde gefahren worden sein wollen" 00:43:29 Wrong auxiliary verb? 00:43:32 -!- FreeFull has quit (*.net *.split). 00:43:34 -!- olsner has quit (*.net *.split). 00:43:35 -!- jeffl35 has quit (*.net *.split). 00:43:35 -!- fungot has quit (*.net *.split). 00:43:36 -!- heroux has quit (*.net *.split). 00:43:38 -!- incomprehensibly has quit (*.net *.split). 00:43:40 -!- BooK has quit (*.net *.split). 00:43:41 -!- trn has quit (*.net *.split). 00:43:43 anythong but "ich" is the verb in that,sentence 00:43:43 myname: So "in the UK, a woman gives birth every 15 seconds" would parse as...? 00:44:02 `? masochist 00:44:05 masochist? ¯\(°_o)/¯ 00:44:11 Anyway, I like 'entgegengegangen' purely because of the way it looks like when written by hand. 00:44:14 `? masochism 00:44:21 masochism? ¯\(°_o)/¯ 00:44:24 the wrong thing, but i don't care about that 00:44:29 hppavilion[1], someone help that poor woman 00:44:37 -!- FreeFull has joined. 00:44:37 -!- olsner has joined. 00:44:37 -!- jeffl35 has joined. 00:44:37 -!- fungot has joined. 00:44:37 -!- heroux has joined. 00:44:37 -!- incomprehensibly has joined. 00:44:37 -!- BooK has joined. 00:44:37 -!- trn has joined. 00:45:11 fizzie: first of all, it would be sein instead of haben as auxiliary verb, second it needs an object 00:46:19 -!- incomprehensibly has quit (Ping timeout: 253 seconds). 00:46:20 `learn Masochism (where the is pronounced as [x]) is when somebody voluntarily does natural language processing for German. Taneb did not invent it, according to clerical records. 00:46:22 Learned 'masochism': Masochism (where the is pronounced as [x]) is when somebody voluntarily does natural language processing for German. Taneb did not invent it, according to clerical records. 00:46:24 fungot: wollen Sie haben sein? 00:46:24 olsner: i think we can just as well be a bunch of 00:47:40 "ich werde gefahren worden sein wollen" means something like "some time in the future, there will be a point at where i would have wanted to be driven" 00:47:40 `? this sentence 00:47:41 This sentence is just. Taneb invented it. 00:49:30 `grep -l "Taneb" wisdom/* 00:49:31 grep: invalid option -- ' ' \ Usage: grep [OPTION]... PATTERN [FILE]... \ Try 'grep --help' for more information. 00:49:37 `` grep -l "Taneb" wisdom/* 00:49:48 grep: wisdom/¯\_(ツ)_: Is a directory \ grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ wisdom/_46bit \ wisdom/automatic squirrel feeder \ wisdom/bbc \ wisdom/bdsm \ wisdom/bogosort \ wisdom/boxmodel \ wisdom/chu space \ wisdom/ci \ wisdom/civilization \ wisdom/costume \ wisdo 00:51:52 -!- incomprehensibly has joined. 00:53:09 `` grep -l --exclude=wisdom/*/* "Taneb" wisdom/* | sed 's#.*/##g' | sed 's#\n##g' 00:53:11 grep: wisdom/¯\_(ツ)_: Is a directory \ grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ _46bit \ automatic squirrel feeder \ bbc \ bdsm \ bogosort \ boxmodel \ chu space \ ci \ civilization \ costume \ curry's paradox \ deniability \ denial \ d-module \ ehird \ eliot \ eyebrow 00:53:24 `? bogosort 00:53:26 Bogosort is an efficient sorting algorithm for nondeterministic Turing machines. Taneb may have invented it. 00:53:26 Dammit, still checked directories 00:53:44 `? boxmodel 00:53:45 boxmodel is how we figure out how big Taneb's cage is going to be. 00:54:40 I didn't know example.com is actually serving a thing. 00:57:42 `` grep -l --exclude=wisdom/*/* "Taneb" wisdom/* | sed 's/grep: .*//' | sed 's#.*/##g' | sed 's#\n##g' 00:57:44 grep: wisdom/¯\_(ツ)_: Is a directory \ grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ _46bit \ automatic squirrel feeder \ bbc \ bdsm \ bogosort \ boxmodel \ chu space \ ci \ civilization \ costume \ curry's paradox \ deniability \ denial \ d-module \ ehird \ eliot \ eyebrow 00:58:06 Grah! I give up 00:58:08 `? ci 00:58:09 The CIs are a secret society led by David Morgan-Mar, bent on conquering the world from Sydney with webcomics and unsolvable puzzles. They invented Taneb. 00:58:23 is [x] the loch-sound? 00:58:27 myname: yes hth 00:58:32 `? automatic squirrel feeder 00:58:33 Automatic squirrel feeders are just feeders in the category of automatic squirrels. Taneb invented them. 00:58:33 okay 00:58:40 Taneb: you should invent the CIs before they invent you 00:58:42 it's a nice one 00:59:16 `slwd automatic squirrel feeder//s/$/ hppavilion[1] uninvented them./ 00:59:18 wisdom/automatic squirrel feeder//Automatic squirrel feeders are just feeders in the category of automatic squirrels. Taneb invented them. hppavilion[1] uninvented them. 00:59:38 lol 01:04:13 `` grep -l -d skip "Taneb" wisdom/* | sed -e 's|wisdom/||' | tr '\n' ' ' # hppavilion[1]: grep has a "-d skip" if you just wanted to avoid directories 01:04:14 _46bit automatic squirrel feeder bbc bdsm bogosort boxmodel chu space ci civilization costume curry's paradox deniability denial d-module ehird eliot eyebrow facebook fundamental theorem of taneb go histogram it klein bottle lambek's lemma locale masochism matrix metar metronome necessity nih noooooooodle nvd persistence progres real redundancy ref 01:04:33 Ah 01:04:42 An abelian group is just a group in the category of abelians. 01:04:42 Unfortunately there's too much Taneb to fit, even if you remove the newlines. 01:04:46 (NB: not actually true.) 01:05:16 Ice cream is just cream in the category of ice. 01:05:24 Barack Obama is just Obama in the category of Barack. 01:05:26 tswett, it's just an object in the category of abelian groups 01:05:41 i always wondered what NB stands for 01:05:58 The "N" means "note" and the "B" means "well", hth. 01:06:33 the b stands for bene, as in bene gesserit 01:06:40 okay 01:09:50 -!- ratpuke has joined. 01:11:19 -!- ratpuke has left. 01:33:18 I've always wondered what NB means 01:33:29 Not what it stands for, but what it actually indicates 01:33:46 tswett: What's Obama in the category of Joe? 01:34:41 Barack Joe? 01:35:54 `? Paradox 01:35:55 Paradox? ¯\(°_o)/¯ 01:36:01 `? paradox 01:36:01 paradox? ¯\(°_o)/¯ 01:36:27 `? _46bit 01:36:28 _46bit is a slightly-uptight public-schooled Brit. Taneb invented him. 01:36:29 hppavilion[1]: it pretty much just means "note", "take notice". 01:36:33 Ah 01:40:30 Fuzzy Type: Still a non-terrible idea 01:41:01 (from an Esolang standpoint, at least. From an actual-use standpoint, yeah, it's pretty shit) 01:48:34 Wow. They ported Dont Starve to android ^_^. Thanks klei! 01:50:14 -!- augur has quit (Remote host closed the connection). 01:52:56 Fuzzy types, you say? Would those be related to fuzzy logic? 01:53:50 ^ 01:54:56 -!- ratpuke has joined. 01:55:15 -!- ratpuke has quit (Client Quit). 01:55:27 -!- Perrenelle has joined. 01:56:10 -!- Perrenelle has quit (Client Quit). 01:56:22 -!- Perenelle has joined. 01:58:04 MoonyTheDwarf: wooooooot 01:58:07 -!- augur has joined. 01:58:26 geez, so many great games 01:58:43 MoonyTheDwarf: where? 01:58:53 myname: see appstore. 01:59:02 its 4.99 01:59:05 didn't found 01:59:30 i bought mini metro recently 02:00:10 myname: https://play.google.com/store/apps/details?id=com.kleientertainment.doNotStarvePocket 02:00:49 nooo, it's not compatible 02:01:05 Damn. Sorry bud. 02:01:22 some great games happen to be android only :P 02:01:38 i have android 02:01:52 ah, it _is_ compatible with my phone 02:02:07 maybe android on my tablet is too old 02:02:35 Tablet may be old yes 02:03:10 dont worry, the interface works good on phones, they even have it in lo-def for you :P (jk, but it should work good) 02:03:14 i still use 4.4 on my tablet because of multiwindow stuff 02:03:38 i will update to nougat as soon as xposed for nougat is out 02:06:19 -!- augur has quit (Remote host closed the connection). 02:06:55 -!- augur has joined. 02:08:01 i am still unsure wether or not don't starve is a game for me 02:08:13 it looks way less casual than other games like it 02:08:27 like, younactually have to play if you play 02:08:53 Dont worry. It does something called 'pause' 02:09:31 but no, not always casual, sometimes is sometimes its not. Just be happy your not getting the $20 PC version :P (complete with extensive modibility) 02:09:59 -!- MoonyTheDwarf has quit (Quit: Bye). 02:10:13 -!- MoonyTheDwarf has joined. 02:10:13 -!- MoonyTheDwarf has quit (Changing host). 02:10:13 -!- MoonyTheDwarf has joined. 02:11:25 -!- augur has quit (Ping timeout: 256 seconds). 02:11:30 i watched a lets play and was like "you fucking idiot, why are you doing this shit" 02:11:39 but i knew more about it than he did 02:11:46 like, why there are tree spirits 02:23:14 -!- moony has joined. 02:23:42 moo^2 02:26:37 > sort "sphinx of black quartz judge my vow" 02:26:41 " aabcdefghijklmnoopqrstuuvwxyz" 02:33:56 > sort "heizölrückstoßabdämpfung" 02:33:58 "abcdefghiklmnoprstuz\223\228\246\252" 02:34:11 german, fuck yeah 02:41:10 -!- oerjan has joined. 02:42:31 -!- moony has quit (Quit: Page closed). 02:51:48 -!- Cale has quit (Ping timeout: 260 seconds). 02:54:46 -!- godel has joined. 02:55:31 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 02:55:36 -!- Cale has joined. 02:57:38 i should bake cookies again 03:09:13 -!- Perenelle has quit (Quit: Bye). 03:17:46 -!- augur has joined. 03:27:16 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:31:21 -!- augur has quit (Read error: Connection reset by peer). 03:32:47 `slist mspaofficial on snapchat 03:32:51 slist mspaofficial on snapchat: Taneb atriq Ngevd nvd Fiora Sgeo ThatOtherPerson alot 04:10:57 -!- snootypoot has quit (Ping timeout: 258 seconds). 04:17:00 -!- sirnaysayer has joined. 04:35:17 -!- `^_^v has joined. 05:07:36 -!- Cale has quit (Ping timeout: 260 seconds). 05:08:46 -!- Cale has joined. 05:10:20 -!- godel has quit (Ping timeout: 260 seconds). 05:19:22 -!- Tiktalik has quit (Remote host closed the connection). 05:26:33 -!- otherbot has quit (Remote host closed the connection). 05:35:48 -!- Akaibu has joined. 05:45:36 -!- quintopia has joined. 05:46:40 what is a relatively simple function on 2 integers that is zero if and only if x=1 and y!=0, or x=-1 and y=0? 05:46:51 -!- godel has joined. 05:47:26 godello 05:48:29 sorry, not 2 integers. x can only be 1 or -1, y can be any integer 05:49:01 -!- Cale has quit (Ping timeout: 256 seconds). 05:50:05 f x y | (x == 1 && y /= 0) || (x == (-1) && y == 0) = 0 | otherwise = 1 05:50:06 hth 05:50:47 shachaf: you call that relatively simple? 05:51:41 let me clarify: here "simple" means "doesn't include any conditionals" 05:51:43 I guess there are some measures of complexity by which it's very complex. 05:51:49 -!- Cale has joined. 05:52:04 well, functions don't include conditionals, just a graph. hth 05:52:30 i don't even know what that means 05:52:52 A function is just a set of pairs or something. 05:52:53 -!- Vorpal has quit (Ping timeout: 248 seconds). 05:54:14 well, the unspecified referent of "doesn't include any conditionals" is "the description of the function in your programming language of choice" not "the function" 05:55:04 in Haskell 05:55:31 f 1 0 = 1; f 1 _ = 0; f (-1) 0 = 0; f _ _ = 1; hth 05:55:34 no conditionals 05:55:40 That certainly includes conditionals. 05:55:54 no it doesn't, it includes pattern matching! 05:56:00 also, i don't think haskell includes a hth command 05:56:15 It includes pattern matching on booleans. 05:56:21 That's as conditional as one can hope. 05:56:29 But of course any sort of pattern matching is conditional. 05:57:26 but only for some definitions of "conditional" 05:57:44 -!- Vorpal has joined. 05:57:44 -!- Vorpal has quit (Changing host). 05:57:44 -!- Vorpal has joined. 05:59:21 i think i've solved it 05:59:58 not y**(x+1) does it i think 06:02:29 not is a conditional hth 06:04:48 not really 06:05:02 it's the same as 0**x 06:05:46 and that thing doesn't work anyway *thinks* 06:11:15 other idea: (0**(x-1)+0**y)%2 06:14:06 tested working: (0**(x+1)+0**y**2)%2 06:17:04 `slist UPDATE 06:17:07 slist UPDATE: Taneb atriq Ngevd nvd Fiora Sgeo ThatOtherPerson alot 06:21:05 `smlist 450 06:21:06 smlist 450: shachaf monqy elliott mnoqy Cale 06:21:29 Wait, maybe this one isn't new? 06:27:18 -!- hppavilion[1] has joined. 06:48:24 ?? 06:48:43 ?? ?? ?? 06:59:52 `? smlist 06:59:53 Non-update notification for the webcomic Super Mega. 06:59:55 Cale: hth 07:02:31 Hm, is randint(0, randint(0, x)) the same as randint(0, x)? 07:02:51 Gut instinct says it will be, but I'm not sure 07:03:13 Wait, but there's only 1 case in which you can get x, and its probability is 1/x 07:04:33 There are 2 cases where you can get x-1, one with probability 1/x (occurring 1/x times) and the other probability 1/(x-1) (occurring 1/x times- all inner randoms are equal, so I think they factor out) 07:05:39 So the total probability of x-1 is 1/x+1/(x-1) = (x-1)/(x^2-x) + x/(x^2-x) = (2x-1)/(x^2-1) 07:06:46 Whoops, s/x\^2-1/x\^2-x/ 07:07:05 I'm pretty sure (2x-1)/(x^2-x) is not necessarily equal to 1/x, so therefor it's not the same 07:07:08 But what IS it then? 07:09:43 different hth 07:28:58 myname: ... 07:29:06 myname: tdnhaa 07:29:16 myname: idshycttwh 07:29:19 what do you want for an answer? 07:29:41 koh, 5 is not the same as 59, i wonder how they name that" 07:31:31 myname: I mean... 07:31:51 yeah? 07:32:09 What are the odds of a given value n (where n : int, 0 ≤ n ≤ x) being returned by randint(0, randint(0, x))? 07:33:25 write a program and you will get a pretty close approximation 07:33:36 Yeah, I figured 07:40:15 [wiki] [[Self-modifying Brainfuck]] https://esolangs.org/w/index.php?diff=50036&oldid=46560 * Quintopia * (+31) assuming the ! doesn't have a special meaning in SMBF and usual implementations of BF I/O 07:46:52 -!- godel has quit (Ping timeout: 276 seconds). 07:47:01 quintopia: You may know what happens when you assume... 07:49:27 hppavilion[1]: i think it's 1/(x+1)*\sum_{i=n}^x (1/i) which involves a harmonic series and i don't think they've got "closed form" expressions. 07:50:03 oh wait 07:50:09 * 1/(i+1) 07:52:45 (this may be one of the cases where starting counting at 0 is evil) 07:53:41 -!- imode has quit (Ping timeout: 252 seconds). 07:53:53 what other cases are there? 07:54:35 uncountably many hth 08:10:27 i believe you mean 7 08:23:08 -!- Cale has quit (Ping timeout: 260 seconds). 08:24:01 -!- Cale has joined. 08:28:10 `le/rn Beethoven's Ninth Symphony/Beethoven's Ninth Symphony is a package most commonly installed in order to convert ODE files into JOY files. 08:28:19 Learned 'beethoven's ninth symphony': Beethoven's Ninth Symphony is a package most commonly installed in order to convert ODE files into JOY files. 08:28:34 i like that one 08:29:31 Beethoven's Ninth Symphony is a package most commonly installed in order to convert ODE files into JOY files 08:29:36 arg 08:29:51 it would appear so. 08:34:37 (the ode2joy command) 08:35:02 myname: Trying to copy/paste? 08:35:22 yeah 08:35:40 i got the joke 08:36:13 OK, good 08:36:21 That was there for confused logreaders 08:36:33 I've set up an alternative musical scale 08:37:13 Instead of subsequent notes scaling by root(2, 12), they scale by root(phi, 16) 08:37:17 Because wtfn 08:37:52 The notes are, cleverly, called a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p 08:37:54 that's one of your better ideas 08:38:16 myname: The symphony pun or the music? 08:38:30 (Hm, if I went to 26 I could write my name in music...) 08:38:33 both 08:38:50 you need a starting point for your scale though 08:40:05 phi hertz 08:40:58 myname: I went with a=440 Hz, as it's standard and makes everything synch up in at least one place 08:41:25 i like it 08:41:55 but for the 26th root, maybe we need a bigger starting value? 08:42:11 wait, no 08:45:48 In Hertz on the e:26 scale, my name is 725.44 440.0 913.74 575.94 440.0 725.44 913.74 846.09 753.88 725.44 725.44 513.18 879.26 08:46:17 (Real-world. Nobody start d0xxing me with logarithms) 08:47:12 now make a sound file 08:47:48 myname: I've already played it directly and it's OK 08:47:55 myname: Or do you want one you can play? 08:48:20 (music is written in an ad hoc notation I hacked together in .txt files) 08:48:21 proposal: doubling a letter means extending how long you play, for the same note more than once you seperate using ' 08:49:13 myname: In the existing format, you write n:k to play a note n for k beats, and dropping ":k" defaults to k=4 08:49:23 Oh, and ~ is code for "no note" (so rest) 08:49:57 well okay, it does make playing text a bit more boring though 08:50:05 but fine for me 08:50:48 And you can write note names in any way you want (as defined by the Scale object being used, which for the moment is hard-coded) 08:51:23 n_p (note n, value p) means to take n and scale it up by p 08:52:24 -!- augur has joined. 08:52:25 So on an e-cycle scale where a=base=440 Hz, a_3 = (440*e^3) Hz (which is probably beyond typical human hearing, but still in range) 08:52:59 myname: Oh, for playing text you have to get creative. For the moment, I just write the name as a series of notes and play it directly. 08:53:19 > 440*exp 3 08:53:22 8837.636246202574 08:53:23 so you could express anything normal with a_sqrt... 08:53:40 myname: ...yes? 08:53:57 > logBase 2 (exp 3) 08:54:00 4.328085122666891 08:54:23 hppavilion[1]: i think human hearing goes up a bit more than that hth 08:54:34 oerjan: Yes, but you don't usually hear anything in that range 08:54:47 Oh, and finally, if you write H (instead of n or n_p), it plays that float value literally 08:54:53 (but this is discouraged) 08:55:55 Chords are not yet supported 08:57:14 well, you could play each column of a text file at the same time 08:57:26 > 12*logBase 2 (exp (1/26)) 08:57:29 0.6658592496410611 08:57:33 myname: That's one idea, but I already have it setup where newlines are just skipped 08:57:39 (so you treat it as a space) 08:57:49 hm that's pretty close to 2/3 of an ordinary half-note 08:57:59 you might actually be able to play nicely 08:58:17 (...and I have no clue what syntax I'll wind up using. All the nice ones (e.g. a chord of a,b,c written [a b c] or something) can't be implemented with my current setup) 08:58:28 `quote parentheses 08:58:29 314) I figured out something about C program. If you use ? : a lot then you don't need as much parentheses but it makes it more difficult to understand. 08:59:42 > exp(16/26) 08:59:43 Someone should've `addquoted shachaf's thing about Niezs... nietsch... fuck it, he's Neetzhah from now on... 08:59:45 1.850368142769234 08:59:53 About Neetzhan closing parentheses... 09:00:03 > exp(18/26) 09:00:06 1.9983217280388539 09:00:09 there you go 09:00:10 ? 09:00:24 hppavilion[1]: 18 letters distance is very close to an ordinary octave 09:00:48 Ah 09:00:59 Oh, hello shachaf. Nothing to see here. 09:01:08 Move along. 09:02:16 (Maybe Neechah would be better?) 09:03:38 > 26 * log 2 09:03:41 18.021826694558577 09:04:28 hppavilion[1], this is going to annoy anyone with perfect pitch 09:05:20 Taneb: If they believe that the notes used on a piano are the only 12 notes that exist, they're in for a rather rude awakening 09:05:28 Taneb: what about a person with perfect pooch 09:05:38 shachaf: So any dog owner than? 09:05:40 hppavilion[1], it's more the ratios between them 09:05:54 Taneb: That's relative pitch I thought? 09:06:05 Perfect pitch is when you can identify a note given only that note 09:06:28 Oh, I am muddled 09:06:39 Relative pitch is when you get two notes a and b, they tell you 'a is a C' and you can say what b is 09:06:43 It's still going to sound annoyingly dissonant to people with sensitive hearing 09:06:49 Yes 09:07:00 (god, giving notes algebraic names is really fucking annoying) 09:07:33 (Maybe you should only use names in h-z?) 09:07:35 Taneb: equal temperament is the best 09:07:49 hppavilion[1]: however, afaict neither a third, a fourth or a fifth ordinary interval is a whole number of letters apart :P 09:08:17 oerjan: Phi isn't the only system you can use 09:08:26 hppavilion[1]: um i used e 09:08:32 Oh, yes 09:08:45 -2 splits (rather than 2-splits) are also nice 09:08:58 > 26 * logBase ((sqrt 5 + 1) / 2) 2 09:09:00 37.450922350726465 09:09:09 s/splits/cycles/ 09:10:06 Wait, that's not what I was going for... was it? 09:10:12 ...yes, it was 09:11:25 * hppavilion[1] waits for someone to point out the flaws with a -2 cycle 09:12:09 -!- oerjan has quit (Quit: Gnite). 09:12:17 `? oerjan 09:12:18 Your venerated itymologist knite gracious octoberlord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 09:12:31 `slwd oerjan//s#k#g# 09:12:34 wisdom/oerjan//Your venerated itymologist gnite gracious octoberlord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 09:12:53 `words 10 09:12:56 gan hart timat wangler schurm seudiek mir nortlein see worswy 09:13:56 At least two, possibly 5 of those are words! 09:14:13 Qoq! 09:14:15 *Wow! 09:14:32 `? tanebventions: math 09:14:33 Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, the reals, Lambek's lemma, pointless topology, locales, and histograms. 09:14:45 `? automatic squirrel feeder 09:14:47 Automatic squirrel feeders are just feeders in the category of automatic squirrels. Taneb invented them. hppavilion[1] uninvented them. 09:15:26 `slwd tanebventions: math//s#the reals#string diagrams, &# 09:15:30 wisdom/tanebventions: math//Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, string diagrams, the reals, Lambek's lemma, pointless topology, locales, and histograms. 09:15:44 Taneb: Oh, you invented string diagrams? 09:15:55 Can you answer questions about them? 09:16:17 Did Taneb also invent Lambek's llama? 09:16:22 shachaf, I can give it a shot, but I'm a bit distracted right now 09:16:30 By what? 09:16:41 A 1961 paper on equivalence relations 09:17:20 Which one? 09:18:24 "An Algorithm for Equivalence Declarations", by Arden, Galler, and Graham 09:20:18 is this paper even online twh 09:20:25 Yes 09:20:49 I hope it is, otherwise I am hallucinating quite badly 09:21:50 Where? 09:22:40 I've got it through ACM's digital library 09:23:21 Ah. 09:23:42 That reminds me of my question the other day: Is there a good online algorithm for strongly connected components? 09:31:08 -!- LKoen has joined. 09:40:17 shachaf: I can sort of imagine one which partitions the graph and keeps around a tree of the results for subparts so that when you remove an edge, you haven't lost all the previously completed work 09:44:26 Well, there's a great answer for undirected graphs. 09:49:29 I can't think of a way to do something similar for directed graphs, though. 09:53:13 <\oren\> `wisdom 09:53:15 sweden//Sweden is the suburb capital of Norway. It's where all the Nobel prizes are announced, except the Math Prize. 09:53:19 I cannot concentrate because of everything happening in my country 09:53:20 <\oren\> `wisdom 09:53:22 algebraic chess notation//Algebraic chess notation is not a notation for algebraic chess. 09:53:34 <\oren\> lifthrasiir: which country? 09:53:35 this is increasingly becoming absurd 09:53:37 \oren\: Koera 09:53:39 Korea* 09:53:49 well, Koera sounds like a name of some animal 09:54:15 lifthrasiir, what is happening? 09:54:45 I cannot coherently describe all the matter, so I will refer to /r/korea comment https://www.reddit.com/r/korea/comments/593x2a/eli5_can_someone_explain_the_whole_corruption/ 09:55:57 -!- LKoen has quit (Remote host closed the connection). 09:56:32 Major corruption scandal? 09:56:33 Gross 09:57:53 <\oren\> what, another one, this time in Korea? is there not a single honest politician on the planet left? 09:57:59 Taneb: it turned out that the current president (PGH) was related to an external personnel, who received and backed virtually everything about the country 09:58:02 -!- Frooxius has quit (Read error: Connection reset by peer). 09:58:04 every information* 09:58:49 there were tons of rumors about that personnel for a long time but now it is nearly confirmed, even partially by the president herself 09:59:30 -!- LKoen has joined. 09:59:58 -!- Frooxius has joined. 10:00:11 PGH was already known for her incoherent speeches and strange endeavors but no one was sure why she does so, until this incident 10:01:04 \oren\: one even calls the current gov't as shamanism gov't, because the personnel was related to the new religion movement as well 10:01:22 (spiritual one) 10:01:58 well, not even proper NRM because it was closer to the shamanism indeed 10:02:05 <\oren\> uh-oh, that sounds even worse than your normal, old fashioned corporate corruption 10:02:16 <\oren\> that even canada has 10:02:30 yes, this has far-reaching implications 10:03:46 I've come to appreciate the robustness of bureaucracy, the country was able to survive this amount of absurdness for past 4 years 10:06:40 \oren\: the personnel was living in Germany, communicating with PGH (or closest persons) via a personal email, and ran out shortly before the reporters tried to contact her; the compelling evidences was found in a computer around other wastes 10:07:22 so it's essentially country-level confidence information found in a dumping ground 10:08:09 s/ran out/ran away/* 10:13:21 \oren\: hahahaha, my reporter friend sent me this tweet https://twitter.com/allyjung/status/790831548308205568 10:13:54 this IS pretty much close to the truth (wrt current evidences) 10:16:04 -!- LKoen has quit (Remote host closed the connection). 10:21:58 -!- LKoen has joined. 10:22:29 \oren\: When were there honest politicians? 10:22:35 Oh my god I want to play Algebraic Chess now 10:22:39 `? Algebraic chess 10:22:39 Algebraic chess? ¯\(°_o)/¯ 10:22:44 -!- MoALTz has joined. 10:26:05 -!- augur has quit (Remote host closed the connection). 10:26:32 -!- augur has joined. 10:31:18 -!- augur has quit (Ping timeout: 245 seconds). 11:13:14 https://libreboot.org/gnu/ 11:13:24 this is chilling 11:21:56