00:00:20 <zzo38> The first part I think so at least.
00:00:46 <zzo38> (Since you can just avoid to use some of the axioms.)
00:01:08 <oerjan> the second too, since you can still use all the old ones.
00:01:13 <Taneb> Is this analagous to linearly independent and spanning sets of vectors?
00:02:21 <Taneb> Although probably not usefully, unless it turns out systems of axioms form a vector space
00:03:39 <oerjan> well linearly independent implies two things, only one of which is analogous.
00:04:10 <oerjan> that part of the analogy is a little weak, anyway.
00:04:31 <oerjan> because you can add more axioms without contradicting the old ones, even if they're complete.
00:05:02 <Taneb> oerjan, they wouldn't be "linearly independent", then
00:05:03 <hppavilion[1]> Taneb: And it probably does (or something similar), knowing math
00:05:32 <oerjan> Taneb: which is why the analogy is weak.
00:06:57 <hppavilion[1]> 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 <oerjan> maybe a better analogy is "does not contain this vector", and "has maximal span subject to not containing that vector"
00:07:09 <Taneb> hppavilion[1], it has to be a field
00:07:23 <Taneb> Most fields are kind of numbery
00:07:46 <Taneb> Even the algebraic closure of the finite field of order 27
00:07:51 <oerjan> hppavilion[1]: it can even be ring, except then you call it a module instead of a vector space.
00:08:34 <hppavilion[1]> 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 <hppavilion[1]> (I keep using the word "axiomatic" in searches. Is that a real word, or did I make that up?)
00:09:54 -!- DHeadshot has quit (Ping timeout: 258 seconds).
00:10:16 <oerjan> hppavilion[1]: almost certainly not. or even abelian group.
00:10:46 <oerjan> maybe. it'd probably be contrived.
00:10:53 <Taneb> How do you multiply an axiom by a scalar
00:11:10 -!- boily has quit (Quit: GRAFTED CHICKEN).
00:11:31 <hppavilion[1]> Taneb: The scalar would be from some field where a multiplication-like operation with an axiom makes sense
00:11:42 <oerjan> well, <=> is a group operation, actually.
00:12:12 <oerjan> (so is xor, but that's no going to be closed for theorems)
00:12:41 -!- computing has joined.
00:13:15 <oerjan> 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 <Taneb> ...over the set of theorems? What's the inverse operation?
00:13:24 <hppavilion[1]> 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 <oerjan> Taneb: every element is self-inverse
00:13:47 <Taneb> hppavilion[1], that's vector multiplication, which is unnecessary
00:13:51 <hppavilion[1]> Taneb: Yeah, I'm just looking around for the moment
00:13:56 <oerjan> and it'll be theorems modulo tautologies, i guess.
00:14:22 <Taneb> (A <=> B) <=> B =~= A?
00:14:42 <oerjan> what's that =~= doing there
00:14:46 <Taneb> Shit, this is 50% Pierce's Law, isn't it
00:14:51 <Taneb> oerjan, = looked lonely
00:15:07 <oerjan> Taneb: self-inverse just means ((A <=> A) <=> B) = B
00:15:31 <oerjan> where True happens to be the unit
00:16:09 <oerjan> it's just addition modulo 2, with True == 0 and False == 1
00:17:15 <Taneb> 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 <oerjan> <Taneb> 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 <Taneb> Horrifying thought: is this a Lie algebra (with Lie bracket [A, B] := A <=> B)
00:19:05 <oerjan> 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:42 <Taneb> I'm going to go to bed now, I think
00:20:54 <computing> i didnt realise billygoat (#xkcd anti spam bot) would get at me for calling it 'the goat' instead of pinging it
00:22:18 <computing> 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 <computing> i read what it does if you poke it :P
00:23:26 <oerjan> sounds like a "fun" channel.
00:23:52 <computing> https://g.redditmedia.com/vqY89uDMgXEonKx5Ui4mRsLxzOTIijy9TYOX-02Ch94.gif?w=720&fm=mp4&mp4-fragmented=false&s=387be5aad48a663fd5a7ebcebbf28102
00:25:18 <ais523> 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:33 <ais523> assuming anyone lives in UTC-00:30, that will change in about 5 minutes
00:27:40 <oerjan> ais523: it doesn't seem so
00:28:14 * ais523 blames Africa for being uncreative
00:28:54 <oerjan> 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:29 <HackEgo> 6037:2015-09-28 <Jafët> learn Afk wrote a famous story about hang.
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:36 <HackEgo> hlnp --removed --template "{rev}:{date|shortdate} {desc}\n" -- "$@"
00:40:54 <HackEgo> 9542:2016-10-30 <oerjän> sled bin/doag//s/date/rev}:{date/ \ 9216:2016-10-10 <oerjän> ` sed -i \'s/hg log/hlnp/\' bin/{doag,hog} \ 8626:2016-06-27 <shachäf> mkx bin/doag//hg log --removed --template "{date|shortdate} {desc}\\n" -- "$@"
00:40:58 <HackEgo> `[hd]o[aw][gt] [<filename>] 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:42:02 <oerjan> `slwd hoag//s/dates/revision number and dates/
00:42:04 <HackEgo> hoag//`[hd]o[aw][gt] [<filename>] 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 <oerjan> `slwd hoag//s/number/numbers/
00:42:21 <HackEgo> hoag//`[hd]o[aw][gt] [<filename>] 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 <Jafet> oerjan: it was actually an amou tor bou hang hth
00:55:06 <HackEgo> `slwd <wisdom name>//<sed script>
01:01:33 <Jafet> I think the main character was named Rego Ams
01:04:45 <oerjan> 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 <oerjan> `` dowg mapole | grep 6
01:25:41 <HackEgo> 8556:2016-06-22 <boil̈y> ` sed -i "s/\'/\xe2\x80\x99/" wisdom/mapole \ 5922:2015-08-22 <oerjän> learn_append mapole A regulatory mapole measures 6\' by 12 kg, \xc2\xb10.5 inHg. \ 5511:2015-06-11 <oerjän> learn_append mapole The army version includes a spork, a corkscrew and a moose whistle.
01:26:04 <oerjan> hm it seems to be my fault.
01:26:51 <HackEgo> 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 <oerjan> ah no. it was an official statement by boily.
01:27:13 <shachaf> oerjan: are you heffalump or woozle twh
01:27:35 -!- moony has quit (Remote host closed the connection).
01:29:01 <oerjan> irrelevant, as i'm no longer confusel hth
01:34:00 -!- moonheart08 has quit (Ping timeout: 260 seconds).
02:06:42 <hppavilion[1]> (accusative singular: confum; genitive singular: confī; dative and ablative singulars: confō)
02:07:06 <HackEgo> Os is the accusative plural of us. Also a municipality in Norway.
02:09:47 <hppavilion[1]> "-us" is the second declension irregular nominative (and vocative) suffix in Latin, "-os" is the second declension irregular accusative plural.
02:10:07 <hppavilion[1]> Presumably, the normal plural of us is... i. OK then.
02:12:34 <oerjan> <hppavilion[1]> 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 <oerjan> conclusion: not particularly often.
02:13:26 <hppavilion[1]> (The joke being that FEMALES OF THE INFERIOR HUMAN SPECIES are complicated)
02:13:27 <oerjan> in general adjectives don't affect the gender of a noun hth
02:14:03 <oerjan> (there'll be some exception somewhere, i just know it)
02:14:53 -!- Phantom_Hoover has quit (Remote host closed the connection).
02:15:17 <oerjan> <hppavilion[1]> I JUST got that joke there. <-- learn latin and understand more jokes!
02:16:02 <ais523> "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:16 <oerjan> <hppavilion[1]> (plural: confae) <-- that seems a bit irregular.
02:16:32 <ais523> hppavilion[1]: it's the accusative of "we", which is the plural of "I"
02:17:01 <hppavilion[1]> ais523: itym it's the plural of "me", which is the accusative of "I"
02:17:11 <hppavilion[1]> ais523: OK, wait, what does the accusative do again?
02:17:19 <oerjan> (also, what's irregular about -us and -os, they're about the most regular suffixes latin's got...)
02:17:24 <ais523> it's a commutative diagram of English grammar
02:17:42 <ais523> and accusative is used for nouns used as objects (i.e. something that is being verbed)
02:18:10 <ais523> I meant it as a metasyntactic verb, not as the actual verb "verb"
02:19:18 <oerjan> <hppavilion[1]> oerjan: wikipediasaidsoitsnotmyfault! <-- link?
02:19:33 <oerjan> i may want to correct or check for vandals.
02:19:52 <hppavilion[1]> oerjan: closed the tab already, but I think it's that it was in the section for "deus"
02:20:20 <hppavilion[1]> 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:21:42 <zzo38> 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:23:50 <zzo38> It is not uniform if you do that.
02:24:19 <zzo38> (It doesn't say it has to be uniform, but I think it would normally imply such thing by default.)
02:24:32 <oerjan> hppavilion[1]: vandals are everywhere.
02:25:50 <hppavilion[1]> ørjan: Have you considered seeing a ψchologist about your paranoia?
02:26:34 <oerjan> apparently the albanian wikipedia is one of those that message you the first time you just visit it
02:27:05 <oerjan> hppavilion[1]: nah. my log searches catch it, though.
02:27:21 <oerjan> in my client, it doesn't even catch oerjan everywhere.
02:27:59 <oerjan> hppavilion[1]: psychologists are the worst, obviously.
02:28:31 <oerjan> actually it never beeps anyway, just colors your nick red.
02:28:40 * oerjan doesn't like too much beeping.
02:28:56 <zzo38> 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 <zzo38> (The /F command is also used to highlight messages and to suppress messages too, not only to beep.)
02:30:17 <HackEgo> [U+21A1 DOWNWARDS TWO HEADED ARROW]
02:36:57 <HackEgo> Ø//Ø escaped due to a sensitive case bug.
03:12:32 -!- wanderman has joined.
03:33:50 <zzo38> What is that, and what is that for?
03:39:33 <hppavilion[1]> zzo38: it's a function, and it's for making statistical values more clear
03:39:56 <zzo38> 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 <hppavilion[1]> 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 <hppavilion[1]> zzo38: Essentially, it has the nice property shaval(x) = shaval(1/x)
03:43:17 <hppavilion[1]> shachaf: I named (and slightly extended) exp . abs . log
03:43:27 <zzo38> I do not completely understand the notation. I would guess that . means composition but I don't actually understand it so well
03:44:04 <hppavilion[1]> (alternative names if Mr. Chaf disapproves of this name: Multiplicative Absolute Value/mav(x), Absolute Proportional Value/apv(x))
03:44:19 <hppavilion[1]> shachaf: ...you were the one who wanted a name for exp . abs . log, right?
03:45:13 <hppavilion[1]> 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 <hppavilion[1]> 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:50:17 <\oren\> http://ctrlv.in/880866
03:54:45 <ais523> hppavilion[1]: are you defining f * g as \x. f(x) * g(x)?
03:54:54 <ais523> because I don't think that's a standard definition
03:54:57 <ais523> it's not even pointwise
03:55:10 <hppavilion[1]> ais523: That's what they taught me in school, which made me sad
03:55:23 <hppavilion[1]> ais523: But I figured it was standard, and it was convenient here
03:55:31 <ais523> I guess it's analogous to the f² notation
03:55:32 <hppavilion[1]> (Or, well, they at least taught (f+g)(x) = f(x)+g(x)
03:55:45 <shachaf> ais523: Why isn't it pointwise?
03:56:14 <ais523> oh, hmm, maybe it is pointwise
03:56:19 <hppavilion[1]> 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 <ais523> it's hard to generalise pointwiseness to things other than matrices
03:56:45 <ais523> hppavilion[1]: just look at Underload
03:56:59 <ais523> * is function composition, ^ is function application
03:57:35 <ais523> so (f * g)(x) is f(g(x)), (f ^ g)(x) is (f(g))(x)
03:57:53 <hppavilion[1]> ais523: Does that satisfy the math rules? I forget
03:57:58 <ais523> err, not sure if I have the arguments the right way round there
03:58:31 <ais523> (f * g)(x) is g(f(x)), (f ^ g)(x) is (g(f))(x)
03:58:31 <shachaf> ais523: just define values as functions from 1 hth
03:58:42 <ais523> and it works on Church numerals
04:01:04 <shachaf> That's an interesting justification for those symbols.
04:02:06 <ais523> well I had to call them something!
04:02:46 <shachaf> I suppose (f^g)^h = f^(g*h)
04:03:07 <hppavilion[1]> ais523: f(g) . f(h) = p(g, h), find def. p tdnhbwh
04:03:55 <ais523> shachaf: yes, and that's more obvious when you express it in reverse polish (like Underload actually uses)
04:04:10 <shachaf> More obvious than regular polish?
04:04:30 <ais523> (f)(g)^(h)^ = (f)gh = (f)(gh)^ = (f)(g)(h)*^
04:05:24 <ais523> in regular polish you have to worry about the arity of ^
04:05:31 <ais523> in reverse polish it doesn't matter, (x)^ and x are 100% synonymous
04:06:34 <shachaf> when all you have is nail polish, everything looks like a nail
04:06:56 <ais523> (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 <ais523> shachaf: is that an antiantipun?
04:07:34 <ais523> it superficially works on multiple levels but none of them actually make sense
04:07:47 <ais523> 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 <ais523> like, it's the pun version of referential humour
04:08:18 <shachaf> "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 <shachaf> This is just punning on "nail" in that saying.
04:08:47 <ais523> 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 <hppavilion[1]> shachaf: A wise man once told me that sometimes, everything really is a nail
04:09:12 <ais523> yes but the reference to polish is relevant too
04:09:13 <hppavilion[1]> This was after a severe head injury, so whether he was wise at the time is up for debate
04:09:27 <hppavilion[1]> ais523: I think we should annex reverse polish notation
04:09:58 <shachaf> The reference to polish is admittedly not invtended to make sense.
04:10:17 <oerjan> hppavilion[1]: had he had too much to smoke as well?
04:10:19 <shachaf> Hmm, I suppose "invtended" means "intended to invent", or "invented with intent".
04:10:26 <shachaf> Which Taneb doesn't seem to do much of.
04:10:53 <ais523> is it possible for something to invent itself?
04:11:45 <ais523> I'm trying to figure out if it leads to an ontological paradox
04:11:53 <HackEgo> 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 <oerjan> only a time travel one hth
04:12:01 <shachaf> Taneb invented all things that do not invent themselves.
04:12:22 <HackEgo> The Tanebventory is big. Really big. For one thing, it contains a Hilbert hotel.
04:12:29 <ais523> that said, this is getting well into Feather territory
04:13:00 -!- fractal has joined.
04:13:24 <ais523> (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 <ais523> I know the general approach you'd take, you generate the lower interpreters lazily
04:14:45 <shachaf> I'm sure it'll exist ngeventually.
04:15:03 <\oren\> http://img.ctrlv.in/img/16/11/08/5821511dcb3c8.png
04:15:37 <shachaf> have you considered switching to factorio
04:29:22 <hppavilion[1]> oerjan: No, he didn't smoke. He was wise, remember?
04:30:31 <hppavilion[1]> oerjan: He figured out the cigarette-lung cancer thing a mere 10 years after it should have been blatantly obvious
04:32:28 <shachaf> As they say: A clever person can get out of trouble that a wise person doesn't get into.
04:59:09 <hppavilion[1]> 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 <hppavilion[1]> Hm, for some reason, my font program can't render the smiggledygook...
05:17:36 -!- bibibi has quit (Ping timeout: 260 seconds).
05:23:05 <oerjan> hppavilion[1]: "advokat" hth
05:23:36 <oerjan> for a start, norwegian doesn't natively have "w".
05:25:49 <hppavilion[1]> oerjan: No, "lawjer". It's not supposed to be in Norwegian, it's just supposed to be indicative that it's Norwayey
05:26:28 <hppavilion[1]> oerjan: ...I thought something in "for a start, norwegian doesn't natively have \"w\"." looked wrong. I figured out what it is.
05:27:08 <shachaf> maybe you should spell it out a little more
05:27:32 <shachaf> maybe a video where you move the letters around
05:28:05 <hppavilion[1]> ("whence the fuck", like all archaic english constructions mixed with modern slang, is a fun sentence)
05:28:20 <shachaf> There's nothing archaic about "whence".
05:28:27 <shachaf> And anyway you're jus being needlessly crude.
05:28:54 <hppavilion[1]> shachaf: I assure you, it's only ever used to make things sound old at this point.
05:29:32 <hppavilion[1]> shachaf: https://en.wiktionary.org/wiki/whence#English
05:29:40 <oerjan> hppavilion[1]: the norwegian word for "norwegian" is "norsk". no w anywhere.
05:30:24 <hppavilion[1]> 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 <hppavilion[1]> To which somebody presumably responded "Why? When have we ever used the term 'wegian'? Ever?"
05:31:13 <shachaf> @google where does the name norway come from
05:31:14 <lambdabot> https://en.wikipedia.org/wiki/Norway
05:31:15 <hppavilion[1]> NORwegians, NANDwegians, XORwegians, ORwegians, ANDwegians, XNORwegians.
05:31:26 <oerjan> hppavilion[1]: the old norse was "norveg", or something like that.
05:31:55 <oerjan> the v _may_ have been pronounced like a w, or it may have passed through a language which did.
05:32:21 <shachaf> "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 <shachaf> Aha, so Nynorsk is like American and Bokmål is like British.
05:32:44 <oerjan> ok, so in _very_ old norse.
05:33:04 <hppavilion[1]> whence/thence/hence are related like where/there/here. Huh.
05:33:26 <oerjan> shachaf: not entirely. but in this case, nynorsk uses a more archaic form.
05:33:38 <shachaf> Yes, also whither/thither/hither.
05:34:28 <hppavilion[1]> 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: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 <ais523> 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 <HackEgo> [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50171&oldid=50145 * Slnetaiga * (+151)
06:57:51 <HackEgo> [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 <HackEgo> [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 <HackEgo> [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50174&oldid=50173 * Slnetaiga * (+205)
07:08:35 -!- carado has joined.
07:08:58 <hppavilion[1]> I like ain't. It's a nice generic (am | are | is) not
07:09:53 <HackEgo> [wiki] [[OOLANG]] https://esolangs.org/w/index.php?diff=50175&oldid=50174 * Slnetaiga * (+160)
07:16:04 <zzo38> 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 <hppavilion[1]> 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 <hppavilion[1]> Hm... what should the term be for a genocide on a small scale? Some use "genocidal massacre", others use "partial genocide".
07:31:28 <hppavilion[1]> 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 <izalove> "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 <b_jonas> hppavilion[1]: I think it's called "racially motivated attacks"
08:55:13 <hppavilion[1]> b_jonas: That only covers extremely small-scale, rapid things- like a shooting in a black church
08:55:28 <hppavilion[1]> 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 <b_jonas> hpp: um, ok, I thought you asked for small-scale
08:58:55 <b_jonas> if you want large-scale, then I think it's just "genocide"
09:00:44 <b_jonas> 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 <b_jonas> Dilbert (duh), bobadventures, xkcd, and Questionable Content.
09:01:23 <b_jonas> wait, let me check qwantz quickly
09:02:35 <b_jonas> Ah, savage chickens too now! That makes five
09:06:43 <fizzie> https://zem.fi/tmp/water.jpg -- can't argue with that!
09:19:12 <hppavilion[1]> b_jonas: Intermediate scale. Not in the millions, but not something you do in an afternoon
09:19:34 <hppavilion[1]> 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 <b_jonas> 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 <shachaf> 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 <int-e> @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:42 <int-e> ...printing related yet (so, apparently, running a simple command like "lpq" would start cupsd behind the curtains).
10:44:57 <int-e> @tell boily ...printing related yet (so, apparently, running a simple command like "lpq" would start cupsd behind the curtains).
10:51:25 -!- LKoen has joined.
10:55:31 <izalove> did some github staffer push broken css to prod?
10:55:57 <izalove> and with css i mean webthing
10:56:10 <izalove> http://i.imgur.com/CQHqdz2.png this happens in any project
10:58:31 <Deewiant> 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 <int-e> izalove: doesn't seem to happen here
11:19:15 -!- keemyb has quit (Remote host closed the connection).
11:20:46 <Taneb> shachaf, that is a true but irrelevant statement
11:25:45 <int-e> 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:43 <HackEgo> nundrum//A nundrum is the categorical dual of a conundrum: a problem whose solution is useless.
11:35:50 <lambdabot> 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 <lambdabot> 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 <lambdabot> 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 <boily> int-ello. that is magical.
11:37:41 <int-e> boily: yes, it's awful
11:38:29 <int-e> now that I'm further down the rabbit hole I'm wondering why cupsd doesn't exit automatically as advertised.
11:39:03 -!- AnotherTest has joined.
11:43:44 <boily> . o O ( Deewiant is alive? )
11:51:49 <int-e> 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:32 <HackEgo> Deewiant is the world expert on Befunge conformance testing.
12:02:46 <b_jonas> reading co-workers code sometimes hurts a lot
12:03:01 <b_jonas> you should learn how to use dangerous stuff before you use it!
12:05:48 <boily> 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:52 <lambdabot> boily said 6d 2h 52m 22s ago: mhelloonythedwarf.
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 <b_jonas> 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 <zzo38> 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 <b_jonas> ouch... why skype? that's just horrible
19:02:21 -!- Kaynato has joined.
19:09:44 <Zarutian> 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 <Zarutian> 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 <Zarutian> double striked to indicate that the bank must honour the cheque regardless of the account balance.
19:14:26 <Zarutian> 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 <Zarutian> 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 <Zarutian> "Lets ignore these hardships and participate in nation building!" (somewhat paraphrased) he said.
19:19:47 <Zarutian> I cannot but think that these are just the first signs of someone wich would think that 'National Socialism' is a good idea, we all know how that did to the Weimar Republic dont we?
19:27:10 -!- Caesura has joined.
19:27:42 <Zarutian> one 33cl can of Coke costs 25.9 Rs. So six sixpacks is 932.4 Rs. Which means that you cant even buy that much for a small party with a single note.
19:28:01 <zzo38> Now I made up a GURPS character, and I can also help the other players to do because I know how it works and wrote a computer program to help to do it too!
19:28:35 <zzo38> (I also wrote program to calculate age statistics for GURPS characters and attribute losses due to alcoholism.)
19:30:40 -!- Kaynato has quit (Ping timeout: 260 seconds).
19:43:36 <HackEgo> [wiki] [[Talk:OOLANG]] N https://esolangs.org/w/index.php?oldid=50176 * TuxCrafting * (+119) Created page with "Don't look very esoteric ~~~~"
19:54:58 <zzo38> Customizations I made to Amoebax make a more difficult game and I have not been able to earn more than 4295 points (that was 14 months ago).
19:55:41 -!- hppavilion[1] has joined.
19:56:35 <hppavilion[1]> Mostigarchy: Not QUITE an oligarchy, but but close
19:57:29 <zzo38> (Edit the key configuration to player 1 to what you want, and then edit ~/.config/amoebax/options.conf to set the second player's controls the same as the first player, and then select a tournament game and play both sides with the same controls!)
20:00:09 <zzo38> The game will be symmetric until ghost blocks appear, which will be different on each side, and break the symmetry. and then it starts to get more difficult. There are still various techniques to try such as blocking the falling piece on one side with other blocks and move only the other's left/right, and to try to "hard sync" the pieces, although this can be difficult.
20:04:16 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
20:09:14 -!- DHeadshot has joined.
20:10:24 <izalove> so who's winning this election thing?
20:10:29 <izalove> i need a quick answer for a bet
20:10:58 -!- MoALTz has joined.
20:11:08 <myname> either a giant douche or a turd sandwicz
20:11:32 -!- augur has joined.
20:21:54 <b_jonas> izalove: we don't know yet. and if we knew, we'd be making the bet and win money.
20:22:19 <b_jonas> izalove: you'll probably get a high confidence answer tomorrow during the day
20:22:31 <izalove> i bet people are already betting on it
20:22:37 <izalove> you don't need to be sure to bet
20:22:48 <\oren\> in 4 hours the first state results will come
20:22:51 <b_jonas> izalove: the problem is that it's still during the day in Merca so people are still voting
20:23:13 <b_jonas> after they stopped voting, they'll count quick, but they can't start counting before that
20:23:18 <b_jonas> \oren\: 4 hours from what?
20:23:45 <b_jonas> aren't people still voting until the American west coast evening, which is the morning here
20:23:46 <\oren\> the plls close in some states at 7 eastern time
20:24:28 <\oren\> so the result will be narrowed down considerably by 9 eastern
20:25:03 -!- hppavilion[1] has joined.
20:25:16 <\oren\> it is even possible that the race will be entirely decided by 9 o clock
20:25:44 <\oren\> alaska polls close last so they almost never get to matter
20:26:10 -!- Froox has joined.
20:27:13 <izalove> is the system fully electronic?
20:27:18 <izalove> or do you still use paper?
20:27:37 <\oren\> they use some machines and some paper
20:27:55 <\oren\> depending on state, county, blahblahblah
20:28:51 <\oren\> at 7:00 Georgia, Indiana, Kentucky, S. Carolina, Vermont, and Virginia close
20:29:31 <\oren\> at 7:30 N. Carolina, Ohio, and West Virginia
20:29:49 <\oren\> at that point, 98 electoral points are in
20:30:11 -!- Frooxius has quit (Ping timeout: 268 seconds).
20:30:27 <izalove> TIL n carolina's timezone has a 30min offset
20:32:22 <\oren\> at 8:00 Alabama, Coneticut, Delaware, Florida, Ilinoise, Maine, Maryland, Massatushits, Misisippi, Missuri, New Hampshire, New Jersey, Oklahoma, Pennyslvania, Rhode Island, Tennisee come in
20:33:23 <\oren\> those bring the total to 270 meaning that if someone gets every single one they have won the election
20:33:59 <\oren\> at 8:30 Arkansas comes in adding 6 more
20:34:16 <b_jonas> \oren\: isn't there a delay between when the polls close and when the results come in?
20:34:51 <\oren\> Yes, so all I'm saying is it's possible that the result will be known at 9 o clock
20:36:43 <\oren\> at 9:00, Arizona, Colorado, Kansas, Luisiana, Michigan, Minisota, Nebraska, New Mexico, New York, North and South Dakota, Texas, Wisconsin, Wyoming come in
20:37:08 <\oren\> adding 156 more points
20:37:34 <\oren\> and that usually decides it
20:38:17 <\oren\> at 10:00, Iowa, Montana, Nevada, Utah come in, adding 21
20:39:03 <\oren\> at 11:00 California, Hawaii, Idaho, Oregon, Washington come in adding 82
20:39:35 <\oren\> and at 1:00 in the morning, Alaska shows up
20:39:43 -!- int-e has left.
20:41:34 <\oren\> so, I think unless there's a serious problem, the result will be decided by 10 pm eastern today
20:41:59 <\oren\> rember what Al Gore tried to do
20:44:10 <\oren\> if any state is even slightly close, there could be lots of recounting the votes
20:52:29 <hppavilion[1]> Was the Analytical Engine TC (assuming you used an infinite-memory adaptation)?
20:52:53 <hppavilion[1]> (God, what's the term for languages that are TC, except for the part where they have finite memory due to implementation issues?)
20:53:39 <\oren\> theoretically turing complete?
20:53:58 <Taneb> Finite state automaton?
20:54:20 <\oren\> note that most machine codes are not turing complete even in thoery
20:54:27 <hppavilion[1]> Taneb: Yes, but there are machines that are FSAs even with indefinite size iirc
20:54:27 <Zarutian> Taneb: those arent turing complete.
20:54:39 <\oren\> because they necessitate finite length pointers
20:54:44 <hppavilion[1]> Zarutian: But computers with finite memory behave like FSAs
20:55:01 <Taneb> Zarutian, a Turing machine with finite memory is a finite state automaton
20:55:57 <Zarutian> hppavilion[1]: really? I thought Finate State Automata was only for stuff with enumerable states
20:56:40 <myname> finite memory implies finite states
20:56:49 <Zarutian> however FSA with two push down stacks is TC
20:57:28 -!- Caesura has quit (Ping timeout: 260 seconds).
20:58:07 <Zarutian> \oren\: what about relative pointers? In systems that use something like Google wandering wholenum for keeping ints and pointers
21:00:09 <izalove> if you reject zf's axiom of infinity, a "fsa" with a reasonably large amount of memory is a turing machine
21:00:10 <\oren\> yes, if a machine only supports relative pointers, then there's no limit on memroy
21:01:06 <hppavilion[1]> A turing machine with _k_ non-halting states, a symbol alphabet of the set _A_, and a bounded tape of length _t_ can be translated into an FSA with at most _k*t*|A|^t_ states [I think that's the number] by simply taking the states for each possible tape setup and making them separate, then transforming to the sub-FSA associated with the desired change in tape. Or something like that.
21:02:08 <hppavilion[1]> (I think. I got that number because the tape has t states each of which can be one of the values in A- |A| options- it has a position from 1 to t (hence *t), and k because it is in one of the k non-halting states)
21:06:44 * hppavilion[1] . o O ( A half-child is a half-sibling of your full child who is not also your full child )
21:12:26 * moonythedwarf finally got the Multiplayer Dwarf Fortress thing working with the help of iczero and wonders if anyone wants to play
21:13:05 <myname> how do you "multiplay" there?
21:16:03 <moonythedwarf> its just a vnc viewer that some users can control, others just watch
21:16:15 <myname> so everybody breaks everybody elses attempts to do something
21:16:26 <moonythedwarf> its best not to control fight, namely because the glacier is deadly
21:16:52 <myname> i could never wrap around my head on a way to actually make a multiplayer df like
21:19:43 <myname> Zarutian: obviously you aren't playing enough
21:19:47 <moonythedwarf> http://www.bay12forums.com/smf/index.php?topic=160965.0 << the thread, with a link
21:28:54 -!- Phantom_Hoover has quit (Quit: Leaving).
21:29:21 -!- Phantom_Hoover has joined.
21:34:48 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
21:37:55 -!- augur has quit (Remote host closed the connection).
21:38:28 -!- augur has joined.
21:39:12 -!- DHeadshot has quit (Read error: Connection reset by peer).
21:39:40 -!- DHeadshot has joined.
21:43:08 -!- augur has quit (Ping timeout: 260 seconds).
21:52:08 -!- FreeFull has quit (Ping timeout: 245 seconds).
21:53:51 -!- int-e has joined.
21:57:11 -!- wob_jonas has joined.
21:58:33 -!- Zarutian has quit (Read error: Connection reset by peer).
21:59:54 <wob_jonas> ROFL webpage says they aim to deliver at most 99% of the packages to the destination the morning after the order
22:00:55 <wob_jonas> http://www.220foto.hu/szallitas.php#pickpackpont
22:00:58 <myname> so they might as well just do nothing?
22:02:28 -!- Zarutian has joined.
22:02:40 <wob_jonas> though if they don't deliver at all then you get your money back, so not doing anything with any package wouldn't be a very good business strategy
22:07:53 -!- heroux has quit (Read error: Connection reset by peer).
22:08:10 -!- heroux has joined.
22:14:04 -!- FreeFull has joined.
22:19:29 <\oren\> wob_jonas: deliver all packages when the recipient is about to die
22:21:03 -!- moonheart08 has joined.
22:28:53 -!- DHeadshot has quit (Ping timeout: 248 seconds).
23:05:25 -!- MoALTz has quit (Quit: Leaving).
23:14:55 -!- DHeadshot has joined.
23:17:28 -!- boily has joined.
23:18:28 <boily> fungot: have you voted?
23:18:28 <fungot> boily: or possibly hot tuna. they've been pestering me since 1998. :o :o :o
23:19:46 <Taneb> boily, I'm not convinced fungot is a US citizen
23:19:47 <fungot> Taneb: but right, a day makes, huh....
23:19:53 <Taneb> Or over the age of 18 for that matter
23:21:23 -!- augur has joined.
23:22:20 <boily> Tanelle, mhellonhellort08.
23:27:03 <lambdabot> error: Variable not in scope: botsnack
23:27:50 <HackEgo> cat: /bin/botsnack: No such file or directory
23:28:07 <izalove> https://lists.alioth.debian.org/pipermail/bash-completion-devel/2016-November/thread.html what the f is happening :D
23:29:37 <boily> ooooh, phedex phishing!
23:32:02 <ybden> what's in the zips?
23:32:41 -!- alakra has quit (Quit: WeeChat 1.4).
23:37:08 <izalove> one of the attachments was this http://arin.ga/FedEx.doc
23:38:37 <ybden> Tricks people into enabling macros
23:42:40 -!- carado has quit (Ping timeout: 260 seconds).
23:43:01 -!- hppavilion[1] has joined.
23:44:10 -!- carado has joined.
23:45:11 -!- Phantom_Hoover has quit (Quit: Leaving).
23:45:33 -!- Phantom_Hoover has joined.
23:48:05 -!- AnotherTest has quit (Ping timeout: 260 seconds).
23:48:40 <zzo38> If it is Microsoft Word, then I would think probably people work in Debian are not using it. (Other typesetting system which is better and for use on Linux include troff and TeX; each has its advantages and disadvantages. I use troff for man pages and TeX for other typesetting.)
23:50:37 <shachaf> Microsoft Word isn't just a typesetting system.
23:51:09 <zzo38> I know, it is more than that, although in most cases there are better ways to do it anyways.
23:51:09 -!- DHeadshot has quit (Ping timeout: 256 seconds).
23:52:18 -!- alakra has joined.
23:52:48 <wob_jonas> do any of you use Krita (the gui raster image editor software that is)? if so, do you like it?
23:52:56 <boily> MS Word is a Picture Displacement Application.
23:56:41 <zzo38> No, I use ImageMagick and Farbfeld-Utilities (the latter I wrote myself) to manipulate pictures. There is also the program "bitmap" for editing monochrome pictures in X if needed, although Farbfeld-Utilities currently does not support that file format.
23:57:06 -!- oerjan has joined.
23:57:09 <wob_jonas> zzo38: I mostly use ImageMagick and gimp, sometimes other stuff too.
23:57:42 <zzo38> Have you seen my Farbfeld Utilities programs?
23:57:50 <wob_jonas> But I wonder if I should examine Krita in more detail to find out if it would be worth for me to use it, and maybe you eso guys can give a summary about what's good and bad in it.
23:58:03 <wob_jonas> zzo38: have you seen ImageMagick 7 by the way?
23:58:15 <wob_jonas> zzo38: do you have an URL for that?
23:58:30 <zzo38> I have version 6.6.9-7; I have not seen ImageMagick 7, but I have read some things about it
23:58:45 <zzo38> For Farbfeld Utilities, the URL is: http://zzo38computer.org/fossil/farbfeld.ui/
23:58:58 -!- augur has quit (Ping timeout: 258 seconds).
23:59:22 <zzo38> You can contribute stuff too if you have written some
23:59:58 -!- Caesura has joined.