00:00:20 The first part I think so at least. 00:00:35 yeah. 00:00:46 (Since you can just avoid to use some of the axioms.) 00:01:08 the second too, since you can still use all the old ones. 00:01:13 Is this analagous to linearly independent and spanning sets of vectors? 00:01:21 Taneb: i guess. 00:02:21 Although probably not usefully, unless it turns out systems of axioms form a vector space 00:03:39 well linearly independent implies two things, only one of which is analogous. 00:03:59 or does it 00:04:10 that part of the analogy is a little weak, anyway. 00:04:31 because you can add more axioms without contradicting the old ones, even if they're complete. 00:04:33 Taneb: That would be nice 00:05:02 oerjan, they wouldn't be "linearly independent", then 00:05:03 Taneb: And it probably does (or something similar), knowing math 00:05:32 Taneb: which is why the analogy is weak. 00:06:39 Hmm, yes 00:06:57 Taneb: Do vectors in a vector space have to by multipliable by *numbers* like it says in Wikipedia's first paragraph, or are other sets of scalars sufficient? 00:07:09 maybe a better analogy is "does not contain this vector", and "has maximal span subject to not containing that vector" 00:07:09 hppavilion[1], it has to be a field 00:07:12 (e.g. strings) 00:07:13 Taneb: OK 00:07:23 Most fields are kind of numbery 00:07:46 Even the algebraic closure of the finite field of order 27 00:07:51 hppavilion[1]: it can even be ring, except then you call it a module instead of a vector space. 00:08:03 oerjan: Which I like 00:08:34 Taneb: I'm going to try and figure out if axiomatic systems (or some subset of axiomatic systems) form a vector space... 00:09:41 (I keep using the word "axiomatic" in searches. Is that a real word, or did I make that up?) 00:09:48 Oh, it's real 00:09:54 -!- DHeadshot has quit (Ping timeout: 258 seconds). 00:10:16 hppavilion[1]: almost certainly not. or even abelian group. 00:10:34 oerjan: Some subset might 00:10:46 maybe. it'd probably be contrived. 00:10:53 How do you multiply an axiom by a scalar 00:11:10 -!- boily has quit (Quit: GRAFTED CHICKEN). 00:11:31 Taneb: The scalar would be from some field where a multiplication-like operation with an axiom makes sense 00:11:42 well, <=> is a group operation, actually. 00:12:12 (so is xor, but that's no going to be closed for theorems) 00:12:18 *not 00:12:41 -!- computing has joined. 00:13:15 hppavilion[1]: i retract the claim it's not an abelian group hth 00:13:16 -!- moonheart08 has quit (Ping timeout: 240 seconds). 00:13:17 ...over the set of theorems? What's the inverse operation? 00:13:24 Taneb: If axioms have to always be of the form p -> q (for some propositions p and q) it might be something like (p -> q)*(r -> s) = (p&q -> r&s) 00:13:38 Taneb: every element is self-inverse 00:13:47 hppavilion[1], that's vector multiplication, which is unnecessary 00:13:51 Taneb: Yeah, I'm just looking around for the moment 00:13:52 Taneb: Oh 00:13:56 and it'll be theorems modulo tautologies, i guess. 00:14:22 (A <=> B) <=> B =~= A? 00:14:42 what's that =~= doing there 00:14:46 Shit, this is 50% Pierce's Law, isn't it 00:14:51 oerjan, = looked lonely 00:15:07 Taneb: self-inverse just means ((A <=> A) <=> B) = B 00:15:19 or, A <=> A = True 00:15:31 where True happens to be the unit 00:15:59 I guess 00:16:09 it's just addition modulo 2, with True == 0 and False == 1 00:16:20 (opposite of usual) 00:16:37 (xor being the usual) 00:17:15 I think then, if we want it to be a vector space, the field must therefore be the finite field of order 2? 00:17:49 How do you multiply an axiom by a scalar <-- well this only works for the field Z_2 of course, but 0 * A = True and 1 * A = A 00:19:04 Horrifying thought: is this a Lie algebra (with Lie bracket [A, B] := A <=> B) 00:19:05 hppavilion[1]: ok so theorems form a vector space over the 2-element field. (in fact also a ring, A * B = A or B) 00:19:19 -!- iaglium has joined. 00:20:30 i derped. 00:20:42 I'm going to go to bed now, I think 00:20:43 Goodnight! 00:20:54 i didnt realise billygoat (#xkcd anti spam bot) would get at me for calling it 'the goat' instead of pinging it 00:21:16 yayyy 24 hour ban 4 me ): 00:21:38 computing: Wat? 00:22:18 hppavilion[1], it bans you for up to a day if you poke it. i was saying i would NEVER poke it >_> 00:22:25 i read what it does if you poke it :P 00:23:26 sounds like a "fun" channel. 00:23:52 https://g.redditmedia.com/vqY89uDMgXEonKx5Ui4mRsLxzOTIijy9TYOX-02Ch94.gif?w=720&fm=mp4&mp4-fragmented=false&s=387be5aad48a663fd5a7ebcebbf28102 00:23:54 lol 00:24:00 electric trump sign 00:24:41 oh, it's today 00:25:18 oerjan: it's still tomorrow, really; if you're in the US it's still Monday, and if you're in a timezone where it's Tuesday you can't expect the results until Wednesday 00:25:32 OKAY 00:25:33 assuming anyone lives in UTC-00:30, that will change in about 5 minutes 00:27:40 ais523: it doesn't seem so 00:28:14 * ais523 blames Africa for being uncreative 00:28:54 another half hour, and there's greenland, the azores and cape verde 00:30:05 -!- computing has changed nick to moonythedwarf. 00:35:34 -!- moonythedwarf has quit (Read error: Connection reset by peer). 00:36:27 `dowg afk 00:36:29 6037:2015-09-28 learn Afk wrote a famous story about hang. 00:36:40 Jafet: wat 00:37:38 -!- moonheart08 has joined. 00:37:40 -!- computing has joined. 00:37:44 -!- computing has quit (Remote host closed the connection). 00:40:31 `cat bin/dowg 00:40:32 doag "wisdom/$1" 00:40:36 `cat bin/doag 00:40:36 hlnp --removed --template "{rev}:{date|shortdate} {desc}\n" -- "$@" 00:40:53 `doag bin/doag 00:40:54 9542:2016-10-30 sled bin/doag//s/date/rev}:{date/ \ 9216:2016-10-10 ` sed -i \'s/hg log/hlnp/\' bin/{doag,hog} \ 8626:2016-06-27 mkx bin/doag//hg log --removed --template "{date|shortdate} {desc}\\n" -- "$@" 00:40:57 `? hoag 00:40:57 I see 00:40:58 `[hd]o[aw][gt] [] is a set of commands for querying HackEgo hg logs. `hoag is the basic version. d adds dates, w looks only in wisdom, and t lists oldest first. 00:41:12 ah 00:42:02 `slwd hoag//s/dates/revision number and dates/ 00:42:04 hoag//`[hd]o[aw][gt] [] is a set of commands for querying HackEgo hg logs. `hoag is the basic version. d adds revision number and dates, w looks only in wisdom, and t lists oldest first. 00:42:19 `slwd hoag//s/number/numbers/ 00:42:21 hoag//`[hd]o[aw][gt] [] is a set of commands for querying HackEgo hg logs. `hoag is the basic version. d adds revision numbers and dates, w looks only in wisdom, and t lists oldest first. 00:52:20 oerjan: it was actually an amou tor bou hang hth 00:55:05 `? slwd 00:55:06 `slwd // 00:55:29 * oerjan still confusel 01:01:33 I think the main character was named Rego Ams 01:03:57 oh. 01:04:45 i suspected that but couldn't get the "hang" part. 01:13:42 -!- nisstyre has joined. 01:13:42 -!- nisstyre has quit (Changing host). 01:13:42 -!- nisstyre has joined. 01:25:34 `` dowg mapole | grep 6 01:25:41 8556:2016-06-22 ` sed -i "s/\'/\xe2\x80\x99/" wisdom/mapole \ 5922:2015-08-22 learn_append mapole A regulatory mapole measures 6\' by 12 kg, \xc2\xb10.5 inHg. \ 5511:2015-06-11 learn_append mapole The army version includes a spork, a corkscrew and a moose whistle. 01:26:04 hm it seems to be my fault. 01:26:49 `? mapole 01:26:51 A mapole is a thwackamacallit built from maple according to Canadian standards. The army version includes a spork, a corkscrew and a moose whistle. A regulatory mapole measures 6’ by 12 kg, ±0.5 inHg. 01:27:13 ah no. it was an official statement by boily. 01:27:13 oerjan: are you heffalump or woozle twh 01:27:35 -!- moony has quit (Remote host closed the connection). 01:29:01 irrelevant, as i'm no longer confusel hth 01:34:00 -!- moonheart08 has quit (Ping timeout: 260 seconds). 02:02:24 oerjan: itym confuzzled hth 02:02:41 (alt: confus) 02:06:42 (accusative singular: confum; genitive singular: confī; dative and ablative singulars: confō) 02:07:03 (plural: confae) 02:07:05 `? os 02:07:06 Os is the accusative plural of us. Also a municipality in Norway. 02:07:14 I JUST got that joke there. 02:09:47 "-us" is the second declension irregular nominative (and vocative) suffix in Latin, "-os" is the second declension irregular accusative plural. 02:10:07 Presumably, the normal plural of us is... i. OK then. 02:10:22 (or ei or ae) 02:10:29 (or ii) 02:12:34 I wonder if "complex number" is considered feminine in grammatically gendered languages.... <-- French/Italian/Spanish/Albanian/Hebrew/Greek: masculine. German: feminine. Norwegian/Swedish/Danish/Icelandic/Dutch/Russian: neuter. 02:12:50 conclusion: not particularly often. 02:12:57 oerjan: Thank you. It should be. 02:13:26 (The joke being that FEMALES OF THE INFERIOR HUMAN SPECIES are complicated) 02:13:27 in general adjectives don't affect the gender of a noun hth 02:13:51 oerjan: 'in general' itptdh 02:14:03 (there'll be some exception somewhere, i just know it) 02:14:30 `? itptdh 02:14:31 itptdh? ¯\(°_o)/¯ 02:14:53 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:15:17 I JUST got that joke there. <-- learn latin and understand more jokes! 02:15:53 oerjan: itptdh = itp tdh; itp = "is the part" 02:16:02 "us" is an accusative plural in English, isn't it? one of the few accusative plurals that are different from the nominative plural 02:16:04 oerjan: Yaaay! 02:16:16 (plural: confae) <-- that seems a bit irregular. 02:16:16 ais523: "us" is in the object case and is plural? 02:16:26 oerjan: confi is too easy 02:16:32 hppavilion[1]: it's the accusative of "we", which is the plural of "I" 02:17:01 ais523: itym it's the plural of "me", which is the accusative of "I" 02:17:11 ais523: OK, wait, what does the accusative do again? 02:17:14 that too, 02:17:19 (also, what's irregular about -us and -os, they're about the most regular suffixes latin's got...) 02:17:24 it's a commutative diagram of English grammar 02:17:42 and accusative is used for nouns used as objects (i.e. something that is being verbed) 02:17:51 ais523: OK, yes, it's accusative 02:17:52 *«verb»ed 02:18:10 I meant it as a metasyntactic verb, not as the actual verb "verb" 02:18:14 oerjan: wikipediasaidsoitsnotmyfault! 02:19:18 oerjan: wikipediasaidsoitsnotmyfault! <-- link? 02:19:33 i may want to correct or check for vandals. 02:19:52 oerjan: closed the tab already, but I think it's that it was in the section for "deus" 02:20:06 in which article? 02:20:20 oerjan: There was a whole thing about how "deus" is irregular, I guess it listed -us and -os as well because they aren't the irregular part 02:20:47 OKAY 02:21:40 oerjan: Also, latin vandals? 02:21:42 GURPS rules says that if your character is alcoholic then you must roll against HT+2 every year or else you permanently lose one point of one of your four basic attributes selected at random. I think that is going to be a bit difficult with only six-sided dice (although, you could reroll until you get 1-4). 02:22:45 zzo38: Roll, multiply by 4/6, round? 02:23:50 It is not uniform if you do that. 02:24:19 (It doesn't say it has to be uniform, but I think it would normally imply such thing by default.) 02:24:32 hppavilion[1]: vandals are everywhere. 02:25:50 ørjan: Have you considered seeing a ψchologist about your paranoia? 02:26:34 oerjan: Also, does your client beep on ørjan? 02:26:34 apparently the albanian wikipedia is one of those that message you the first time you just visit it 02:27:05 hppavilion[1]: nah. my log searches catch it, though. 02:27:11 Ah 02:27:21 in my client, it doesn't even catch oerjan everywhere. 02:27:24 oerjan: Well ^^^^^^ 02:27:59 hppavilion[1]: psychologists are the worst, obviously. 02:28:31 actually it never beeps anyway, just colors your nick red. 02:28:40 * oerjan doesn't like too much beeping. 02:28:56 In my client it won't beep on anything unless I push an incorrect key or use /ECHO to print a bell character or use /F to trigger beeping for certain messages (which can be by regular expression). 02:29:30 (The /F command is also used to highlight messages and to suppress messages too, not only to beep.) 02:29:42 oerjan↡ I now have evil nick completion 02:29:46 AFK 02:30:17 `unidecode ↡ 02:30:17 [U+21A1 DOWNWARDS TWO HEADED ARROW] 02:36:53 `slwd Ø//s/$/./ 02:36:57 Ø//Ø escaped due to a sensitive case bug. 03:12:32 -!- wanderman has joined. 03:26:19 * hppavilion[1] has returned- with a vengeance 03:26:36 Huh, /me doesn't un/away me 03:27:19 shaval = (sgn) * (exp . abs . log . abs) 03:33:50 What is that, and what is that for? 03:39:33 zzo38: it's a function, and it's for making statistical values more clear 03:39:56 I know it is the function. Can you give an example though? 03:41:15 -!- fractal has quit (Remote host closed the connection). 03:42:15 zzo38: While the relationship (n^-1) between 33/100 and 100/33 is clear when written as fractions, it isn't immediately clear that 0.33 and 3.030303... have the same relationship (even though they're exactly the same value). shaval- as I was introduced to by (and possibly invented by) shachaf- basically finds the proportion of the smaller value to the larger 03:42:37 zzo38: Essentially, it has the nice property shaval(x) = shaval(1/x) 03:42:53 ? 03:43:17 shachaf: I named (and slightly extended) exp . abs . log 03:43:27 I do not completely understand the notation. I would guess that . means composition but I don't actually understand it so well 03:43:41 what? 03:44:04 (alternative names if Mr. Chaf disapproves of this name: Multiplicative Absolute Value/mav(x), Absolute Proportional Value/apv(x)) 03:44:19 shachaf: ...you were the one who wanted a name for exp . abs . log, right? 03:45:13 zzo38: . is composition. Basically, it's equal to 1/x if |x| < 1, else it's equal to x. 03:48:04 <\oren\> That factory game is addictive 03:48:36 Henceforth: the name of / shall be s/ash, because linguistic & typographic names should be self-demonstrating as frequently as possible in order to make it easy to understand 03:49:02 Similarly, It's an ümlaut, not an umlaut. 03:50:17 <\oren\> http://ctrlv.in/880866 03:54:45 hppavilion[1]: are you defining f * g as \x. f(x) * g(x)? 03:54:54 because I don't think that's a standard definition 03:54:55 ais523: yes hth 03:54:57 it's not even pointwise 03:55:10 ais523: That's what they taught me in school, which made me sad 03:55:23 ais523: But I figured it was standard, and it was convenient here 03:55:31 I guess it's analogous to the f² notation 03:55:32 (Or, well, they at least taught (f+g)(x) = f(x)+g(x) 03:55:33 ) 03:55:45 ais523: Why isn't it pointwise? 03:56:14 oh, hmm, maybe it is pointwise 03:56:19 ais523: I prefer to think of f² as being f . f, and that multiplication over functions is composition (which is mathematically accurate, it's beginning to appear) 03:56:22 it's hard to generalise pointwiseness to things other than matrices 03:56:34 > (sin * cos) 5 03:56:37 -0.2720105554446849 03:56:44 > sin 5 * cos 5 03:56:45 hppavilion[1]: just look at Underload 03:56:46 -0.2720105554446849 03:56:59 * is function composition, ^ is function application 03:57:35 so (f * g)(x) is f(g(x)), (f ^ g)(x) is (f(g))(x) 03:57:53 ais523: Does that satisfy the math rules? I forget 03:57:58 err, not sure if I have the arguments the right way round there 03:58:31 (f * g)(x) is g(f(x)), (f ^ g)(x) is (g(f))(x) 03:58:31 ais523: just define values as functions from 1 hth 03:58:42 and it works on Church numerals 04:01:04 That's an interesting justification for those symbols. 04:02:06 well I had to call them something! 04:02:46 I suppose (f^g)^h = f^(g*h) 04:03:07 ais523: f(g) . f(h) = p(g, h), find def. p tdnhbwh 04:03:23 (funs f, g, h) 04:03:55 shachaf: yes, and that's more obvious when you express it in reverse polish (like Underload actually uses) 04:04:10 More obvious than regular polish? 04:04:30 (f)(g)^(h)^ = (f)gh = (f)(gh)^ = (f)(g)(h)*^ 04:05:24 in regular polish you have to worry about the arity of ^ 04:05:31 in reverse polish it doesn't matter, (x)^ and x are 100% synonymous 04:06:34 when all you have is nail polish, everything looks like a nail 04:06:56 (in this notation, as in Underload, «(f)» is the function f used as a value/operand, plain «f» is the same function used as an operator) 04:07:12 shachaf: is that an antiantipun? 04:07:26 I think it's just a pun. 04:07:34 it superficially works on multiple levels but none of them actually make sense 04:07:47 I've heard lines like that before and spent a while trying to work out if they were the regular sort of pun or something else 04:08:00 like, it's the pun version of referential humour 04:08:12 ais523: itym antbipun hth 04:08:18 "when all you have is a hammer, everything looks like a nail" is a common saying about not using the right tool for the job or something. 04:08:33 This is just punning on "nail" in that saying. 04:08:47 instead of admitting two sensible interpretations, it has zero, but there's multiple different ways to read it as a reference to something 04:08:53 shachaf: A wise man once told me that sometimes, everything really is a nail 04:09:12 yes but the reference to polish is relevant too 04:09:13 This was after a severe head injury, so whether he was wise at the time is up for debate 04:09:27 ais523: I think we should annex reverse polish notation 04:09:58 The reference to polish is admittedly not invtended to make sense. 04:10:17 hppavilion[1]: had he had too much to smoke as well? 04:10:19 Hmm, I suppose "invtended" means "intended to invent", or "invented with intent". 04:10:26 Which Taneb doesn't seem to do much of. 04:10:53 is it possible for something to invent itself? 04:11:32 Why not? 04:11:45 I'm trying to figure out if it leads to an ontological paradox 04:11:47 `? tanebventions: maths 04:11:53 Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, string diagrams, the reals, Lambek's lemma, pointless topology, the long line, locales, and histograms. 04:12:01 only a time travel one hth 04:12:01 Taneb invented all things that do not invent themselves. 04:12:21 `? tanebventory 04:12:22 The Tanebventory is big. Really big. For one thing, it contains a Hilbert hotel. 04:12:29 that said, this is getting well into Feather territory 04:13:00 -!- fractal has joined. 04:13:24 (even though I haven't figured out how to make it work, I still think it's possible to make a language in which all interpreters are written in the language itself and execute via an infinite chain of interpreters) 04:13:46 I know the general approach you'd take, you generate the lower interpreters lazily 04:14:32 `? ngeventions 04:14:38 ngeventions? ¯\(°_o)/¯ 04:14:45 I'm sure it'll exist ngeventually. 04:14:47 Tanebventually? 04:15:03 <\oren\> http://img.ctrlv.in/img/16/11/08/5821511dcb3c8.png 04:15:37 have you considered switching to factorio 04:15:40 it's much more fun hth 04:29:22 oerjan: No, he didn't smoke. He was wise, remember? 04:30:31 oerjan: He figured out the cigarette-lung cancer thing a mere 10 years after it should have been blatantly obvious 04:31:58 clever 04:32:28 As they say: A clever person can get out of trouble that a wise person doesn't get into. 04:58:51 shachaf: Yes, exactly 04:59:09 shachaf: A lawyer can get you into trouble, then charge you $500/hour to get you out 05:01:56 * hppavilion[1] . ø Ø ( An expert in Norwegian law should be called a "lawjer", even in english ) 05:12:09 -!- otherbot has quit (Remote host closed the connection). 05:15:22 Hm, for some reason, my font program can't render the smiggledygook... 05:16:32 Oh, I see why 05:17:36 -!- bibibi has quit (Ping timeout: 260 seconds). 05:23:05 hppavilion[1]: "advokat" hth 05:23:36 for a start, norwegian doesn't natively have "w". 05:25:49 oerjan: No, "lawjer". It's not supposed to be in Norwegian, it's just supposed to be indicative that it's Norwayey 05:25:58 (Norwic? Norwayular? Norwoidal?) 05:26:08 "norsk" 05:26:28 oerjan: ...I thought something in "for a start, norwegian doesn't natively have \"w\"." looked wrong. I figured out what it is. 05:26:42 "norwegian doesn't ... have [w]" 05:27:02 'norWegian has no \'w\'' 05:27:08 maybe you should spell it out a little more 05:27:16 you know, with a diagram 05:27:17 then whence the fuck comes the 'w' in norwegian 05:27:32 maybe a video where you move the letters around 05:27:45 shachaf: Look at the capitalization 05:28:05 ("whence the fuck", like all archaic english constructions mixed with modern slang, is a fun sentence) 05:28:20 There's nothing archaic about "whence". 05:28:27 And anyway you're jus being needlessly crude. 05:28:29 shachaf: It's archaic. 05:28:54 shachaf: I assure you, it's only ever used to make things sound old at this point. 05:29:26 Your assurance is wrong. 05:29:32 shachaf: https://en.wiktionary.org/wiki/whence#English 05:29:40 hppavilion[1]: the norwegian word for "norwegian" is "norsk". no w anywhere. 05:30:24 oerjan: Yes, but who heard a Norwegian say "Norsk" and said "Hey, you know what'd make it so much better? If replaced 'sk' with 'wegian'!" 05:30:47 To which somebody presumably responded "Why? When have we ever used the term 'wegian'? Ever?" 05:31:13 @google where does the name norway come from 05:31:14 https://en.wikipedia.org/wiki/Norway 05:31:15 NORwegians, NANDwegians, XORwegians, ORwegians, ANDwegians, XNORwegians. 05:31:26 hppavilion[1]: the old norse was "norveg", or something like that. 05:31:55 the v _may_ have been pronounced like a w, or it may have passed through a language which did. 05:32:21 "Norway has two official names: Noreg in Nynorsk (Old Norse: Noregr) and Norge in Bokmål (Old Norse: Noregi, dative of Noregr)." 05:32:40 Aha, so Nynorsk is like American and Bokmål is like British. 05:32:44 ok, so in _very_ old norse. 05:33:04 whence/thence/hence are related like where/there/here. Huh. 05:33:26 shachaf: not entirely. but in this case, nynorsk uses a more archaic form. 05:33:38 Yes, also whither/thither/hither. 05:33:41 It's standard English. 05:34:28 Presumably we can also have when/then/hen, what/that/hat, who/tho/ho (well, ho and who would be similar), why/thy/hy, wow/thow/how 05:34:41 I must use this discovery hith care 05:48:23 -!- hppavilion[1] has quit (Ping timeout: 258 seconds). 06:10:09 -!- augur has quit (Read error: Connection reset by peer). 06:10:42 -!- augur has joined. 06:16:11 -!- wanderman has quit (Quit: Leaving). 06:17:04 -!- wanderman has joined. 06:18:38 -!- yorick_ has joined. 06:22:56 -!- yorick has quit (Ping timeout: 260 seconds). 06:22:57 -!- wanderman has quit (Ping timeout: 265 seconds). 06:44:30 hmm, "when" and "then" actually follow the pattern too, but we say "now" not "hen" 06:49:32 -!- ais523 has quit (Ping timeout: 265 seconds). 06:57:29 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50171&oldid=50145 * Slnetaiga * (+151) 06:57:51 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50172&oldid=50171 * Slnetaiga * (-16) 07:02:17 -!- augur has quit (Remote host closed the connection). 07:02:51 -!- augur has joined. 07:04:09 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50173&oldid=50172 * Slnetaiga * (+14) 07:06:56 -!- hppavilion[1] has joined. 07:07:21 -!- augur has quit (Ping timeout: 258 seconds). 07:07:31 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50174&oldid=50173 * Slnetaiga * (+205) 07:08:35 -!- carado has joined. 07:08:58 I like ain't. It's a nice generic (am | are | is) not 07:09:53 [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50175&oldid=50174 * Slnetaiga * (+160) 07:16:04 To me it is just "am not", but it doesn't matter so much because it can be understood in any of the cases. 07:17:09 zzo38: Well, it's not just "am not" in usual usage- wait, are you saying you only use it for "am not" or that's how you parse it? 07:18:30 -!- bibibi has joined. 07:31:02 Hm... what should the term be for a genocide on a small scale? Some use "genocidal massacre", others use "partial genocide". 07:31:10 (e.g. the Parsley Massacre) 07:31:28 I'd argue we should just call it "genocide" because genocide is genocide and it's shitty either way 08:03:46 -!- oerjan has quit (Quit: Nite). 08:04:17 "My best code is written with the delete key." 08:17:23 -!- augur has joined. 08:25:17 -!- augur has quit (Ping timeout: 240 seconds). 08:25:51 -!- augur has joined. 08:51:10 -!- augur has quit (Remote host closed the connection). 08:51:50 -!- augur has joined. 08:54:44 hppavilion[1]: I think it's called "racially motivated attacks" 08:55:13 b_jonas: That only covers extremely small-scale, rapid things- like a shooting in a black church 08:55:28 b_jonas: Genocide is structured and happens over a time, usually with multiple people involved 08:55:54 -!- augur has quit (Ping timeout: 244 seconds). 08:58:41 hpp: um, ok, I thought you asked for small-scale 08:58:55 if you want large-scale, then I think it's just "genocide" 09:00:44 There, now at least four webcomic strips have put comments about the current US presidential election on their website, whether in the strip itself or in comments outisde 09:01:11 Dilbert (duh), bobadventures, xkcd, and Questionable Content. 09:01:23 wait, let me check qwantz quickly 09:02:35 Ah, savage chickens too now! That makes five 09:06:43 https://zem.fi/tmp/water.jpg -- can't argue with that! 09:19:12 b_jonas: Intermediate scale. Not in the millions, but not something you do in an afternoon 09:19:34 Several hundred to a few thousand dead, done in an organized fashion 09:24:13 -!- Akaibu has quit (Ping timeout: 245 seconds). 09:25:48 -!- Akaibu has joined. 09:27:58 What happens if you put a Kobolds of Kher Keep into a Time Machine? 09:37:17 -!- Akaibu has quit (Ping timeout: 240 seconds). 09:37:43 -!- Akaibu has joined. 09:38:07 -!- fungot has joined. 10:01:00 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 10:16:06 Taneb: 63 is even bigger than the cube root of 9 10:21:55 -!- Akaibu has quit (Quit: Connection closed for inactivity). 10:30:31 -!- centrinia has joined. 10:44:36 @tell boily No, systemd is a source of a lot of stress and frustration to me... too magical, and badly documented. It supplies wonders like "core dumped" messages with no core dump to be found (until you find the "coredumpctl" utility), and yesterday it provided me with the wonder of cups not being available (localhost:631 wasn't reachable) because systemd thought I had not done anything... 10:44:37 Consider it noted. 10:44:42 ...printing related yet (so, apparently, running a simple command like "lpq" would start cupsd behind the curtains). 10:44:57 @tell boily ...printing related yet (so, apparently, running a simple command like "lpq" would start cupsd behind the curtains). 10:44:57 Consider it noted. 10:51:25 -!- LKoen has joined. 10:55:31 did some github staffer push broken css to prod? 10:55:57 and with css i mean webthing 10:56:10 http://i.imgur.com/CQHqdz2.png this happens in any project 10:58:31 int-e: That might be worth a bug report to cups, sounds like their .socket file should specify the IPP port and not only the LPD port 11:07:35 -!- centrinia has quit (Quit: Leaving). 11:09:43 izalove: doesn't seem to happen here 11:10:30 you're too slow :( 11:10:33 they fixed it now 11:19:10 yay 11:19:15 -!- keemyb has quit (Remote host closed the connection). 11:20:46 shachaf, that is a true but irrelevant statement 11:25:45 fizzie: rain must be an awful thing to those people... imagine being hit by thin slices of water... 11:33:27 -!- boily has joined. 11:33:37 `wisdom 11:33:43 nundrum//A nundrum is the categorical dual of a conundrum: a problem whose solution is useless. 11:35:49 @massages-loud 11:35:50 int-e said 51m 13s ago: No, systemd is a source of a lot of stress and frustration to me... too magical, and badly documented. It supplies wonders like "core dumped" messages with no core dump to be 11:35:50 found (until you find the "coredumpctl" utility), and yesterday it provided me with the wonder of cups not being available (localhost:631 wasn't reachable) because systemd thought I had not done 11:35:50 anything... 11:35:50 int-e said 50m 52s ago: ...printing related yet (so, apparently, running a simple command like "lpq" would start cupsd behind the curtains). 11:37:07 int-ello. that is magical. 11:37:41 boily: yes, it's awful 11:38:29 now that I'm further down the rabbit hole I'm wondering why cupsd doesn't exit automatically as advertised. 11:38:37 * int-e blames Deewiant 11:39:03 -!- AnotherTest has joined. 11:43:44 . o O ( Deewiant is alive? ) 11:43:52 systemdeewiant 11:44:42 deevuan 11:51:49 boily: well, it spoke! 11:53:04 -!- Lord_of_Life has quit (Changing host). 11:53:04 -!- Lord_of_Life has joined. 11:53:04 -!- Lord_of_Life has quit (Changing host). 11:53:04 -!- Lord_of_Life has joined. 11:56:29 `? Deewiant 11:56:32 Deewiant is the world expert on Befunge conformance testing. 12:02:33 argh 12:02:46 reading co-workers code sometimes hurts a lot 12:03:01 you should learn how to use dangerous stuff before you use it! 12:05:48 that's why Gerrit has a sweet, sweet -2. 12:23:13 -!- boily has quit (Quit: PLUGIN CHICKEN). 12:42:45 -!- carado has quit (Ping timeout: 268 seconds). 12:42:53 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 12:55:11 -!- carado has joined. 13:17:10 -!- carado has quit (Ping timeout: 265 seconds). 13:17:10 -!- Phantom_Hoover has joined. 13:17:46 -!- carado has joined. 14:01:03 -!- moonythedwarf has joined. 14:01:05 moo3 14:01:51 @messages-loud 14:01:52 boily said 6d 2h 52m 22s ago: mhelloonythedwarf. 14:02:00 ah 14:13:28 -!- Lord_of_Life has quit (Excess Flood). 14:17:12 -!- Lord_of_Life has joined. 14:44:46 -!- benderB787 has joined. 14:49:34 -!- benderB787 has quit (Read error: Connection reset by peer). 15:04:29 -!- AnotherTest has quit (Ping timeout: 260 seconds). 15:14:15 -!- AnotherTest has joined. 15:16:50 -!- ybden has changed nick to SIGPET. 16:15:02 -!- carado has quit (Ping timeout: 265 seconds). 16:16:23 -!- Frooxius has quit (Quit: *bubbles away*). 16:16:42 -!- Frooxius has joined. 16:24:33 argh! internal error from the linker 17:04:15 -!- AnotherTest has quit (Ping timeout: 252 seconds). 17:17:25 -!- Vorpal has quit (Ping timeout: 248 seconds). 17:21:08 <\oren\> https://www.youtube.com/watch?v=LXx8-iEX7cs 17:21:43 <\oren\> I was enjoying this song, when I realized who that guy in the photo is? 17:23:41 -!- AnotherTest has joined. 17:34:02 -!- Zarutian has joined. 17:34:15 <\oren\> Oh look, there was an election in the Yukon, and literally noone cares 17:36:58 -!- moonheart08 has joined. 17:48:28 -!- moonheart08 has quit (Ping timeout: 260 seconds). 18:14:18 -!- carado has joined. 18:24:42 -!- SIGPET has changed nick to ybden. 18:36:05 What GURPS book doesn't specify but I think they should is if a template modifiers your aging TL due to your character's species, since it seems like such a thing is reasonable to me. And also for some humans, due to religion and other things it may also qualify for a aging TL reduced by 1 or 2 maybe. 18:58:19 <\oren\> idea: dialup internet over skype! 18:58:42 <\oren\> write a skype bot that provides dialup internet access 18:59:21 <\oren\> then, when you want to surf the net, skype your bot and connect your modem 19:00:05 <\oren\> recurse until your internet grinds to a halt 19:01:55 ouch... why skype? that's just horrible 19:02:21 -!- Kaynato has joined. 19:06:42 r 19:09:44 I look in askance at what the hell the Indian Prime Minster is trying to achive by 'demonitizing' the current Rs1000 and Rs500 notes 19:11:39 there is nothing stoppening someone who is well known and of high reputation in the local community to just exchange prompty Rs1000 from people that do not trust the promptness of local banks or post offices for cheques of same domination to bearer. 19:12:30 double striked to indicate that the bank must honour the cheque regardless of the account balance. 19:14:26 and when the furror is over then accept back those cheques after having withdrawn as much as possible without triggering the panic bells in clerks heads 19:16:27 this Modi character says that he is doing this to counter 'money laundary' which is highly hypocritical of him when he most likely has accounts in 'offshore' countries 19:18:06