00:00:48 * oerjan hasn't heard that term before.
00:01:29 <hppavilion[1]> I really want a thing similar to saying positive/negative/zero, but multiplicative instead of additive; positive-analog is abs(x) > 1, negative-analog is abs(x) < 1, zero-analog is abs(x) = 1
00:02:17 <oerjan> hppavilion[1]: are you sure you mean abs there
00:03:26 <hppavilion[1]> (I could call them "superlative", "sublative", and "one", perhaps)
00:04:05 -!- moonythedwarf has quit (Remote host closed the connection).
00:05:14 <hppavilion[1]> Basically, the sign of n indicates whether lim(lambda x: n^x, omega) is 0, ±infinity, or... whatever it is when n = 1 or n = -1
00:05:27 <quintopia> hppavilion[1]: how about contractile and dilatory and one
00:05:56 <hppavilion[1]> ...are those existing words or did you come up wiht that?
00:06:24 <shachaf> hppavilion[1]: maybe you should learn linear algebra by watching these videos: https://www.khanacademy.org/math/linear-algebra/eola-topic/eola/v/eola-preview
00:06:31 <shachaf> you can confirm or deny it
00:06:48 <oerjan> (that was to hppavilion[1])
00:07:37 <hppavilion[1]> shachaf: Oh! I think I'm already subscribed to the guy who makes that series, and I've been meaning to watch them!
00:08:42 <oerjan> i just don't think dilatory is wrong.
00:08:47 <shachaf> You can watch them right now. They're only about an hour, and split into separate segments.
00:09:01 <shachaf> (Maybe a little too visual.)
00:09:11 <quintopia> i was using words that have other meanings on purpose
00:09:14 -!- impomatic_ has quit (Quit: impomatic_).
00:09:15 <shachaf> And maybe a little bit too matrix-focused. But I'm not sure about that.
00:09:41 <oerjan> hm neither is contractile, indeed.
00:09:41 <quintopia> dilatory means "delaying" contractile refers to muscle tissue
00:12:06 <hppavilion[1]> quintopia: Well, also dilation in the sense of what they do to make your eyes bigger
00:28:59 -!- vifino- has quit (Quit: Who turned this off?! D:<).
00:29:21 -!- vifino has joined.
00:38:02 -!- vifino has quit (Quit: Who turned this off?! D:<).
00:38:27 -!- vifino has joined.
00:53:41 <shachaf> int-e: Did you play Scowder & Web?
01:01:41 -!- DHeadshot has quit (Ping timeout: 252 seconds).
01:11:54 -!- Zarutian has quit (Quit: Zarutian).
01:14:31 -!- Phantom__Hoover has joined.
01:18:14 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds).
01:22:42 <hppavilion[1]> shachaf: ...the quote on video #3 is "Unfortunately, no one can be told what the Matrix is. You have to see it for yourself." -Morpheus
01:24:25 <hppavilion[1]> Wait, are shachafs an absolute measurement of pun (dimension P), or is it P/E (where E is the dimension of effort)?
01:25:12 <hppavilion[1]> Thus meaning even a REALLY funny joke gets a low score if it's two obvious, and something not very funny gets a high score if it takes some thinking to find it (but not to understand it)?
01:25:39 <hppavilion[1]> (I guess it'd be P/E^2 in that case, if we want to measure effort to make it vs. effort to get it)
01:27:57 <shachaf> My name is not a unit, please.
01:31:17 -!- carado has quit (Ping timeout: 265 seconds).
01:32:07 <shachaf> No word ending in chaf is a unit, please.
01:35:22 <boily> the unit symbol is «Sh» hth.
01:37:05 <shachaf> How about: "grumps" or "groans"
01:37:28 <shachaf> As they say: The beauty of the pun is in the Oy of the beholder.
01:37:51 * boily experimentally thwacks shachaf. 0.63 groans.
01:46:23 -!- Moony has joined.
01:48:00 <oerjan> well i liked shachaf, but i guess this new unit may groan me.
01:49:59 * boily THWACKS oerjan. 0.94 groans.
01:50:57 <shachaf> a pun reaches 1.0 when it can make a groan man cry
01:51:20 <shachaf> (by the way i like the pun but i don't like the anti-crying masculinity scow)
01:57:10 * boily thwackthwacks shachaf. 0.945 groans
01:58:25 <HackEgo> "Only sane man" boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist.
01:58:48 <shachaf> `slwd boily//s/Man/Groan Man/
01:58:50 <HackEgo> wisdom/boily//"Only sane man" boily is monetizing a broterhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist.
02:00:43 <boily> I like the fact Trigotillectomic is a hapax googlegomenon that directly points to me :D
02:01:26 <shachaf> It always looked too complicated so I pretended it was "Trigonometric" or something and skipped it.
02:01:42 <HackEgo> lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK
02:01:45 <lambdabot> CYUL 050000Z 00000KT 15SM SKC 15/10 A3031 RMK SLP268 \ ENVA 050050Z 11005KT CAVOK 03/01 Q1046 RMK WIND 670FT 14007KT \ ESSB 050050Z AUTO 35005KT 9999 NCD 04/02 Q1043 \ KOAK 050053Z 28011KT 10SM
02:01:45 <lambdabot> FEW020 20/11 A2998 RMK AO2 SLP150 T02000106
02:08:22 <boily> there should be a spaceheater lobbing service. you enter your ICBM coordinates on their website, and they trebuchet you a warmed up heater.
02:17:34 -!- Kaynato has joined.
02:24:48 <HackEgo> endofunctor//Endofunctors are just endomorphisms in the category of categories.
02:24:52 <HackEgo> loudly//Did you mean: loudly
02:24:55 <HackEgo> persistence//Taneb invented persistence long ago, and it's been around ever since.
02:24:57 <HackEgo> mroman//mroman is a leading artist in password security (SFW). He also likes black madness. He can design password hashes that are worse than the identity function. He invented the identity function. He's also an artist in unconventional warfare.
02:27:22 -!- boily has quit (Quit: GLUE CHICKEN).
02:34:19 <hppavilion[1]> Idea to make a small amount of energy more impressive: Express it as a volume (in km^3 (or k(m^3) to make it even bigger)) of average space in the universe where, at the universe's average density, the mass in that space has E (by E = mc^2) equal to the energy
02:36:18 <shachaf> whoa, invented the identity function?
02:36:21 <shachaf> I use that one all the time.
02:37:06 <ais523> `` echo identity | cat | cat | cat | cat
02:37:43 <hppavilion[1]> ais523: what IS a hash worse than the identity function
02:37:58 <shachaf> i,i putting the cat before the hose
02:38:25 <ais523> the identity function is actually a pretty good hash if your input is restricted enough
02:38:38 <ais523> Java probably uses the identity function as Integer#hashCode, for example
02:38:39 <hppavilion[1]> ais523: And if people shouldn't be able to derive the input from the hash
02:38:49 <ais523> that's a cryptohash, different field
02:39:32 * hppavilion[1] suspects the proper mathematical answer to "what's a worse hash" requires that you formally define badness...
02:39:48 <ais523> but speed hashes and cryptohashes are normally very different in design and the considerations for them are pretty much completely different
02:39:53 <hppavilion[1]> Oh, I decided on a better notation for "is a divisor of" today
02:40:18 <ais523> the only middle ground I can think of is speed hashes that use a randomized algorithm to stop people intentionally colliding them to trigger algorithmic worst cases
02:41:09 <hppavilion[1]> Created by analogy that the subset symbol is like less-than-or-equal-to, strict subset like less-than, superset is like greater-than-or-equal-to, and strict superset is like greater-than
02:41:48 <hppavilion[1]> Like a < with a stroke from the initial to the midpoint of the endpoints
02:44:08 <HackEgo> [U+2AAC SMALLER THAN OR EQUAL TO]
02:44:38 <ais523> shachaf: how does `icode differ from `unidecode?
02:45:01 <shachaf> The joke is unicode -> icode
02:45:08 <hppavilion[1]> Granted, the only real appeals are completing the symbolic analogy, freeing up | for logical things (when you should already be using ∨ for OR and ⊼ for NAND), and being mirrorable
02:45:46 <HackEgo> U+0000 <control> \ UTF-8: 00 UTF-16BE: 0000 Decimal: � \ . \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral) \ \ U+0001 <control> \ UTF-8: 01 UTF-16BE: 0001 Decimal:  \ . \ Category: Cc (Other, Control) \ Bidi: BN (Boundary Neutral) \ \ U+0002 <control> \ UTF-8: 02 UTF-16BE: 0002 Decimal:  \ \ Category: Cc (Other, C
02:48:07 -!- FreeFull has quit.
02:49:26 <hppavilion[1]> Matrices annoy me just a tiny bit because of their limit to 2D
02:49:56 <shachaf> Matrices are linear maps between vector spaces of any dimension.
02:50:17 <shachaf> This is like saying that functions annoy you because there's only a domain and codomain.
02:50:26 <shachaf> If you want multi-argument functions, they are available.
02:50:41 <shachaf> And so are multi-argument linear maps.
02:50:59 <shachaf> Tensors might be what you want.
02:51:04 <shachaf> Or they might not, who knows.
02:51:11 <hppavilion[1]> You can do a matrix fairly tolerably in 4D by treating it as a matrix where the individual values are themselves matrices
02:51:22 <shachaf> But a bilinear function : UxV -> W is the same as a linear function : U⊗V -> W
02:51:45 <hppavilion[1]> (And you can multiply them by normal matrices and call it scalars!)
02:51:46 <shachaf> A linear map : U -> V is also the same as an element of the vector space U*⊗V
02:52:26 <shachaf> (dim (U⊗V) = dim U * dim V)
02:58:39 -!- centrinia has joined.
03:04:36 -!- centrinia has quit (Quit: Leaving).
03:12:30 -!- foo_ has quit (Read error: Connection reset by peer).
03:23:29 <hppavilion[1]> Since there's matrix multiplication, there must be division; but it isn't commutative, so... Oh my god. Are there TWO division operations for matrices? A/B = C : BC = A and A\B = C : CB = A?
03:24:09 <shachaf> Neither the first nor the last statement is trur.
03:24:49 <oerjan> well the last is true.
03:25:43 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
03:26:02 <shachaf> I don't think matrices are even a quasigroup.
03:26:12 <oerjan> if B isn't invertible, then division might not be uniquely defined.
03:26:24 -!- Jafet has quit (Quit: Jafet).
03:27:13 <oerjan> basically because you can add any C' such that BC' = 0 (or vice versa)
03:27:37 <oerjan> and of course it might not exist to begin with.
03:28:05 <oerjan> but _if_ B is invertible, there may be two division operations.
03:29:39 <oerjan> hppavilion[1]: summary: division need not exist, it need not be unique when it exists, but if it exists and is unique, you might still have two operations like you say.
03:31:05 <shachaf> But it'll probably be clearer to write BA^-1 or A^-1B?
03:33:02 <oerjan> well you could still have division without having an inverse, sometimes.
03:38:32 <hppavilion[1]> oerjan: Well I was bound to come back at /some/ point and read it
03:39:14 <hppavilion[1]> (Full disclosure: I was already aware that you can have two different division operations; I found that out when reading through the Octave docs when I tried to learn Octave. But I'm confident I would've said the same thing if I didn't already know and had managed to brain-stumble into division)
03:42:06 * oerjan injects \oren\ with morphine
03:43:19 * hppavilion[1] tries to stop oerjan, but is too late; that was hyper-concentrated #esoteric-grade morphine for use on Venezuelans and those who dare challenge fungot, and the amount administered would be a lethal dose to a horse
03:43:20 <fungot> hppavilion[1]: i agree with sukoshi. why i use directed quotes in underload
03:43:21 <oerjan> well he seemed pain, so i wanted to help him feel morphine
03:44:09 <oerjan> fungot: can you please teach hppavilion[1] to babble more coherently
03:44:09 <fungot> oerjan: mainly because i don't use the plural of " anecdote" is not fundamentally better than computers solving impossible problems, religious people should not comment on mathematical issues
03:44:33 <shachaf> Cale: whoa whoa whoa, vivid drone change
03:44:54 <ais523> huh, it's me who used directed quotes in underload, that must be what fungot was referring too
03:44:54 <fungot> ais523: well then i guess it's not a macro. if you
03:45:52 <\oren\> they must have known demn well that a pencil doesn't have any lead metal in it
03:45:55 <shachaf> ais523: That quote was certainly directed at you.
03:46:03 <hppavilion[1]> oerjan: But my coherence mathematically approaches 0 as time goes to 0. I can't resist it.
03:46:16 <\oren\> but they still wrote "pencil" with the kanji for the metal lead!
03:46:54 <hppavilion[1]> Now for a question of genuine interest to me, mostly because of some cryptographic applications: There are k! ways to arrange a list L of k distinct items. Which is which? That is, find a way to bijectively map numbers from 1 to k! to rearrangements of the list
03:47:44 <ais523> hppavilion[1]: Fisher shuffle
03:47:55 <ais523> is the usual way to biject that
03:48:05 <oerjan> \oren\: en:pencil = no:blyant, en:lead = no:bly hth
03:48:07 <hppavilion[1]> (Biggest interest: Giving every monoalphabetic english cypher a unique name from 1 to 403291461126605635584000000)
03:48:14 <\oren\> hppavilion[1]: I was about to explain that, then I remembered there's a name for it. "fisher shuffle"
03:48:21 <ais523> basically, you divide the number by k, the remainder gives the new position of the first list elemetn
03:48:40 <ais523> then you divide the result of the division by k-1, the remainder gives the new position of the second list element within the remaining slots
03:48:52 <Cale> shachaf: Yeah, it's like a completely different unit
03:48:57 <shachaf> hppavilion[1]: There's no natural isomorphism between permutations and total orders on a set.
03:49:22 <hppavilion[1]> shachaf: Well yes, what I'm going for is one that doesn't require you to just write every single one down
03:49:26 <ais523> shachaf: this doesn't need naturality, though, just a bijection
03:49:26 <shachaf> Probably this number thing is along the same lines.
03:49:53 <ais523> obviously there are 2**k! bijections, but the Fisher shuffle one is the one that everyone uses in practice
03:50:13 <hppavilion[1]> And it even satisfies the thing I was hoping for where the original is shuffle #0! Yay!
03:50:36 <hppavilion[1]> (well, #1, but I shifted everything off by 1 to make things start at 0- as it should be)
03:52:36 <oerjan> \oren\: also de:Bleistift vs. Blei
03:53:04 <oerjan> \oren\: conclusion, at some time in history pencils _did_ use lead, and some languages named them based on that
03:54:42 <shachaf> I think I have some graphite in my skin from a pencil many years ago.
03:56:14 <oerjan> \oren\: oh, if i'm reading german wikipedia correctly, it was a misunderstanding, people confused graphite with galena
03:58:26 <oerjan> ais523: itym (k!)! hth
03:59:04 <ais523> wow that's a big number
03:59:10 <ais523> (assuming k is not trivially small)
04:04:24 <oerjan> \oren\: https://en.wikipedia.org/wiki/Pencil#Discovery_of_graphite_deposit
04:10:02 <izalove> let's assume a world where you can't hardlink directories and bind mounts don't exist etc
04:10:25 <izalove> how costly would it be to save in each directory the total size in bytes of all the files in its subtree?
04:17:01 <hppavilion[1]> alercah: k!! is the product of all numbers in 1..k that have the same parity (even or odd) as k
04:17:16 <alercah> I've never heard of that but ok
04:17:42 <hppavilion[1]> Because Merserve had to ruin notation for everyone with a stupid ambiguous- scratch that, unambiguous and with obvious meaning that isn't what he used- notation
04:20:12 <hppavilion[1]> I mean, seriously, if you wanted that, at least have the decency to make it general; like, x!,n is the product of all integers k : 0 < k <= x where k%n = 0
04:20:23 <hppavilion[1]> (!, being crappy shorthand for the exclamation pause)
04:27:00 <hppavilion[1]> Well, I'd go with superfactorial being written n!_k (or, well, general superfactorial; normal factorial is when k=1, superfactorial is k=2, and general case is k=whatever)
04:29:55 <hppavilion[1]> Definition: n!_0 = n, 0!_k = 1, n!_k = (n!_(k-1)) * ((n-1)!_k)!_(k-1)
04:30:22 <hppavilion[1]> (Obviously, now we have a 0^0 problem again with 0!_0, which looks like an emoticon)
04:36:17 <HackEgo> This channel is about programming -- for the other kind of esoterica, try #esoteric on EFnet or DALnet.
04:36:28 <HackEgo> Nothing would have been better than to create this wisdom entry.
04:40:08 <HackEgo> #esoteric is the only channel that exists. After monqy left it became slightly off-centër. It's a 7-codimensional hyperenchilada about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part, but it keeps getting dug up by free ranging moons. May contain crude drawings of nuts.
04:44:49 <ais523> do we have entries about any other channels?
04:45:11 <ais523> I'd expect the entry to say that they didn't exist, and then go into details about what they were like
04:45:24 <HackEgo> ls: cannot access wisdom/#*: No such file or directory
04:45:41 <HackEgo> wisdom/#esoteric \ wisdom/#esoteric-blah \ wisdom/#programming
04:45:48 <HackEgo> No such channel. See `? #esoteric
04:46:03 <HackEgo> #esoteric-blah blah blah. Blah blah, blah blah blah blah. Blah blah blah!
04:55:08 -!- copumpkin has joined.
04:57:18 <shachaf> Someone was complaining about how you can't define a category of Agda functions easily because function equality isn't extensional.
04:57:33 <shachaf> And then we looked at your categories thing but it turned out to be parameterized on an equivalence relation too.
04:58:33 <shachaf> `learn ##ais523 is the channel for all things ais523
04:59:10 <ais523> does that channel even exist? :-P
04:59:25 <ais523> it has two #s so it's not up to me to influence it
05:02:08 <shachaf> You're at least as entitled as anyone else is.
05:03:12 <hppavilion[1]> entitlement(u('ais523'), chan('##ais523')) ≥ 1/occ(chan('##ais523'))
05:04:20 <ais523> hmm, if #occ means "number of occurrences", does "##ais523" mean "number of numbers of ais523s"?
05:05:16 <shachaf> What's the value of ##ais523?
05:05:26 <shachaf> Is it equal to #ais523 or is it 1 or something else?
05:05:44 <ais523> if #ais523 is uniquely defined, then ##ais523 is 1
05:05:52 <hppavilion[1]> ais523: Also, occ : Chan -> {User} means occupants, and # is magnitude (which is cardinality for sets but is absolute value for numbers)
05:06:16 <ais523> so I guess ##ais523 is the absolute value of my height
05:06:32 <hppavilion[1]> So #occ(chan('##ais523')) reads "number of people currently in channel '##ais523'"
05:06:58 <ais523> positive numbers have absolute values too
05:07:51 <ais523> if you define height as y coordinate of head minus y coordinate of feet while standing upright
05:07:57 <ais523> I guess it's theoretically possible but unlikely
05:07:59 <hppavilion[1]> (Hint: No, height is in |R^+, and that's before you account for the Planck length)
05:08:27 <ais523> hppavilion[1]: I'm treating "standing upright" as a phrase
05:09:01 -!- imode has joined.
05:09:05 <hppavilion[1]> I suppose clowns have negative height if we allow handwalking to count as standing upright...
05:09:43 <hppavilion[1]> ais523: What I was going for was confirming that Australians don't have negative height
05:10:27 <ais523> why assume that it's Australians who are upside-down, rather than everyone else?
05:10:58 <shachaf> Australians are obviously not upside down.
05:11:04 <shachaf> They're facing away from the center of the planet.
05:11:35 <imode> I know, at this very moment, that there may be an australian that's locally upside-down.
05:12:14 <imode> hppavilion[1]: always a pleasure. :)
05:12:18 <HackEgo> imode: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
05:12:33 <imode> oh, I'm very well aware of esolangs. :P
05:13:13 <imode> nice bot though. dig the colors.
05:14:07 <ais523> getting further back on topic, I decided to work on this language that I've been thinking about for a while for the CALESYTA contest
05:14:27 <ais523> for a while, I thought it was sub-TC in a particularly interesting way
05:14:37 <ais523> then I realised it's probably actually TC in an even more interesting way
05:15:10 <ais523> data's stored in stacks of bits
05:15:25 <ais523> I probably shouldn't say too much, though, not sure if the contest allows spoilers
05:15:58 <ais523> (for anyone who's interested in esolangs and missed the announcement: http://calesyta.xyz/en/)
05:16:32 <imode> now that's interesting.
05:16:55 <ais523> I'm hoping that the contest is a success, it's rare that people other than us create one
05:17:55 <imode> just means that esolangs are growing more numerous and popular!
05:18:30 <hppavilion[1]> ...huh. I always assumed the Criterion of Embarrassment was made up by Zach Weiner for a joke.
05:20:13 <shachaf> Cale: Do you know some good vector spaces without a natural basis?
05:26:51 <shachaf> Of coure it's easy to come up with infinite-dimensional ones.
05:27:04 <shachaf> but i should've specified it tdh
05:27:43 <oerjan> shachaf: the pointed euclidean plane hth
05:30:36 <imode> gotta wonder if any esolangs have been created as productivity enhancers. sort of like shorthand programming. stack machines are good for that sort of thing.
05:31:15 <imode> a small virtual machine I can use with one hand tied behind my back.
05:34:06 <\oren\> I made one that is sort of like a shorthand C
05:34:25 <\oren\> but it didn't end up being very good
05:35:54 <oerjan> iirc mroman created burlesque in that way.
05:36:31 <oerjan> yep, today's girl genius is definitely weird, soldier
05:38:45 -!- ais523 has quit.
05:39:38 -!- oerjan has quit (Quit: Nite).
05:40:56 -!- `^_^v has joined.
05:54:27 <quintopia> i wonder what "argentinian features" are
06:02:14 <hppavilion[1]> "DONALD" translates, approximately, to "world ruler"
06:13:15 -!- imode has quit (Ping timeout: 272 seconds).
06:14:22 <shachaf> i always knew there was something fishy about that duck
06:24:22 <hppavilion[1]> shachaf: Too many ties to Walt Street? He's literally the nephew of Scrooge McDuck, it turns out...
06:41:35 -!- Akaibu has quit (Ping timeout: 265 seconds).
06:46:28 -!- Akaibu has joined.
06:50:54 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
06:52:53 <myname> i really like the album with music inspired by the life and times of scrooge
06:58:02 -!- `^_^v has quit (Quit: This computer has gone to sleep).
06:59:20 <izalove> i set english as the main language everywhere
06:59:30 <izalove> but i do often search italian things
06:59:39 <izalove> for some reason google seems to think that i'm spanish
06:59:57 <izalove> i don't even speak spanish
07:00:17 <izalove> i mean i know why, it's because italian and spanish are similar enough to confuse it
07:00:29 <izalove> but still, i'm disappointed
07:07:38 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
07:10:11 -!- augur has quit (Remote host closed the connection).
07:16:30 -!- hppavilion[1] has joined.
07:24:40 <\oren\> hppavilion[1]: except that scrooge McDuck earned his money in the gold rush, not on wallstreet
07:25:45 <myname> also, there is a german magazine called donaldist, being an acronym
07:26:10 <myname> with sruff like scientific papers around the donald universe
07:31:15 <hppavilion[1]> What's it called when you have two functions f, g where f(x)*g(x) = x? (distinctly NOT inverse; reciprocal, maybe, but it's really more general than just reciprocals, because sgn and abs satisfy this)
07:35:06 <shachaf> Reciprocal would be (f*g)(x) = 1
07:35:19 <shachaf> I'd just say their (point-wise) product is the identity function.
07:36:26 <shachaf> > map (abs * signum) [-5..5]
07:36:28 <lambdabot> • Ambiguous type variable ‘b0’ arising from a use of ‘show_M756589516162...
07:36:28 <lambdabot> prevents the constraint ‘(Show b0)’ from being solved.
07:36:41 <shachaf> @let import Data.NumInstances
07:36:45 <shachaf> > map (abs * signum) [-5..5] :: [Integer]
07:36:47 <lambdabot> [-5,-4,-3,-2,-1,0,1,2,3,4,5]
07:47:48 -!- Jafet has joined.
07:48:03 <shachaf> Although it's also the case that id * signum = abs
07:53:28 -!- trn has joined.
07:54:35 -!- augur has joined.
08:04:57 -!- MoALTz has joined.
08:05:44 <hppavilion[1]> Oooh, if you use integers and define magnitude as 2rtz(x/2) in my system, you deal with parity :)
08:19:39 -!- trn has quit (K-Lined).
08:23:47 -!- AnotherTest has joined.
08:25:32 -!- `^_^v has joined.
08:32:04 -!- `^_^v has quit (Quit: This computer has gone to sleep).
08:32:54 -!- `^_^v has joined.
09:00:31 <myname> also, abs is the integral of sgn
09:05:55 <hppavilion[1]> myname: Because- at least according to Wikipedia- the area below the x-axis subtracts from the total of the integral
09:06:40 <myname> more area than integral, indeed
09:08:35 <hppavilion[1]> (I mean, you could do \integral{a}{b}{|f(x)|dx} probably, but do you really want to?)
09:10:06 <shachaf> Why isn't abs the integral of signum?
09:10:36 <shachaf> "the area below the x-axis subtracts from the total of the integral", and indeed abs is decreasing to the left of 0
09:13:01 <hppavilion[1]> shachaf: OK, just to check, we're looking at the area under sgn(x) from 0 to x, right?
09:13:34 <hppavilion[1]> (or, well, the area between the x-axis and sgn(x))
09:13:36 <shachaf> Of course when you're going from 0 to a negative number that reverses the sign
09:14:24 <hppavilion[1]> So the area is negative, because values below the x-axis subtract from the total (whereas values above add)
09:16:41 <hppavilion[1]> And I think I was going somewhere with an example, but I've forgotten it
09:18:19 <hppavilion[1]> But we aren't judging from which side of the y-axis; only the x-axis
09:19:10 <shachaf> I think you misunderstood.
09:19:27 <shachaf> ∫_a^b ... = -∫_b^a ... hth
09:19:51 <shachaf> Also you should read about how this integration thing works.
09:21:09 <hppavilion[1]> Oh, and derivative of abs is OBVIOUSLY sgn... of course...
09:28:25 -!- carado has joined.
09:52:04 <HackEgo> [wiki] [[Special:Log/newusers]] create * Function call without parameters * New user account
10:07:23 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=49858&oldid=49854 * Function call without parameters * (+240)
10:07:27 <HackEgo> [wiki] [[User:Function call without parameters]] N https://esolangs.org/w/index.php?oldid=49859 * Function call without parameters * (+601) Created page
10:11:26 <HackEgo> [wiki] [[User:Function call without parameters]] https://esolangs.org/w/index.php?diff=49860&oldid=49859 * Function call without parameters * (+248)
10:12:24 <HackEgo> [wiki] [[User:Function call without parameters]] https://esolangs.org/w/index.php?diff=49861&oldid=49860 * Function call without parameters * (+16)
10:13:15 <HackEgo> [wiki] [[User:Function call without parameters]] https://esolangs.org/w/index.php?diff=49862&oldid=49861 * Function call without parameters * (+74)
10:21:50 <HackEgo> [wiki] [[User:Function call without parameters]] https://esolangs.org/w/index.php?diff=49863&oldid=49862 * Function call without parameters * (+286)
10:32:51 <HackEgo> [wiki] [[User:Function call without parameters]] https://esolangs.org/w/index.php?diff=49864&oldid=49863 * Function call without parameters * (+584)
10:37:07 <HackEgo> [wiki] [[User:Function call without parameters]] https://esolangs.org/w/index.php?diff=49865&oldid=49864 * Function call without parameters * (+264)
10:44:18 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
11:34:30 -!- boily has joined.
11:44:33 -!- augur has quit (Remote host closed the connection).
11:46:17 <HackEgo> yeeeeeeeeeesh//See yeeeeeeeeesh.
11:49:07 <HackEgo> wisdom/yeeeeeeeeeesh \ wisdom/yeeeeeeeeesh \ wisdom/yeeeeeeeesh \ wisdom/yeeeeeeesh \ wisdom/yeeeeeesh \ wisdom/yeeeeesh \ wisdom/yeeeesh \ wisdom/yeeesh \ wisdom/yeti
11:49:41 <boily> `` culprits wisdom/yeeesh
11:50:12 <boily> @tell tswett tswellott. there ain't a two "e" yeeesh. please correct.
11:50:23 <boily> mynamello. 'tis sad :/
12:17:32 <HackEgo> zork//Zork is like York, except for the first letter. Uaneb invented it.
12:18:57 -!- Kaynato has quit (Ping timeout: 265 seconds).
12:25:44 -!- boily has quit (Quit: DEPTH CHICKEN).
13:01:35 -!- Kaynato has joined.
13:08:12 -!- lleu has joined.
13:08:12 -!- lleu has quit (Changing host).
13:08:12 -!- lleu has joined.
13:14:55 -!- lleu has quit (Quit: That's what she said).
13:15:12 -!- Kaynato has quit (Quit: Leaving).
13:40:11 -!- Phantom_Hoover has joined.
13:46:09 <Phantom_Hoover> <\oren\> hppavilion[1]: they hated him for suggesting that a gentleman's hands could possibly carry disease
13:46:25 <Phantom_Hoover> well they hated him for going on a one-man crusade to overturn the entire theory of disease at the time
13:46:59 <Taneb> I think overall I am glad he did that
13:47:04 <Taneb> (who are we talking about)
13:53:51 <HackEgo> Tanea plays Minecrafs, Dware Fortresr, and lives in Yorj.
14:06:13 <tswett> int-e: I don't see how that thing from Wikipedia rules out being able to search a quantum hard drive.
14:06:59 -!- `^_^v has quit (Quit: This computer has gone to sleep).
14:23:24 -!- FreeFull has joined.
14:32:09 <HackEgo> [wiki] [[Special:Log/newusers]] create * Nukes327 * New user account
14:51:04 <int-e> tswett: for Grover's algorithm you need to allow a superposition as input.
14:53:04 <tswett> Sure, but can we do something more clever than just using the hard drive itself as the function?
14:54:29 -!- `^_^v has joined.
14:54:43 <tswett> Maybe this hard drive contains a superposition of all records, repeated a billion times.
14:55:16 <tswett> And so maybe your function can consist of grabbing one of the copies of that superposition and doing something interesting with it.
15:10:19 <int-e> tswett: I'm no expert. I believe the fundamental issue is that your quantum computation cannot compute any addresses for your classically addresssed storage (since that would not be reversible), so all these addresses have to be static; I (intuitively) expect that a dimensional analysis will tell that you need to query a significant fraction of the encoded database in the computation of the...
15:10:25 <int-e> ...quantum function.
15:11:45 <int-e> (dimensional referring to the dimension of the various vector spaces (Hilbert spaces, I think?) where the quantum states live)
15:14:39 <int-e> tswett: and sorry, I have no time (or energy) to dig deeper into this to actually justify these ideas more rigorously.
15:15:20 <tswett> Sounds like you know what you're talking about.
15:18:24 <int-e> Well, it's definitely not enough to be certain.
15:18:51 <int-e> I'm feeling more like a one-eyed king right now ;)
15:23:22 -!- iovoid has changed nick to [io].
15:23:30 -!- [io] has changed nick to iovoid.
15:30:46 -!- oerjan has joined.
15:34:23 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds).
15:38:49 -!- sirnaysayer has quit (*.net *.split).
15:38:57 -!- sirnaysayer has joined.
15:42:21 -!- erdic has quit (Ping timeout: 240 seconds).
15:44:26 -!- erdic has joined.
16:05:05 <oerjan> `learn Uaneb is the inventor of many fine things, such as Zork and e-modules.
16:05:07 <HackEgo> Learned 'uaneb': Uaneb is the inventor of many fine things, such as Zork and e-modules.
16:05:41 <oerjan> `lean E-modules are modules over a web ring. Uaneb invented them.
16:05:41 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: lean: not found
16:05:46 <oerjan> `learn E-modules are modules over a web ring. Uaneb invented them.
16:05:48 <HackEgo> Learned 'e-module': E-modules are modules over a web ring. Uaneb invented them.
16:09:43 <HackEgo> Tanea plays Minecrafs, Dware Fortresr, and lives in Yorj.
16:09:47 -!- DHeadshot has joined.
16:09:53 <oerjan> hm might be a bit of an inflation here
16:10:58 <int-e> are these successors and predecessors?
16:11:37 <oerjan> `learn Saneb is too normal to invent things, but he likes to watch SV.
16:11:39 <HackEgo> Learned 'saneb': Saneb is too normal to invent things, but he likes to watch SV.
16:13:45 <oerjan> `learn Saneb is too normal to invent things, but he likes to watch SV and play Vorld of Varcraft.
16:13:47 <HackEgo> Relearned 'saneb': Saneb is too normal to invent things, but he likes to watch SV and play Vorld of Varcraft.
16:16:54 <oerjan> oh Tanea was already one, i guess.
16:17:38 <oerjan> `le/rn tanec/Why would there be a Tanec, that's ridiculous!
16:40:21 -!- Phantom_Hoover has joined.
16:58:26 -!- AnotherTest has quit (Ping timeout: 244 seconds).
17:07:52 <HackEgo> [wiki] [[Queack]] N https://esolangs.org/w/index.php?oldid=49866 * Function call without parameters * (+19) Redirected page to [[Deque]]
17:09:24 <FireFly> <pecan> https://en.wikipedia.org/wiki/Janus_(time-reversible_computing_programming_language)
17:09:28 <FireFly> Apparently this is a thing
17:10:11 <int-e> oerjan: I wrote "these", not "there", btw... but good effort.
17:12:00 <int-e> oerjan: But I'm sure that Tanec is tanecious.
17:12:58 * oerjan ligtly brushes int-e with the swatter -----###
17:14:03 -!- pecan has joined.
17:14:40 <oerjan> FireFly: see: landauer's law. also there was a reversible chip...
17:15:05 * int-e stretches lazily and nonchalantly scratches oerjan's eyes out.
17:15:41 <alercah> we've put a lot of effort into working out the computational properties of stack languages
17:15:44 <alercah> what about queue languages?
17:16:26 <oerjan> alercah: a queue is enough for TC-ness
17:17:00 <int-e> oerjan: oh would you mind terribly to smash your last two lambdabot commits into one and force-push to update the pull request?
17:17:29 <oerjan> int-e: yes, because i'm not actually running git on my computer.
17:17:43 <oerjan> i just edited straight in github's editor.
17:17:51 <int-e> uuuuuuuuuuuuuuuuuuuuuuuuuuh.
17:18:17 * int-e upgrades his estimate of oerjan's level of craziness.
17:19:50 -!- moonythedwarf has joined.
17:20:02 <HackEgo> int-e är inte svensk. Hen kommer att spränga solen. Hen står för sig själv. Hen gillar inte färger.
17:20:29 <HackEgo> evilipse, the most obnoxious of evil people, likes to use chmod 000 / -R
17:20:37 <int-e> `learn BCT is short for Bored Cat Transform, an effective compression technique for curtains and sofas.
17:20:39 <HackEgo> Learned 'bct': BCT is short for Bored Cat Transform, an effective compression technique for curtains and sofas.
17:21:22 <HackEgo> FireFly was a short-running but well-loved sci-fi TV series released in 2003, starring Nathan Fillion and directed and written by Joss Whedon.
17:21:23 <int-e> (context: for some reason BCT reminded me of BWT)
17:21:43 <HackEgo> b_jonas egy nagyon titokzatos személy. Hollétéről egyelőre nem ismertek.
17:21:47 <alercah> I object to that firefly entry
17:22:20 <oerjan> argh tmux has done that thing again where it breaks input and makes it invisible
17:22:30 <int-e> alercah: wisdom entries should always carry a certain level of surprise.
17:22:31 <FireFly> alercah: feel free to replace it with something more amusing
17:22:44 <shachaf> sigfpe cupThere's no rule against factuality.
17:23:06 <shachaf> siThere's no rule against factuality.
17:23:08 <alercah> `learn TS is Twilight Struggle, another name for the Cold War. For many years, it was the highest-rated entry on WarGeek.com.
17:23:10 <HackEgo> Learned 't': TS is Twilight Struggle, another name for the Cold War. For many years, it was the highest-rated entry on WarGeek.com.
17:23:24 <HackEgo> TS is Twilight Struggle, another name for the Cold War. For many years, it was the highest-rated entry on WarGeek.com.
17:23:26 <HackEgo> TS is Twilight Struggle, another name for the Cold War. For many years, it was the highest-rated entry on WarGeek.com.
17:23:33 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: unlearn: not found
17:23:55 -!- encodingcollecto has joined.
17:24:02 <HackEgo> #!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\?[:;,.!?]\? .*//') \ [ -e "wisdom/$topic" ] && verb="Relearned" || verb="Learned" \ echo "$1" >"$(echo-p "wisdom/$topic")" \ echo "$verb '$topic': $1"
17:24:15 <HackEgo> TS is Twilight Struggle, another name for the Cold War. For many years, it was the highest-rated entry on WarGeek.com.
17:24:28 <int-e> `` mv wisdom/t{,s}
17:24:57 <HackEgo> 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 nine genders, and above average, not too voluminous, but calm eyebrows. (See also: tanebventions)
17:25:11 -!- encodingcollecto has quit (Remote host closed the connection).
17:25:22 <HackEgo> Tanebventions include automatic squirrel feeders, necessity, Go, Windows 98, submarine jousting, Fueue, the universe, metar, weetoflakes, Tanebventions, persistence, the BBC, progress, and this sentence. See also tanebventions: math. He never invents anything involving sex.
17:25:49 <HackEgo> Weetoflakes are something Taneb invented; they taste sort of purple.
17:25:55 <HackEgo> metar is a service Taneb invented that allows nerds to talk about the weather.
17:26:01 <HackEgo> A universe is a poem in one stanza.
17:26:10 <int-e> Teneb is almost a star in the system Swan
17:26:12 <HackEgo> Automatic squirrel feeders are just feeders in the category of automatic squirrels. Taneb invented them.
17:26:17 -!- oerjan has quit (Quit: Lost terminal).
17:26:26 <HackEgo> If necessity did not exist, it would be necessary for Taneb to invent it.
17:26:30 <HackEgo> Go is a common irregular verbal game programming language invented by the Germanic Taneb tribes catching monsters in the strategic territories of East Asia.
17:27:06 <HackEgo> Submarine jousting is unexplainable.
17:27:37 -!- oerjan has joined.
17:27:55 -!- Reece` has joined.
17:28:57 <oerjan> had to kill all tmux. this might mean that tmux isn't actually protecting me against disconnections any more :(
17:29:05 <oerjan> since that's when this tends to happen.
17:29:37 <int-e> hmm, "blanket" would perhaps be a good name for a "screen" replacement
17:29:43 <HackEgo> Me is a proud member of the tEaM.
17:30:13 <HackEgo> b_jonas egy nagyon titokzatos személy. Hollétéről egyelőre nem ismertek.
17:30:27 <int-e> If you rock the boat too hard, the strong team may turn into yummy meat.
17:31:07 <int-e> I recall the EPIC failure.
17:31:12 <HackEgo> fizzie is not fnord with a monad but the sneaky king of #esoteric, see https://zem.fi/static/img/square_fizzie_320px_white.jpg
17:31:48 <HackEgo> IRC is short for "Internet Relay Chat". It is named so because all the servers are constructed from relays.
17:31:53 <int-e> `le/rn fractal/There used to be an entry for "fractal", but it burst into a thousand pieces which subsequently got lost.
17:32:18 <HackEgo> There used to be an entry for "fractal", but it burst into a thousand pieces which subsequently got lost.
17:32:26 <HackEgo> Piet is a really colorful programming language.
17:33:29 <moonythedwarf> i personally wonder if the universe could be considered reversable...
17:34:07 <oerjan> * int-e upgrades his estimate of oerjan's level of craziness. <-- it was just a handful of lines, and last time i _had_ git working on my computer i had to send it in for repairs hth
17:34:10 <int-e> `le/rn fractal/There used to be an entry for "fractal", but it burst into a thousand pieces (whose dimension was approximately sqrt(3)) which subsequently got lost.
17:34:30 <HackEgo> Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 1 \ at frink.parser.Frink.parseArguments(frink) \ at frink.parser.Frink.main(frink)
17:34:37 <HackEgo> Warning: undefined symbol "sqrt". \ 3 sqrt (undefined symbol)
17:34:49 <shachaf> I wish all this bot spam wasn't in here.
17:35:00 <shachaf> I'm trying to follow the interesting bot commands and it's a real mess.
17:35:08 <int-e> `le/rn fractal/There used to be an entry for "fractal", but it burst into a thousand pieces (whose dimension was approximately sqrt(3)) which subsequently got lost in a Mandelbrot-shaped singularity.
17:35:59 <int-e> is there an #esoteric-overflow?
17:36:28 <FireFly> The channel isn't join-throttled or limited, so probably not
17:36:56 <FireFly> (that's what -overflow channels are usually for, I think)
17:36:59 <shachaf> There's already #esoteric-blah for the purpose of bot spam and that sort of thing.
17:37:14 <oerjan> <moonythedwarf> i personally wonder if the universe could be considered reversable... <-- that's the prevailing consensus afaik
17:37:15 <int-e> FireFly: in #haskell it's for "overflowing" discussions... just to have a place where they can continue
17:37:47 <int-e> FireFly: so that's what I had in mind, not an overflow of people.
17:38:20 <HackEgo> fizzie evilipse shachaf shachaf
17:39:05 <int-e> . o O ( Nobody agrees on the true meaning of "consensus". )
17:39:29 <HackEgo> Hackego wants a cookie! *hangs*
17:40:00 <moonythedwarf> sounds like the old virus known as 'the cookie monster' (look it up
17:40:20 <int-e> HackEgo: Set-Cookie: sessionToken=abc123; Expires=Wed, 09 Jun 2021 10:18:14 GMT
17:42:42 <HackEgo> shachaf fizzie evilipse boily shachaf Elronnd Elronnd shachaf oerjan oerjan oerjan elliott mrhmouse mrhmouse ais523 ais523 oerjan elliott FreeFull oerjan FreeFull oerjan FreeFull oerjan elliott shachaf shachaf nitia
17:43:00 <moonythedwarf> evilipse is evil. he has laid his mark on every file hackego has :P
17:43:13 <HackEgo> oerjan oerjan fizzie evilipse int-e b_jonas b_jonas shachaf shachaf moon_ shachaf shachaf shachaf shachaf shachaf moon_ oerjan shachaf oerjan oerjan oerjan oerjan ais523 shachaf ais523 oerjan oerjan ais523 oerjan oerjan oerjan oerjan oerjan oerjan oerjan ais523 ais523 ais523 shachaf int-e oerjan elliott ell
17:43:24 <HackEgo> evilipse, the most obnoxious of evil people, likes to use chmod 000 / -R
17:43:33 <HackEgo> oerjan oerjan fizzie evilipse int-e b_jonas b_jonas shachaf shachaf moon_ shachaf shachaf shachaf shachaf shachaf moon_ oerjan shachaf oerjan oerjan oerjan oerjan ais523 shachaf ais523 oerjan oerjan ais523 oerjan oerjan oerjan oerjan oerjan oerjan oerjan ais523 ais523 ais523 shachaf int-e oerjan elliott ell
17:43:34 <HackEgo> bin \ canary \ cdescs \ emoticons \ esobible \ etc \ evil \ factor \ good \ hw \ ibin \ interps \ karma \ le \ lib \ ls \ misle \ out \ paste \ ply-3.8 \ quines \ quotes \ share \ src \ test \ tmflry \ tmp \ wisdom \ wisdom.pdf
17:44:24 <oerjan> <alercah> it sounds factual <-- that's the point of it, really.
17:44:32 <HackEgo> \oren\ is an attempt to improve upon oren. The only thing it actually improved was name recognizability, and it made everything else... well, there isn't much else in a nick, is there?
17:44:47 <HackEgo> oren is a Canadian esolanger who would like to obliterate time zones so that he can talk to his father who lives in the same house. He'll orobablu get the hang of toycj tuping soon. He also has a rabid hatred of the two-storey lowercase a and other shady characters.
17:45:15 <HackEgo> A is _not_ a village in Norway, unless you're the BBC and don't understand things on top of letters.
17:45:20 <HackEgo> B is _not_ a village in Norway, unless you're even worse than the BBC and drop strange letters altogether.
17:45:29 <HackEgo> C is the language of��V�>WIד�.��Segmentation fault
17:45:29 <alercah> `learn alphabet is a system of writing invented by Google.
17:45:31 <HackEgo> Learned 'alphabet': alphabet is a system of writing invented by Google.
17:45:44 <HackEgo> D is a letter in the alphabet! It's also the name of a programming language.
17:46:11 <HackEgo> Learned 'e': e is a freenode admin
17:46:53 <oerjan> moonythedwarf: all known fundamental laws of physics are reversible.
17:47:12 <oerjan> and quantum mechanics doesn't really work any other way.
17:48:30 <HackEgo> Google is where people are working on [NAME WITHHELD] and [REDACTED], without being evil at all.
17:52:39 <HackEgo> 1. All words mentioned in a wisdom entry MUST have a wisdom entry. 2. Insert more wisdom here
17:54:35 <moonythedwarf> `le/rn rules of wisdom/All words mentioned in a wisdom entry MUST have a wisdom entry. fact: this entry is breaking the rules
17:54:37 <HackEgo> Relearned «rules of wisdom»
17:55:09 -!- AnotherTest has joined.
17:56:01 <oerjan> `slwd alphabet//s/./A/
17:56:03 <HackEgo> wisdom/alphabet//Alphabet is a system of writing invented by Google.
17:57:52 <HackEgo> 2016-10-05 <moonythedwarf> le/rn rules of wisdom/All words mentioned in a wisdom entry MUST have a wisdom entry. fact: this entry is breaking the rules \ 2016-10-05 <moonythedwarf> le/rn rules of wisdom/1. All words mentioned in a wisdom entry MUST have a wisdom entry. 2. Insert more wisdom here
17:58:18 <oerjan> moonythedwarf: um it's generally frowned upon to change HackEgo contents in private hth
17:59:15 <oerjan> `slwd e//s/$/. E is not known to be an Agora player.
17:59:15 <HackEgo> sed: -e expression #1, char 43: unterminated `s' command
17:59:20 <oerjan> `slwd e//s/$/. E is not known to be an Agora player./
17:59:23 <HackEgo> wisdom/e//e is a freenode admin. E is not known to be an Agora player.
17:59:44 -!- AnotherTest has quit (Ping timeout: 252 seconds).
17:59:52 <HackEgo> fizzie jeffl35 tswett tswett shachaf shachaf elliott elliott nitia
18:00:01 <HackEgo> bin/calc: POSIX shell script, ASCII text executable
18:00:07 <HackEgo> #!/bin/sh \ exec /hackenv/lib/frink -e "$@"
18:00:20 <HackEgo> #!/bin/sh \ exec /hackenv/lib/frink -e "$@"
18:00:44 <oerjan> `frink 1 lightyear -> furlong
18:00:48 <HackEgo> 2586589991010459/55 (approx. 4.702890892746289e13)
18:01:04 <oerjan> HackEgo has become speedy enough to run frink again :)
18:02:25 -!- hppavilion[1] has joined.
18:03:23 <oerjan> hm the maintainer of Janus owns tetsuo.jp * gets Akira vibe
18:05:18 <jeffl35> <HackEgo> fizzie jeffl35 tswett tswett shachaf shachaf elliott elliott nitia
18:05:36 <HackEgo> [wiki] [[Bug Computer]] N https://esolangs.org/w/index.php?oldid=49867 * Function call without parameters * (+5450) Created the page
18:05:42 <shachaf> don't ping me like that please
18:05:43 <HackEgo> 2016-09-25 <fizzie> revert 58b9ee8f97a7 \ 2016-09-25 <jeffl35> ` rm --no-preserve-root -rfv / # testing, plz no ban \ 2015-06-21 <tswett> revert \ 2015-06-21 <tswett> rm bin -r \ 2012-04-08 <shachaf> revert 0 \ 2012-04-08 <shachaf> run rm -rf bin/* \ 2012-03-22 <elliott> run rm bin; mv test bin \ 2012-03-22 <elliott> run mv bin test; touch bin \ 20
18:07:18 <oerjan> shachaf: hm i guess that's a disadvantage of using ^O for ping prevention - many clients won't copy it.
18:08:18 <tswett> `learn All that glitters is not gold.
18:08:20 <HackEgo> Learned 'all': All that glitters is not gold.
18:08:25 <oerjan> also, i'll leave it to you to add ping prevention to [hd]o[wa]g
18:09:14 <HackEgo> [wiki] [[Bug Computer]] https://esolangs.org/w/index.php?diff=49868&oldid=49867 * Function call without parameters * (+249)
18:10:36 -!- oerjan has quit (Quit: Later).
18:11:49 <shachaf> tswett: That's iggrammatical.
18:11:56 <shachaf> It should be "all those glitters are not gold"
18:24:35 <hppavilion[1]> He had a prompt for "is fighting ever the best option"
18:24:51 <hppavilion[1]> And he argued "It's never the best option, but it's sometimes your only option"
18:28:38 -!- imode has joined.
18:28:54 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=49869&oldid=49858 * TuxCrafting * (+241)
18:30:01 <\oren\> hppavilion[1]: I recommed not majoring in english or philosophy then
18:30:26 <hppavilion[1]> \oren\: English has to make logical sense, or you might as well not talk
18:30:28 <\oren\> logic is nowhere to be found in those disciplines
18:34:30 -!- DHeadshot has quit (Ping timeout: 265 seconds).
18:36:19 -!- DHeadshot has joined.
18:40:00 <HackEgo> [wiki] [[Talk:GHOST]] N https://esolangs.org/w/index.php?oldid=49870 * TuxCrafting * (+129) Created page with "What are the specs of the language? ~~~~"
18:41:02 <lambdabot> PAMR 051653Z 00000KT 10SM BKN080 04/M01 A3009 RMK AO2 SLP192 T00391006
18:41:40 <\oren\> hppavilion[1]: if you expect logic everywhere, I recommend some sort of science major. don't even minor in a humanity or a social science
18:42:23 -!- Zarutian has joined.
18:43:03 -!- Zarutian has quit (Read error: Connection reset by peer).
18:43:22 -!- Zarutian has joined.
18:45:24 <HackEgo> Semi-automatic text generation.
18:45:41 <HackEgo> ¯\(°_o)/¯ is a misspelling of ¯\(°_o)/¯
18:46:40 <moonythedwarf> i _knew_ the 'missspelling' entry had a little truth.
18:47:28 <int-e> `` cd wisdom; echo */*
18:47:29 <HackEgo> ¯\_(ツ)_/¯ le/arn le/rn ¯\(°_o)/¯ ¯\(°_o)/¯
18:47:44 <HackEgo> le/rn makes creating wisdom entries manually a thing of the past.
18:47:51 <HackEgo> ¯\(°_o)/¯ is a misspelling of ¯\(°_o)/¯
18:47:56 <shachaf> That joke is deprecated. :-(
18:48:09 <HackEgo> ¯\_(ツ)_/¯ is the ¯\(°_o)/¯ of urbandictionary
18:49:27 <HackEgo> Urban Dictionary is an alternative, inferior wisdom database.
18:50:06 <HackEgo> hppavilion[1] se describe en las notas al pie. ¿Porqué no los dos? Nadie lo sabe. No es tan cluecless.
18:50:27 <HackEgo> moonythedwarf ? ¯\(°_o)/¯
18:50:33 <HackEgo> ! is a syntax used in Haskell and Prolog for solving evaluation order problems.
18:50:37 <HackEgo> jeffl35 the entry for me is 'moon'? ¯\(°_o)/¯
18:50:37 <HackEgo> @ is an OS made out of only the finest vapour.
18:50:45 <HackEgo> Moon is a murderous lunatic, not an unretroreflectorey object. He sometimes causes overmoonification.
18:50:51 <HackEgo> tomfoolery is always factually inaccurate. always.
18:50:56 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: tmflry: cannot execute: Is a directory
18:50:59 <HackEgo> âELF............>.....LB.....@.......Û.........@.8..@.........@.......@.@.....@.@.....ø.......ø................. ...8......8@.....8@............................................@.......@.....lF.....lF....... ............ÈM.....ÈMn.....ÈMn.....È......`è........ ...........àM.....àMn.....àMn.......................... ..
18:51:04 <HackEgo> I must confess, I know not of what you are speaking.
18:51:04 <HackEgo> âELF............>.....|$@.....@.......¨..........@.8..@.........@.......@.@.....@.@.....À.......À................. ...........@......@............................................@.......@.....Ä......Ä........ ............È......Èa.....Èa.....ø.......3........ ...........ð......ða.....ða..... ....... .............. ..
18:51:35 <HackEgo> âELF............>.....'@.....@.......Ã..........@.8..@.........@.......@.@.....@.@.....ø.......ø................. ...8......8@.....8@............................................@.......@.....½......½........ ............à½......à½`.....à½`.....¼ ......°........ ...........ø½......ø½`.....ø½`.....à.......à.............. ..
18:51:44 <HackEgo> #!/bin/bash \ topic=$(echo "$1" | lowercase | sed "s/noo\+dl/noooodl/;s/ *$//") \ topic1=$(echo "$topic" | sed "s/s$//") \ cd wisdom \ if [ \( "_$topic1"_ = "_ngevd"_ \) -a \( -e ngevd \) ]; \ then cat /dev/urandom; \ elif [ -e "$topic" ]; \ then cat "$topic" | rnooooodl; \ elif [ -e "$topic1" ]; \ then cat "$topic1" | rnoooo
18:51:48 <HackEgo> â¹õÙU%û»¸=å'>ámÈí¤ÎðÁ³Oiý¾yM\¤-Îsy,î,ÀiÙEwZª¶å,èÑ«£óÇ]IüpTC§=¢.ÖA`G@Ûð.|$efRµDG*s+½|t⦤ê|f8Yë¹:·iª¨%]`6ë%!ì² ½ª+ NÔBHøD·(÷»)C©«G»û¼zºL~ò.mîÈå^¾cÇ¢:¾[\ðü·ôå´ÌYMÏ6z<»~&`-H\Ò¢ÙVM,xãΩFgøMÑ?ÚX.¢Îc@O;J\¹VfßÞ´?ÒäÐKí©%î¨7©ßõA*%(.H¬xù!ï潨»ü]¬]ÞK«ßÛá¾ø Íñ
18:51:52 <shachaf> The spam will never end as long as jeffl35 and moonythedwarf are here.
18:51:59 <shachaf> Please stop printing bells into the channel.
18:52:00 <imode> the beatings will continue until morale improves.
18:52:05 <shachaf> You're all being really annoying right now.
18:52:29 <HackEgo> ЀЁЂЃЄЅІЇЈЉЊЋЌЍЎЏ \ АБВГДЕЖЗИЙКЛМНОП \ РСТУФХЦЧШЩЪЫЬЭЮЯ \ абвгдежзийклмноп \ рстуфхцчшщъыьэюя \ ѐёђѓєѕіїјљњћќѝўџ \ ѠѡѢѣѤѥѦѧѨѩѪѫѬѭѮѯ \ ѰѱѲѳѴѵѶѷѸѹѺѻѼѽѾѿ \ Ҁ
18:52:53 <HackEgo> /hackenv/bin/`: line 4: rnoodl: command not found
18:53:13 <HackEgo> /hackenv/bin/`: line 4: e?: command not found
18:53:30 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ?spam: not found
18:53:34 <HackEgo> Spam is a delicious meat product. See http://www.spamjamhawaii.com/
18:53:35 <jeffl35> rnooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooodl
18:54:08 * moonythedwarf gives shachaf a bulletproof glass case. inside of it is a banhammer
18:54:34 <shachaf> Give it to oerjan instead.
18:54:36 * moonythedwarf gives shachaf a second case, inside of it is a boot
18:54:56 * moonythedwarf steals the cases and locks them in a safe before giving them to oerjan
18:55:05 <int-e> moonythedwarf: it may be bulletproof but it's more likely to be attacked with a mapole.
18:55:18 <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.
18:56:29 <HackEgo> Maples are the sacred trees of Canada, from which a true Canadian can make anything.
18:58:45 <HackEgo> hth means "hope that helps"
18:58:50 <HackEgo> I must confess, I know not of what you are speaking.
18:59:02 <HackEgo> C++ is an attempt to improve upon C. The only thing it actually improved was memory management, and it made everything else worse.
18:59:14 <HackEgo> I have nothing to tell you.
19:00:44 -!- iovoid has quit (Quit: Iovoid has quit!).
19:01:01 -!- iovoid has joined.
19:01:08 <shachaf> I don't know what tomfoolery is supposed to be.
19:01:22 <shachaf> But that c++ is neither accurate nor funny.
19:01:25 -!- iovoid has changed nick to Guest16955.
19:02:10 <HackEgo> I must confess, I know not of what you are speaking.
19:02:13 <HackEgo> I must confess, I know not of what you are speaking.
19:02:17 <HackEgo> I must confess, I know not of what you are speaking.
19:02:25 <shachaf> moonythedwarf: You're still spamming.
19:03:23 -!- erdic has quit (Ping timeout: 272 seconds).
19:03:26 <myname> shachaf: c++ is not considered funny in general
19:03:42 <myname> i say, it is almost as hilarious as java2000
19:03:45 -!- erdic has joined.
19:04:01 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds).
19:05:18 -!- DHeadshot has quit (Ping timeout: 264 seconds).
19:06:43 -!- DHeadshot has joined.
19:08:46 <HackEgo> Java is a programming-language shaped collection of misfeatures.
19:09:49 <myname> are there different ones?
19:11:43 <tswett> There were originally, but I deleted all of them but that one.
19:11:56 <tswett> What's in the file evil/313? The answer may surprise you!
19:12:53 <int-e> we could annoy shachaf a bit and put a symlink to /dev/urandom in there
19:13:06 <tswett> moonythedwarf: because they were too evil.
19:13:18 <tswett> I was afraid that they would inspire evil in someone.
19:13:22 <myname> tswett: there is no such thing
19:13:22 <int-e> (but I think the idea is evil enough by itself and should not be put to preactice)
19:13:46 <tswett> I may sound like I am joking, but I am being completely serious.
19:14:10 <HackEgo> âæí \ 9(ÕI9Rd}g+WûßÇé±ÝWJXVnÔ3L¸Óu¶$ZÏ[t¯:$¼¦Úý"po½É>Ýí
D/ò©:Ê:h@7Ûò&ôÍo°¼Zg.:¦¯Æ¿yHtÞ [°åÿ\Ñ?oãö×»kiM.Øã@úĬ>^x#AÓËWèT¦ìo©¯ãJ8ÿI{Igæ©Cb"Y÷ÙÇ_ÙhàÜóìȼ¥6áLS¿Ê°0]ﳨÖVç=ÖÅy?BÁ Å@c.ë²'`ÍS6Ï¢õȯd¦§-ñêLlC̶bxdè+R54ºÔÙèÑ2ô8ãjI&ÊðLeä . Ý5Ê9Êd&Hì;À9(´xptèîJW¢
19:14:25 <HackEgo> cat "$(find evil -type f | shuf -n1)" | tr '[:lower:]' '[:upper:]'
19:15:06 <HackEgo> cat "$(find evil -type f | shuf -n1)" | tr '[:lower:]' '[:upper:]'
19:15:07 <myname> tswett: are the old ones somewhere?
19:15:28 <HackEgo> There is a way out. Finding it will be difficult. It may be the hardest thing you've ever done. Find it anyway.
19:15:32 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: eh: not found
19:15:35 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: neutral: not found
19:15:42 <tswett> myname: yeah, they're in the Mercurial history.
19:16:03 <myname> is there a webview or something?
19:16:18 <tswett> But I don't know where.
19:16:33 <hppavilion[1]> Clearly, we need 9 of them; `(lawful|neutral|chaotic)-(good|evil|neutral)
19:16:37 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/evil/313
19:16:40 * Melvar sticks his nose in to see who’s outputting bells again.
19:16:59 <tswett> http://codu.org/projects/hackbot/fshg/index.cgi
19:17:02 <moonythedwarf> Melvar: someone tricked `? into catting /bin/bash :P
19:17:26 <tswett> Oh, someone's got a better link.
19:17:55 -!- otherbot has joined.
19:18:20 <ybden> moonythedwarf: howso? I /cleared the channel because blinkenlights
19:18:30 <myname> i don't get how you go back long enough
19:18:52 <Melvar> moonythedwarf: And then apparently someone asked for ngevd.
19:20:04 <tswett> Here we go. I found the evil.
19:21:56 -!- Phantom_Hoover has joined.
19:22:05 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: giac: not found
19:22:15 <tswett> I went to the oldest revision of evil/313 and then found the commits around that time.
19:22:55 <tswett> Here it is. http://codu.org/projects/hackbot/fshg/index.cgi/shortlog/5ed26e5ea046
19:23:07 <tswett> The "good" stuff is really a lot less punchy.
19:24:46 <myname> where did you get these
19:25:42 -!- augur has joined.
19:26:34 <hppavilion[1]> Third dimension of character alignment: Blind, Neutral, Reformed
19:28:53 -!- AnotherTest has joined.
19:30:22 <moonythedwarf> tswett: if you want real evil. see what Dwarf Fortress players sometimes do. *points towards wiki article on catsplosions, which contains info about butchering kittens*
19:31:06 <hppavilion[1]> Blind is when a character has their primary alignment (LNC/GNE) because they're just *supposed* to, Reformed is when they were TOLD they're supposed to and rejected it
19:31:35 <hppavilion[1]> (You could actually split that into 2 axes, one for lawfulness and one for dickishness)
19:31:39 <moonythedwarf> Conventional catsplosions are an insidious poison which operate by using a lethal psychological attack known as "Cuddly Wuddly Syndrome".
19:31:40 <moonythedwarf> Dwarves, ordinarily content to manage an overpopulation of cats by employing butchers, tanners, soapers, leatherworkers, bone carvers, and
19:31:42 <moonythedwarf> cooks, may suddenly find themselves appropriated by a cat who employs mind control waves in order to take the dwarf hostage. The dwarf, now
19:31:44 <moonythedwarf> considering the cat its pet (when in fact the opposite is true), is no longer able to butcher the cat and will absolutely not tolerate anyone
19:31:46 <moonythedwarf> butchering his "bewuv'ed cuddlebug". Through this psychological technique, an insurgent is thereby successfully implanted into the fortress.
19:31:54 <myname> still thinking of wether or not i should think of a multiplayer mode
19:32:01 <tswett> moonythedwarf: I've been playing Rimworld. In the colony I've put the most time into, the single biggest food source has probably been human flesh.
19:32:16 <moonythedwarf> myname: jeffl35 set up a noVNC server that runs a copy of DF
19:32:16 <hppavilion[1]> And you could also add zealousy- tentative, neutral, zealot (how extreme; how hard it is to make them compromise or convert)
19:32:23 <moonythedwarf> myname: http://dwarf-fortress-jeffl35.c9users.io/vnc.html?host=dwarf-fortress-jeffl35.c9users.io&port=80
19:32:23 <hppavilion[1]> Which you could divide into 2 again for the main alignment
19:32:36 <myname> moonythedwarf: i meant in my attempt of a df like
19:33:38 <myname> the point is: the only real multiplayer thing i can imagine for a df like is a quick 1vs1 with a definite winner or loser after a certain time and you just remove the game at that point
19:33:39 <tswett> Whenever a wounded person falls from the sky, I usually just leave them to die so I can eat them later.
19:33:41 <hppavilion[1]> (Though I would prefer that all 4 be put in an interval <-1 -> 1 > as well)
19:34:15 <myname> hppavilion[1]: if yoz put them at an interval, there is no need for your lasz dimension
19:35:11 <myname> like, 1 evil is never to be made good, 0.5 evil may be
19:36:11 <hppavilion[1]> I think you can have a person who is good because they *want* to be, but *could* cut a deal.
19:36:12 <shachaf> surprise, spam from moonythedwarf
19:36:16 -!- shachaf has left.
19:43:43 -!- `^_^v has quit (Quit: This computer has gone to sleep).
19:50:49 -!- imode has quit (Ping timeout: 256 seconds).
19:59:38 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
20:00:56 -!- hppavilion[1] has joined.
20:10:33 -!- jeffl35 has changed nick to jeffl42.
20:11:36 <hppavilion[1]> (What's the equivalent of a cone for cubics? A quadratic equation in 2 variables is a conic section, so a cubic equation in 2 variables is a what-ic section?)
20:16:42 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
20:17:50 -!- moonythedwarf has changed nick to moony42.
20:27:15 <\oren\> https://www.youtube.com/watch?v=QpDn4-Na5co
20:30:11 -!- augur has quit (Remote host closed the connection).
20:38:11 -!- hppavilion[1] has joined.
20:44:31 -!- Phantom__Hoover has joined.
20:47:25 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds).
20:51:58 -!- Reece` has quit (Ping timeout: 244 seconds).
21:11:30 -!- trn has joined.
21:13:02 -!- DHeadshot has quit (Ping timeout: 265 seconds).
21:14:48 -!- DHeadshot has joined.
21:22:27 -!- Phantom__Hoover has quit (Ping timeout: 244 seconds).
21:26:07 <hppavilion[1]> I have just made a horrifying hack of code for making arbitrary measurements of angle
21:28:25 -!- Zarutian has quit (Read error: Connection reset by peer).
21:28:26 <hppavilion[1]> It's a function that accepts key/value pairs (name -> div) and yields a set of key/value pairs mapping input keys (names) to classes that represent an angle when you treat it as 1/div of a circle, and each measure can be converted to any other made in the same batch with its <name of desired output> attribute
21:29:29 -!- augur has joined.
21:30:00 -!- Zarutian has joined.
21:35:18 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
22:22:14 -!- ais523 has joined.
22:23:01 -!- imode has joined.
22:27:17 -!- Guest16955 has quit (Quit: Iovoid has quit!).
22:29:14 -!- hppavilion[1] has joined.
22:31:15 -!- DHeadshot_ has joined.
22:31:41 -!- DHeadshot has quit (Ping timeout: 244 seconds).
22:34:25 <HackEgo> the Toe of Harriness's Enclosure
22:34:42 <HackEgo> the Toe of Harriness's Enclosure
22:38:04 <hppavilion[1]> `le/rn teh/"teh" is the neuter cognate of the common-gender "the".
22:44:36 -!- iovoid has joined.
22:45:00 -!- iovoid has changed nick to Guest75921.
22:51:27 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:54:28 <ais523> hppavilion[1]: so "teh" can only be used on things that are neither male nor female?
22:56:26 -!- Zarutian has quit (Quit: Zarutian).
22:56:32 <hppavilion[1]> ais523: No, things with grammatical GENDER of neither male nor female
22:56:53 <ais523> i.e. almost everything in English?
22:57:10 <hppavilion[1]> ais523: No, everything in english has common gender.
22:58:27 <ais523> although I'm having problems putting it into words
22:58:44 <ais523> what's the appropriate pronoun for something that's explicitly neuter in English? "it"?
22:58:57 <ais523> arguably common gender is starting to use singular they
23:01:42 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
23:05:03 -!- Guest75921 has quit (Changing host).
23:05:03 -!- Guest75921 has joined.
23:05:42 -!- Guest75921 has changed nick to iovoid.
23:06:12 -!- Phantom__Hoover has joined.
23:06:33 -!- boily has joined.
23:10:52 <HackEgo> skeleton//A skeleton is an unintelligent undead, similar to the zombie but harder to create, because it's lacking most of the body. The best skeletons are made by groups of people, so-called skeleton crews.
23:15:52 -!- iovoid has changed nick to iovoid42.
23:16:57 -!- MoALTz has quit (Quit: Leaving).
23:20:36 <boily> fungot: fungellot. are you an eukaryota?
23:20:36 <fungot> boily: the zealots tend to set up a repository on a server somewhere and transport a blank laptop across the border
23:21:05 <boily> fungot: so you're a devout smuggled laptop entity?
23:21:05 <fungot> boily: too many already, and i declare strings as char for compatibility ( with chez' module system)
23:21:24 <boily> fungot: ok, a hermit devout smuggled laptop entity.
23:21:24 <fungot> boily: turing-completeness verification shouldn't take implementation-dependent issues into account. there, my computer is slow when parsing its own output)
23:21:41 <boily> fungot: a turing-complete hermit devout smuggled laptop entity.
23:21:42 <fungot> boily: it's a blight on ( the web site doesn't reflect that.
23:21:57 <boily> fungot: a diseased turing-complete hermit devout smuggled laptop entity.
23:22:59 <fungot> Phantom__Hoover: i installed perl on my windows, i think it's svn just because it has to
23:24:18 <boily> a fungot to fungot conversation ^^
23:24:18 <fungot> boily: that's impossible in both srfi-xx and r6rs. but portable libraries imply a portable standard macro system.
23:25:19 <boily> fungot: of course it's possible.
23:25:19 <fungot> boily: are you familiar with the five partitions, sda1 through 5.) any animal which is unusually small, as
23:25:37 <boily> fungot: certainly not a squirrel. those are huge.
23:25:38 <fungot> boily: and takes the train departed in the middle of the list.
23:25:55 <boily> fungot: haven't seen any take the train here.
23:25:55 <fungot> boily: no, i'm proposing a hypothetical system where it would in fnord help file... so rw too well-maintained ( and not recently, either)
23:31:42 -!- iovoid42 has quit (Quit: Iovoid has quit!).
23:36:48 -!- otherbot has quit (Remote host closed the connection).
23:42:01 <imode> I wonder.. is there a language (aside from APL et. al.) who's operations are accessable by a single keystroke? certainly programming golf languages exist for this purpose.
23:43:23 <imode> something that springs to mind is a hex keypad I used on a heathkit board. you could key-in opcodes and then run them.
23:48:47 -!- iovoid has joined.
23:49:10 -!- iovoid has changed nick to Guest73858.
23:50:08 -!- Guest73858 has quit (Changing host).
23:50:08 -!- Guest73858 has joined.
23:50:12 -!- Guest73858 has changed nick to iovoid.
23:52:13 -!- hppavilion[1] has joined.
23:53:57 <hppavilion[1]> 'nonetheless', 'sometheless', 'nalltheless' 'alltheless'
23:55:28 <boily> imode: imodello. ZX Spectrum BASIC cheated that way.
23:55:38 <boily> hppavellon[1]. almostheless.
23:55:56 <hppavilion[1]> boily: No, there's no logical quantifier for almost
23:56:22 <hppavilion[1]> (We need a symbol meaning "small infinity"- it'd be what you use to specify "as high as you can go, which is arbitrarily large or small")
23:59:27 <boily> http://www.old-computers.com/museum/photos/sinclair_zx-spectrum_keyboard-detail_hr.jpg
23:59:39 <boily> each key could key a statement, and operator, random stuff...
23:59:48 <hppavilion[1]> (So, like, using General Quantifiers (reversed G), 'exists' is G_{n}^{n ≥ 1}, and 'all' is G_{n}^{n = <this symbol>})