00:15:46 -!- lambda-11235 has joined. 00:23:40 -!- ybden has quit (Quit: goto sleep;). 00:31:23 Hm... 00:31:36 Is there a wikipedia-like site for "what should have been"? 00:49:31 what 01:01:27 hppavilion[1]: conservapedia hth 01:02:05 [wiki] [[Special:Log/newusers]] create * Eric * New user account 01:11:19 [wiki] [[Esolang:General disclaimer]] M https://esolangs.org/w/index.php?diff=47087&oldid=13314 * Eric * (+43) 01:14:46 [wiki] [[Esolang:General disclaimer]] M https://esolangs.org/w/index.php?diff=47088&oldid=47087 * Eric * (+60) 01:22:13 [wiki] [[Esolang:General disclaimer]] M https://esolangs.org/w/index.php?diff=47089&oldid=47088 * Eric * (+71) 01:24:36 `? color 01:24:50 oerjan: But what's nservapedia then? 01:24:58 ​Color is a phenomenon from outer space designed to drive humanity insane and bring forth the new age of Cthulhu. 01:25:56 that's a wiki of a different lor. 01:27:27 `? colour 01:27:33 ​Colour is a phenomenon from outer space designed to drive humanity insane and bring forth the new age of Cthulhu. 01:28:10 Hm... 01:28:33 I want to change the entry so every word has a 'u' one letter before the end, but I don't know how to do that without fucking up the fanciousity 01:28:55 sed seems like the way to do it, but I can't think of the proper way 01:29:38 i shall leave the advicing on this to shachaf. 01:29:46 *s 01:35:12 -!- variable has joined. 01:46:00 `? The Fundamental Theorem of Taneb 01:46:12 The Fundamental Theorem of Taneb? ¯\(°​_o)/¯ 01:46:26 `` echo wisdom/*Taneb* 01:46:33 wisdom/*Taneb* 01:46:40 Um... 01:46:46 `` ls wisdom/*Taneb* 01:46:48 ls: cannot access wisdom/*Taneb*: No such file or directory 01:46:52 No... 01:47:04 Hm... 01:47:08 I can't remember how to do it 01:47:23 Wait, no, that means that there isn't a file like that 01:47:30 So I did it right, but I read the response wrong 01:47:36 `` echo wisdom/*taneb* 01:47:39 wisdom/fundamental theorem of taneb wisdom/people who taneb is not wisdom/taneb wisdom/tanebvention wisdom/tanebventory 01:47:54 `? fundamental theorem of taneb 01:48:00 The Fundamental Theorem of Taneb states that for all strings S, if S describes a thing, then it is provable that Taneb invented the thing described by S; and, furthermore, that it is provable that there exists a string T that describes a thing that Taneb did not invent. 01:48:07 ... 01:48:13 oerjan: OK, that sounds inconsistent to me 01:49:14 forall x: invented(Taneb, x) && exists x: ~invented(Taneb, x) seems to be impossible (where the domain of x is "things") 01:51:00 -!- sebbu has quit (Ping timeout: 276 seconds). 01:51:26 hppavilion[1]: no, that's an example of "omega-inconsistency" 01:51:28 `` sed -e 's/\([a-z]\(\x03[0-9][0-9]\)* \)/u\1/g' wisdom/colour 01:51:30 ​Colouur ius ua phenomenoun froum outeur spacue designeud tuo drivue humanituy insanue anud brinug fortuh thue neuw ague ouf Cthu 01:51:32 Doesn't fit. 01:51:52 where you can prove something exists but also that every possible example isn't it 01:51:56 fizzie: Oooh, "thue" 01:52:15 oerjan: ...that makes no sense. 01:52:19 oerjan: Why is that a thing? 01:52:23 Oh shit, it's a Godel, isn't it? 01:52:41 There's a lot of redundant (in the sense of being immediately followed by another) color codes in the entry. 01:52:52 hppavilion[1]: because a proof has to be finite, so you cannot collect all the counterexamples into a proof no example exists 01:53:19 fizzie: If you require that the word be at least 4 letters long, it'll fit 01:53:36 oerjan: Ah, yes 01:53:52 hppavilion[1]: not quite, although interestingly, Godel's original incompleteness proof had a weakness related to that 01:53:55 oerjan: Also, "BDSM" describes a thing that exists. Taneb 01:53:57 Whoops 01:53:59 `? Taneb 01:54:04 Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards with dodgy SHIFT KEys, cube root of eight genders, and voluminous but calm eyebrows. (See also: tanebventions) 01:54:11 `? tanebventions 01:54:15 Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, gazpacho, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, the BBC, progress, and this sentence. He never invents anything involving sex. 01:54:20 hppavilion[1]: yes, it's inconsistent with other facts 01:54:23 BDSM is related to sex. 01:54:31 Therefor, Taneb didn't invent BDSM 01:54:43 Therefor, the Fundamental Theorem of Taneb is false. 01:55:11 Did Taneb invent inventing things? 01:55:53 `` sed -e 's/\([a-z]\(\x03[0-9][0-9]\)*[a-z]\(\x03[0-9][0-9]\)*[a-z]\(\x03[0-9][0-9]\)*\)\([a-z]\(\x03[0-9][0-9]\)* \)/\1u\5/g' wisdom/colour 01:55:55 ​Colouur is a phenomenoun froum outeur spacue designeud to drivue humanituy insanue and brinug fortuh the new age of Cthul 01:56:28 Still no go. 01:56:35 `? Gray 01:56:37 Gray is e common misspalling of grey. 01:56:40 `? Grey 01:56:41 Grey? ¯\(°​_o)/¯ 01:57:29 `le/rn Grey is a common misspelling of Gey 01:57:30 I guess 01:57:30 No output. 01:57:49 `` sed -e 's/\([a-z]\(\x03[0-9][0-9]\)*[a-z]\(\x03[0-9][0-9]\)*[a-z]\(\x03[0-9][0-9]\)*\)\([a-z]\(\x03[0-9][0-9]\)* \)/\1u\5/g' -e 's/louur/lour/' -e 's/\(\x03[0-9][0-9]\)*\(\x03[0-9][0-9]\)/\2/g' wisdom/colour 01:57:51 ​Colour is a phenomenoun froum outeur spacue designeud to drivue humanituy insanue and brinug fortuh the new age of Cthulhu. 01:57:56 fizzie: There we go 01:57:59 De-redundanting it works, though. 01:58:07 `` sed -i -e 's/\([a-z]\(\x03[0-9][0-9]\)*[a-z]\(\x03[0-9][0-9]\)*[a-z]\(\x03[0-9][0-9]\)*\)\([a-z]\(\x03[0-9][0-9]\)* \)/\1u\5/g' -e 's/louur/lour/' -e 's/\(\x03[0-9][0-9]\)*\(\x03[0-9][0-9]\)/\2/g' wisdom/colour 01:58:08 fizzie: just strip the colors and add them back with rainbow afterwards? 01:58:12 `? deredundantation 01:58:13 No output. 01:58:17 deredundantation? ¯\(°​_o)/¯ 01:58:18 oerjan: But then I'd be *changing* them. 01:58:23 shocking 01:58:50 Wait, shit 01:59:00 `le/rn Grey/Grey is a common misspelling of Gey 01:59:04 Learned «grey» 01:59:05 `` sed -i -e 's/\(\x03[0-9][0-9]\)*\(\x03[0-9][0-9]\)/\2/g' wisdom/color # let's OPTOMIZE this as well 01:59:08 No output. 01:59:28 `learn Dereduntantation is the process of making things less redundant. It is typically done with either regexes or regular expressions. 01:59:32 Learned 'dereduntantation': Dereduntantation is the process of making things less redundant. It is typically done with either regexes or regular expressions. 01:59:41 hppavilion[1]: have you even read the Gray entry properly, i'm skeptical 01:59:51 oerjan: I have. 02:00:02 oerjan: It uses an e instead of every a 02:00:17 good, good 02:00:18 Wait, it swaps them 02:00:23 Every e is an a, every a is an e 02:00:47 oerjan: The joke for Grey is that it's a chain of misspelling; like when you click google's "Do you mean" and it has another "Do you mean" in it 02:01:17 `le/rn Gey/I know nothing about Gey, sir. 02:01:21 Learned «gey» 02:01:30 `? marriage 02:01:31 marriage? ¯\(°​_o)/¯ 02:02:53 When did most European companies give in and legalize Gay marriage? 02:03:10 very few companies have done that. 02:03:15 Shit 02:03:17 Countries 02:03:43 `learn Marriage was made legal in the United States on 2015-06-26 02:03:46 Learned 'marriage': Marriage was made legal in the United States on 2015-06-26 02:03:49 Finland did it very recently -- in fact, I don't think the laws are quite in yet. 02:04:02 i'm not sure there was a particular time, they just started trickling in around 2000? 02:04:03 wait 02:04:11 are you implying marriage wasn't legal in the us? 02:04:35 Koen_: The joke is that gay marriage wasn't legal 02:04:43 "Same-sex marriage will become legal in Finland on 1 March 2017. A bill for legalization was approved by the parliament on 12 December 2014 and signed by the President on 20 February 2015. In order to implement the law, follow-up changes in other acts were required. The legislative measure to make most of these changes was approved by the parliament on 17 February 2016 and signed by President ... 02:04:45 oh 02:04:45 Koen_: But now that it is, there isn't a difference 02:04:49 ... on 8 April 2016." 02:04:52 Lots of dates. 02:04:52 I'm gonna go to bed 02:05:06 fizzie: has finland had a partnership law for years first, like norway did? 02:05:55 marriage is actually a very interesting topic, it's sad that so many people have too strong opinions to care discussing it 02:05:55 oerjan: Yes, though it wasn't *quite* equal to marriage when it came to some things like adoption. Pretty close, though. 02:05:56 -!- boily has joined. 02:06:11 And "for years" is a bit debatable, it's only been since 2002. 02:06:11 I mean, not marriage itself, but the involvement of the state in marriage 02:06:19 bonsœrjan. 02:06:20 xhoily! 02:06:25 @massages-loud 02:06:25 hppavilion[1] said 3h 2m 21s ago: The wisdom entry for "cello" has slashes that should be replaced with italicization 02:06:57 hppavellon[1]. good call! did I add you to the cocoonspirators? 02:07:34 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:08:07 boily: No? 02:08:07 fizzie: neither was the norwegian one. 02:09:30 hppavilion[1]: the you should become one! for the low low price of your github account name! 02:09:49 boily: No. 02:09:59 boily: I'm not falling into your tarp 02:10:19 Why do you have a tarp for people to fall into anyway. 02:10:52 I think https://en.wikipedia.org/wiki/Same-sex_marriage_in_Finland#/media/File:Same_sex_marriage_map_Europe_detailed.svg implies that same-sex marriages become unregistered if you get on a boat on a lake. 02:11:32 so do you have to take your ring off everytime you board a boat on a lake? 02:11:54 And the question's entirely undefined if it's a sea. 02:11:55 fizzie: What if you swim? 02:11:58 sounds prone to accidents. 02:13:19 hppavilion[1]: tarp? nah, I ain't got no tarp, eh? 02:13:54 fizzie: Yeah; the sea doesn't even exist on the map 02:14:25 fizzie: Wait, have you checked for alpha filters? Maybe the ocean does it secretly, so it's invisible 02:18:56 I forgot who plays magic besides zzo38 in this here chännel... 02:24:02 `culprits wisdom/dosh 02:24:08 I like reading Fox News because it reminds me how much stupider I could be and makes me happy for not being so. 02:24:16 tswett 02:24:23 `? dosh 02:24:25 The doshes are what the gostak distims. 02:24:46 hppavilion[1]: his neural nets are leaking into the wisdom 02:25:54 oerjan: I fear it was pretswetty hth → https://en.wikipedia.org/wiki/Gostak 02:32:11 -!- Koen_ has quit (Quit: Leaving...). 02:40:40 boily: frumious! 02:46:24 'night all! 02:46:31 -!- boily has quit (Quit: BANDERSNATCH CHICKEN). 02:47:45 `quote obscure 02:47:56 790) the scene: it is a warm summer's day in scotland, although one obscured by cloud and the fact that it is september \ 1245) (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:51:16 Are there any solutions to a^n + b^p = c^q, where {a, b, c} = {2, 3, 5} and n, p, and q are integers greater than 1? 02:52:33 There are, of course, a few solutions where n, p, and q are nonnegative integers... 02:54:12 1 + 2 = 3, 1 + 3 = 4, 1 + 4 = 5, 2 + 3 = 5, 3 + 5 = 8, 9 + 16 = 25... wait, there's the answer. 02:54:33 Next question. How many solutions are there where n, p, and q are nonnegative integers? 02:55:17 The other two solutions that immediately come to mind are 2 + 25 = 27 and 3 + 125 = 128. 02:55:21 Oh, and 1 + 1 = 2. 02:55:50 Whoops, 5 + 27 = 32. 02:59:53 I thought n was supposed to be greater than 1 03:00:09 There should be no more solutions with c^q less than or equal to 256. 03:00:12 Cale: I changed my mind. 03:00:15 oh, I see 03:00:23 9 + 16 = 25 answers the original question positively. 03:00:28 3^2 + 2^4 = 5^2. 03:02:32 5^0 + 2^3 = 3^2 03:02:49 Yup, I missed that one. 03:04:03 That's the only one which is quite like that. 8 and 9 are the only consecutive integers which are perfect powers. 03:04:28 Perfect powers of any kind, not just perfect prime powers? 03:04:41 of any kind 03:04:51 Are there only finitely many pairs of perfect powers which are 2 apart? 03:06:14 No idea 03:06:20 Aha, looks like yes: https://oeis.org/A076427 03:06:45 Apparently that's known to be the case for all values of 2 up to at least 100. 03:07:18 Wait, this list is not very meaningful 03:07:26 http://www.sspectra.com/Pillai.txt -- it comes from here 03:07:37 "Perfect powers examined up to 10^18" 03:08:08 Whoops. 03:08:13 -!- Lord_of_Life has quit (Quit: EliteBNC free bnc service - http://elitebnc.org - be a part of the Elite!). 03:08:15 I know that it's an open question whether 6 is the difference of two perfect powers. 03:08:56 https://oeis.org/A074981 03:08:58 heh 03:09:49 https://en.wikipedia.org/wiki/Catalan's_conjecture#Pillai.27s_conjecture - Pillai's conjecture states that for all n, there are only finitely many perfect powers that are n apart. It follows from the ABC conjecture. 03:10:41 So we only have to understand inter-universal Teichmüller theory, and we'll have it ;) 03:10:43 tswett: ...huh 03:11:23 Taneb has a fundamental theorem named after him, but does he have a conjecture? 03:11:25 I was asking in another channel the other day: Is there some direct topological interpretation of big-O notation? 03:11:31 Now for some reason I wonder: which 5-smooth numbers are non-trivially the sum of two other 5-smooth numbers, where "non-trivially" means that the three numbers must not all have a prime factor in common? 03:11:49 shachaf: what sort of topological interpretation do you mean? 03:11:51 shachaf: Topological? Not as far as I'm aware 03:12:05 You can define it as exists K >= 0. lim_{n -> ∞}{f(n)/g(n)} = K or something like that. 03:12:36 hppavilion[1]'s first conjecture: No one has yet bothered to prove hppavilion[1]'s first conjecture 03:12:48 Cale: Well, there's a nice concrete way of talking about the limit of a sequence, for instance, where you extend that sequence to the extended naturals and ask for f(∞). 03:13:05 Maybe that's not an "interpretation". 03:13:08 s/bothered/managed/ 03:13:18 hppavilion[1]: I can prove that conjecture. 03:13:23 tswett: No you can't 03:13:26 lim sup 03:13:51 mother sup 03:13:58 tswett: By proving it, you disprove it, thus meaning you have not proven it, so it holds 03:14:04 If anyone had ever managed to prove the conjecture before you stated it, that would mean that the conjecture is false, and so they could not have proved it. Contradiction. 03:14:18 Cale: Why lim sup, when you're talking about n -> ∞? 03:14:31 tswett: NON-INTUITIONISTIC HEATHEN 03:14:32 shachaf: the limit could diverge by oscillating. 03:14:32 The limit may not exist, but the lim sup will 03:15:10 Oh, I guess not. 03:15:21 That makes me want a direct answer even more. 03:15:36 shachaf: now, big-O notation is a partial order, right? So it has... I was about to say it has an order topology, but I don't know if partial orders get those. 03:16:37 You can make a topological space out of any preorder, but I don't think that's the sort of thing I'm looking for. 03:16:57 Well, we've just used division 03:17:15 i,i * boily has quit [Quit: NON-INTUITIONISTIC CHICKEN] 03:17:46 shachaf: what topological space construction are you thinking of? 03:17:47 `? i,i 03:17:55 It's also not going to be invariant under homeomorphisms 03:17:57 i,i? ¯\(°​_o)/¯ 03:18:41 `learn i,i i,i what is i,i 03:18:45 Learned 'i,i': i,i i,i what is i,i 03:18:45 e.g. 03:19:11 tswett: I don't know, that's why I'm asking. 03:19:28 shachaf: I mean, when you say "you can make a topological space out of any preorder", what are you talking about? 03:19:50 It's just nice how you can concretely say "extend f : N -> X to a continuous f' : N* -> X, and then look at f'(∞)" 03:19:55 Oh, the what's it called. 03:19:59 f(x) = x^3 + x is an automorphism of R, but composing functions with that will change their asymptotic behaviour 03:19:59 Alexandrov space. 03:20:30 https://en.wikipedia.org/wiki/Alexandrov_topology#The_Alexandrov_topology_on_a_preordered_set 03:21:31 Ah, perhaps replacing the topology, okay 03:21:35 hmm 03:21:42 ? 03:22:05 That last thing was answering tswett's question. 03:23:31 Looking at it as a partial order, how about the topology generated by {x : x < a} and {x : x > a}? 03:26:07 -!- Lord_of_Life has joined. 03:27:21 So maybe the question is something like: Is there a way to associate to functions f: N -> N some topological spaces X_f such that there is a continuous map X_f -> X_g iff f is O(g)? 03:27:55 (or perhaps swap them) 03:28:03 Sure, something like that would probably be an answer. 03:28:18 Or some characterization of ʘ(f) 03:28:23 Θ(f) 03:28:39 That was U+0298 instead of U+0398. 03:28:56 But they look similar to each other. 03:40:45 Do you need any extra structure define lim sup for arbitrary topological spaces? 03:41:18 Yeah. An automorphism of R has a topological space switches lim sup and lim inf. 03:41:19 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 03:41:22 `unidecode ʘ 03:41:24 ​[U+0298 LATIN LETTER BILABIAL CLICK] 03:41:56 -!- hppavilion[1] has joined. 03:47:59 -!- sebbu has joined. 03:51:08 For all those bilabial clicks you need to make while pronouncing Latin. 03:52:11 Cale: Can you figure out what ꙮ notation would mean? 03:52:32 There's a SIGBOVIK paper in it, I'm sure. 03:53:08 https://en.wikipedia.org/wiki/Multiocular_O 03:53:23 Yes. 03:53:37 Multiocular O notation. 03:53:39 ꙮ(f) 03:53:43 oh, lol 03:54:04 `quote ꙮ 03:54:07 1136) A Swede who was in #esoteric / Thought his rhymes were a little generic. / "I might use, in my prose, / ꙮs, / But my poetry's alphanumeric." 03:54:25 I don't understand how this letter from a fictional work gets into Unicode, but Klingon doesn't. 03:54:56 ahahaha 03:56:04 -!- variable has quit (Quit: 1 found in /dev/zero). 03:56:19 We should make a proposal to include the Klingon alphabet as "additional Cyrillic characters" 03:56:53 You might be able to sneak it in under CJK. 03:56:55 Cyrillic Klingon of course 03:56:57 Chinese Japanese Klingon 03:57:34 > generalCategory 'ꙮ' 03:57:36 OtherLetter 03:57:43 The only weakness of that limerick. 04:05:53 `? ꙮ 04:05:59 ​ꙮ is the official Unicode character of #esoteric. 04:06:01 `unidecode ꙮ 04:06:04 ​[U+A66E CYRILLIC LETTER MULTIOCULAR O] 04:06:56 shachaf: What's the weakness? 04:07:07 Oh, I see 04:10:44 Let V and W be Banach spaces, and g: V -> W, then ꙮ(g) is the set of functions f: V -> W such that for any u in V, we have that the function r |--> f(r*u) is O(r |--> g(r*u)), i.e. in each direction f is asymptotically bounded by g. 04:11:25 (but the bound seen by each of the many eyes may differ) 04:12:04 shachaf: ^^ hth 04:15:22 [wiki] [[User:Eric]] N https://esolangs.org/w/index.php?oldid=47090 * Eric * (+12) Created page with "This is Eric" 04:16:29 Cale: sgtm 04:16:33 get writing on that paper 04:19:31 `? jerk 04:19:36 jerk? ¯\(°​_o)/¯ 04:19:47 `learn Jerk is the integral of snap. 04:19:51 Learned 'jerk': Jerk is the integral of snap. 04:20:35 I still haven't figured out good answers for my questions about the limit operator L : (R -v R) -> (R -v R) 04:20:39 (Where -v means a partial function.) 04:27:22 `? snap 04:27:25 snap? ¯\(°​_o)/¯ 04:27:49 `learn Snap is a simple web development framework for unix systems, written in the Haskell programming language. Snap has a high level of test coverage and is well-documented. 04:27:56 Learned 'snap': Snap is a simple web development framework for unix systems, written in the Haskell programming language. Snap has a high level of test coverage and is well-documented. 04:28:04 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 04:28:24 And there I was about to define it as a Sierpiński Nap. 04:28:54 oerjan: also i can't quite tell what Cale is doing here, can you twh 04:30:25 -!- hppavilion[1] has joined. 04:30:47 `? haskell 04:30:50 Unbound implicit parameter (?haskell::Wisdom) \ arising from a use of implicit parameter `?haskell' 04:30:52 ? monoids 04:31:05 `? monoids 04:31:07 Monoids are just categories with single objects. 04:31:08 `? monoid 04:31:10 A monoid is the easy version of a category. 04:31:28 `? monad 04:31:29 Monads are just monoids in the category of endofunctors. 04:31:56 `? just monoid 04:31:57 just monoid? ¯\(°​_o)/¯ 04:32:49 Monads are lax functors * -> Cat 04:33:00 `? monads 04:33:02 Monads are just free monad monad monad algebras. 04:33:21 -!- Kaynato has quit (Quit: Leaving). 04:34:50 So monoids are just lax functors * -> BSet, where BSet is the one-object delooping bicategory of the monoidal category of sets. 04:35:29 I can't think of a good definition for "just monoid". 04:40:49 oerjan: also i can't quite tell what Cale is doing here, can you twh <-- clearly it's meta-ironical hth 04:41:49 A just monoid is a monoid which is based on reasonable or adequate grounds. 04:42:22 `? justice 04:42:24 Justice is just behavior or treatment. 04:43:00 `` rgrep -le '(is|are) just' wisdom 04:43:13 `? Applicative 04:43:13 No output. 04:43:15 Applicative? ¯\(°​_o)/¯ 04:43:31 `learn Applicatives are just monoids in the category of endofunctors. 04:43:35 Learned 'applicative': Applicatives are just monoids in the category of endofunctors. 04:43:36 A monoid M is called left-adequate if every principal left ideal is projective as a left M-act, and the set E(M) of idempotents forms a semilattice 04:44:02 i sort of thought we had that one already. 04:44:21 `? applicative functor 04:44:23 applicative functor? ¯\(°​_o)/¯ 04:45:47 `` mv wisdom/applicative{,\ functor}; sed -i 's/s/ functors/' wisdom/applicative\ functor 04:45:51 No output. 04:46:21 `? applicative functor 04:46:23 Applicative functors are just monoids in the category of endofunctors. 04:46:55 `? functor 04:46:56 Functors are just morphisms in the category of small categories 04:47:11 `` sed -i 's/$/./' wisdom/functor 04:47:16 No output. 04:47:46 `cat bin/mk 04:47:47 ​[[ "$1" == ?*//* ]] || { echo usage: "mk[x]" file//contents >&2; exit 1; }; key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$(echo-p "$key")" && echo "$key" 04:48:37 ...huh 04:48:42 Texas is "The America of America" 04:50:33 `cat bin/wisdom 04:50:34 F="$(find wisdom -name "*$(echo "$1" | lowercase)*" -type f | shuf -n1)"; echo -n "${F#wisdom/}//" | rnooodl; cat "$F" | rnooodl 04:51:26 `mkx bin/sedk//[[ "$1" == ?*//* ]] || { echo usage: sedk file//operation; exit 1; }; key="${1%%//*}"; value="${1#*//}"; [[ -f "$key" ]] || exit 1; sed -i "$value" "$key" && { echo -n "$key//"; cat "$key" } 04:51:30 bin/sedk 04:52:47 `sedk bin/sedk//s;u;'u;;s"n"n'" 04:52:49 ​/hackenv/bin/sedk: line 2: syntax error: unexpected end of file 04:53:47 `` sed -i 's/..$/; }/' bin/sedk 04:53:52 No output. 04:53:57 `sedk bin/sedk//s;u;'u;;s"n"n'" 04:54:00 bin/sedk//[[ "$1" == ?*//* ]] || { echo 'usage: sedk file//operation'; exit 1; }; key="${1%%//*}"; value="${1#*//}"; [[ -f "$key" ]] || exit 1; sed -i "$value" "$key" && { echo -n "$key//"; cat "$key"; } 04:54:25 `sedlast soperationscript 04:54:33 bin/sedk//[[ "$1" == ?*//* ]] || { echo 'usage: sedk file//script'; exit 1; }; key="${1%%//*}"; value="${1#*//}"; [[ -f "$key" ]] || exit 1; sed -i "$value" "$key" && { echo -n "$key//"; cat "$key"; } 04:54:46 oerjan: hth 04:55:54 Maybe I should've rnoooooodled that. 04:58:03 `` mv bin/sedk bin/sled; sedk 'bin/sled//s-sedk-sled-' 04:58:07 ​/hackenv/bin/`: line 4: sedk: command not found 04:58:16 * shachaf sighs 04:58:26 `sled bin/sled//s-sedk-sled- 04:58:28 bin/sled//[[ "$1" == ?*//* ]] || { echo 'usage: sled file//script'; exit 1; }; key="${1%%//*}"; value="${1#*//}"; [[ -f "$key" ]] || exit 1; sed -i "$value" "$key" && { echo -n "$key//"; cat "$key"; } 05:10:20 Category Theory-related wisdom tends to start with "xs are just" 05:16:57 `culprits LaTeX 05:17:14 No output. 05:17:27 ...wat? 05:17:31 `cat culprits 05:17:32 cat: culprits: No such file or directory 05:17:39 ...WAT 05:17:44 Wait, this was me, wasn't it 05:17:56 `innocent LaTeX 05:17:57 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: innocent: not found 05:18:01 Darn 05:22:32 clearly a case of advanced amnesia. 05:23:15 so derivatives [4..6] are called snap, crackle, and pop 05:23:20 is fizzie a derivative 06:05:14 `? emacs 06:05:16 emacs is the weird brother of nano. 06:05:16 `? vi 06:05:19 vi is in a relationship with emacs. 06:05:23 `? nano 06:05:26 nano is vi's sister. 06:05:29 ... 06:05:48 oerjan: There's a problem here. 06:11:19 only if you incest there is. 06:11:23 shopping -> 06:13:10 Ooooh, the wisdom PDF has a whole chapter on Tanebventions 06:18:53 `? tanebvention 06:18:57 Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, gazpacho, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, the BBC, progress, and this sentence. He never invents anything involving sex. 06:19:33 `sled wisdom/tanebvention//s/lemma/lemma, histograms,/ 06:19:37 wisdom/tanebvention//Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, gazpacho, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, histograms,, the BBC, progress, and this sentence. He never invents anything involving sex. 06:19:44 oops 06:19:50 `sled wisdom/tanebvention//s/,,/,/ 06:19:53 wisdom/tanebvention//Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, gazpacho, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, histograms, the BBC, progress, and this sentence. He never invents anything involving sex. 06:22:36 `le/rn soviet russia/In soviet russia, this wisdom entry /would/ read you if it weren't for the fact that IRC hadn't been invented at the time 06:22:40 Relearned «soviet russia» 06:23:28 `before 06:23:38 wisdom/soviet russia//¯\(°​_o)/¯ soviet russia? 06:23:59 your joke is only a reference to another joke and it isn't even properly punctuated 06:24:06 `culprits wisdom/soviet russia 06:24:21 hppavilion[1] int-e b_jonas oerjan 06:24:44 shachaf: Well yeah 06:24:54 `le/rn soviet russia/In soviet russia, this wisdom entry /would/ read you if it weren't for the fact that IRC hadn't been invented at the time. 06:24:59 Relearned «soviet russia» 06:25:11 `` hg log wisdom/soviet\ russia | grep summary: | grep -v hpp 06:25:18 summary: revert \ summary: slashlearn soviet russia/In soviet russia, this wisdom entry reads you. \ summary: le/rn soviet russia/\xc2\xaf\\(\xc2\xb0\xe2\x80\x8b_o)/\xc2\xaf soviet russia? 06:25:59 `revert 8238 06:26:17 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 06:31:11 -!- shovel_boss has quit (Ping timeout: 244 seconds). 06:58:23 `? soviet russia 06:58:28 ​¯\(°​_o)/¯ soviet russia? 06:59:32 hppavilion[1]: also, irc was invented while soviet russia still existed hth 06:59:48 oerjan: I was afraid someone would say that 07:00:22 OK, the new soviet russia joke is better 07:00:27 `? russian reversal 07:00:30 russian reversal? ¯\(°​_o)/¯ 07:00:37 `? lithuanian inversion 07:00:40 lithuanian inversion? ¯\(°​_o)/¯ 07:01:48 it's also the old joke 07:01:48 `? french expansion 07:01:50 french expansion? ¯\(°​_o)/¯ 07:01:56 oerjan: Yes 07:02:09 `? greek oliveoilization 07:02:10 greek oliveoilization? ¯\(°​_o)/¯ 07:02:39 . o O ( which countries have imploded? ) 07:04:14 oerjan: Britain? 07:04:29 [wiki] [[++brainfuck++]] https://esolangs.org/w/index.php?diff=47091&oldid=47085 * Maximngy * (+44) 07:04:39 Clever name, probably stupid 07:04:50 [wiki] [[++brainfuck++]] https://esolangs.org/w/index.php?diff=47092&oldid=47091 * Maximngy * (-40) 07:05:14 [wiki] [[++brainfuck++]] https://esolangs.org/w/index.php?diff=47093&oldid=47092 * Maximngy * (+5) 07:06:19 [wiki] [[Talk:++brainfuck++]] N https://esolangs.org/w/index.php?oldid=47094 * Hppavilion1 * (+61) Informed. 07:06:48 [wiki] [[Talk:++brainfuck++]] M https://esolangs.org/w/index.php?diff=47095&oldid=47094 * Hppavilion1 * (+11) Updated to match new title 07:07:10 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=47096&oldid=47073 * Maximngy * (+66) 07:08:04 -!- augur has quit (Remote host closed the connection). 07:08:24 Hm... I wonder if there are any programs that take improper english written by a non-native speaker and attempt to determine their native language 07:09:19 hppavilion[1]: need more samples? 07:09:36 lifthrasiir: ? 07:09:51 (as I'm not a native speaker) 07:10:33 lifthrasiir: Well it wouldn't work for fluent nonnative speakers, but it'd be designed for people who know just enough english to scrape by 07:10:51 eh, I never thought I'm fluent :S 07:11:09 lifthrasiir: Well the fact that you aren't a native speaker is news to me IIRC, so... 07:11:38 (ironically, "I'm" should be "I was" there, I guess) 07:12:05 yeah, that kind of mistakes. I'm particularly bad at tense for example 07:13:08 and articles, but everyone learning English seems to fail on articles anyway 07:13:59 what? I fail in articles? 07:15:42 "You should not end a sentence with a preposition. Wait, dammit." 07:16:01 -- Eintaire 07:16:26 `? einstein 07:16:33 einstein? ¯\(°​_o)/¯ 07:17:22 "I know not with what weapons World War III will be fought, but World War IV will be fought with sticks and stones. World War V will be fought with crossbows, World War VI will be lasers, and World War VII will be blowguns. I don't know about World Wars VIII through XI. World War XII will use the same weapons as III, but will be fought entirely within underground tunnels. World War XIV will—Hey, come 07:17:24 back! I have a whole list!" -- Albert Einstein 07:17:24 `learn einstein is a germaneau for "a stone" 07:17:33 Learned 'einstein': einstein is a germaneau for "a stone" 07:19:45 b_jonas: hmm, everyone whose native language is not indo-european. that should be more clear. 07:20:27 (other languages often have articles, guaranteed, but indo-european articles can be quite complex compared to others) 07:28:57 lifthrasiir: no no, look, Hungarian has articles that are used very similar to those in English or French 07:29:10 well, that's sad 07:29:25 Indo-European is not relevant here in practice, because if your native language is Russian you are going to have trouble with articles in Englih 07:29:42 Indo-European didn't use to have articles originally 07:29:55 those are later inventions, and stolen multiple times 07:30:10 they're not inherited on the main branches of the family tree 07:30:35 yup, that's true, still I feel most modern indo-european languages have a system of articles anyway 07:30:59 lifthrasiir: um, maybe? I dunno 07:31:32 it might be half and half, but some of the ones that have articles (like Swedish) have a different system from English or French 07:31:49 -!- mroman has joined. 07:31:50 fnurd 07:32:19 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 07:32:22 b_jonas: for one record, affixes give another headache for foreign learners, though English does not have them (in general) 07:32:38 lifthrasiir: sure 07:32:44 one of reason that Korean is particularly hard for many other speakers 07:33:09 (and Japanese, which is worse thanks to the absence of spacing) 07:33:44 (and "thanks" used as a sarcasm just to be sure) 07:33:47 lifthrasiir: especially in the languages that have crazy unlearnable random forms of how a particular affix looks like when appended to a particular word, like Hungarian, where they're so random that half of the time they're used as a shiboleth to identify non-native speakers reliably, and the other half of the time even native speakers don't agree on the correct form 07:34:02 lifthrasiir: you seem to be very good at hitting issues that don't apply to b_jonas :P 07:34:09 oerjan: lol 07:34:23 different extremes, maybe? 07:35:02 oerjan: what? they sure apply. just because Hungarian has a crazy verb conjugation (and also noun declination) system doesn't make conjugation in other languages much easier to learn, because they don't work the same 07:35:27 b_jonas: well you have articles, and you have affixes galore. 07:35:31 oerjan: articles in English _are_ easy to learn for me, because they work practically the same as in Hungarian, with some rare differences 07:35:52 wow, Hungarian affixes seem to be... a lot. Korean also has lots of them but in a slightly different way. 07:35:52 obviously hungarian calqued articles from its indoeuropean neighbors. 07:36:11 lifthrasiir: but Japanese at least has some of the nouns and verbs written in Kanji and all the suffixes written in hiragana, doesn't that sort of count as spaces? 07:36:28 b_jonas: yeah, created out of necessity (unfortunately). 07:36:33 oerjan: of course, even the indoeuropean neighbors stole the articles from each other way after they split 07:37:20 lifthrasiir: but I Japanese verb conjugation does have a reputation to be hard to learn, yse 07:38:20 hmm, if I read the WP correctly, Hungarian affixes do not compose, it just have tons of them for each class, right? (plus some terrible mutation rules) 07:39:18 Korean affixes compose a lot, and ruins automated segmentation 07:39:24 lifthrasiir: it does have composing affixes (called képző), but also ordinary verb affixes and noun affixes that form the conjugation and declination, and those don't compose, so you have basically at most two attached to a verb or noun 07:39:59 “tons of them for each class” - not compared to Japanese I think, but I'm not really sure 07:40:34 b_jonas: i think i read once that greek got the definite article from phoenician some time between homeric and classical greek and from there it spread to others. 07:40:37 Japanese has a similar characteristic 07:41:07 but i'm not sure how accurate that is. 07:42:52 Basically, a Hungarian noun takes a “jel” suffix which indicates singular vs plural and also possessive (but the possessive is null most of the time in the text), followed by a “rag” suffix which is ordinary noun declination indicating the role of the noun group in the sentence (sort of like in Latin, and somewhat less like Japanese); 07:44:45 whereas an adjective takes possibly a “jel” suffix indicating comparative, followed by possibly an ordinary noun “jel” and noun “rag” (most often both omitted because they can be used only if the adjective is used as a noun group alone or a qualifier after a noun, but most of the time adjectives are used as epitheths before a noun in which case it's forbidden); 07:47:43 and Hungarian verbs take a “jel” indicating mood and tense (there's four possibilities, plus some obsolate ones, the most common one is empty for the indicative present, two other forms are notated by an aux verb instead of a suffix), followed by a “rag” that agrees with the count and person of the subject and the determinacy of the object (13 possibilities). 07:48:31 So a Hungarian verb has 4*13 possibly forms (one less actually because there's two that always look the same, but that doesn't help understanding the system). 07:50:34 The basic system is simple, but the part that's impossible to learn is that when you actually attach a suffix to a word the letters and sounds you get are modified in ways impossible to predict. 07:52:18 lifthrasiir: does Korean have a verb conjugation system that's reputed to be hard to learn, like Japanese? I know Korean is supposed to have a grammar similar to Japanese, but I'm not sure if that applies to that part too. 07:53:05 b_jonas: Korean have no conjugation system, probably everything is done with affixes. 07:53:20 lifthrasiir: um, what's the difference? 07:53:33 fewer changes in form? 07:53:35 yeah 07:53:41 in principle you can segment all of them 07:53:50 the problem is you initially don't know where to cut 07:57:42 some example: "했다" ("[subject] did [...]") <- short for "하였다" = 하- (verb, lit. to do) / -였- (past tense) / -다 (plain verb ending) 07:58:24 you may notice that there *is* a contraction. it is not proper conjugation though because you can literally replace every occurrence of 했다 with 하였다, so it is rather a pronunciation contraction 07:59:04 well, or abbreviation if you prefer that. kind of contractions like "im" in German (<- in dem) 08:00:25 * oerjan wondered why hungarian verbs had a prime number of "rag"s, then remembered -lak/lek 08:03:05 now introducing tons of variations for this verb: 할 (future tense, needs aux verb), 할까요 (future tense plus inquiry), 합시다 (present tense plus proposition), 할까봐 (future tense, nominal "-까" plus suggestive "-봐"), and so on 08:03:52 there are several, not always compatible, variations for each kind of affixes, resulting in literally thousands of them 08:05:10 lifthrasiir: right. that counts more or less like conjugation for me, unless there are also suffixes with a varying form that can be separated from the word it applies to by other words (not just other affixes on the same word) 08:07:17 b_jonas: IIRC conjugation is related to the grammatical tags and thus imperative (you cannot use non-conjugated forms interchangably). I think Korean does not do that. 08:07:56 there are some close-to-conjugation rules that are imperative, though 08:08:11 (and some of them irregular, as common in natural languages) 08:09:10 -!- lambda-11235 has quit (Quit: Good Night). 08:11:02 lifthrasiir: hmm, so you say it's not conjugation unless the agreement or suffixes are mostly mandatory on all verbs where they make sense, whereas in Koeran they are often optional and used only when they're necessary? 08:11:59 b_jonas: they are common contractions, but otherwise yes, I think so 08:12:15 I see 08:12:37 not to say that it is easier, actually that's more difficult (as you have to learn both and when it is appropriate) 08:13:20 What I don't understand really is how languages like Chinese can work, for they have so few suffixes or grammatical particles that I don't understand how any listener can split groups of words in a sentence and tell their role in the sentence. 08:14:10 Maybe I just have a mistaken impression about Chinese and it has more grammatical particles than it seems, I dunno. 08:14:20 in my understanding Chinese is quite similar to English (in terms of grammatical characteristics), so the word order is very important and some supporting words should be used to clarify their meanings 08:14:56 lifthrasiir: English is bad too, yes, but at least it has articles on some of the nouns, which helps. 08:16:00 b_jonas: I think Chinese also has some particles, 的 being a prime example 08:16:06 Whereas Chinese has neither articles (like English) nor lots of case markers after most nouns (like latin or Japanese) 08:16:40 lifthrasiir: lots of particles sure, but are they commonly used? and I think I don't count particles that occur only at the end of the sentence. 08:16:53 not sure about the actual count 08:17:42 for me it is more concerning that Chinese has a relatively simple phonology (well, tones, right, but tones are often missed during conversation) 08:19:10 lifthrasiir: why is that important? lots of languages have a simple phonology, Japanese included. 08:19:49 b_jonas: tons of synonyms and near-synonyms as a result. (Japanese has tons of them as well) 08:20:06 Sure, that does happen. 08:20:14 well, Japanese seems to be fine so that may not be an actual problem 08:20:41 I hear it is a problem in spoken Japanese, which is why they add lots of extra words to disambiguate. 08:27:48 what is a problem in spoken japanese? 08:28:02 mroman: homophony 08:28:06 ah yeah 08:28:13 causing word-level ambiguities 08:28:19 they have lots of those 08:28:39 although some of those stress different syllables 08:31:07 mroman: right, pitch accent. half of the sources say it doesn't even really exist in Japanese, or only in certain dialects. I have no idea what the truth about it is. 08:31:11 it's almost ridiculous how many homophones they have 08:31:29 b_jonas: as far as I know it's certain dialects. 08:31:51 ah, I wrote synonyms when I should've write homonym 08:31:52 lol 08:31:54 but I don't know if there's some "official dialect" that has different pitch accents for homophones 08:32:16 most famous one is hashi 08:32:33 bridge or chopsticks 08:32:36 or probably even more :) 08:33:08 apparentely also tip/point/(end of street) 08:33:34 also the first (harvest, catch) of the season or year 08:33:44 mroman: meh, a few isolated words with many meanings (like “scale”) doesn't really prove anything 08:34:01 hm? 08:34:26 a word with many meanings is still one word 08:34:34 hm, bit of a bitcoin boom 08:35:04 but jisho lists at least 4-5 words with "hashi" as its readnig. 08:36:09 I'm no linguist. I don't even know when something is really a different word or the same 08:36:27 there's for example "Schloss" in german, which is either a "castle" or a "lock" 08:36:44 I don't know if those are homonyms or just a word with two meanings 08:38:38 hm. polysem, homonym, holograph 08:50:08 -!- Cale has quit (Ping timeout: 250 seconds). 08:58:45 -!- oerjan has quit (Quit: Polysleep). 09:02:14 -!- Cale has joined. 09:27:44 -!- MoALTz has joined. 09:29:22 -!- Koen_ has joined. 09:30:13 hello 09:32:49 -!- hppavilion[1] has joined. 09:33:47 Machine. Unexpectedly, I’d invented a time 09:39:15 -!- augur has joined. 09:39:31 mroman: yes, sometimes it's hard to tell the difference 09:39:48 in a few cases, different dictionaries decide differentl 09:41:44 yeah.. wp says it's pretty much up to the origin of the word 09:42:03 whether it's a ploysem or homonym 09:43:54 Ugh 09:44:02 No website should have a loading screen if it isn't streaming content 09:44:05 -!- augur has quit (Ping timeout: 260 seconds). 09:48:14 no 09:48:15 no 09:48:18 you got it all wrong 09:48:20 totally wrong 09:48:53 according to industry best practices every website should have a 30s loading screen with a shitload of ads (that also install malware on your machine to display even more ads) 09:49:07 as well as an anti-ad-blocker that redirects you to malicious porn sites if an adblocker is detected 09:49:51 also some of the ads need to look like regular MS Windows windows (even better if you detect the OS so you don't display Windows Vista window borders when using Windows XP) 09:50:14 most importantly it needs to start shaking once the user wants to close it, if the user closes it the user needs to be asked if he's sure 09:50:16 mroman: maybe I'm just visiting the wrong websites for this, but the "anti-adblocker" mostly sounds like a myth to me that everyone says other websites are doing, and is totally possible to do, but almost no website actually uses. 09:50:37 pornhub does. 09:50:41 mroman: some websites have overlays that javascript removes, but it's specifically for disabled javascript, not ad blocking I think 09:50:44 but they just display a message :) 09:51:19 some websites put an overlay over the content if ads didn't load properly 09:51:31 which you can remove with firebug or alike (delete node) 09:51:32 (really overlays, where the page loads anyway behind it so you can just remove it, not the javascript redirect kind where you can't even read the page without interpreting the javascript) 09:51:48 tougher websites do a redirect 09:51:51 mroman: maybe I just confuse them with that 09:51:54 so you temporarily have to disable redirects. 09:52:18 others just serve ads from their own domain 09:52:25 which is just a proxy of the actual ad network :) 09:52:54 that's not really an anti-ad-blocker though, just anti-ad-blocking strategy 09:53:35 proxying ads through your own domain is probably currently the best thing you can do to still serve ads. 09:56:23 also as an oem manufacturer you have to install rootkits that trust your own certificates so you can man in the middle all https connections and insert your own ads 09:56:51 I don't know why companies can get off the hook so easily when they do these things. 09:57:38 If I were to walk into some company and install a rootkit there I'd go to prison 09:57:41 just saying . 10:09:49 but I guess my world view is just too distorted :D 10:10:13 by 2016 I'd have thought some OS manufacturer had the guts to address some root problems when it comes to malware and stuff like that 10:10:20 but nothing much happened 10:10:54 maybe smartphones 10:13:26 it's almost like Microsoft has some business with either malware or anti-malware manufacturers :D 10:15:10 -!- Phantom_Hoover has joined. 10:17:19 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 10:45:15 @metar EGLL 10:45:15 EGLL 310920Z AUTO 35010KT 5000 -RA OVC011/// //////CB 11/10 Q1015 RERA TEMPO 4000 RA BKN009 10:45:49 -RA RERA TEMPO RA. 11:06:52 -!- gamemanj has joined. 11:15:44 -!- xkapastel has quit (Quit: Connection closed for inactivity). 11:31:08 who speaks japanese here? 11:31:58 just wanted some info about the -go suffix that i can't find anywhere 11:32:15 often translated as boy 11:32:42 uhhh... example? 11:33:42 in bleach, yoruichi calls byakuya "byakuya-go" 11:34:30 Sure it's not -bo? 11:35:02 not sure it's very similar 11:35:19 oh i see, bo is on wikipedia 11:35:34 thanks 11:35:41 -bou actually, I guess 11:37:16 but it really sounds similar <.< 11:50:21 -!- augur has joined. 11:54:45 -!- augur has quit (Ping timeout: 260 seconds). 12:01:01 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 12:02:00 -!- Vorpal has joined. 12:04:02 -!- rdococ has quit (Quit: Leaving). 12:38:36 `? cone 12:38:41 `? cube 12:38:43 `? ball 12:38:48 `? cylinder 12:39:34 cone? ¯\(°​_o)/¯ 12:39:34 Cubes come in all sizes, colors and materials, but only one shape. The companion cube does not speak, however. 12:39:35 ball? ¯\(°​_o)/¯ 12:39:36 cylinder? ¯\(°​_o)/¯ 12:40:36 wrong - the companion cube, though vaguely cube-shaped, has various ridges, circles, and other alterations to the basic shape of a cube, that make it not precisely a cube. 12:41:09 However, given that it is still classified as a cube, the "but only one shape" phrase should be changed to "but always match the same general outline of a shape". 12:55:16 gamemanj: so basically you're saying that the wisdom entry meets the usual #esoteric standard of being a satisfying mix of truth and misinformation. 12:55:38 Yep! 12:56:22 `? inferno 12:56:24 inferno? ¯\(°​_o)/¯ 12:56:43 `? limbo 12:56:45 limbo? ¯\(°​_o)/¯ 12:57:27 `` cd wisdom; grep Dante * 12:57:41 grep: le: Is a directory \ grep: ¯\(°_o): Is a directory \ grep: ¯\(°​_o): Is a directory \ plan9:Plan9 is the precursor to Dante's Inferno, home of the Limbo programming language. \ Binary file reflection matches \ virgil:Virgil is a prayer at dawn, as well as an ancient Italian poet who led Dante to hell so they can ask the blind transgende 12:58:19 * int-e forgets his own wisdom entries... 12:58:26 `culprits wisdom/plan9 12:58:39 int-e int-e 13:03:06 `? cocytus 13:03:08 cocytus? ¯\(°​_o)/¯ 13:03:41 `? ir2 13:03:43 ir2? ¯\(°​_o)/¯ 13:47:53 `? fools 13:48:01 fools? ¯\(°​_o)/¯ 14:00:01 -!- Sgeo has quit (Ping timeout: 240 seconds). 14:05:54 -!- augur has joined. 14:09:50 `? haruspex 14:09:57 haruspex? ¯\(°​_o)/¯ 14:10:12 -!- augur has quit (Ping timeout: 260 seconds). 14:36:53 -!- ski__ has joined. 14:37:16 -!- Reece` has joined. 14:47:59 -!- ski has quit (Quit: leaving). 14:48:37 -!- ski__ has changed nick to ski. 14:48:46 -!- `^_^v has joined. 15:02:46 Last time I messed with BytePusher, it was to try AOTing it, but that turned out to be impractical. But... what about a JIT? 15:12:20 -!- ybden has joined. 15:26:45 -!- PinealGlandOptic has joined. 15:34:56 -!- PinealGlandOptic has quit (Quit: leaving). 15:35:22 ] 5 * 19 % 30 * 31 15:35:36 um 15:35:50 [ 5 * 19 % 30 * 31 15:35:51 b_jonas: 0.102151 15:36:05 yes, like that 15:40:47 -!- mroman has quit (Quit: Lost terminal). 16:00:18 -!- AnotherTest has joined. 16:02:56 -!- spiette has joined. 16:15:11 -!- augur has joined. 16:17:58 -!- lambda-11235 has joined. 17:25:40 It should be possible to JIT BytePusher with... well, it seems a maximum of 512 segments per frame during some parts, but during runtime averaging on somewhere like 270. Need to get more stats for average segment length... 17:26:50 Unlike my previous attempt at messing with BytePusher execution, this one actually runs programs, though right now it only compiles it to something else it ends up interpreting. 17:27:16 ...and it's slower than a normal BytePusher interpreter. 17:27:28 (Even when it's not recompiling segments.) 17:30:18 I should be able to more or less zero the recompiled segment count by caching "alternate versions" of segments. 17:30:43 ...but that probably won't make it faster than a normal BytePusher interpreter. 17:33:48 Ok, so even more mressing around shows that the average segment it can JIT on a complex program is 9 instructions long. 17:33:52 *messing 17:34:18 I am beginning to doubt the utility of this... 17:37:07 Hmm. Ok, so on the Audio Test it manages an average segment length of 7 instructions, and never compiles a segment more than once. I'm a bit more optimistic now. 17:37:58 ...and it only compiled 2 segments. 17:39:27 `olist 1038 17:39:32 was this olisted yet? 17:39:43 olist 1038: shachaf oerjan Sgeo FireFly boily nortti b_jonas 17:48:12 -!- AnotherTest has quit (Ping timeout: 258 seconds). 17:48:42 I don't think so 17:54:48 Not in this channel, but it might've happened in another channel. 17:55:06 Or on the other side of a netsplit, I guess, but then HackEgo wasn't there to help. 17:55:21 The poor olister, forced to manually type everyone's nick. 18:48:23 -!- augur has quit (Remote host closed the connection). 18:49:42 `? olist 18:49:54 olist is update notification for the webcomic Order of the Stick. http://www.giantitp.com/comics/ootslatest.html 18:54:39 -!- Koen_ has quit (Remote host closed the connection). 19:00:39 -!- hwpplayer1 has joined. 19:15:36 -!- contrapumpkin has joined. 19:17:58 -!- copumpkin has quit (Ping timeout: 252 seconds). 19:18:22 -!- zzo38 has joined. 19:19:03 -!- Nithogg_ has quit (Ping timeout: 264 seconds). 19:20:55 -!- Nithogg_ has joined. 19:30:43 `? get off my lawn 19:30:46 get off my lawn? ¯\(°​_o)/¯ 19:30:50 `? get off 19:30:55 get off? ¯\(°​_o)/¯ 19:35:55 -!- Koen_ has joined. 19:37:20 -!- Elronnd\StD has changed nick to Elronnd. 19:37:34 -!- Elronnd has changed nick to Elronnd\StD. 19:39:43 -!- Elronnd\StD has changed nick to Elronnd. 19:43:03 -!- contrapumpkin has changed nick to copumpkin. 19:54:41 What is wrong with this question? 19:55:13 zzo38: It's ambiguous. 19:55:27 O, OK 19:58:43 zzo38, it's self-referential 19:59:17 O, yes, that is what it is. 20:02:15 -!- augur has joined. 20:04:04 Taneb: you're self-referential hth 20:04:56 `? taneb 20:04:59 Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards with dodgy SHIFT KEys, cube root of eight genders, and voluminous but calm eyebrows. (See also: tanebventions) 20:05:21 shachaf, yes, it's something I'm working on 20:06:50 `? tanebventions 20:06:53 Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, gazpacho, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, histograms, the BBC, progress, and this sentence. He never invents anything involving sex. 20:07:19 Let's see which of those are fake... 20:07:38 Hmm... Probably that last sentence, but nothing else 20:08:04 gamemanj, the last sentence is the most true of all 20:08:15 It's not like I've ever seen anyone called Stephen Wolfram, so he's probably an invention of Taneb 20:08:16 I'm completely asexual and a bit uncomfortable with being associated with sex 20:08:55 ...oh. In which case, it may not have been the greatest idea putting it in a sentence which may or may not contain lies... 20:09:15 Did anyone ever try submarine jousting? Sounds fun but dangerous... 20:09:33 Also, Taneb is probably at least 100 years old 20:09:37 ("the BBC") 20:10:15 (+ some extra time in which Taneb became old enough to potentially conceive of a broadcasting corporation for Britain) 20:10:16 gamemanj, Phantom_Hoover is quite good at submarine jousting from what I've heard 20:10:21 Ah. 20:10:29 it's not actually real 20:10:34 ... 20:10:36 Paradox! 20:10:36 Phantom_Hoover, yes it 20:10:37 is 20:11:12 also i'm not in the submarine team, i just knew some of the people on it 20:11:32 And everybody knows Taneb invented the torus, they share a first letter 20:11:46 gamemanj, a torus, topologically, is just a torus 20:12:22 -!- adu has joined. 20:12:25 `? tetris 20:12:27 tetris? ¯\(°​_o)/¯ 20:13:19 Taneb: I am tautology resistant to 104 megaiterations. 20:14:13 (Should someone provide a tautology with 104.000001 megaiterations, I will fall asleep for 10 hours.) 20:14:36 -!- Elronnd has changed nick to Elronnd\StD. 20:14:42 (This roughly matches the amount of time it would take for me to actually listen to the tautology.) 20:18:25 what's an iteration of a tautology? 20:24:59 Koen_, the iteration of a tautology, of course 20:25:25 oh, I see what you're doing 20:26:40 `? histogram 20:26:43 histogram? ¯\(°​_o)/¯ 20:27:21 `? shrugging smiley 20:27:24 shrugging smiley? ¯\(°​_o)/¯ 20:27:29 thank you 20:27:45 `wisdom 20:27:45 `wisdom 20:27:46 `wisdom 20:27:46 `wisdom 20:27:47 `wisdom 20:28:27 thank you gamemanj 20:28:36 macabre// 20:28:46 m–rdalsjökull//M–rdalsjökull is a draconic volcano harbouring the secret KATL base. 20:28:46 right//Right is not two wrongs but three lefts. 20:28:46 antediluvian//We could tell you what antediluvian means, but that would just open a flood of questions. 20:28:46 izabera//izabera is a bradyherpetologist. She is probably implemented in bash. 20:29:03 -_- 20:29:21 hl for no reason -_- 20:30:51 It seems unlikely that a person could be implemented in bash (and the CTCP VERSION doesn't say "bash" either), so the wisdom entry is probably telling a lie 20:31:13 `? macabre 20:31:15 The Macabres have been the hereditary rulers of Lochaber for 3 centuries. 20:31:43 What happened there? 20:31:46 `wisdom macabre 20:31:48 macabre//The Macabres have been the hereditary rulers of Lochaber for 3 centuries. 20:31:58 what happen 20:35:40 `? accountant 20:35:41 accountant? ¯\(°​_o)/¯ 20:36:45 `? auditor 20:36:45 `culprits macabre 20:36:47 auditor? ¯\(°​_o)/¯ 20:36:54 No output. 20:36:57 `culprits wisdom/macabre 20:37:02 oerjan elliott Phantom_Hoover 20:37:09 ^ the usual suspects 20:37:20 ...or at least one of them, at any rate! 20:38:59 izabera, you study slow snakes?? 20:39:28 no it was something about python being slow 20:40:09 if you work on pypy are you a bradyherpetologist? 20:41:35 oh for-- that should've been 'tachyherpetologist' 20:42:38 `le/rn usual suspects/There are 3.99 usual suspects, but they're usually rounded up. 20:42:45 Learned «usual suspects» 20:43:13 shachaf: Who's the fourth? 20:43:42 Or, .99th of the fourth? 20:43:51 `` ln -s usual\ suspect wisdom/the\ usual\ suspect 20:43:57 No output. 20:44:54 gamemanj: clearly your suspectometer is broken hth 20:45:10 ... 20:45:16 Actually it's not just broken 20:45:19 it's spinning wildly 20:45:20 and screaming 20:46:11 -!- adu has quit (Quit: adu). 20:51:47 -!- xkapastel has joined. 20:55:16 A horse is a horse, of course, of course. 20:55:21 (Speaking of tautologies.) 20:56:11 fizzie: Of course a horse is a horse. 20:56:20 But I'm not sure that that's true of course. 20:56:24 It might need to be proved. 20:57:15 I guess "of course" is a linear logic operator and a comonad. 20:57:27 So "of course A" implies "of course of course A". 20:57:38 being a horse is true of a horse but not of a course 20:57:50 `? olsner 20:57:52 olsner seems to exist at least. He builds all his esolangs in diesel engines. 20:59:28 `? shachaf 20:59:30 shachaf sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion. The unit of fun punnery is named after him. 21:00:11 `rot13 funpunnery 21:00:13 shachaarel 21:00:47 A horse by any other name would smell as sweet. 21:01:15 ...I bothered to search Nepeta Leijon. I am now unsure what, exactly, to say. 21:01:33 Thus, this placeholder message has been left. 21:01:39 I think there is a file for accounting but it would seem from above they do not have the file of accountant yet? 21:01:56 zzo38: accounting what? 21:01:57 `random-card 21:02:05 Xathrid Gorgon \ 5B \ Creature -- Gorgon \ 3/6 \ Deathtouch (Any amount of damage this deals to a creature is enough to destroy it.) \ {2}{B}, {T}: Put a petrification counter on target creature. It gains defender and becomes a colorless artifact in addition to its other types. Its activated abilities can't be activated. (A creature with defender c 21:02:14 In the wisdom file 21:02:21 fungot: what do you say about nepeta leijon? 21:02:21 olsner: please go to :image:herald.jpgthe image description page and edit it to include a wikipedia:fair use rationale guidelineexplanation or rationale as to why its use in ' ' fnord' ( unethical offspring) of the page would hurt the island image. 21:02:36 You should reprogram random-card to strip the reminder text so that the other text will fit. 21:03:12 zzo38: But what if you want to read the reminder text? 21:03:14 zzo38: I was thinking of auditors (from Discworld), not accountants. 21:03:30 O, OK then write the one about auditor from Discworld 21:03:55 zzo38: I'm not sure. The remainder text is useful when you take a random card from twenty years of set of crazy keywords. 21:04:03 shachaf: Then you can use a command-line switch to enable it possibly 21:04:15 zzo38: sure, maybe if it doesn't fit in the output then it could make sense to strip the reminder text 21:04:24 as in, strip only if it wouldn't fit otherwise 21:04:36 `card-by-name benalish hero 21:04:39 Benalish Hero \ W \ Creature -- Human Soldier \ 1/1 \ Banding (Any creatures with banding, and up to one without, can attack in a band. Bands are blocked as a group. If any creatures with banding you control are blocking or being blocked by a creature, you divide that creature's combat damage, not its controller, among any of the creatures it's bei 21:04:40 b_jonas: But now the text won't fit on one message. I think the reminder text is waste space (and isn't always perfectly accurate), because you can look up the rules instead. 21:05:01 If you do not know what a keyword means then you should look up in the rules. 21:05:09 zzo38: maybe... 21:06:57 zzo38: part of the problem is that wizards sometimes omits reminder text from where it would be really useful and would not be distracting, like on Sea's Claim, or like on creatures with protection from a color and not many other abilities (is there even ANY card where protection was printed with a reminder text?). 21:07:43 zzo38: Sea's Claim is particularly stupid, as it has a reminder text for "Enchant land" which is probably the ability more people would know without reminder text, but no reminder text for "Enchanted land is an Island." which is way more likely to be confusing for players 21:07:56 I think reminder text should always be omitted unless the text is sufficiently unclear due to English is a stupid language perhaps 21:08:27 zzo38: no no, if the text is unclear because English is a stupid language, then the ability must be rephrased. don't just fix that with a reminder text. 21:09:17 Fixing the ability might be difficult of course, and requires lots of planning ahead with the rules. 21:09:26 But that planning ahead is what the rules manager is for. 21:09:28 In case rephrasing is impossible maybe, or if the rephrasing makes it not compatible with the rules of the game 21:10:01 zzo38: yes, and if they really can't rephrase, even with fixing the rules, then Wizardse simply doesn't print such a card 21:10:03 Nearly everything is sufficiently clear even without the reminder text though. 21:10:16 There are lots of potential cards that you can't print for such reason. 21:10:39 zzo38: only if you remember all the two hundred obscure old keyworded abilities and action words. 21:10:45 I don't. 21:11:32 You should learn the rules for the keywords used in the set/cube/deck that you are playing, and reference it if you are unsure. 21:12:19 zzo38: sure, for decks I make I totally should learn the rules well, but I can't know in advance what decks other people make, and in the case of `random-card you can get almost any card 21:12:28 My own custom cards do not use reminder text for keywords (in some cases it won't even fit anyways). 21:13:09 b_jonas: Yes, but the space for the IRC is even less than the space of the cards themself. You can ask for the card with the -r switch to read reminder text perhaps, and/or to use another command to look up a rule. 21:14:49 zzo38: yes, we could do that 21:15:18 zzo38: feel free to modify `random-card and `card-by-name to omit the reminder text 21:15:34 I'm lazy, I won't implement it now 21:15:44 but if you implement it, it's fine 21:16:13 I won't implement it now either, but possibly later I would do so. 21:17:14 But seriously, I hate Spreading Seas and Sea's Claim for not having the reminder text saying that the enchanted land loses abilities printed on it. And they're good cards and not easily replacable, so I can't just ignore those cards. 21:17:25 Some of my own custom cards have banding and bands with other (I like those keyword abilities), as well as new keywords, some of which are too complicated to fit in the reminder text, so mine would omit the reminder text. 21:17:43 b_jonas: I don't care about that. Write on the cards or make proxies if you do care. 21:17:54 (Sure, I can use such cards instead that don't use that crazy rule, and preserve the land types and abilities, but that's not the same.) 21:18:48 zzo38: it's not so easy to write on the cards, you'd have to rewrite the whole text box probably 21:18:54 It is clear enough from the rules that it won't keep their abilities or other subtypes, so it is not need the extra text 21:19:23 zzo38: and sure, banding is a lost cause, it has such complicated rules that the reminder would barely fit a card 21:19:47 Banding is good though. Reminder text is bad though. 21:19:50 Even the oracle gatherer text is long, and it omits crucial details. 21:19:57 Yes, I do like banding, 21:20:22 it's just one you don't write on the cards. Just like the planeswalker rules. They weren't written on any of the planeswalkers, not even when they were introduced in Lorwyn. 21:20:29 Or the two-faced card rules. 21:20:32 um 21:20:37 double-faced card rues 21:20:43 They shouldn't need to be; they are in the rule book 21:22:15 Banding is a good idea itself, it's just that most of the banding cards they printed are just silly. 21:22:56 Well, I have made some of my own cards with banding which have other things as well, so new combinations are possible. 21:23:22 Benalish Hero, the larger banding creatures (multiple elephants, a griffin, and other soldiers), and the Helm are fine; but the bands with others creatures, the tons of cards (in Legends I think) that REMOVE banding from other cards, and that land that gives legends "bands with other legends" are just silly 21:23:39 It's sort of the same situation as with Great Wall 21:24:20 One thing some of my cards have is stuff like "target creature banded with" or "other creatures banded with". 21:25:26 hmm wait 21:25:49 (I have added a rule to define what that means.) 21:28:14 -!- Melvar has quit (Ping timeout: 258 seconds). 21:28:33 -!- idris-bot has quit (Ping timeout: 240 seconds). 21:31:06 -!- Melvar has joined. 21:32:26 -!- hwpplayer1 has quit (Remote host closed the connection). 21:35:41 -!- idris-bot has joined. 21:38:35 wow, I didn't know there were 11 cards printed with Leech creature type. 21:39:12 Now you learn. 21:41:49 zzo38: By "now" do you mean "before now"? 21:42:40 It is irrelevant. 21:44:36 It was inevitable. 21:46:40 O, yes, that is what I meant, sorry. 21:46:55 Meant by what? 21:47:51 I wrote "irrelevant" instead by mistake 21:51:04 i'm not... zzo38 i was quoting a line from dwarf fortress as a joke, asre you sure it's what you meant to say? 21:52:33 I think so. Actually I am unsure that either "irrelevant" or "inevitable" is correct, but it seem closer to what I intended 21:54:52 ...are you a dwarf fortress character? 21:55:46 I think that I am not a dwarf fortress 21:57:13 -!- Nithogg_ has quit (Ping timeout: 244 seconds). 21:58:58 `random-card 21:59:05 Annihilating Fire \ 1RR \ Instant \ Annihilating Fire deals 3 damage to target creature or player. If a creature dealt damage this way would die this turn, exile it instead. \ RTR-C 22:00:06 -!- gamemanj has quit (Ping timeout: 250 seconds). 22:01:28 -!- Nithogg_ has joined. 22:01:44 `random-card 22:01:47 Hedron-Field Purists \ 2W \ Creature -- Human Cleric \ 0/3 \ Level up {2}{W} ({2}{W}: Put a level counter on this. Level up only as a sorcery.) \ {LEVEL 1-4} 1/4 If a source would deal damage to you or a creature you control, prevent 1 of that damage. \ {LEVEL 5+} 2/5 If a source would deal damage to you or a creature you control, prevent 2 of that 22:02:26 that just barely doesn't fit the irc line. 22:03:05 If it is just barely, then it look like removing the reminder text would help. (But in some cases, card texts might not fit even if reminder text is stripped.) 22:03:24 zzo38: yep, snipping the reminder text would definitely help here 22:03:49 Serra's Farmstead {WW} Enchantment - Aura ;; Enchant land ;; Enchanted land has "{2}, {T}: Add {W} to your mana pool. You gain 2 life." ;; When ~ comes into play, you gain 1 life. ;; Echo {W} 22:04:32 `random-card fight 22:04:34 Epic Confrontation \ 1G \ Sorcery \ Target creature you control gets +1/+2 until end of turn. It fights target creature you don't control. (Each deals damage equal to its power to the other.) \ DTK-C 22:05:08 `random-card imprint 22:05:10 Mirror Golem \ 6 \ Artifact Creature -- Golem \ 3/4 \ Imprint -- When Mirror Golem enters the battlefield, you may exile target card from a graveyard. \ Mirror Golem has protection from each of the exiled card's card types. (Artifact, creature, enchantment, instant, land, planeswalker, sorcery, and tribal are card types.) \ MRD-U 22:05:30 `random-card plane\b 22:05:33 Grove of the Dreampods \ Plane -- Fabacin \ When you planeswalk to Grove of the Dreampods or at the beginning of your upkeep, reveal cards from the top of your library until you reveal a creature card. Put that card onto the battlefield and the rest on the bottom of your library in a random order. \ Whenever you roll CHAOS, return target creature c 22:06:38 Do you like Serra's Farmstead? Do you like the original Farmstead? 22:06:51 `card-by-name Farmstead 22:06:52 Farmstead \ WWW \ Enchantment -- Aura \ Enchant land \ Enchanted land has "At the beginning of your upkeep, you may pay {W}{W}. If you do, you gain 1 life." \ A-R, B-R, U-R, RV-R 22:06:56 I don't know that card 22:07:17 ah, an old white rare from revised. no wonder I didn't know it 22:07:59 dunno, the original Farmstead seems very weak 22:08:04 probably that's why I haven't heared of it 22:08:12 Yes I think it is weak 22:08:30 Serra's Farmstead is stronger of course, but it sort of seems like too complicated 22:13:02 Question. What would be the power level of a mono-colored bounce land? Eg. Large Atoll \ Land \ ~ etb tapped. \ When ~ etb, return a land you control to its owner's hand. \ {T}: Add {U}{U} to your mana pool. 22:13:12 -!- Reece` has quit (Ping timeout: 260 seconds). 22:13:38 I don't know. 22:14:35 I would play lands like that in some decks if they existed, but that doesn't really mean much. 22:14:58 -!- augur has quit (Remote host closed the connection). 22:35:38 Can you recommend a website like isup.me but that can act on https servers? 22:44:26 -!- AnotherTest has joined. 22:46:09 -!- boily has joined. 22:47:21 `wisdom 22:47:29 angband//Angband is Morgoth's second dungeon. When the valar finally defeated Morgoth, they were too lazy to go to for 100% completion, so some evil spirits in Angband survived for a sequel. 22:54:28 `? rng 22:54:31 rng? ¯\(°​_o)/¯ 22:55:50 -!- `^_^v has quit (Quit: This computer has gone to sleep). 22:58:13 All Hail the Fair and Just RNG! 23:05:49 -!- LexiciScriptor has joined. 23:06:29 -!- LexiciScriptor has quit (Client Quit). 23:10:15 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 23:18:08 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 23:21:13 -!- Akaibu has quit (Quit: Connection closed for inactivity). 23:29:57 -!- augur has joined. 23:41:44 -!- Sgeo has joined.