00:02:11 How are you supposed to tell the files apart? <-- well-known bug? maybe one could make a \NUL separating version? 00:02:12 `` cd tmp/wdiff/wdiff-1.2.2/; ./configure 00:02:44 No output. 00:02:54 `` cd tmp/wdiff/wdiff-1.2.2/; ls Make* 00:02:55 Makefile.am \ Makefile.in 00:03:07 `1 cd tmp/wdiff/wdiff-1.2.2/; ls 00:03:08 1/1:ABOUT-NLS \ aclocal.m4 \ AUTHORS \ BACKLOG \ build-aux \ ChangeLog \ confdefs.h \ config.h.in \ config.log \ configure \ configure.ac \ COPYING \ doc \ GNUmakefile \ INSTALL \ lib \ m4 \ maint.mk \ Makefile.am \ Makefile.in \ man \ NEWS \ po \ README \ src \ tests \ THANKS \ TODO 00:03:14 `1 cd tmp/wdiff/wdiff-1.2.2/; make 00:03:16 1/1:make: -n: Command not found \ There seems to be no Makefile in this directory. \ You must run ./configure before running 'make'. \ make: *** [abort-due-to-no-makefile] Error 1 00:03:23 -!- hppavilion[1] has joined. 00:03:39 `1 cd tmp/wdiff/wdiff-1.2.2/; ls src 00:03:40 1/1:Makefile.am \ Makefile.in \ mdiff.c \ pipes.c \ unify.c \ wdiff2.c \ wdiff.c \ wdiff.h 00:04:03 `1 cd tmp/wdiff/wdiff-1.2.2/; gcc -o test src/*.c -I src/ 00:04:07 1/3:In file included from src/mdiff.c:20:0: \ src/wdiff.h:19:20: fatal error: config.h: No such file or directory \ compilation terminated. \ In file included from src/pipes.c:20:0: \ src/wdiff.h:19:20: fatal error: config.h: No such file or directory \ compilation terminated. \ In file included from src/unify.c:23:0: \ src/wdiff.h: 00:04:16 Sounds like a mess. 00:04:23 `1 cd tmp/wdiff/wdiff-1.2.2/; ./configure 00:04:36 If we define 'lying' as 'saying something that you do not believe to be true', then it seems 'I\'m lying' ceases to be a paradox 00:04:56 "paradox" is kind of meaningless, so it doesn't. 00:05:01 No output. 00:05:11 shachaf: But if paradox is meaningless then... oh, wait, that's logically consistent 00:05:50 i answer hard acrostics, i've a pretty taste for paradox 00:06:20 (That particular definition is important- you have to not believe it to be true (not the same as- but containing if you're consistent- believing it to be false), that doesn't mean your belief has to be correct) 00:07:21 There's no excuse for a program this simple not being buildable within the constraints. 00:08:58 (Quick definition: ZF is Zermelo-Fraenkel explicitly excluding the Axiom of Choice, ZFC is including it, and ZF* covers both ZF and ZFC, for when the Axiom of Choice isn't needed here) 00:15:12 Does the part of ZF* that bans a universal set (a set containing itself) only ban sets directly containing themselves (that is, S ∈ S), or does it ban it recursively (which is defined as v ∈∈ S iff v ∈ S ∨ ∃s:[s ∈ S](v ∈∈ S) )? 00:15:19 (I hope that that's legible) 00:15:52 -!- DHeadshot has quit (Ping timeout: 260 seconds). 00:16:27 hppavilion[1]: there is no explicit ban. it simply does not give a means of constructing such a set. 00:16:34 Ah 00:16:39 That's even more evil xD 00:17:09 I want to be able to quantify over all sets (or a subset of all sets satisfying a property), and Russell ruined it for me :,( 00:17:09 ZF doesn't exclude the axiom of choice. 00:17:12 however, the axioms of regularity might be considered a ban, but it's optional. 00:17:33 *axiom 00:17:59 (it says, in one of its equivalent formulations, that there is no infinitely descending chain of sets.) 00:18:01 shachaf: I seem to remember that the C in ZFC means "ZF with the Axiom of Choice", which presumably means ZF is just ZF (and doesn't have the axiom of choice) 00:18:08 Yes. 00:18:15 It doesn't have its negation either. 00:18:20 Well yeah 00:18:31 Any theorem of ZF is a theorem of ZFC. 00:18:38 shachaf: Oh, whoops, I meant "exclude" as in "doesn't include" 00:18:39 -!- Froox has joined. 00:18:50 OK, but the thing you called ZF* is just ZF. 00:19:13 shachaf: OK, then how do I say "ZF, explicitly without taking the Axiom of Choice" 00:19:23 hppavilion[1]: also i cannot read your fancy math symbols in this putty terminal. 00:19:34 oerjan: I felt that may be a problem 00:19:37 What's the difference? 00:20:14 shachaf: Formally, nothing. The distinction is just so you can say "this is true without the axiom of choice" 00:20:19 I suppose it isn't necessary 00:20:26 You say it's true in ZF. 00:20:35 But then again, you don't need a symbol for and and or; you can do it all with nor 00:20:36 Or provable or something. 00:20:40 But we have that symbol anyway 00:20:52 What? 00:21:14 shachaf: Strictly speaking, you don't need a symbol that means AND or a symbol that means OR in logic 00:21:23 shachaf: We could do with nothing but a symbol for NOR 00:21:30 -!- Froox has quit (Client Quit). 00:21:35 But we have those symbols anyway because it makes everything easier to understand 00:21:37 What does that have to do with anything? 00:21:54 shachaf: Well I figured that was a good reason to have ZF*, but I concede that you have a good poitn 00:21:55 *point 00:21:56 -!- Frooxius has quit (Ping timeout: 260 seconds). 00:22:07 I don't see any distinction here. 00:22:21 shachaf: I'm saying that you win. 00:22:49 Because you're right 00:23:13 -!- carado has quit (Ping timeout: 260 seconds). 00:23:35 didn't oerjan invent Tanebventions? <-- pretty sure i didn't. 00:24:16 `` dowg tanebvention | tac 00:24:18 2013-01-31 mv wisdom/tanebventions wisdom/tanebvention \ 2013-02-13 revert 3 \ 2013-02-13 revert 87c64ef250a0 \ 2013-08-27 mv wisdom/tanebvention{s,} \ 2013-08-28 cp wisdom/tanebventions wisdom/tanebvention \ 2013-11-30 sed -i \'s/torus,/torus, Stephen Wolfram,/\' wisdom/tanebvention \ 2013 00:24:25 `` dowg tanebventions | tac 00:24:27 2013-01-31 learn Tanebventions include D-modules and automatic squirrel feeders \ 2013-01-31 mv wisdom/tanebventions wisdom/tanebvention \ 2013-08-27 learn Tanebventions include D-modules, automatic squirrel feeders, and Go \ 2013-08-27 mv wisdom/tanebvention{s,} \ 2013-08-28 learn Tanebventions includ 00:25:00 Taneb: i get a sense you're a bit slow on the uptake 00:25:38 -!- Frooxius has joined. 00:26:03 `` dowg tanebventions | tac | tail -4 00:26:05 2013-08-27 learn Tanebventions include D-modules, automatic squirrel feeders, and Go \ 2013-08-27 mv wisdom/tanebvention{s,} \ 2013-08-28 learn Tanebventions include D-modules, automatic squirrel feeders, the torus, and Go. \ 2013-08-28 rm wisdom/tanebventions 00:26:30 `1 dowg tanebventions | tac 00:26:32 1/2:2013-01-31 learn Tanebventions include D-modules and automatic squirrel feeders \ 2013-01-31 mv wisdom/tanebventions wisdom/tanebvention \ 2013-08-27 learn Tanebventions include D-modules, automatic squirrel feeders, and Go \ 2013-08-27 mv wisdom/tanebvention{s,} \ 2013-08-28 learn 00:26:38 `spam 00:26:43 2/2:Tanebventions include D-modules, automatic squirrel feeders, the torus, and Go. \ 2013-08-28 rm wisdom/tanebventions 00:26:49 oh. 00:33:00 shachaf: Perhaps we could go with "every open set contains an open set homeomorphic to R^n" <-- seems to me that you want a covering by them. 00:33:31 `` dowg d-module | tac 00:33:32 2013-01-24 fmt wisdom/d-modules >wisdom/d-module; rm wisdom/d-modules \ 2013-01-24 sed -i -e \'1N\' -e \'s/\\n//\' wisdom/d-module \ 2013-02-13 revert 3 \ 2013-02-13 revert 87c64ef250a0 \ 2013-04-14 >>wisdom/d-module echo \' Possibly they are also a torus.\' \ 2013-04-14 revert 00:33:39 `` dowg d-modules | tac 00:33:41 2013-01-24 learn D-modules are just modules over the ring of differential operators. \ 2013-01-24 echo >>wisdom/d-modules " Taneb invented them." \ 2013-01-24 fmt wisdom/d-modules >wisdom/d-module; rm wisdom/d-modules \ 2013-01-24 learn D-Modules are simply modules in the ring of differential 00:33:56 Aha, Phantom_Hoover invented Tanebventions. 00:34:25 AHA 00:35:55 `? tanebvention 00:35:56 Tanebventions include automatic squirrel feeders, necessity, Go, Windows 98, submarine jousting, Fueue, the universe, the triverse, metar, weetoflakes, Tanebventions, persistence, the BBC, progress, and this sentence. See also tanebventions: math. He never invents anything involving sex. 00:36:04 -!- centrinia has joined. 00:36:25 `slwd tanebventions//s#Tanebventions, ## 00:36:26 Rosebud! 00:36:40 `slwd tanebvention//s#Tanebventions, ## 00:36:42 wisdom/tanebvention//Tanebventions include automatic squirrel feeders, necessity, Go, Windows 98, submarine jousting, Fueue, the universe, the triverse, metar, weetoflakes, persistence, the BBC, progress, and this sentence. See also tanebventions: math. He never invents anything involving sex. 00:37:06 Taneb is trying to take credit for something he didn't invent. 00:37:19 more like Taneblagiarism 00:38:02 `slwd tanebventions//s#and#the Oxford comma, and# 00:38:02 Rosebud! 00:38:14 ugh 00:38:24 I keep rememering that it's not the one I expect it to be. 00:38:26 `slwd tanebvention//s#and#the Oxford comma, and# 00:38:28 wisdom/tanebvention//Tanebventions include automatic squirrel feeders, necessity, Go, Windows 98, submarine jousting, Fueue, the universe, the triverse, metar, weetoflakes, persistence, the BBC, progress, the Oxford comma, and this sentence. See also tanebventions: math. He never invents anything involving sex. 00:38:46 `? this sentence 00:38:48 This sentence was invented by shachaf. Taneb invented it. 00:39:20 `slwd this sentence//s#[^\.]+#This sentence is just# 00:39:21 wisdom/this sentence//This sentence was invented by shachaf. Taneb invented it. 00:39:30 `slwd this sentence//s#[^\.]\+#This sentence is just# 00:39:33 wisdom/this sentence//This sentence is just. Taneb invented it. 00:39:50 `` cat bin/slwd 00:39:51 sled "wisdom/$1" 00:41:01 `sled bin/slwd//s/$/ | sed 's/^Rosebud!$/Roswbud!/' 00:41:02 sed: -e expression #1, char 15: unknown option to `s' 00:41:26 `sled bin/slwd//s,$, | sed 's/^Rosebud!$/Roswbud!/', 00:41:28 bin/slwd//sled "wisdom/$1" | sed 's/^Rosebud!$/Roswbud!/' 00:42:24 `slwd testations//hi 00:42:26 Roswbud! 00:43:14 hm... 00:43:32 that's not foolproof is it. 00:44:08 `sled bin/slwd//s,s/,1s/, 00:44:10 bin/slwd//sled "wisdom/$1" | sed '1s/^Rosebud!$/Roswbud!/' 00:46:30 `` echo 'test' > "$(echo 'Rosebud!')" 00:46:32 No output. 00:46:43 `ls 00:46:45 bin \ canary \ cdescs \ emoticons \ esobible \ etc \ evil \ factor \ good \ hw \ ibin \ interps \ karma \ le \ lib \ misle \ out \ paste \ ply-3.8 \ quines \ quotes \ Rosebud! \ share \ src \ test \ tmflry \ tmp \ wdiff-latest.tar.gz \ wisdom \ wisdom.pdf 00:47:09 `cat bin/sled 00:47:10 `` ls Rose* 00:47:11 [[ "$1" == ?*//* ]] || { echo 'usage: sled file//script'; exit 1; }; key="${1%%//*}"; value="${1#*//}"; [[ -f "$key" ]] || { echo 'Rosebud!'; exit 1; }; sed -i "$value" "$key" && { echo -n "$key//"; cat "$key"; } 00:47:12 Rosebud! 00:47:19 `` ls Rose*;echo hi 00:47:20 Rosebud! \ hi 00:47:26 oerjan: Maybe use exit status instead? 00:47:36 oh it does have that 00:47:42 -!- Zarutian has quit (Quit: Zarutian). 00:48:09 except how do you do that and handle output 00:48:33 the perils of confusing user interfaces and apis 00:48:35 `` rm Ros* 00:48:38 No output. 00:49:03 well it'd require someone making a very special file, anyway. 00:49:08 so i guess it's fine enough. 00:49:14 (and outside wisdom/) 00:49:22 Make it even more special by requiring ^Rosebud!$ 00:49:51 `slwd ../test//1ahi 00:49:53 wisdom/../test//huh \ hi 00:49:57 oh 00:50:16 it doesn't even work then. i think it's good enough. 00:50:47 the output will always start with wisdom/ 00:51:43 tmux locked up in that bad mode again. and killing the oldest one fixed it, again. 00:52:11 it seems to happen after network errors. 00:54:22 (or potentially, with usage, which works just as well.) 00:56:30 <\oren\> Looks like my suggestion has gotten into some of the more prominent unicode people's heads. horray 00:57:31 hyrra 00:58:28 Not that surprised. Unicode seems like it'll add anything that's faintly reasonable to encode. 01:00:13 `? censorship 01:00:15 censorship? ¯\(°_o)/¯ 01:01:14 `le/rn censorship/The worst part of censorship is that it kills humor, thus preventing us from ironically redacting this wisdum. 01:01:17 Learned «censorship» 01:01:33 What's the word for a single entry into the wisdom database? 01:01:41 I used 'wisdum', but I don't know what's best 01:01:43 \oren\: Can you please get play/pause/fast forward/rewind/etc. into the Unicode people's heads? 01:02:05 Best would be to delete that wisdom entry. 01:02:17 shachaf: I seem to remember Unicode already having it... 01:02:26 <\oren\> shachaf: it has them 01:02:28 `rm wisdom/censorship 01:02:31 Since when? 01:02:31 No output. 01:02:36 `? censorship 01:02:37 censorship? ¯\(°_o)/¯ 01:02:41 `? test 01:02:42 test failed. HackEgo-JUnit is not available. 01:04:07 <\oren\> i dunno. but my font has them 01:04:15 \oren\: And yet they don't have question comma or any of Brah's stuff... 01:04:39 *Brahm 01:04:50 What code points? 01:05:08 Wait, no, I mean Hervé Bazin 01:05:42 <\oren\> the characters for some reason can't be pasted into this terminal?A??A 01:06:20 <\oren\> or perhaps can't be copied? 01:06:39 <\oren\> ⍿ 01:06:40 <\oren\> ⌜⌝⌞⌟ 01:06:43 <\oren\> WTF 01:07:16 <\oren\> `u8tbl 0x23E4 0x23E8 01:07:18 ⏤⏥⏦⏧⏨ 01:07:20 Ψ̣ is a decent approximation of his sarcasm mark 01:07:52 Unicode Character 'STRAIGHTNESS' (U+23E4) 01:08:14 ⏤(Alan Turing) = 0 01:08:34 <\oren\> `u8tbl 0x23F4 0x23F8 01:08:35 ⏴⏵⏶⏷⏸ 01:08:39 <\oren\> WAT 01:08:55 \oren\: wat wat? 01:09:02 That is not a play or pause button. 01:09:12 I see play and pause 01:09:13 It's a triangle and a double vertical bar. 01:09:24 <\oren\> something is terribly worng 01:09:51 <\oren\> at least on my end, apparently hppavilion[1] it is working 01:10:18 <\oren\> `u8tbl 0x23F4 0x23FA 01:10:18 ⏴⏵⏶⏷⏸⏹⏺ 01:10:31 Never mind fast forward and rewind and everything. 01:10:50 <\oren\> shachaf: they should be showing up 01:11:13 <\oren\> shachaf: anyway, they are here http://unicode-table.com/en/blocks/miscellaneous-technical/ 01:11:21 <\oren\> at the end of that block 01:11:50 whoa, so they are ish 01:12:03 Fast forward: ⏵⏵; rewind: ⏴⏴ 01:12:04 Not sure why I didn't find them when I was doing http://slbkbs.org/jsgif/ 01:12:15 Or maybe I did find them but they didn't render properly. 01:13:05 <\oren\> yeah, and I have no idea why they, of all the characters, show up online but not in my terminal 01:17:48 <\oren\> I think tmux may be screwing with them 01:18:13 <\oren\> I shall be very pissed if that is so 01:18:43 my tmux sees them fine 01:19:12 <\oren\> well, your tmux might not be the newest version 01:19:32 2.1 01:19:51 i wouldn't know 01:20:01 <\oren\> that's the newest 01:20:15 <\oren\> I shall investigate 01:20:22 it has at least one other annoying bug, as mentioned above 01:24:41 <\oren\> Ok, never mind, it is ultimately caused by whatever morons wrote the wchar.h on my system 01:26:14 moronis mutandis 01:26:32 -!- otherbot has quit (Remote host closed the connection). 01:30:46 Which libc you using? 01:33:06 <\oren\> not sure 01:33:15 <\oren\> I think it must be glibc 01:33:40 shachaf: jsgif doesn't work on the example given. HTH. 01:38:13 <\oren\> glibc 2.19 it seems 01:38:49 <\oren\> we are 5 versions behind therefore 01:39:04 <\oren\> `` ldd -version 01:39:04 ldd: unrecognized option `-version' \ Try `ldd --help' for more information. 01:39:09 <\oren\> `` ldd --version 01:39:10 ldd (Debian EGLIBC 2.13-38) 2.13 \ Copyright (C) 2011 Free Software Foundation, Inc. \ This is free software; see the source for copying conditions. There is NO \ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. \ Written by Roland McGrath and Ulrich Drepper. 01:39:24 <\oren\> but hackego is even further behind 01:40:09 <\oren\> I think I'll just modify tmux to use a custom wcswidth function 01:40:38 Aaaah, yes, you're using a version of glibc with an old wcwidth table. 01:40:38 <\oren\> instead of figuring out how to install a newer libc on my computer 01:41:20 <\oren\> which, for some reason, assumes that invalid characters have zero width 01:41:29 <\oren\> or something? 01:41:38 Yup, it does exactly that. 01:41:44 <\oren\> FUUUUUUUUUUU 01:42:11 <\oren\> yah, I'm modifying it to have block-based assumptions 01:42:48 2.22 up do just that. 01:43:00 <\oren\> e.g. it's probable that any character added to the supplementary ideographic plane is wide 01:43:45 <\oren\> or maybe i'll grab the new libc's wcwidth 01:43:54 <\oren\> and jam it in there 01:44:40 If you download http://ftp.gnu.org/gnu/glibc/glibc-2.22.tar.xz , gzip localedata/charmaps/UTF-8 into /usr/share/i18n/charmaps/UTF-8.gz , and copy localedata/locales/i18n to /usr/share/i18n/locales/i18n , and rerun locale-gen, you'll have it updated. 01:45:24 (this is because glibc uses a stupidly generic locale system and doesn't have it compiled into libc at all. Which means it can handle arbitrary charsets.) 01:46:58 If we were to encounter advanced alien life 01:47:18 That, through the roll of the dice, happens to reproduce sexually in a way similar to humans 01:47:32 Would it still be meaningful to sort "male" and "female"? 01:47:44 <\oren\> ooh, let's try that 01:48:05 * hppavilion[1] . o O ( cotriangle) 01:49:14 `quørjan 01:49:15 920) <ørjan> maybe i was violated by a pole once \ 18) IN AN ALTERNATE UNIVERSE: <ørjan> In an alternate universe, I would say "In an alternate universe, ehird has taste" \ 302) ørjan you're swedish, right? \ 357) <ørjan> i never meta turing. he died before i was born. \ 362) <ørjan> as i was filled with zzo38 mystery at the moment i 01:50:06 ...why is there a command for that? 01:50:26 hppavilion[1]: I think the tradition is that the big reproductive cells are considered female and the little reproductive cells are considered male. 01:50:27 Wait, did oerjan formerly actually use ørjan as a nick? 01:50:32 What are those called? Gametes? 01:50:41 tswett: Haploids? 01:50:45 hppavilion[1]: no, I think the command replaces all occurrences of "oe" with "ø". 01:50:52 Gametes, yes. 01:50:53 Ah 01:51:01 They are haploid cells. 01:51:05 pikhq: And gametes are typically haploids 01:51:13 Of course, you can't tell which gametes are bigger without a microscope. 01:51:36 Apparently there's also "rules" for how to handle the case when the two reproductive cells are identical in size. 01:51:51 I seem to be spending a lot of time thinking about bags 01:51:58 ... Namely, you pick one arbitrarily. 01:52:22 Though typically they're classed as "+" and "-" rather than "male" and "female". 01:52:25 pikhq: What if they're also identical in everything else? That is, sexual reproduction with only 1 mating type 01:52:42 (Shut up, it could happen) 01:52:57 ...well then you don't have to distinguish, do you? 01:53:05 Would that still be called sexual? 01:53:10 Yeah, I think it would be. 01:53:13 * hppavilion[1] grabs the spare mapole and commits harikari 01:53:24 `? harikari 01:53:26 harikari? ¯\(°_o)/¯ 01:53:28 tswett: If it's a sharing of genetic material between two individuals, it would be. 01:53:32 tswett: Yes, sexual reproduction is just "exchange and mix DNA" 01:53:35 hppavilion[1]: You wouldn't have to distinguish. 01:53:43 This reminds me of my... 01:53:44 pikhq: ...yeah, I figured that out 01:53:52 Well, it's probably not appropriate for this channel. 01:54:10 First, I'm heirarchizing the various types of set the same way as numbers 01:54:14 That alien race I fantasized one day. 01:54:21 I call them the "Musaro". 01:54:28 tswett: ...should I ask? 01:54:31 Black, fuzzy, no eyes. 01:54:51 (So a bag (aka multiset) isn't similar-to-but-different-from a set; a set is just a special case of a bag) 01:55:05 They're genderless, or all the same gender or whatever. 01:55:18 Should you ask? I'll let you use your own judgement. 01:55:24 tswett: You can say genderless, because the gender flag is 0 bits 01:55:45 -!- \oren\ has quit (Quit: Lost terminal). 01:55:46 pikhq: ? 01:55:54 How not? 01:56:08 (that's why a HUMAN can't be truly genderless; they still identify as *something*, even if it's just abstaining- they're like atheists) 01:56:26 shachaf: It can't parse the GIF, apparently 01:56:48 (Atheism isn't a religion, but if you were to ask their religion they'd say "Atheist" (or more likely "none", which is equivalent)) 01:57:31 So the relation between sets and bags is like the relation between integers and rationals; rationals aren't a distinct object with similarities to integers, they're a strict superset 01:57:50 Oh, d'oh! I have Chrome's "data saver" on, which is serving me something other than a GIF. 01:58:10 Also, the reciprocal of an ibag (integral bag; multiplicity can be negative) is the same BUT with all multiplicities negated 01:58:18 Wait, did oerjan formerly actually use ørjan as a nick? <-- that isn't technically possible on freenode 01:58:27 oerjan: I didn't think so 01:59:26 pikhq: What? 01:59:30 Which browser? 01:59:48 -!- ais523 has joined. 01:59:51 Oh. 02:00:03 (Which is nice for, for example, positive rational numbers; since any number >= 1 can be represented as a unique product of primes, you can represent a number as its prime factorization- with negative powers for the denominator- in the form of a bag with items in the factorization with multiplicity of its power) 02:00:13 Yup, it's because the data saver transcodes GIF to WebP. 02:00:29 And jsgif *clearly* doesn't do jack with a WebP. 02:00:39 It should, though. 02:00:43 Actually it should be scrapped. 02:00:52 It has the most inefficient LZW algorithm imaginable. 02:01:02 Something like O(n^2) space, I think it was? 02:01:04 And if you take the reciprocal of such an ibag as defined, it represents the reciprocal of the rational number the original ibag represents 02:01:10 Well, Theta(n^2) 02:01:18 (Which leads me to fuzzy bags...) 02:02:39 Θ(n^2)? 02:02:49 That one. 02:02:55 Unless that one is a phi. I don't know Greek. 02:03:04 No, it's theta 02:03:07 (THETA) 02:03:09 The point is, it's awful. 02:03:14 Phi is Φ 02:03:23 I don't know Scientology either. 02:04:03 Is it considered better practice to transcribe Greek symbols into plain Latin by writing the names of capitals in FULL CAPS or just Capitalizing the first letter? 02:04:08 I saw a Scientology bus in Mountain View once. 02:04:45 fizzie: Where I live, Mountain View is the name of the bad part of town, so every time I see it referring to Google I get confused 02:04:46 hppavilion[1]: I think just the first letter is generally the way to done? 02:05:03 zzo38: That's what I've seen and usually do, but it's also pretty subtle; 02:05:18 -!- centrinia has quit (Quit: Leaving). 02:05:27 It was downtown Mountain View, which isn't all that Google. 02:06:05 fizzie: They used to have a, uh, place on Castro St. 02:06:10 `learn Harikari is the act of comitting suicide because you've mangled a word in an honor-destroying way. 02:06:13 Learned 'harikari': Harikari is the act of comitting suicide because you've mangled a word in an honor-destroying way. 02:06:28 If I capitalize the first letter of one for no apparent reason in the middle of a sentence, then you might not even notice (you do fairly often, but not 100%- and it's much harder when it's just a Standalone name in an expression) 02:06:42 BUT IF I WRITE IN FULL CAPS, YOU'RE REALLY GOING TO NOTICE 02:07:05 If I drop one in the middle of a sentence, you'll probably notice. 02:07:24 shachaf: But less often if it's in a mathematical expression 02:07:43 theta(x)+Theta(y)+theta(z) could VERY easily be read as theta(x+y+z) 02:07:54 If You write like Shubshub, I'll almost certainly Notice. 02:08:21 That individual has A Very distinctive mode Of writing. 02:08:27 (Oh, theta is multiplicative function by the way for no reason) 02:08:43 (Other than that I didn't want to rewrite theta(x)+theta(y)+theta(z)) 02:08:44 I'm not even managing to replicate it. 02:09:11 you weren't duly impressed by addition under atanh earlier imo 02:09:32 I wasn't? 02:09:37 Allow me to check what it was 02:09:53 You should give it a name. 02:10:07 shachaf: I had to leave school. 02:10:12 (Wait, give what a name?) 02:10:30 a (+) b = (a+b)/(1+ab) 02:10:40 Very useful operation, I guess. 02:10:44 Never seen that, but OK 02:10:49 Actually it already has a name. 02:11:21 shachaf: What I was talking about earlier was a(+)b = 1/((1/a)+(1/b)) 02:11:28 Which is just harmonic sum 02:11:36 It's called parallel sum by this one person on Wikipedia. 02:11:39 Whose page I linked to. 02:11:45 Ah, yes 02:12:34 Ooooh 02:12:39 So they're equivalent 02:13:48 There's a link to http://www.ellerman.org/wp-content/uploads/2012/12/IntellectualTrespassingBook.pdf 02:13:50 (If this is parallel sum, does that make + perpendicular sum?) 02:13:51 `slwd harikari//s/comi/commi/ 02:13:53 wisdom/harikari//Harikari is the act of committing suicide because you've mangled a word in an honor-destroying way. 02:15:10 It's called series sum on the page I linked to. 02:15:36 In fact, general sum: a(+_k)b = (a^k+b^k)^(1/k) 02:16:07 Maybe you mean -k 02:16:17 shachaf: Why -k? 02:16:18 you weren't duly impressed by addition under atanh earlier imo <-- was he at least relatively impressed? 02:16:26 I meant 1/k 02:16:40 Er, I don't mean -k 02:16:45 Sum is k = 1, harmonic sum is k = -1 02:17:17 oerjan: I feel there's a pun there, but I don't see what... 02:17:33 Is there some part of math where 'due' and 'relative' are related concepts? 02:17:34 hppavilion[1]: well, you're no einstein hth 02:17:41 hmm, that can come across as rude 02:17:54 shachaf: In what part in particular 02:18:05 coming up with a non-rude pun is left as an exercise 02:18:20 shachaf: It is weird that that could sound rude... the entire POINT of Einstein is that he's probably smarter than you 02:18:24 (for generic you) 02:18:36 `quote ais.*obscure 02:18:37 1243) (on another note, I love the way that the standard way to indicate that you get a reference is to make a different obscure reference to the same thing) 02:18:45 The joke is: (a+b)/(1+1/ab) is how you add velocities in special relativity. 02:18:59 Aaaah 02:19:07 (Velocities from 0 to 1, where 1 is the speed of light.) 02:19:21 Makes sense 02:19:52 And also, (a+b)/(1+1/ab) = tanh(atanh(a) + atanh(b)) 02:19:59 Ooooh 02:20:08 (that's 'oo', not 'oh') 02:21:09 -!- oren has joined. 02:21:20 The old-fashioned way to add velocities is a+b. 02:21:33 shachaf: Yeah, but the math doesn't work ;-; 02:21:47 Can you explain this analogy please: 02:22:05 I tried refreshing the UTF8.gz thing. didn't work. so now I'm compiling a costom tmux with my own char width fucntion 02:22:05 shachaf: i think you mangled the formula this time 02:22:22 oerjan: Which time? 02:23:30 the last one 02:23:41 OK, implemented gsum 02:24:03 oerjan: a+b? 02:24:04 The 0.5-sum of 3 and 5 is... 15.745966692414834 02:24:09 -!- oren has quit (Client Quit). 02:24:09 > tanh(atanh 0.5 + atanh 0.5) 02:24:11 0.8 02:24:23 2-sum is 5.830951894845301 02:24:45 > (0.5 + 0.5)/(1 + 1/(0.5+0.5)) 02:24:47 0.5 02:24:49 How do you define in lambdabot again? 02:24:53 Is it @let? 02:24:55 argh 02:24:59 @let ooga = 5 02:24:59 > (0.5 + 0.5)/(1 + 1/(0.5*0.5)) 02:25:00 Defined. 02:25:02 0.2 02:25:02 > ooga 02:25:03 hppavilion[1]: please see https://en.wikipedia.org/wiki/Lp_space#The_p-norm_in_finite_dimensions hth 02:25:05 5 02:25:08 OK, good 02:25:10 > (0.5 + 0.5)/(1 + (0.5*0.5)) 02:25:12 0.8 02:25:25 shachaf: no nested division 02:25:26 -!- oren has joined. 02:25:36 now I'll try again 02:25:38 @type (^) 02:25:40 (Num a, Integral b) => a -> b -> a 02:25:45 @type (^^) 02:25:47