00:00:40 -!- imode has quit (Ping timeout: 244 seconds). 00:04:25 -!- tromp has joined. 00:08:12 -!- imode has joined. 00:08:35 -!- tromp has quit (Ping timeout: 240 seconds). 00:09:54 -!- imode1 has quit (Ping timeout: 256 seconds). 00:15:35 -!- imode has quit (Ping timeout: 240 seconds). 00:34:16 -!- Ragnor9 has joined. 00:35:46 -!- Ragnor9 has quit (Remote host closed the connection). 00:42:03 [[User:Challenger5]] https://esolangs.org/w/index.php?diff=57258&oldid=57248 * Challenger5 * (+2) 00:49:37 -!- sleepnap has left. 00:57:07 [[Turing-machine]] https://esolangs.org/w/index.php?diff=57259&oldid=57255 * A * (+0) :( 00:59:07 [[Turing-machine]] https://esolangs.org/w/index.php?diff=57260&oldid=57259 * A * (+66) Oh no! I have to paste it on the pastebin. :( 01:01:02 [[Turing-machine]] https://esolangs.org/w/index.php?diff=57261&oldid=57260 * A * (+1) 01:03:54 -!- oerjan has joined. 01:30:15 . o O ( some does, some deer, some female deer ) 01:33:02 regarding dictionaries, i am finally getting around to italian songs and am somewhat annoyed that wiktionary's italian entries aren't fully accented (barring actual IPA, necessary to know stress and vowel quality) 01:34:42 the russian ones are, presumably because it would be insane not to. and greek has mandatory accents so its spelling -> pronunciation correspondence is actually better than italian (but much worse in the opposite direction) 01:35:42 (also the russian entries use a great automatic IPA module) 01:35:48 they're not properly accented? blah 01:35:57 unless the accents are optional that should be fixed 01:36:09 alercah: they are optional, but you need them in dictionaries 01:36:11 ahhh 01:36:20 that should probably be fixed though 01:36:23 (except at the very last syllable, where they're mandatory) 01:36:29 maybe with like "unaccented form of " as a redirect 01:36:42 I have search for several languages in english wiktionary as search keywords 01:36:52 (by which I mean main wiktionary search, but with #Language at the end 01:37:34 alercah: the russian entries use the unaccented form as the article name but still include accents on the entry itself 01:42:02 oerjan: interesting 01:42:13 Irish entries use accents in the page name 01:42:21 this is for English wiktionary though 01:44:09 for russian you pretty much have to do it that way because no one uses the accents outside dictionaries and textbooks. they cannot even get the new letter Ё to stick. 01:44:49 (people use Е instead) 01:46:22 ah 01:48:53 -!- tromp has joined. 01:48:58 this entry has audio which sounds to me like the accented version would be mèttere, which is wrong https://en.wiktionary.org/wiki/mettere#Italian 01:49:11 (as i found by checking the italian wiktionary) 01:49:45 the distinction between è and é isn't easy for a norwegian, we pretty much have them as allophones :P 01:50:39 yeah 01:51:03 things that are allophones in your native language are always difficult to handle 01:51:22 I can't really manage palatized/velarized distinction 01:51:23 and ó and ò are similar but perhaps not quite as bad 01:51:46 my dialect has palatal consonants so i got a bit of a head start. 01:51:57 (not all norwegian dialects do) 01:53:18 -!- tromp has quit (Ping timeout: 244 seconds). 01:55:15 although we don't have any velarization, the dark english l helped there. 01:55:51 i think. assuming i actually do it right. 02:59:51 -!- K0HAX28 has joined. 03:00:58 -!- K0HAX28 has quit (Remote host closed the connection). 03:05:36 -!- Tabmow has joined. 03:05:59 -!- Tabmow has changed nick to Guest95283. 03:09:28 -!- Roedy28 has joined. 03:09:54 -!- Roedy28 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 03:11:09 @tell wob_jonas there was an oral exam where I wrote ten pages [...] <-- i think you've got oral exams wrong hth 03:11:10 Consider it noted. 03:11:45 -!- Guest95283 has quit (Ping timeout: 264 seconds). 03:12:45 unless wob_jonas is the doctor 03:17:45 Do you play Scrabble with memoryless wildcards? 03:25:29 Is wob_jonas a doctor? 03:34:09 -!- tromp has joined. 03:38:20 i think he may have a doctorate? 03:38:27 -!- tromp has quit (Ping timeout: 240 seconds). 03:38:59 OK 03:42:03 i am not sure though. 03:42:15 i find an MsC thesis. 03:43:27 OK 04:13:15 -!- lifthrasiir has quit (Remote host closed the connection). 04:14:37 They should add into bsdtar a command to specify the format when reading a archive, to override the autodetection. (It says there is a --format option but it can be used only when writing and not when reading.) 04:14:38 -!- lifthrasiir has joined. 04:15:49 I think someone here asked if any Lisps used lambdas for control structures? 04:15:59 Factor is not a Lisp but I think qualifies for the latter part 04:18:24 (I originally installed bsdtar because it could read truncated ZIP archives, while 7-Zip and Info-Zip do not.) 04:35:21 -!- ais523 has quit (Quit: quit). 04:36:27 -!- K0HAX27 has joined. 04:36:28 -!- K0HAX27 has quit (Remote host closed the connection). 04:50:04 -!- ski777714 has joined. 04:50:30 -!- ski777714 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 04:52:46 -!- xkapastel has quit (Quit: Connection closed for inactivity). 05:00:33 [[--Unless]] https://esolangs.org/w/index.php?diff=57262&oldid=56450 * A * (+6) 05:01:32 [[--Unless]] https://esolangs.org/w/index.php?diff=57263&oldid=57262 * A * (-156) /* Tutorial */ 05:10:48 -!- drakythe23 has joined. 05:16:58 -!- drakythe23 has quit (Ping timeout: 260 seconds). 05:18:58 -!- tromp has joined. 05:23:45 -!- tromp has quit (Ping timeout: 264 seconds). 06:12:05 -!- tromp has joined. 06:16:32 -!- tromp has quit (Ping timeout: 256 seconds). 06:22:28 -!- tromp has joined. 06:27:27 -!- tromp has quit (Ping timeout: 268 seconds). 06:42:31 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 06:52:34 -!- XorSwap has quit (Quit: the creeping crawling chaos will return.). 07:04:37 -!- oerjan has quit (Quit: Nite). 07:05:13 -!- tromp has joined. 07:10:09 -!- tromp has quit (Ping timeout: 260 seconds). 07:12:40 -!- tromp has joined. 07:19:01 -!- parduse has joined. 08:16:10 -!- AnotherTest has joined. 08:29:47 -!- AnotherTest has quit (Ping timeout: 276 seconds). 08:39:22 -!- SopaXorzTaker has joined. 08:44:01 -!- casdr3 has joined. 08:44:10 -!- casdr3 has quit (K-Lined). 09:03:34 -!- wob_jonas has joined. 09:06:33 oerjan: "wiktionary's italian entries aren't fully accented", "the russian ones are" => in which language Wiktionary? you can check in both the french, the english, and the native one. maybe one of them has the accents or pronunciation. 09:06:45 oerjan: also, how about the Lithuanian entries? 09:06:50 @messages 09:07:51 oerjan: mind you, in the English wiktionary, pronunciation is missing for most English words, and you know how bad the correspondance is there 09:08:32 if I'm at home, I can use my paper dictionaries to look up the pronunciation of many words 09:08:54 -!- GDiaX has joined. 09:10:22 "maybe with like "unaccented form of " as a redirect" => no no. the unaccented form is the normal form, so it's the page title. but the accents are shown in the bold header of each separate unrelated etimology under the language and possibly etimology headings 09:10:27 -!- GDiaX has quit (Remote host closed the connection). 09:11:19 you find the unaccented form in normal text, so that's what has to be the page title, and in the rare case when you're reading a children's text, either you remove the accents or there's some bot that creates redirects from the accented form 09:12:06 oerjan: it's like for English dictionaries that show hyphenation in the headwords. wiktionary could do that, but doesn't for some reason, and the page title would not include the hyphenation dots 09:28:21 or Hungarian dictionaries that mark compound words written without the hyphen with a vertical bar in the headword, because that is a concise way to tell the etymology for most of them, and for some compound words you would get the wrong hyphenation otherwise 09:47:51 "Is wob_jonas a doctor?" => no. 09:50:03 think he may have a doctorate?" => I don't. I started a PhD studies, but stopped, I didn't write a thesis and didn't take the final exams either 09:50:15 I also didn't defend a thesis, obviously 09:50:41 I did defend the MsC-equivalent thesis and got the MsC-equivalent degree 09:51:22 "I think someone here asked if any Lisps used lambdas for control structures?" => scheme does, together with a builtin if control structure 09:59:37 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 10:02:08 -!- arseniiv has joined. 10:02:22 -!- wob_jonas has joined. 10:03:40 -!- wob_jonas has quit (Client Quit). 11:06:08 -!- Shnaw0 has joined. 11:06:28 -!- Shnaw0 has quit (Remote host closed the connection). 11:23:00 -!- walle303 has joined. 11:23:19 -!- walle303 has quit (Remote host closed the connection). 11:27:24 -!- jacob278 has joined. 11:27:40 [[Functional()]] https://esolangs.org/w/index.php?diff=57264&oldid=57086 * Hakerh400 * (-35) Updated language description 11:33:57 -!- jacob278 has quit (Quit: Leaving). 11:35:06 -!- jacob278 has joined. 11:56:22 -!- Pugabyte14 has joined. 11:58:10 -!- Pugabyte14 has quit (Remote host closed the connection). 12:15:24 -!- jacob278 has quit (Read error: Connection reset by peer). 12:49:03 -!- atriq has joined. 12:49:33 -!- Taneb has quit (Disconnected by services). 12:49:37 -!- atriq has changed nick to Taneb. 12:50:47 -!- nchambers has quit (Quit: So long and thanks for all the fish!). 12:50:48 -!- heroux has quit (Ping timeout: 244 seconds). 12:50:49 -!- ineiros has quit (Ping timeout: 244 seconds). 12:50:49 -!- heroux_ has changed nick to heroux. 12:51:01 -!- shachaf has quit (Ping timeout: 244 seconds). 12:51:04 -!- ineiros has joined. 12:51:13 -!- heroux_ has joined. 12:51:59 -!- shachaf has joined. 12:52:36 -!- shachaf has quit (Changing host). 12:52:36 -!- shachaf has joined. 12:54:46 -!- uplime has joined. 12:55:50 [[Noida]] N https://esolangs.org/w/index.php?oldid=57265 * Saka * (+3007) Created page with "Noida is an esolang created by [[User:Saka]]. It is designed to be simple and easy to write an interpreter for. Noida is short for "No idea" because I didn't know what to nam..." 13:05:39 -!- ome has joined. 13:08:59 -!- xkapastel has joined. 13:10:35 -!- ome has quit (Ping timeout: 240 seconds). 13:31:15 -!- Grimnir16 has joined. 13:34:08 -!- tromp has quit. 13:35:57 -!- Grimnir16 has quit (Ping timeout: 240 seconds). 13:44:54 [[User:Saka]] https://esolangs.org/w/index.php?diff=57266&oldid=56201 * Saka * (+12) /* My Languages */ 13:46:36 -!- tromp has joined. 13:55:59 -!- sleepnap has joined. 14:11:24 -!- parduse has quit (Ping timeout: 256 seconds). 14:18:15 -!- Guest32737 has joined. 14:19:26 -!- Guest32737 has quit (Remote host closed the connection). 14:41:50 -!- wob_jonas has joined. 14:42:14 `olist 1133 14:42:15 olist 1133: shachaf oerjan Sgeo FireFly boily nortti b_jonas 14:42:39 Who was the one who guessed there'd be an olist yesterday? You were wrong. But there is one today. 14:43:13 wob_jonas: oh hey I’m almost done 14:43:32 I'm not. I'm still at work 14:43:40 and getting back to work in a moment 14:43:43 people mess my concentration however 14:44:16 no problem, I still will be editing the video after it’s recorded 14:44:39 and you may watch it any time 14:45:14 -!- evilman_work17 has joined. 14:45:56 -!- evilman_work17 has quit (Remote host closed the connection). 15:01:49 -!- thomas0 has joined. 15:03:19 -!- thomas0 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 15:20:50 -!- SopaXorzTaker has quit (Quit: Leaving). 15:26:41 -!- tromp has quit (Remote host closed the connection). 15:52:36 -!- imode has joined. 15:52:47 carl hewitt is a crank, change my view. 16:08:33 -!- CGML2 has joined. 16:09:37 -!- CGML2 has quit (Killed (Unit193 (Spam is not permitted on freenode.))). 16:10:06 why? you're correct 16:10:06 -!- WizJin has joined. 16:11:12 the initial stuff on actors was okay but now he's in to this weird DirectLogic stuff where he posts cryptic ms word documents on arxiv and responds to questions like a fortune cookie 16:11:34 "Types are fundamental to computation. Lucky numbers 7, 11, 23." 16:11:53 -!- WizJin has quit (Remote host closed the connection). 16:12:46 oh he went way overboard with actors. his original paper reads like a seriously unhinged person's monologue, nothing of substance, and what's more he's now claiming that actors are more powerful, computationally, than turing machines. 16:13:09 yeah the real number stuff, due to unbounded nondeterminism i think? 16:13:54 yeah but he fails to even produce a proof... 16:14:50 i'm not even a fan of actors these days, they are basically a form of callbacks 16:15:20 there was at least one person who claimed to understand hewitt's posts on lambda the ultimate but he hasn't been around in a while 16:15:46 I'd like them to sit down and explain to me what the fuck he's on about to be honest. 16:15:52 i just want to see a simple directlogic interpreter 16:16:05 I read the original paper, in all its scanned-in low-res glory, and it was a mess. 16:16:09 no actual formalisms. 16:16:21 I haven't seen DirectLogic, I'll look that up. 16:16:52 it's connected to his new ActorScript stuff, supposedly some kind of "inconsistency robust" logic 16:17:13 how in the world is he going to handle that. 16:17:14 ActorScript itself is not very well defined 16:17:28 and he seems to introduce a new keyword to handle anything that comes up 16:17:34 based on what you can see in the arxiv docs 16:17:58 if he really had a straightforward idea he could write an interpreter, however naive and slow and bad, just to demonstrate it 16:18:02 but all he does is write ms word docs 16:18:16 we have "inconsistency robust" logic, it's called computation. 16:18:39 the hell is he on about.. 16:18:56 -!- erkin has joined. 16:19:07 http://www.subjectcentric.com/posts/carl_hewitt_s_direct_logic__inconsistency_tolerant_reasoning_and_subject-centric_computing/ I found this on Direct Logic. 16:20:28 "it means we have arguments for both P and ~P" okay, while that says nothing about the truth value of the proposition, what in the world can you say with that formula. 16:21:00 well, paraconsistent logic is a thing 16:21:03 hewitt didn't invent that 16:21:21 there are ways of dealing with knowledge bases that contain both `P` and `not P` 16:21:31 the thing is, hewitt doesn't really describe how his works 16:21:33 right, but is that really all direct logic is. 16:21:46 it's not clear what direct logic is, because it makes all sorts of grandiose claims 16:21:56 for example, he claims to get around goedel's incompleteness theorems 16:22:05 he claims the second one is actually incorrect 16:22:09 now that would be a fuckin' sight. 16:22:44 iirc he claims direct logic is both sound and complete and capable of expressing properties of real numbers 16:22:48 -!- AnotherTest has joined. 16:22:55 got any links to some of the more "focused" papers he's published? 16:22:58 no 16:22:59 or, should I say, uploaded. 16:23:00 lol 16:23:04 lmao. 16:23:20 none of the stuff is focused, that's what i've been getting at 16:23:29 if he could just sit down and talk normally it could be really interesting, even if he's wrong 16:23:38 people have made grandiose claims and been wrong before, i don't hold that against them 16:23:45 what i do dislike is being so vague about it in the process 16:24:15 it's just a tease, he claims to have this great idea which is almost certainly wrong but still interesting, but he'll never actually describe it to you 16:24:18 it's an attempt to delay the discovery that he's full of shit. 16:24:33 he apparently has quite the cult of personality. 16:25:32 https://arxiv.org/abs/0812.4852 I'm going in. 16:26:55 -!- grubles10 has joined. 16:28:27 well, he's stated the abstract 4 times. 16:28:42 -!- grubles10 has quit (Remote host closed the connection). 16:29:04 my god there's more quotes than self-authored material. 16:29:32 -!- tromp has joined. 16:29:50 dave ackley has more coherence than this guy. 16:30:52 -!- SakiiR25 has joined. 16:31:28 -!- SakiiR25 has quit (K-Lined). 16:36:49 okay, so he walked through how to derive inconsistency using a catch-22. he then shows the same derivations in almost exactly the same notation (only THIS TIME he's writing `catch-22` on everything) with little to no changes, other than he doesn't discard the contradiction. 16:37:34 he's restated the abstract another 10 times. 16:42:58 35 pages down, and I wish I was kidding but these pages are so short. 16:44:05 there is a god damn quote on every page. 16:45:29 okay the bibliography is half as long as the paper, and now we're at the appendix. "Details of Direct Logic". 16:45:56 -!- tromp has quit (Remote host closed the connection). 16:47:00 -!- Andre483 has joined. 16:47:30 "you can't parse real numbers." thank you, carl, I didn't know that. 16:48:15 -!- Andre483 has quit (Killed (Sigyn (Spam is off topic on freenode.))). 16:48:55 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 16:49:00 he appears to be constructing some kind of meta-logic that actually differentiates between different kinds of logical objects. you can reason over types, booleans, natural numbers, propositions, proofs, and theories.. okay, that's higher-order logic. 16:49:29 I forgot sentences in there. 16:50:29 meaning you can reason about the actual formulas, the string forms of said formulas, and some indirect references to other formulas. 16:50:48 this man likes his unicode. 16:51:17 there are seperate inference rules for the different types. 16:54:10 and a few pages later, there's nothing actually addressing the concept of inconsistency. 16:56:20 he strikes me as a sort of George Spencer Brown figure. 16:57:45 xkapastel: you were right, that was incredibly... unhinged. I've seen crank mathematics (George Spencer Brown, Hofstader, the time cube guy lmao) but I never expected it to come from a "well-cited" source like Hewitt. 17:00:17 -!- ksft25 has joined. 17:02:14 -!- ksft25 has quit (Remote host closed the connection). 17:08:46 -!- tromp has joined. 17:23:38 -!- Guest79923 has joined. 17:25:01 -!- Guest79923 has quit (Remote host closed the connection). 17:26:31 wob_jonas: https://youtu.be/cYOqMf0xw4c 17:27:12 an imperfection-rich thing about cursive 17:27:33 hope it’s more useful than harmful :D 17:53:45 -!- Phantom_Hoover has joined. 17:53:45 -!- Phantom_Hoover has quit (Changing host). 17:53:45 -!- Phantom_Hoover has joined. 17:57:10 -!- zz_ka6sox has joined. 17:57:55 -!- zz_ka6sox has quit (Remote host closed the connection). 18:06:28 -!- jelly29 has joined. 18:11:48 -!- jelly29 has quit (Ping timeout: 256 seconds). 18:37:09 -!- fydel has joined. 18:38:55 -!- fydel has quit (Remote host closed the connection). 18:41:05 -!- maxalt19 has joined. 18:41:24 -!- maxalt19 has quit (Remote host closed the connection). 18:41:46 -!- aloril has quit (Ping timeout: 264 seconds). 18:41:49 -!- steven0 has joined. 18:47:31 -!- steven0 has quit (Ping timeout: 244 seconds). 18:48:37 -!- aloril has joined. 18:54:48 -!- tromp has quit (Remote host closed the connection). 19:07:33 [[Truth-machine]] https://esolangs.org/w/index.php?diff=57267&oldid=57093 * DMC * (+35) 19:16:14 [[Grawlix]] M https://esolangs.org/w/index.php?diff=57268&oldid=54961 * DMC * (+36) /* Examples */ 19:20:41 [[Special:Log/newusers]] create * Cmax521 * New user account 19:21:01 -!- wob_jonas has joined. 19:22:54 imode: "that actors are more powerful, computationally, than turing machines." => I hope it's not just a cheap marketing shot where he later proves that they're actually equivalent to turing machines with a random source 19:23:23 becuse these days we tend to think those are probably equivalent 19:25:08 xkapastel: "introduce a new keyword to handle anything that comes up" => ugly 19:25:10 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=57269&oldid=57135 * Cmax521 * (+142) /* Introductions */ 19:25:54 xkapastel: "if he really had a straightforward idea he could write an interpreter, however naive and slow and bad, just to demonstrate it / but all he does is write ms word docs" => so there's no interpreter, not even a partial one? 19:25:55 wow 19:26:32 yeah there's nothing of substance in anything he writes. 19:26:57 wob_jonas: his argument is "unbounded determinism" yields hypercomputation. 19:27:01 xkapastel: "for example, he claims to get around goedel's incompleteness theorems / he claims the second one is actually incorrect" => ah, it's getting worse 19:27:33 -!- tromp has joined. 19:27:37 imode: doesn't that mean that it's impossible to interpret on a turing-machine or subset then? 19:27:44 yes. 19:27:48 great 19:27:51 which is total bullshit. 19:27:53 so that's why he doesn't have an interpreter 19:28:04 at least that part is consistent 19:28:26 just because our machines are LBMs doesn't stop us from simulating TMs. 19:28:34 so that should be easy for him... 19:28:46 he's just a hack. 19:28:51 "if he could just sit down and talk normally it could be really interesting" => I have a better idea, we could just tell him some good references to read first instead, in his free time 19:28:59 what languages does he speak? 19:29:03 english. 19:29:06 maybe he can be educated if he gets good books 19:29:08 only? 19:29:26 seems to be. 19:29:36 he's also vehemently active on Wikipedia to preserve his own self-image. 19:30:23 "what i do dislike is being so vague about it in the process" => yes, so let's just ignore what he says and send him to read books 19:31:01 "he's also vehemently active on Wikipedia to preserve his own self-image." => does he just make an autobiography page with no references, or does he also add reasonable references, like articles accepted by respected journals or something? 19:31:14 https://en.wikipedia.org/wiki/Talk%3ACarl_Hewitt%2FArchive_2 19:31:21 also, I'd ask which language of wikipedia, but if he only reads English, then it's sort of obvious 19:31:34 https://en.wikipedia.org/wiki/Talk:Carl_Hewitt 19:31:45 ah, currently deleted. good 19:32:23 he's such a crank.. 19:32:41 then it's not worth worrying about, at least as an esolanger, since the wikipedians already see the problem and delete his autobio article. I don't care if he writes some angry messages, people are good enough to ignore those. 19:33:04 he's uploaded to arxiv too. 19:33:08 you'd only have to worry if he managed to get his autobiography page contain the inflated claims and remain there. 19:33:10 if you read back I went over his paper. 19:33:34 I'd like to say it was a brief cursory reading but there wasn't much in there. the bibliography was half of it. 19:33:52 the real challenge for carl hewitt is to find a page that doesn't have a quote from somebody else on it. 19:33:58 imode: meh, so what. everyone knows arxiv can contain preprints, and that you can change the metadata later to indicate which journal has accepted the article, with a full reference, that people can then check in the journal 19:34:35 https://arxiv.org/abs/0812.4852 I want you to read this. 19:34:40 if he uploads some nonsense to arxiv, I wouldn't worry about. if he spams arxiv, arxiv probably has a way to deal with it 19:34:46 imode: I really don't have the time, sorry 19:34:52 I can read the abstract 19:35:11 ohoho, if you can find the time, read it. it's worth your while. 19:35:14 jesus, that's not an abstract for an article. what's this, a full book? 19:35:25 it's 104 pages of pure unadulterated bullshit. 19:35:37 imode: certainly not today for the 104 pages. and I don't think I will ever find the time for that, sorry. 19:35:46 it's okay. half of them are the bibliography. 19:35:46 wow, 102 revisions so far 19:36:21 (in reality, a third of them are. the other third are the actual paper, which is mostly quotes, and the appendices, which are also mostly quotes.) 19:37:52 int-e: I'd love to get a friggin' diff because I can't imagine anything of substance was changed. 19:37:59 imode: great, the abstract really seems to say that his model is uncomputable 19:38:59 imode: it's PDF-only, so diffing will almost certainly be difficult 19:39:07 he doesn't upload whatever was the source of the PDF 19:39:11 yeah. 19:39:43 "my god there's more quotes than self-authored material." => wow 19:40:44 "okay the bibliography is half as long as the paper" => that happens, but for a 104 page long paper it's unusual. but he has to source all those quotes he has, right? 19:41:07 yeah, that's my point. 19:41:19 the number of quotes is equal to the number of bibliography entries... 19:42:17 my record, out of a total of 4 scientific articles, not counting conference procedings and conference slides (for they usually don't have a full bibliography) is 19:43:27 an article with 53 references on 4 pages, plus 11 pages of body, plus a page for abstract and a title page. this is in the preprint, the journal's version has less whitespace around the title I think. 19:44:35 I'm too lazy to check the journal final version, but I think it also has close to 53 bibliographic references 19:44:56 it's formatted differently so the page numbers are entirely different 19:45:37 but it's a journal that I think exists printed, or at least is formatted as if it existed printed, so the formatting is compact with a small page and narrow margins and all that stuff 19:46:40 I don't recall, but I think they even do that age old nonsense where they forcibly put the paper author names as initial plus surname format, because THAT would take up too much space in a mathematical paper 19:47:00 (this isn't a physics/biology journal with 100+ member teams sending in articles) 19:47:10 and might reformat the bibliography too, I dunno 19:47:17 some journals are so backwards 19:47:18 The argument that actors are more powerful than non-deterministic Turing machines is quite ridiculous to me. (I see no useful difference between a machine that is guaranteed to terminate but can take an arbitrary long time for that, and a machine that terminates with probability 1) 19:47:35 I might be mixing it up with another journal 19:48:34 int-e: there is probably no computational difference for decision problems (but not for problems that require a random output obviously), except possibly a polynomial overhead, but maths is very far from being able to prove that, 19:49:00 it's like a major result that might take quarter as much time or twice as much time as P!=NP from now 19:49:19 and that's just a guess 19:50:08 "Mathematics self proves its own consistency." -- assuming completeness. 19:50:36 it's like hilbert, but on meth. 19:50:45 "I've seen crank mathematics (George Spencer Brown, Hofstader, the time cube guy lmao)" => wait what? 19:51:03 what do you take issue with with that statement. 19:51:11 Hofstadter barely wrote any crank mathematics, most of his book is fiction, and the maths part is not perfect but not crank either; 19:51:32 I regard him as a crank because like Hewitt he fails to produce anything of actual value. 19:51:43 and the time cube guy is a crank but I don't think he has any mathematics on his page, though I haven't read the whole page I admit; 19:51:58 imode: you should give some credit to being substantially correct 19:51:59 a post on HN summarized my feelings on the book. 19:52:09 and at least don't put Hofstadter next to the time cube guy without at least a semicolon, that's insulting Hofstadter 19:52:20 https://blog.infinitenegativeutility.com/2018/7/why-i-dont-love-godel-escher-bach 19:52:38 imode: I'm not saying you should love the book. you can hate it. but it's not crank mathematics. 19:52:43 you can hate it for lots of other reasons 19:52:55 I suggest reading that if you want a synonymous opinion. 19:53:24 he might have crank philosophy, and most useless but mostly correct mathematics, and fiction, in the same book 19:53:57 I classify him as a crank because he doesn't bring anything of merit to the table, and what explanations he tries to give fall short of actually conveying anything useful. 19:54:16 if you want crank mathematics, I can give better examples. t'Hooft's physics stuff, Wolfram's physics stuff, both based on bad mathematics and physics 19:54:20 or do you not count physics? 19:54:25 ohoho I count physics. 19:54:30 wolfram's a nut. 19:54:32 imode: yes, he might be a crank, but not crank mathematics 19:54:44 imode: he has crank stuff and useless mathematics in the same book 19:54:58 and fiction that some of us actually find enjoyable 19:55:03 look, let me explain something 19:55:20 I'm surprised you take such offense. 19:55:52 in some universities, a small amount of people graduate but the university people knows that he's dangerous if he gets out in the outer world. this happens most often in medical university, but can happen in maths too. 19:56:03 it's not going to really change my view on hofstader. 19:56:29 in those cases, a good solution is to convince the guy to remain as a professor or researcher in the university or some other uni or research place, and pay him for not doing real world work. 19:56:39 and yes, I know of the "my supervisor's keeper" clause. ;) 19:57:05 the students and professors in the university quickly recognize that he's a crank professor, and take his lectures as a joke. 19:57:09 the time cube guy does lots of math 19:57:24 none of it is logical or makes any sense, but apparently he thought there was a proof in there? 19:57:32 that's not dangerous, because the students in the university aren't harmed much by having a useless class the don't attend and get an easy A 19:57:35 listen, you're just not living in 5D. 19:57:55 I think "crank" is the wrong term, which I would like to reserve for people who invent their own crazy theories. 19:58:05 starting to think so too. 19:58:14 on the other hand, if the same person got out in the real world to patients, he would damage the health of many of his patients before the patient catches on that he's a bad doctor. some patient catches on, but some don't, or not quickly enough. 19:58:18 but it just feels like the right term. 19:58:46 this system doesn't catch everyone, and there are still bad doctors out there for various reasons, but some doctors are stopped this way. 19:59:01 they're paid from state tuition, like the crank doctor would be payed, so it's all the same. 19:59:26 so what's the overarching point tho. 19:59:28 imode: what's the 5D about? time cube? 19:59:32 yeah lmao. 19:59:37 was in response to Hooloovo0. 19:59:51 yeah, but I also claimed that he doesn't do maths 19:59:53 http://web.archive.org/web/20070927220333/http://www.lib.hcu.edu.tw/journal/files/CAS/CAS0206.pdf 19:59:53 maybe I'm wrong 20:00:06 is a kind of weird read 20:00:13 I didn't recognize any of what he did as maths, but maybe I'm not imaginative or haven't read enough crank math 20:00:25 it didn't seem to be intended as math to my eyes 20:00:34 not even as much as Wolfram's 20:00:44 imode: And just to be clear and can totally understand hating his book(s)... I'm not sure I could read GEB these days. I liked it as a late teenager. 20:00:53 -!- woodface has joined. 20:01:31 -!- woodface has quit (Read error: Connection reset by peer). 20:01:37 I guess Hofstader shouldn't be classified as a crank. 20:01:44 I think I just saw it as all meaningless statements that are trying to motivate people to do something, that is, politics, although a rather bad attempt at that 20:01:51 just somebody who really shouldn't be that notable. 20:01:52 fake celebrity, I guess? 20:02:24 when a politician talks about global warming and what he wants to do about it, I don't think he's talking physics. I take it as talking politics, with physics jargon because that's what politicians do if it helps them. 20:03:14 my default is that politics talk is mostly meaningless, and I have to leave it to politologists to read everything and figure out what the guy will actually do, 20:04:01 and then either blog about that in a meaningful way, without the political talk nonsense, like saying that he believes if this politician is elected, he'll build more nuclear power plants, or whatever 20:04:48 and then he blogs about it, or publishes in politology journals if he feels like he needs grants, and tells it to journalists who generally distort the whole thing and tell it on news websites 20:05:06 and of course he can be factually wrong about his predictions, even consistently if he's a bad politologist 20:05:33 I'm gonna be honest, I've only skimmed the time cube guy's page. 20:05:36 but so what? my aim isn't to become a better politologist than the ones I can read if I really want to know who to elect or when to leave the country 20:05:58 imode: some years ago I read a few pages (it's text with huge font, mind you) 20:06:06 (I think I actually zoomed it out, rare with a webpage) 20:06:21 there's still a copy linked from wikipedia if you want 20:06:25 or an extract in the wisdome 20:06:32 `? time cube 20:06:32 lmao, I've had my fill of crank shit today. 20:06:33 EARTH HAS 4 CORNER SIMULTANEOUS 4-DAY TIME CUBE IN ONLY 24 HOUR ROTATION. 4 CORNER DAYS, CUBES 4 QUAD EARTH. Bible A Lie & Word Is Lies. Navel Connects 4 Corner 4s. God Is Born Of A Mother - She Left Belly B. Signature. Your dirty lying teachers use only the midnight to midnight 1 day (ignoring 3 other days) Time to not foul (already wrong) bible time. Lie that corrupts earth you educated stupid fools. 20:06:56 admittedly, I wrote that, so it could be biased to what I want to imply about him 20:06:59 I want a shirt that says "Educated Stupid". 20:07:29 anyway, he's very bad even as a politician, and I don't think he managed to achieve anything other than making a meme 20:07:33 @quote lambda.cube 20:07:33 No quotes match. Maybe you made a typo? 20:08:02 I don't think he got any of what he actually asks people to do in that, like killing your teachers or whatever it was 20:08:11 no, that wasn't it 20:08:13 um 20:08:13 like I said, you just need to step back into the fifth dimension. 20:08:22 all will make sense when things stop making sense. 20:09:17 uh, there are science fantasy films about the fifth dimension. there's even a really good one: the Phineas and Ferb movie (I'm not sure about its title) 20:09:25 I can look up the title if you care 20:09:27 it was a joke. 20:09:30 but you'll find it anyway 20:09:35 I know, but since it's a good film 20:09:37 only problem is 20:09:54 it's a better film if you watch enough of the show first to know the general setting and characters 20:10:06 so it's not a film I recommend watching first if you haven't yet watched the show 20:10:21 but if you have watched the show, even just like half a season of it, any random half a season, then it's good 20:11:04 like, you have to know who all the main characters are and their basic relationships, because in the film there isn't enough introduction and everything changes because of a catastrophe they have to fix 20:11:14 and it works MUCH better if you already know the original situation 20:11:31 Dear Carl, just adding the modifier "Inconsistency-robust" to the names of the elements of a more or less standard sequent calculus does not make it paraconsistent. In particular, you have enough rules to prove p /\ -p |- q /\ -q. 20:11:33 but the TV series is good too, although not everyone is a target audience 20:11:35 * int-e has read enough. 20:11:49 int-e: that's exactly the conclusion I came to. 20:12:02 there's nothing of substance.. 20:12:45 it's a show that doesn't take itself seriously, with not much logical consistency and much more emphasis on the character's motivations, and then just not caring if what they do makes sense even in a fantasy world, 20:13:28 sort of like Harry Potter or Star Wars, but much less serious time and much more jokes and whole episodes played for fun, while the character motivations are still consistent (except when they're mind-controlled etc) 20:14:03 but if you like those types of media, then I recommen Phineas & Ferb 20:14:32 I'm saying this in the wrong place 20:14:46 let me quickly copy-paste it to another forum where more people listen 20:15:22 actually, I should only copy it and make a blog post from it to its blog 20:15:35 some day 20:18:16 imode: Actually I might still enjoy GEB. I just have to skip the formal parts :P 20:18:52 The perfect record player plot was cute. 20:19:04 int-e: the problem is I have an implicit assumption going in: that all the romance talk is going to lead up to an eventual climax: some actual fucking. 20:19:10 int-e: Was it? 20:19:23 shachaf: it ... resonated with me. 20:19:26 What about a record player that has two disassembly components, where each one can disassemble the other one? 20:19:38 I don't think I'll read the GEB review, sorry. I've read it, I like it, and since I'm a mathematician I think I did realize that the mathematics part doesn't add anything I didn't know from better sources, and the DNA stuff was pure useless nonsense. 20:19:40 I felt like there were all sorts of reasonable objections that weren't raised. 20:19:54 hofstader just kinda tells you the shit he's gonna do you, and then dines-and-dashes. 20:20:29 imode: there is a climax. it's not fucking, and it's not anything you learn about science. it's a climax in the fiction parts, and a decent one at that. 20:20:38 shachaf: thank you. the point of an analogy is to draw direct comparisons as a gateway to knowledge. 20:20:48 not, like, what you get from your favourite fiction author, but still a decent one. 20:20:53 `? quine 20:20:54 ​`? quine 20:21:02 `quote LAMBDA 20:21:02 102) Gregor-P: I don't think lambda calculus is powerful enough \ 331) [after a long string of Lymia getting lambdabot to spit out huge, meaningless type signatures] I need to learn more Haskell... ..I need to get op privs. \ 409) rest in peace lambdabot???? monqy: it'll probably be back later nap in peace \ 494) monqy: help how do I use lambdabot to send messages to people. [... 20:21:06 wob_jonas: if I wanted fiction I'd read fiction, not something masking itself as nonfiction. 20:21:07 hm 20:21:44 if you read it with the expectation that it will be like Smullyan's books, that teach you some actual mathematics in the climax, then it's a flop 20:21:49 but that shouldn't be your expectation 20:22:06 what should be my expectation of a book that tells me it's about the real world. 20:22:11 he's not Smullyan, he's just a long-time friend 20:22:25 imode: well, obviously it depends 20:22:26 by the way RIP Smullyan, I'll be missing you 20:22:48 like, you can defend this all you want, it's not going to change the fact that it shouldn't be held up on a pedestal like it currently is. 20:23:00 imode: come on, half of it was dialogs that are obviously fantastic fiction. why'd you read it as non-fiction? was it the Smullyan expectation? 20:23:17 did you seriously expect that there's anyone else who's as good as Smullyan in the exact same genre? 20:23:31 didn't Smullyan's, you know, reputation get to you? 20:23:34 no, it's that dialogues are intended to expound on something. 20:23:40 if you read it with that expectation, I'm sorry 20:23:47 then I can understand you didn't like it 20:24:05 they're used as an investigative tool. and I don't feel Hofstader gave me any sort of conclusion. 20:24:10 imode: no, they were fun. that's how I read most fiction books too. it's rare that I can learn something from them. 20:24:12 other than talking lavishly about... a lot of nothing. 20:24:23 listen, you're trying to defend a book you like, I get that. 20:24:38 you're not going to change what I've said or what I will say lmao. 20:24:51 sorry if you took offense to what I've been saying. 20:25:06 there's even clearly fiction books that do have a message (or Aesop if you want) but the message is one I don't like, yet I read the fiction book and actually enjoyed it, because I enjoyed the style and characters and decent writing, and ignored the message 20:26:39 my final thoughts are that you can't take a book parading itself as nonfiction and judge it as a work of fiction in order to praise what you think are good aspects about it in order to avoid negative judgements. 20:26:51 on that, afk. 20:27:00 the specific book that was most like that is Julie Bertagna, Exodus 20:28:02 "you're not going to change what I've said or what I will say lmao" => ok, if you don't want to talk about it, I can stop. but sometimes, when I talk on the internet with people I actually know about works that one of us enjoyed more than the other, 20:28:36 and we tell what we liked and what we didn't, the end result is that I get to enjoy the work better, especially if I then re-read or rewatch the same work with the conversation in mind. 20:28:51 it doesn't always work, because sometimes the work still doesn't work for me (sorry for the pun) 20:29:16 I do this a lot for TV series episodes of My Little Pony: FIM, but I think it works for other fiction too, which is why I'm trying 20:29:22 if you don't want to listen, then I can stop 20:29:36 imode: ? 20:30:32 and I think it paraded itself as pop nonfiction at worst, and I already knew not to expect much from pop nonfiction by then, 20:31:18 because when I was young, I read a lot of children's pop nonfiction books, and I liked them, but when I grew up and learned about the world, I realized that most of those pop nonfiction books were actually really bad, if you take them at face value 20:31:36 most primary school textbooks also are, by the way 20:31:45 for similar reasons 20:39:07 -!- imode has quit (Quit: WeeChat 2.2). 20:54:42 -!- aloril has quit (Ping timeout: 260 seconds). 21:02:05 -!- lambdabot has quit (Remote host closed the connection). 21:04:12 -!- bmos has joined. 21:04:52 -!- lambdabot has joined. 21:05:24 -!- bmos has quit (Remote host closed the connection). 21:08:28 wob_jonas: oh you’ve watched P & F too 21:08:31 -!- aloril has joined. 21:08:57 arseniiv: most of it 21:09:03 not all episodes 21:09:12 I'm missing some mostly from the later seasons 21:09:30 but there are a lot of good episodes I've watched three or more times 21:10:15 arseniiv: what does "too" mean? have you watched P & F? or is it that I watched practically all MLP and most of P & F too? 21:16:36 BTW have anybody watched my vid? 21:18:47 wob_jonas: have you watched P & F? => this one 21:22:35 arseniiv: I haven't seen the link 21:22:40 can you please post the link again? 21:22:44 also on ways of treating art: I had gained much when I started not to skip parts that seem boring. With good authors, it really pays later, I’d come to thing 21:23:05 I appreciate you training handwriting by the way. we need more online lectures on that. 21:23:10 absoutely can, here it is: https://youtu.be/cYOqMf0xw4c 21:23:37 arseniiv: I know. I love typography and calligraphy, both restricted to the recent European subset 21:23:44 thank you, but you better watch it first, I’m afraid it’s too messy 21:24:19 sure, I'm thanking the attempt in first place. if you fail, it might still push others to make a better video if I tell them that this is the best you could get. 21:25:28 let me point to this great example of calligraphy (and also great drawing) from 1898 by Zichy Mihály: https://commons.wikimedia.org/wiki/Category:Illustrations_to_J%C3%A1nos_Arany%27s_ballads_by_Mih%C3%A1ly_Zichy 21:25:55 (you can also buy it on dead tree if you're in Hungary) 21:26:28 wob_jonas: oh, I have a friend who for some time does calligraphy as a hobby, it’s interesting, and he even promised to write a page of text from Summa Logicae somewhere in the future :) 21:26:55 arseniiv: I'll watch it now. can I give commentary as the video goes, or should I hold it all until the end? 21:27:19 Summa Logicae => in what language is that? 21:28:06 I am not interested in learning calligraphy myself anymore, I am more interested in doing typography myself, it's just that I appreciate both 21:28:20 I just want to learn the basics of handwriting in Russian for the reasons I had told you 21:28:42 I know the basics of Hungarian handwriting 21:29:27 wob_jonas: let me point to this great example of calligraphy (and also great drawing) from 1898 by Zichy Mihály => ah, thanks! Really appeals to the eyes, and I haven’t seen this style before. I’ll show these to my friend 21:29:45 I'll watch it now. can I give commentary as the video goes, or should I hold it all until the end? => as you wish 21:30:31 arseniiv: is it the calligraphy or the drawing you like? if the drawing, you can find more examples of his drawing, because his works (or at least most of them) are in public domain now, and many of them are available online 21:30:48 I don't know of any other pieces of calligraphy he's done available online though. 21:30:50 in what language is that? => latin, it’s by William [of] Ockham 21:31:01 ok 21:33:23 I'd really have liked if he added "A hamis tanú" and "A kép-mutogató" to that series, but alas, he didn't, and he's dead since 1906. 21:33:35 is it the calligraphy or the drawing you like? if the drawing, you can find more examples of his drawing, because his works (or at least most of them) are in public domain now, and many of them are available online => I didn’t concentrated on drawings yet, but yes they at least match the handwriting 21:34:50 The best we could get is to commission a really good painter-forger and a really good calligrapher-forger to make those imitating his style, but such a comission would cost more than a car in my estimate, and I don't think there'd be enough backers on a crowdforging site and I don't have the money myself, so I haven't even tried to ask a price quot 21:34:50 e. 21:36:10 they at least match the handwriting => yes, it's by the same hand, and from the same volumes composed together. I think he actually drew the letters overlapping the images on the original. 21:37:26 and I think the original 1989 volume wasn't even made with the easy modern photographic technique that can copy basically any drawing in high fidelity, he had to do it the hard way, with whatever the one of the other two methods were for this than etching back then (it's not etching) 21:38:00 oh 21:38:35 the modern reprint, of course, uses digital photography and digital printing, but since it's in a high enough quality (you can see the printed dot pattern if you zoom in, I scanned in 600 dpi to avoid most of the Moiré), I don't mind 21:39:59 I could get on-site access to the original edition in libraries, and in fact had seen two of the four volumes earlier, but it would be hard and expensive to get them to photograph it (it's an old book so libraries won't scan, they'll only photograph), 21:41:04 I chose the cheap solution and bought a throwaway copy of the reprint, I destroyed it with my heart bleading on destroying a copy of such a beautiful book while I cut open the binding and actually cut into many pages during. 21:41:31 (the last couple of minutes I think I think shallowly. You tell interesting things and I can’t properly respond to them) 21:41:37 In retrospect, most of that wouldn't have been necessary, I would only have had to remove the outer hard cover to be able to scan, but I didn't realize that back then. 21:41:59 Would have destroyed the book anyway, so it doesn't matter much in the end. 21:42:31 this is 21:42:45 It's not entirely destroyed, since that would have made scanning impossible, all the single pages are still intact, so I can read it carefully at home. 21:43:07 And if that weren't so, I could buy a new copy. The reprint is cheap (around 6000 HUF) for what it's worth. 21:43:33 -!- sleepnap has quit (Quit: Leaving.). 21:43:45 But all that plus the cost of scanning plus my time was totally worth IMO for sharing a digitized version with all the world, many of whom wouldn't even hear about this book otherwise. 21:43:54 (I can’t write properly, sorry) 21:44:06 But all that plus the cost of scanning plus my time was totally worth IMO for sharing a digitized version with all the world, many of whom wouldn't even hear about this book otherwise. => totally agree 21:44:23 I hope some of them will buy a copy of the reprint so they have a print copy, thus supporting the publisher to whom I owe a big thanks for reprinting this. 21:44:52 maybe I should scan something thin and softcover if I find out it’s rare and interesting 21:45:05 The reprint is from 2016, so they actually did the expensive digitizing process in a much more professional way then I could have payed for. I would not have done that. 21:45:47 arseniiv: I have suggestions. Where do you live? 21:46:56 There are two Jules Verne books with beautiful illustrations by Jules-Descartes Férat (1829–1906) engraved by Charles Barbant (1844—1922) 21:47:37 They're in public domain and there are reprint version available, at least in Hungary, usually together with the bad old public domain translations. 21:48:06 -!- onur4 has joined. 21:48:13 There are low resolution scans of them online already, but no good high res ones. 21:48:23 I'm working on it, but if you want to speed it up, I'd appreciate it. 21:48:46 The books aren't technically thin, but if you only scan the etchings, not the text, then it's not many pages. 21:48:51 -!- AnotherTest has quit (Ping timeout: 240 seconds). 21:48:52 -!- onur4 has quit (Remote host closed the connection). 21:49:08 You'll need a decent scanner. I used a copy shop one, which isn't perfect, but is cheap. 21:49:41 There's a professional service for this, but I don't want to cough the money up for that yet, except for a few very valuable family photos that they can scan better than I could. 21:50:07 (I'm also scanning family photos for my family, not for publishing. Different project, but can do with same trip sometimes.) 21:51:11 There's no need to scan the text of any Verne, most public domain translations and all originals are already not only scanned but digitized to text and proofread and published. 21:51:29 The exception were if any happened to go out of copyright around now, but I don't know of any such translation. 21:52:09 hm, I didn’t think that far. I’m in Russia in a more or less big city, and for these books it’s possible to be in the library somewhere near (though I doubt it, maybe in Moscow or St. Petersburg, I’m far from these), but I can’t say I’m into libraries and I had never scanned a book 21:52:39 If you make anything publishable and in public domain, please either publish to Wikimedia Commons, or ping me or them after you publish so I can upload it to there. 21:52:53 I can help in the uploading and metadata on Commons if you want. 21:53:16 Also, if you can, ping me in advance if you do it with this specific case, so we don't do redundant work. 21:53:53 But only do this if it actually causes you pleasure. Nobody will compensate you by money for this, unless you somehow solve that yourself. 21:54:04 And even then, it's not worth if you don't actually like it. 21:54:09 Not every art is your style. 21:54:36 This one is just my favourite etcher. 21:55:19 wob_jonas: okay! I doubt I could help with this case, but thanks for both offers 21:55:32 wob_jonas: And even then, it's not worth if you don't actually like it. => agree 21:56:27 Commons already has a copy of all the low res scans by http://jv.gilead.org.il/rpaul/ , a site that honors Jules Verne's books *original* illustrations (rather than the crap some publishers put in in 2050 to 2000, when the photographing tech wasn't yet cheap or possible at all, or the original drawing wasn't yet out of copyright, and they couldn't 21:56:27 get their hands on the original etch master plates. 21:56:57 I think the old translations around 1900 actually borrowed the original plates of etching, which is real impressive. 21:57:20 By the way, some of them, including the one I already published, uses the original plates but messed up the printing process, so the drawings come out too dark and some details are invisible. 21:58:00 I have scans of half of the drawings of this same book (Indes Noires) from another edition (the Szegő György translation) waiting on my hard drive to edit and publish. 21:58:38 Also, I should really make more backups of my hard disk, although I think I have a single backup of those scans. 21:59:02 Ok, I should finish ranting and watch that video like I promised. 21:59:09 :) 21:59:56 But really, look at http://jv.gilead.org.il/rpaul/ , you might find an illustrator and etcher whose style you prefer over Jules-Descartes Férat and Charles Barbant 22:00:05 I can't claim that they're objectively the best 22:00:19 it’s very nice to read your “ranting”, I should say 22:00:43 Yes, but I never get to watch the video. It's already past midnight and I should work tomorrow and I'm already on like -4 hours sleep. 22:00:46 maybe -6 hours. 22:01:02 maybe you expect too much of silly me, though :D 22:01:05 And I wanted to do other things today too, but don't we always? 22:01:17 arseniiv: I want to give feedback. 22:01:21 Repeat my old question: 22:01:42 I'll watch it now. can I give commentary as the video goes, or should I hold it all until the end? 22:01:58 as I said, as you wish :) 22:02:16 Is there supposed to be any sound? 22:02:26 no 22:03:25 also, it’s almost half a hour, and I’m personally going to sleep, so you could technically watch it tomorrow, I absolutely don’t mind 22:04:14 no need to hurry 22:04:27 you can logread 22:04:32 I'm riled up now 22:04:34 and good night! 22:04:42 yeah, I’ll definitely read 22:04:55 "privet!" I think. I'm not sure that's a p, but a p would make sense. 22:05:06 correct 22:05:15 well, see you later 22:05:42 (I have to learn to read this too, if I want to write it for myself.) 22:08:26 "Aplê..." let me get those drawings from yesterday 22:09:37 -!- aloril has quit (Ping timeout: 248 seconds). 22:09:59 that looks more like a "p" though. what's the deal with the "p" in "privet!"? 22:11:58 what do you mean by "what's the deal" with the "п" in "привет!"? 22:12:09 ah, "Aplêičau" 22:12:41 int-e: in the video, it looks strange. and this is a video demonstrating a consistent form of handwriting, so if it were strange, ar' would have edited it out 22:12:51 so I think there's something I don't understand there. 22:13:00 It doesn't look like a "P" either. 22:13:13 (I would think it's derived from π not p) 22:13:27 sorry for using the ISO-9 transcription by the way, I don't have an easy way to type the russian characters, but I can type these easily 22:13:27 -!- arseniiv has quit (Ping timeout: 240 seconds). 22:13:30 -!- aloril has joined. 22:13:57 int-e: yes, but there's a normal shaped p right in "Aplêičau" on the next slide 22:13:58 same for the russian Р vs grrek Ρ. 22:14:07 *greek 22:14:22 * int-e isn't going to watch any video now. 22:14:25 yes yes, I know. The russian r looks somewhat like the latin p. I know that. 22:15:32 The context is, I know the russian alphabet, I just want to learn how to handwrite it, because it annoys me that I can't jot down russian names in notes, and I'm using ISO-9 transcription handwritten instead, which works but hurts me inside. 22:16:02 And arseniiv volunteered to teach the handwriting he learned, because he agreed there are no good enough tutorials on the internet. 22:16:24 I don't expect his video to be perfect, but he won't just leave a bad letter in there. 22:16:44 He said he edits the video, so he would have replaced any obviously bad parts, so I refuse that explanation. 22:17:21 Ah no, it's "Aplêjčau", you write the brevis after the rest, I paused too soon. That even sounds more like a word. 22:17:49 int-e: does that make sense? 22:18:31 the "cursive" column from https://en.wikipedia.org/wiki/Russian_alphabet matches what I remember.\ 22:18:47 I have no clue what "Aplêjčau" is. 22:19:00 int-e: ar' gave better links yesterday: https://www.reddit.com/r/russian/comments/69mcom/%D0%BF%D0%B8%D1%88%D0%B8_%D1%80%D1%83%D1%81%D1%81%D0%BA%D0%B8%D0%B5_%D0%B1%D1%83%D0%BA%D0%B2%D1%8B_%D0%BF%D1%80%D0%B0%D0%B2%D0%B8%D0%BB%D1%8C%D0%BD%D0%BE/ https://i.pinimg.com/originals/9f/9d/4a/9f9d4aa8e31eadcd2f4dfc44d23dd9f6.jpg 22:19:26 both are images in HTML 22:19:30 or pure images 22:19:32 I dunno 22:19:33 not videos 22:19:43 my guess is Appalachian mountains, in America 22:19:52 but that's just a guess, I didn't check a dictionary 22:19:57 I don't care 22:20:01 STUPID Firefox... when I make a selection in my terminal, please follow X standards and forget your own selection so that I can actually paste what I marked?!?! 22:20:39 (Referencing the drawings for the "B" word too.) 22:21:52 "Betel'gejze" I think 22:22:31 nice mousewriting, I couldn't draw such a continuous line with a mouse 22:22:51 or very nice video editing to hide the jumps 22:24:55 "Veneciâ" 22:26:14 "Gimalai" more mountains, although this one has a strange spelling, ending in "ai" 22:27:07 "Daniâ" 22:28:26 "Enisej" the river in Russia, right? 22:28:49 -!- ajvpot5 has joined. 22:30:20 shachaf, there will be no olist this past Monday, but there will be one earlier today. 22:31:22 "Ëtunžejt" and you write the diaresis and the brevis in the Right^{TM} order, not the French order. good. they haven't infected your education with that nonsense yet. 22:32:40 "Ženeva" 22:33:07 https://en.wikipedia.org/wiki/Ap_Lei_Chau is Аплєйчау 22:33:13 * int-e shrugs 22:33:36 -!- ajvpot5 has quit (Ping timeout: 256 seconds). 22:33:50 int-e: ok 22:34:50 "Zanzibar", we're at the capital letters that are hard to write now. 22:35:02 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...). 22:35:43 (I don't mean "I" of course. that's an easy one.) 22:36:23 "Iguasu" perhaps? 22:37:01 (well, for me that is, because it's the same as a latin "U" would be in this style) 22:40:12 "Jiglava" it looks like 22:40:28 but I could be confusing letters of course 22:41:26 another hard letter. "Kël'n" 22:43:24 another hard one (it looks easy, but I'm sure it's hard to write in a way that I can read it unambiguously too) "Labraziâ" wait, you lifted your pen during that "r" I think 22:43:44 we'll see later in the video if that's how "r" is supposed to work, I guess 22:45:56 "Merkurij" and I think this time you didn't lift your pen during either "r", but you did during "k", which looks more reasonable. Also, that's a scary example name to me. 22:46:44 ah yes. the lower case "n" does look hard, good thing you wrote it three times here. 22:47:17 "Nil" three letters? I feel shortcharged for my no money :-) 22:48:07 Is the first lowercase "o" the final form? 22:49:18 if so, that's interesting, in Hungarian if I write proper cursive, I always use the second form for a top connection or final, and an entirely different form of "o" for the low connection 22:49:47 so not even "o" is the same in russian and latin? no, I can't believe that. it's probably just different in different styles of cursive. 22:49:55 -!- moei has quit (Quit: Leaving...). 22:50:39 -!- moei has joined. 22:50:42 "Oblako Oorta" 22:51:05 (placenames can be strange) 22:51:31 "Palau" easy 22:51:41 well, easy because your mousewriting is really good 22:52:31 I won't be able to read a word of my own handwriting at first, I think, so there's a cost for the ideal 22:53:01 I might have to do multiple tries of the same word each time and an ISO-9 transcription too so I can read it back 22:53:20 which is ugly, but a step towards the goal I'll never reach 22:53:43 since I intend to spend my practice time on cubing, not russian writing 22:53:47 most of it at least 22:55:06 "Rodiniâ" but I'm not sure in this one 22:56:13 "Salnce" I think. 22:56:25 Ok, I'll stop the video here and continue to watch the rest some other time 22:56:28 because it's too late 22:56:35 but it's nice so far 22:57:02 I'll probably have to rewatch it too after I watch the whole thing, to notice more stuff about the letters 22:57:52 thank you very much so far, aarseniv (and I hope you can figure out which comments are for you and which for int-e) 22:58:57 https://en.wikipedia.org/wiki/File:Rodinia_reconstruction.jpg 22:59:46 in case you can't read ISO-9, which is quite possible since you need that stuff to find books or get information about books in library catalogs in Hungary and many other countries where library catalogs use latin letter transcriptions for literally everything 23:00:48 it's a bit strange, because in Hungary, probably more people could read the printed cyrillic than the ISO-9 transcription, but perhaps it's a tradition from when they don't have russian typewriters for library catalog slips 23:01:06 wob_jonas: not sure whether this is directed at me, but the ISO-9 is really confusing to me 23:01:24 int-e: no, that's directed at aarseniv mostly 23:02:24 -!- S_Gautam has joined. 23:02:59 so, aarseniv (but int-e too if you care), if you can't read ISO-9, https://en.wikipedia.org/wiki/ISO_9 has a full table comprising the cyrillic letters in most languages that use them, and 23:04:35 https://en.wikipedia.org/wiki/Romanization_of_Russian#Transliteration_table has a table for Russian alphabet only (plus obsolate letters in bottom rows), look at the column with heading "ISO9:1995; GOST 2002(A)" 23:04:47 you want this second one for the Russian I type 23:05:45 note that if "Я" is transliterated anything but "Â" then you're looking at the wrong column. That one is very important for the library catalogs, and appears in my transcripts too obviously 23:07:11 It is good that libraries use this sane system, because the ones that use "Ja" for that and "j" and "a" for other letters are a bit annoying to say the least, and so are the ones that use "ya" and "y" and "a" respectively 23:08:20 Except obviously there have to be standards for printing these passports that always have your name in ascii letters, but that's not what a library catalog transcription aims for 23:12:40 Stupid anecdote: there are also cyrillization systems, to transcribe latin to a local alphabet. When I was in Macedonia, back before they were full EU members so they had a bit stricter rules for visitors, I changed cash from I don't know what currency to the local currency. 23:14:27 The cash converting agent was required to give me a printed receipt that includes my name as it appears in the passport. My name has a Hungarian "zs", which he transcribed to macedonian as "ЗС", which was probably by the transcription rules he used, but looked riddiculous to me. 23:14:48 It obviously doesn't matter what he writes to the receipt, which is why I said it was a stupid anecdote. 23:15:05 -!- aloril has quit (Ping timeout: 240 seconds). 23:15:31 ISO-9 is Russian-centric, so Russian transcribed with it actually looks relatively good, but most other languages transcribed with ISO-9 look horrible. 23:16:25 Luckily in library book catalogs in *Hungary*, it is much more common to find Russian names or titles than names or titles from other languages, because of the effects of the Soviet Union suppressing a lot of local languages, 23:17:57 Very rarely you can find books in Ukranian or Croatian or Belarussian, with title presumably in those languages, but I don't look at the title much so it doesn't matter. I have yet to see a Macedonian one. 23:18:46 I think I've also seen ones marked as Serbo-Croatian. 23:19:16 I think Serbian is usually not transcribed by ISO-9, but by serbian latin, which happen to coincide in all except one letter the serbian "j" 23:19:35 -!- Phantom_Hoover has quit (Remote host closed the connection). 23:19:44 um no, they don't coincide of course 23:19:55 but they never clash other than at the serbian "j" 23:20:36 -!- aloril has joined. 23:20:43 but the clash is only a theoretical problem, and not being able to automatically decide which words are transcriptions from what language is a much more serious theoretical problem 23:20:46 good night now 23:21:27 (or, technically, from which group of languages using the same transcription system, including identity for all latin letter languages as the transcription system) 23:22:14 And if Chinese or Japanese transcription is involved, you're in even more trouble 23:22:32 You can't even automatically untranscribe that, although there are pretty good approximation algorithms now 23:24:23 Apart from transcribing between different countries of kanji, I have heard of only two transcription systems that promise to transcribe most Japanese texts to a limited alphabet, 23:25:34 and both are systems for extended Japanese braille methods for transcribing kanji, and one I've only seen as vague descriptions, for the other I've seen somewhat extended descriptions (I never sought a full list) and it seems nicely done except that it's REALLY fucking crowded with practically zero redundancy 23:26:36 It translates to backwards 8-point braille, where the two extra dots are *above* the normal six dots, which I don't think is used anywhere other than this one system, and doesn't even have a Unicode encoding. 23:27:19 https://en.wikipedia.org/wiki/Braille_kanji by the way 23:27:53 Uses the extra upper two dots only to mark kanji, with the upper left set at the first cell that encodes a kanji and the upper right set for the last cell. 23:28:48 Each kanji has at most one encoding (luckily) which can be one cell, two cells, three cells, I don't know the upper limit, tries to be somewhat mnemonic, but the one and two cell spaces are REALLY crowded, giving no redundancy in kanji 23:31:46 and normal braille kanji is already so crowded that literally all 64 possible six-point cells are used to mean something, and even this way it needs extra cells to mark dakuten and switches to and from katakana and to arabic digits and to romaji 23:32:08 and there's some even more horrible hacks that I think I erased from my memory 23:32:47 yet this system, if it actually lives up to its promises, would be a very good base for a faithful transcription system of Japanese to latin script (with punctuations) 23:33:06 but as far as I know, there is no such transcription system 23:33:53 it could also be used as base for a transcription system from Japanese to a funny script that's made of kana-only plus overbars for indicating kana that stand for kanji, plus some punctuation 23:34:55 the kana part and simple japanese punctuation would be identity-transformed, and the kanji transcription could be typed on a keyboard or transmitted through morse code or signal flags or teletype or 23:36:00 with an automatic transcription, make it easier for European people to read digital Japanese texts with kanji or handwrite them without having to learn the calligraphy, although that one is probably so taboo that nobody would attempt to popularize it 23:36:07 well, not in this century at least 23:36:14 still, I can dream, right? 23:37:15 I mean, transcribing kanji for the blind is a noble goal, but for all the rest they would never use such a system now 23:37:38 perhaps in a steampunk level technology fantasy world they would have developped such a system 23:38:36 because no teletypes could handle kanji directly, but the teletype operator can look up kanji in a table (that he eventually learns by heart since it's mnemonic) and transmit text with kanji faithfully, which is better than writing all telex messages with kana only 23:39:00 oh well, I said good night like a long time ago 23:39:11 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 23:47:21 -!- averell9 has joined. 23:53:23 -!- averell9 has quit (Ping timeout: 244 seconds). 23:55:44 -!- boily has joined.