00:03:56 -!- DHeadshot has quit (Ping timeout: 244 seconds).
00:07:06 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
00:22:10 -!- hppavilion[1] has joined.
00:27:52 -!- adu has joined.
01:47:35 <hppavilion[1]> * draws a minim with a tail
01:47:41 <hppavilion[1]> WHERE'S YOUR GOD NOW
01:47:42 <hppavilion[1]> ‽
01:51:58 -!- adu has quit (Quit: adu).
01:54:13 -!- oerjan has quit (Quit: Somewhere else).
01:54:26 -!- adu has joined.
01:58:28 <hppavilion[1]> Also fun: pi-4 time
02:04:22 -!- boily has joined.
02:05:09 <boily> `wisdom
02:05:12 <HackEgo> nooga//no.
02:20:06 <HackEgo> [wiki] [[S.I.L.O.S]]  https://esolangs.org/w/index.php?diff=49800&oldid=49756 * Rjhunjhunwala * (+322) 
02:20:20 -!- copumpkin has quit (Ping timeout: 265 seconds).
02:20:45 -!- Jafet has quit (Quit: Jafet).
02:24:18 <HackEgo> [wiki] [[S.I.L.O.S]]  https://esolangs.org/w/index.php?diff=49801&oldid=49800 * Rjhunjhunwala * (+0) 
02:26:11 -!- boily has quit (Quit: HISTORICAL CHICKEN).
02:31:47 <hppavilion[1]> Hm, does it make sense to talk about "bisynthetic" or "trisynthetic" languages? A special case of polysynthetic where n=3
02:31:52 <hppavilion[1]> (not really sure what n is though)
02:35:43 <hppavilion[1]> If contract(["I", "Would", "Have"]) is "I'd-a" (it varies), is its negation "I'dn-a"?
02:36:34 <shachaf> princess ida
02:37:09 <hppavilion[1]> (Maybe it should be "I'm~a" so we have a justification to have a tilde on American keyboards)
02:37:33 <hppavilion[1]> (For "I'm-a", not "I'd-a")
02:37:58 <hppavilion[1]> I'mn-a -> "I am not going to"
02:39:03 <shachaf> `wisdom
02:39:04 <HackEgo> roujo//Roujo is a Java heretic leaning on ungrammatical Haskell. His claim to Canadianness is marred by an unholy portal to China. The treaties suffer, so the cocktail will be postponed. He does not understand shell quoting.
02:39:09 <shachaf> `wisdom
02:39:10 <HackEgo> itay//Itay is Christmas in Italy.
02:39:23 <shachaf> `cwlprits itay
02:39:24 <HackEgo> fizzie evilipse oerjan
02:39:36 <shachaf> this evilipse person is scow
02:39:48 <shachaf> messing up our cluprits
02:43:04 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
03:08:09 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
03:29:47 -!- rodgort has quit (Quit: Leaving).
03:30:03 -!- rodgort has joined.
03:47:05 -!- heroux has quit (Ping timeout: 240 seconds).
03:50:30 -!- hppavilion[1] has joined.
03:53:20 <tswett> `? fish
03:53:21 <HackEgo> Come and dance and love the fish! Mister Disco summoned it.
04:15:41 <tswett> So I've watched a couple of "Moskau" misheard lyrics videos.
04:16:10 <tswett> It turns out some of the misheard lyrics are actually accurate translations!
04:16:20 <tswett> Consider, for example, "Come and dance and love the fish".
04:16:47 <tswett> Apparently the German lyric is "Komm wir tanzen auf dem Tisch", which is translated as "Come and dance on a table".
04:17:02 <tswett> Of course, it's no coincidence that the German words for "come" and "dance" sound similar to the English words.
04:18:58 -!- adu has quit (Quit: adu).
04:20:11 -!- Alcest has joined.
04:33:12 -!- mrnaysayer has quit (Quit: zonkzonk).
04:33:19 -!- sirnaysayer has joined.
04:53:12 -!- `^_^v has joined.
04:59:30 <hppavilion[1]> I'm playing with pyaudio
04:59:47 -!- moonythedwarf has joined.
04:59:58 -!- jix has quit (Ping timeout: 250 seconds).
05:00:00 <hppavilion[1]> I got stereo working; I'm playing sinewave middle c in one ear and cosinewave middle c in the other
05:00:07 <hppavilion[1]> moonythedwarf: It's amazing
05:00:11 <moonythedwarf> moo
05:00:19 <moonythedwarf> lol
05:00:54 -!- jix has joined.
05:01:51 <moonythedwarf> -poke hppavilion[1] 
05:01:51 * otherbot pokes hppavilion[1]
05:05:27 <\oren\> hppavilion[1]: "cosinewave" u do realize sine and cosine are the same just shifted by a quarter wavelength right?
05:05:46 <hppavilion[1]> \oren\: Yes
05:06:03 <hppavilion[1]> \oren\: But stereo sine-cosine sounded distinctly different from stereo sine-sine
05:06:17 <hppavilion[1]> (and, for that matter, from stereo cosine-cosine)
05:06:26 <hppavilion[1]> So I consider them to be different for stereo purposes
05:06:44 <shachaf> i don't know anything about sound but presumably stereo cosine-cosine at least sounds the same as stereo sine-sine
05:09:02 <hppavilion[1]> shachaf: Yes, it does
05:09:05 <hppavilion[1]> AFAICT
05:09:12 <hppavilion[1]> Which is why it was an afterthought
05:14:06 <quintopia> why not just "stereo in-phase sounds different from stereo out-of-phase"?
05:14:33 <quintopia> (as it should, as it's one way to create a surround sound effect)
05:15:19 <shachaf> What are other ways?
05:19:32 <\oren\> shachaf: you can also use fade in fade out
05:20:03 <myname> https://twitter.com/letoams/status/779490839584186368 m(
05:21:37 <\oren\> myname: AAAAAAA
05:22:42 <moonythedwarf> AAAAAA
05:22:46 <moonythedwarf> A
05:24:01 <shachaf> good trick
05:25:43 * moonythedwarf goes off to register www.com
05:26:10 <moonythedwarf> darn beaten
05:26:21 <Hoolootwo> I'm pretty sure most of the www.* domains are taken
05:26:22 <hppavilion[1]> moonythedwarf: Of COURSE you're beaten
05:26:31 <hppavilion[1]> Hoolootwo: www.ninja
05:26:44 <hppavilion[1]> hell.666
05:26:49 <hppavilion[1]> http://hell.666
05:26:50 <myname> www.space?
05:26:54 <Hoolootwo> hmm, wow
05:26:59 <hppavilion[1]> Hoolootwo: www.spaaaaaaaaaaaaaaaaaaaaace
05:28:20 <hppavilion[1]> myname: Try the mars-wide web (mww)
05:28:46 <hppavilion[1]> Shouldn't 'www' just be 'sextuple u'
05:30:39 <Hoolootwo> uuuuuu.horse
05:31:25 <myname> uu.uu.uu.foo.bar might be nice to confuse people on your domain
05:31:54 <myname> "it's dpuble-u, double-u, double-u, fpo, bar"
05:32:06 <shachaf> "triple-u triple-u" sounds pretty good.
05:32:16 <hppavilion[1]> myname: Why 'dpuble"?
05:32:17 <shachaf> triple-u triple-u dot esolangs dot org
05:32:23 <hppavilion[1]> Oh, it wass a mistake
05:35:26 <hppavilion[1]> myname: 'double-u dot double-u dot double-u dot foo dot bar'
05:37:00 -!- `^_^v has quit (Ping timeout: 260 seconds).
05:37:46 -!- `^_^v has joined.
05:47:09 <hppavilion[1]> Nuclear Thumb War
05:57:46 -!- `^_^v has quit (Ping timeout: 265 seconds).
05:59:17 -!- `^_^v has joined.
06:21:15 -!- mad has joined.
06:21:23 <mad> sup
06:21:41 <shachaf> `? u
06:21:42 <HackEgo> u monad?
06:22:46 <mad> I've looked at if C++ compilers can automatically classify variables as either pointer/array indexes, and all other variables
06:22:50 <mad> I think it's doable
06:23:10 <mad> in SSA form you can just check if the results end up in load address computations and backtrack
06:23:17 <mad> plus pointers have specific types ofc
06:25:25 <mad> so you could do a cpu where pointers, indexes, and other integer values live on separate register files and target it with ordinary compilers
06:28:20 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
06:34:03 -!- `^_^v has quit (Quit: This computer has gone to sleep).
06:44:31 -!- PinealGlandOptic has joined.
06:50:05 <mad> which would let you run addressing operations way beforehand, which is one of the major advantages more complex cpus have
06:51:01 -!- lleu has quit (Quit: That's what she said).
06:51:23 -!- hppavilion[1] has joined.
06:56:02 -!- heroux has joined.
06:58:41 <deltab> thelettervsixtim.es
07:13:22 -!- AnotherTest has joined.
07:28:35 -!- AnotherTest has quit (Ping timeout: 252 seconds).
07:48:54 -!- carado has joined.
08:07:17 -!- PinealGlandOptic has quit (Quit: leaving).
08:08:57 <myname> somewhere else somebody asked on how you can produce a single space in a posix shell without any whitespace in your commands
08:11:00 <shachaf> As in the output of echo -n ' '?
08:11:28 <myname> yep
08:11:34 <izalove> but without all that whitespace
08:11:36 <myname> but without the 3 spaces you used
08:11:45 <shachaf> Is the output of echo ' ' good enough?
08:11:52 <izalove> shachaf: 2 spaces
08:12:01 <shachaf> What?
08:12:09 <shachaf> I'm asking for a problem specification, not suggesting a solution.
08:12:11 <izalove> echo ' '
08:12:15 <izalove>     ^ ^
08:12:21 <myname> i guess, i am not sure
08:12:28 <shachaf> Are you using the least charitable interpretation of what I'm saying on purpose?
08:12:44 <shachaf> If a newline is OK, you can cat<<<$'\x20'
08:12:47 -!- `^_^v has joined.
08:12:59 <izalove> shachaf: not posix
08:13:07 <shachaf> Ah, POSIX.
08:13:22 <izalove> printf '\40'
08:13:27 <myname> okay, seems like newlines also are unwanted
08:14:08 <myname> okay, i was told bash is okay, but \ and ' are not
08:14:13 <shachaf> Is this exploiting some program that executes arbitrary shell commands without spaces?
08:14:20 <myname> basicall, yeah
08:14:55 <myname> i don't know what he wants to do eith that, but i thought it's some nice puzzle
08:17:51 -!- nycs has joined.
08:19:36 <shachaf> This is a pretty incomplete puzzle description.
08:19:40 <shachaf> Better to give the real problem.
08:19:52 -!- `^_^v has quit (Ping timeout: 265 seconds).
08:22:16 <hppavilion[1]> I should get a bunch of white t-shirts that have a font name printed on them in that font
08:22:17 <hppavilion[1]> Every day
08:22:32 <myname> no, printed in _another_ font
08:22:58 <myname> like, helvetica printed in times new roman
08:23:31 <hppavilion[1]> myname: No, that's not geeky enough
08:23:40 <myname> oh yes it is
08:23:40 <hppavilion[1]> myname: I want it to be distinguishable
08:23:47 <hppavilion[1]> myname: No, it has to be correct
08:23:55 <hppavilion[1]> (I should probably include neoletters...)
08:24:10 <myname> that guy who rapes english tells me tshirts need to be correct?
08:24:47 <myname> the advantage of the wrong font thing is that you immediately can befriend anybody who corrects you
08:25:00 <hppavilion[1]> myname: Oh yeah...
08:25:09 <hppavilion[1]> Maybe I'll have a bonus shirt that is intentionally wrong?
08:26:18 <hppavilion[1]> Should the back have a table on it?
08:33:46 <hppavilion[1]> All fonts should support double-italics...
09:07:39 <HackEgo> [wiki] [[Bf core]] M https://esolangs.org/w/index.php?diff=49802&oldid=49799 * Total Vacuum * (+1502) 
09:10:49 -!- hppavilion[1] has quit (Ping timeout: 255 seconds).
09:11:47 <HackEgo> [wiki] [[Bf core]] M https://esolangs.org/w/index.php?diff=49803&oldid=49802 * Total Vacuum * (+65) 
09:13:00 <HackEgo> [wiki] [[Bf core]] M https://esolangs.org/w/index.php?diff=49804&oldid=49803 * Total Vacuum * (+2) /* goal */
09:17:50 <fizzie> We have a bunch of dashboard links that contain the word "dash" in them, which are p. tricky to mention out loud.
09:17:53 <fizzie> E.g. "foo-dash-bar" -- if you say "foo dash bar", people assume "foo-bar", but "foo dash dash dash bar" is p. ridiculous as well.
09:18:12 <Taneb> foo hyphen dash minus bar
09:24:41 <HackEgo> [wiki] [[Brainfuck implementations]] M https://esolangs.org/w/index.php?diff=49805&oldid=49593 * Total Vacuum * (+90) 
09:34:54 <HackEgo> [wiki] [[Bf core]] M https://esolangs.org/w/index.php?diff=49806&oldid=49804 * Total Vacuum * (-28) 
09:45:36 <lifthrasiir> fizzie: normally you use accents to distinguish them, don't you?
09:45:54 <lifthrasiir> foo-dash-(accented)-dash-(unaccented)-dash
09:46:30 <lifthrasiir> -bar*
09:47:02 <lifthrasiir> in terms of relative pitch (1--5), sth like 3-2-5-1-4
09:50:01 <fizzie> It's still a little confusing. Because dash is the default separator and it's a common link, people just use "foo dash" (not "foo dash dash") for foo-dash, so the natural extension would be "foo dash bar" for foo-dash-bar, and indeed that even works most of the time, except when bar happens to be such that foo-bar is also plausible.
10:38:55 -!- Frooxius has quit (Ping timeout: 272 seconds).
10:40:54 -!- Frooxius has joined.
10:47:08 -!- wob_jonas has joined.
10:47:27 -!- Frooxius has quit (Quit: *bubbles away*).
10:53:21 <wob_jonas> myname: echo${IFS}""${IFS}""
10:53:25 <wob_jonas> myname: and it's a nice puzzle
10:53:51 <wob_jonas> shachaf: ^
10:53:56 <myname> nice
10:56:39 <shachaf> Ah, separating with an unquoted whitespace variable.
10:58:15 <wob_jonas> shachaf: yes, but the hard part was getting such a variable. I tried $(echo;echo) first but that doesn't work, the backtick strips ALL the newlines, not only the last one
11:01:53 <shachaf> But now $ or { is " is going to be banned.
11:02:58 <wob_jonas> this works but I think it isn't POSIX shell: s[0]=;s[1]=;echo${s[*]}"${s[*]}"
11:03:43 <wob_jonas> this I think also isn't POSIX shell: t=$'\x20';echo${t}hello
11:03:49 <wob_jonas> um
11:04:05 <wob_jonas> this I think also isn't POSIX shell: t=$'\x20';echo${t}"${t}"
11:06:14 <wob_jonas> This should work too: IFS=Z;t=Z;echo${t}""${t}"
11:07:41 <wob_jonas> shachaf: you can do without double quotes I think
11:08:21 <shachaf> If you're allowing ' and \ you can just do the thing I did above.
11:09:13 <wob_jonas> shachaf: you did where?
11:09:28 <shachaf> cat<<<$'\x20'
11:09:37 <wob_jonas> shachaf: anyway, the braces aren't essential, echo$IFS""$IFS"" works still
11:09:50 <shachaf> $'' isn't POSIX
11:09:58 <wob_jonas> shachaf: I'm quite sure that's not posix shell. both the triple left angle and the dollar apostrophe are late bash extensions
11:10:17 <wob_jonas> in the sense that I started to program bash back when the triple left angle didn't yet exist
11:10:20 <shachaf> Yes. I was referring to your t=$'... thing.
11:11:11 <wob_jonas> it would be pretty hard without a dollar sign I think
11:11:37 <wob_jonas> maybe you could do some magic with backticks and some suitable program that prints a space, but I don't see how
11:12:08 <wob_jonas> probably possible somehow
11:12:27 <myname> my initial attempt was foo=id;echo${foo:...:1}
11:12:41 <myname> foo=`id`
11:12:45 <wob_jonas> myname: oh yes! that could work
11:12:57 <shachaf> But that still uses $
11:13:06 <wob_jonas> yes
11:14:08 <myname> for the record, the initial guy gave up because of { being banned made using the space way harder
11:15:23 <wob_jonas> myname: you could make that work like this: t=$(echo|pr);t=${t%%[0-9]*};echo$t""$t""
11:16:08 <wob_jonas> myname: it's possible with id too, but echo|pr is funnier, because then you can write ${t%%1*} and commit a nasty Y2K bug
11:16:10 <myname> i never heard of pr
11:16:47 <wob_jonas> hmm, is pr even in posix? it's an ancient unix utility which doesn't get much use these days, like dc and ul, but I'm not sure it's in posix
11:17:29 <wob_jonas> in any case, you could extract a space from $(date) too, if you cut both the beginning and the end
11:19:07 <wob_jonas> yes, pr is among the POSIX utilities!
11:19:09 <wob_jonas> heh
11:19:21 <wob_jonas> but date would also work
11:20:40 <myname> i am a little sad that i didn't found a way to use about:%20
11:21:03 <wob_jonas> and so would a lot of utilities that print at least a space, such as ps, cal, and probably even (nasty) yes&jobs
11:21:06 -!- Phantom_Hoover has joined.
11:21:28 <wob_jonas> hmm no, yes isn't a posix utility
11:21:48 <Phantom_Hoover> what about yes, no
11:23:12 <wob_jonas> this would be much easier in the DOS shell by the way, where comma and semicolon and slash also separate arguments, and in some cases dot does too
11:23:25 <shachaf> oerjan: https://en.wikipedia.org/wiki/Differential_of_a_function#Higher-order_differentials
11:23:45 <wob_jonas> though actually all that stuff wouldn't help you print just a space, because the DOS shell and utilities suck
11:23:59 <myname> :D
11:24:18 <myname> and microsoft hasn't learned a thing
11:25:15 <wob_jonas> myname: well, the current shell and utilities is very different
11:25:37 <myname> powershell is more like a replacement for perl
11:26:33 <wob_jonas> powershell is horrible too. they made the same mistakes as in the shell in different ways, but they have no excuse for it that time because they don't have to care for historical compatibility
11:26:49 <wob_jonas> I write simple perl scripts on windows, because that actually works
11:27:11 <myname> whatcmistakes
11:27:14 <wob_jonas> there are some very simple tasks that you can't do with the shell, and you also can't do with perl because windows, but perl gets much closer to it
11:27:27 <wob_jonas> I dunno, I don't use powershell, ask the gurus
11:27:54 <wob_jonas> or search on the net or something
11:29:39 <shachaf> oerjan: So that thing is just the chain rule for second derivatives, of course.
11:30:32 <shachaf> But why are there two different dxs?
11:31:57 <shachaf> http://www.wolframalpha.com/input/?i=d%5E2(f(g(x)))%2Fdx%5E2
11:32:25 <shachaf> g, g', g'' is always evaluated at x. f', f'' is always evaluated at g(x)
11:32:45 <shachaf> @tell zzo38 https://en.wikipedia.org/wiki/Differential_of_a_function#Higher-order_differentials
11:32:45 <lambdabot> Consider it noted.
11:33:15 -!- boily has joined.
11:37:24 <boily> `wisdom
11:37:26 <HackEgo> quine//`? quine
11:57:11 <HackEgo> [wiki] [[Bf core]] M https://esolangs.org/w/index.php?diff=49807&oldid=49806 * Total Vacuum * (-1) 
12:21:44 -!- boily has quit (Quit: PENGUIN CHICKEN).
12:32:42 -!- igor_ has joined.
12:45:17 -!- Sprocklem has quit (Ping timeout: 265 seconds).
13:00:27 -!- igor_ has quit (Remote host closed the connection).
13:09:15 -!- AnotherTest has joined.
13:13:45 -!- nycs has quit (Quit: This computer has gone to sleep).
13:36:50 <HackEgo> [wiki] [[Bf core]] M https://esolangs.org/w/index.php?diff=49808&oldid=49807 * Total Vacuum * (-14) 
14:01:53 -!- moonythedwarf has quit (Quit: WeeChat 0.4.2).
14:03:17 -!- oerjan has joined.
14:14:12 -!- evilmoon has joined.
14:39:58 -!- Jafet has joined.
14:40:09 -!- Frooxius has joined.
14:58:20 <oerjan> `dowg nooga
14:58:21 <HackEgo> 2016-09-25 <fizzie> revert 942e964c81c1 \ 2016-09-25 <evilipse> ` chmod 777 / -R \ 2014-03-16 <oerjan> revert \ 2014-03-16 <elliott> revert 1 \ 2014-01-14 <nooga> echo "no." > wisdom/nooga \ 2013-07-31 <Bike> revert \ 2013-07-31 <FreeFull> for x in wisdom/*; do rev "$x" > "$x"a; mv "$x"a "$x"; done \ 2013-03-12 <elliott> revert 2416 \ 2013-03-12 <S
14:58:31 <FreeFull> Hi
14:58:37 <oerjan> ho
14:59:18 <oerjan> `` dowg nooga | tac
14:59:19 <HackEgo> 2012-02-16 Initial import. \ 2012-04-08 <shachaf> run rm -rf wisdom/* \ 2012-04-08 <shachaf> revert 0 \ 2012-10-06 <FreeFull> run rm -rf wisdom \ 2012-10-06 <oerjan> revert \ 2013-03-02 <olsner> learn nooga hate OS X. NOOGA SMASH. Hug not allowed. \ 2013-03-12 <Sgeo> revert 2243 \ 2013-03-12 <elliott> revert 2416 \ 2013-07-31 <FreeFull> for x in wi
14:59:30 <Taneb> dowg?
14:59:48 <oerjan> `cat bin/dowg
14:59:49 <HackEgo> doag "wisdom/$1"
14:59:56 <oerjan> `cat bin/doag
14:59:56 <HackEgo> hg log --removed --template "{date|shortdate} {desc}\n" -- "$@"
15:01:19 <oerjan> the d is for date, the w is for wisdom, and the og is for log hth
15:01:25 <Taneb> I see
15:02:51 <oerjan> and the a is for all, i think, although it's all as opposed to without --removed, so is sort of redundant since that's used for all except the original `hog
15:03:26 <HackEgo> [wiki] [[Bf core]] M https://esolangs.org/w/index.php?diff=49809&oldid=49808 * Total Vacuum * (+1) /* goal */
15:03:27 * oerjan hopes that parses
15:07:03 -!- dahk has joined.
15:07:43 <oerjan> `relcome dahk
15:07:44 <HackEgo> ​dahk: 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.)
15:10:52 -!- ybden has quit (Quit: Fing).
15:12:38 -!- ybden has joined.
15:13:04 <HackEgo> [wiki] [[Bf core]] M https://esolangs.org/w/index.php?diff=49810&oldid=49809 * Total Vacuum * (-44) 
15:13:42 -!- dahk has quit (Ping timeout: 240 seconds).
15:13:49 <oerjan> `dowg fish
15:13:51 <HackEgo> 2016-09-25 <fizzie> revert 942e964c81c1 \ 2016-09-25 <evilipse> ` chmod 777 / -R \ 2016-08-22 <tswett> le/rn fish/Come and dance and love the fish! Mister Disco summoned it.
15:17:02 -!- `^_^v has joined.
15:29:41 -!- nycs has joined.
15:31:00 -!- `^_^v has quit (Ping timeout: 265 seconds).
15:47:59 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds).
15:52:37 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
15:52:41 -!- wob_jonas has joined.
15:55:08 -!- Phantom_Hoover has joined.
15:59:59 -!- wiggle has changed nick to Time-Wrap.
16:11:49 -!- super_bender has joined.
16:12:21 -!- aloril has quit (Remote host closed the connection).
16:22:33 -!- Elronnd has quit (Quit: Let's jump!).
16:25:35 <evilmoon> moo
16:25:48 -!- Elronnd has joined.
16:26:25 -!- evilmoon has changed nick to moonythedwarf.
16:28:22 * moonythedwarf prods wob_jonas
16:28:27 * moonythedwarf prods oerjan
16:28:30 * moonythedwarf prods Time-Wrap
16:28:37 <Hoolootwo> stop that
16:29:07 <moonythedwarf> ok ^_^
16:29:11 <moonythedwarf> `? fish
16:29:12 <HackEgo> Come and dance and love the fish! Mister Disco summoned it.
16:29:19 <moonythedwarf> `? ><>
16:29:19 <HackEgo> ​><>? ¯\(°​_o)/¯
16:29:23 <moonythedwarf> `? bf
16:29:24 <HackEgo> bf? ¯\(°​_o)/¯
16:29:27 <moonythedwarf> `? brainfuck
16:29:28 <HackEgo> brainfuck is the integral of the family of terrible esolangs. The name is a euphemism for "beef". bf -c -t "+>+++++>+++" | mklang --array
16:29:44 <moonythedwarf> `mklang
16:29:45 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: mklang: not found
16:30:10 <moonythedwarf> `? moon_
16:30:10 <HackEgo> moon_? ¯\(°​_o)/¯
16:30:14 <moonythedwarf> `? moon
16:30:15 <HackEgo> Moon is a murderous lunatic, not an unretroreflectorey object. He sometimes causes overmoonification.
16:40:52 <jeffl35> `which ?
16:40:53 <HackEgo> ​/hackenv/bin/?
16:40:56 <jeffl35> lol
16:41:02 <jeffl35> `pwd
16:41:03 <HackEgo> ​/hackenv
16:41:12 <jeffl35> `ls -al bin
16:41:13 <HackEgo> ls: invalid option -- ' ' \ Try `ls --help' for more information.
16:41:24 <jeffl35> `` ls -al bin
16:41:25 <HackEgo> total 18004 \ -rwxr-xr-x  1 5000    0     105 Sep 25 20:32 ` \ -rwxr-xr-x  1 5000    0      64 Sep 25 20:32 `` \ -rwxr-xr-x  1 5000    0      17 Sep 25 20:31 ^.^ \ -rwxr-xr-x  1 5000    0       8 Sep 25 20:31 ̊ \ -rw-r--r--  1 5000    0       6 Sep 25 20:31   \ lrwxrwxrwx  1 5000    0       6 Sep 25 20:31 ! -> interp \ -rwxr-xr-x  1 5000    0     
16:41:50 <jeffl35> `` cat bin/
16:41:50 <HackEgo> cat: bin/: Is a directory
16:41:53 <jeffl35> `` cat bin/?
16:41:54 <HackEgo> ​#!/bin/bash \ TIMEFORMAT="real: %lR, user: %lU, sys: %lS" \ shopt -s extglob globstar \ eval -- "$1" | rnooooooodl \ echo hi \ exec  \ #!/bin/sh \ CMD=`echo "$1" | cut -d' ' -f1` \ ARG=`echo "$1" | cut -d' ' -f2-` \ exec ibin/$CMD "$ARG"#!/bin/bash \ topic=$(echo "$1" | lowercase | sed "s/noo\+dl/noooodl/;s/ *$//") \ topic1=$(echo "$topic" | sed
16:49:10 <jeffl35> `?
16:49:11 <HackEgo> ​? ¯\(°​_o)/¯
16:49:13 <jeffl35> `` ?
16:49:14 <HackEgo> ​? ¯\(°​_o)/¯
16:49:37 <jeffl35> `` which rnooooooodl
16:49:38 <HackEgo> No output.
16:50:06 <jeffl35> moonythedwarf: have fun being a lunartic
16:53:35 <oerjan> `` ls ?
16:53:36 <HackEgo> ls: cannot access ?: No such file or directory
16:53:41 <oerjan> `` ls bin/?
16:53:42 <HackEgo> bin/` \ bin/̊ \ bin/  \ bin/! \ bin/? \ bin/¿ \ bin/' \ bin/" \ bin/@ \ bin/* \ bin/؟ \ bin/ \ bin/ \ bin/1 \ bin/5 \ bin/f \ bin/h \ bin/q
16:54:05 <oerjan> `` cd bin; echo ?
16:54:06 <HackEgo> ​` ̊   ! ? ¿ ' " @ * ؟   1 5 f h q
16:54:20 <wob_jonas> `` cd bin;echo ?|cat -v
16:54:21 <HackEgo> ​` M-LM-^J   ! ? M-BM-? ' " @ * M-XM-^_ ^O ^V 1 5 f h q
16:54:30 <wob_jonas> ``` cd bin;echo ?|cat -v
16:54:31 <HackEgo> ​^O ^V   ! " ' * 1 5 ? @ ` f h q
16:54:59 <oerjan> i'm not entirely sure how `` ? ends up having the same effect as `?
16:55:02 <oerjan> `` ? test
16:55:03 <HackEgo> test failed. HackEgo-JUnit is not available.
16:55:12 <wob_jonas> something is wrong here
16:55:15 <oerjan> `run ? test
16:55:15 <HackEgo> test failed. HackEgo-JUnit is not available.
16:55:25 <oerjan> ``` ? test
16:55:26 <HackEgo> test failed. HackEgo-JUnit is not available.
16:55:33 <izalove> `` echo ?
16:55:34 <HackEgo> ​?
16:55:43 <wob_jonas> ``` cd bin;echo ?|cat -vT
16:55:43 <HackEgo> ​^O ^V   ! " ' * 1 5 ? @ ` f h q
16:55:48 <wob_jonas> what?
16:55:53 <izalove> ``` "bin/?" test
16:55:54 <oerjan> oh wait, right
16:55:54 <HackEgo> test failed. HackEgo-JUnit is not available.
16:56:06 <izalove> `? test
16:56:07 <HackEgo> test failed. HackEgo-JUnit is not available.
16:56:10 <wob_jonas> oh, I see
16:56:14 <oerjan> the ? doesn't expand unless it's in a directory with a single-character file.
16:56:16 <wob_jonas> I'm stupid
16:56:29 <oerjan> `` cd bin; ? test
16:56:30 <HackEgo> hi
16:56:54 <oerjan> `mkx a//a ha ha ha
16:56:56 <HackEgo> a
16:57:00 <oerjan> `` ? test
16:57:01 <HackEgo> ​/hackenv/bin/`: line 4: a: command not found
16:57:05 <oerjan> `rm a
16:57:06 <HackEgo> No output.
16:57:12 <oerjan> so i was just confused.
16:57:24 <wob_jonas> ``` cat bin/$'\x0f'
16:57:25 <HackEgo> ​#!/bin/bash \ TIMEFORMAT="real: %lR, user: %lU, sys: %lS" \ shopt -s extglob globstar \ eval -- "$1" | rnooooooooodl
16:57:46 <wob_jonas> no wait, you used `` that means ? expands to something else
16:58:00 <wob_jonas> `` cd bin;echo ?|cat -vT
16:58:00 <HackEgo> ​` M-LM-^J   ! ? M-BM-? ' " @ * M-XM-^_ ^O ^V 1 5 f h q
16:59:16 <\oren\> . o O (bigelow aerospace sounds like a space brothel)
16:59:17 <wob_jonas> ``` cat bin/$'\xCC\x90'
16:59:18 <HackEgo> cat: bin/̐: No such file or directory
16:59:35 <wob_jonas> ``` cat bin/$'\xCC\x8a'
16:59:36 <HackEgo> echo hi
16:59:39 <wob_jonas> that
16:59:51 <wob_jonas> that's the one you executed, through an extra indirection of bin/`
17:04:30 <^v> o_o
17:04:52 <^v> @wob_jonas, appears to be pinging me
17:04:52 <lambdabot> Unknown command, try @list
17:05:06 <wob_jonas> ^v: yes, it does. sorry.
17:05:12 <^v> XD
17:05:25 <^v> hey, on EsperNet my nick is literally "ping"
17:05:29 <^v> im used to it
17:05:32 <wob_jonas> you can try choosing a longer nick.
17:07:21 <oerjan> wob_jonas: no, i did not. ? didn't expand because there's no file in pwd it can expand to.
17:07:43 <oerjan> the contents of bin/ are irrelevant, that's what i was confused about.
17:07:57 <\oren\> My name is rarely pinged, but I have a ping on "font" and  "unicode"
17:08:09 <wob_jonas> oerjan: it did expand when you said "`` cd bin; ? test"
17:08:14 <oerjan> yes.
17:08:48 <wob_jonas> \oren\: and on "oren"?
17:08:55 <\oren\> yes
17:09:04 <\oren\> and "orin"
17:09:48 <\oren\> Until I was 7 or so, I wasn't sure whether to spell it with a i or an e
17:10:09 <oerjan> you were such an oron
17:11:01 <\oren\> lol
17:11:03 <moonythedwarf> oerjan: im pretty sure im not a murderous LUNAtic
17:11:06 <moonythedwarf> `? moon
17:11:07 <HackEgo> Moon is a murderous lunatic, not an unretroreflectorey object. He sometimes causes overmoonification.
17:11:25 <oerjan> moonythedwarf: i'm pretty sure that information was based on channel evidence at the time.
17:11:39 <moonythedwarf> true enough lol
17:12:36 <jeffl35> `which `
17:12:36 <HackEgo> ​/hackenv/bin/`
17:12:42 <jeffl35> `cat bin/`
17:12:42 <HackEgo> ​#!/bin/bash \ TIMEFORMAT="real: %lR, user: %lU, sys: %lS" \ shopt -s extglob globstar \ eval -- "$1" | rnooodl
17:12:54 <jeffl35> `which rnooodl
17:12:54 <HackEgo> ​/hackenv/bin/rnooodl
17:12:59 <jeffl35> `echo yay | rnooodl
17:13:00 <HackEgo> yay | rnooodl
17:13:07 <jeffl35> `` echo yay | rnooodl
17:13:08 <HackEgo> yay
17:13:17 <jeffl35> `` cat bin/rnooodl
17:13:18 <HackEgo> perl -pe 's/([Nn])ooodl/"$1@{[o x(3+rand 7)]}dl"/ge'
17:13:25 <jeffl35> `` rnooodl
17:13:37 <oerjan> jeffl35: it only affects a few words.  i tried expanding it once, but that was simply _too_ annoying.
17:13:49 <jeffl35> oerjan: what is it supposed to do?
17:13:54 <oerjan> `? noodles
17:13:56 <HackEgo> Noooodles are the invention of the Chinese. They were brought to Europe by Marco Polo, a distant ancestor of Taneb.
17:13:56 <HackEgo> No output.
17:13:58 <jeffl35> lol
17:14:31 <moonythedwarf> Taneb
17:14:48 <moonythedwarf> `? cat
17:14:50 <HackEgo> Cats are cool, but should be illegal.
17:14:56 <moonythedwarf> `? sl
17:14:57 <HackEgo> sl? ¯\(°​_o)/¯
17:14:59 <moonythedwarf> `? ls
17:14:59 <HackEgo> L is far too short to be a village in Wales.
17:15:10 <moonythedwarf> `? man
17:15:11 <HackEgo> man? ¯\(°​_o)/¯
17:15:22 <moonythedwarf> `? ¯\(°​_o)/
17:15:23 <HackEgo> cat: ¯\(°​_o)/: Is a directory
17:15:26 <Taneb> moonythedwarf
17:17:35 <oerjan> `learn Man is destined for Greatness, despite being a small island.
17:17:36 * moonythedwarf prods Taneb
17:17:37 <HackEgo> Learned 'man': Man is destined for Greatness, despite being a small island.
17:17:57 <Taneb> As islands go, it's not /tiny/
17:17:59 -!- copumpkin has joined.
17:19:05 <Taneb> It's in the top 500
17:19:56 <oerjan> darn
17:21:07 <oerjan> `learn Man is destined for Greatness, despite being a minor island.
17:21:09 <HackEgo> Relearned 'man': Man is destined for Greatness, despite being a minor island.
17:21:14 <oerjan> let's woozle out
17:22:25 <Taneb> Ireland is, relatively speaking, one small step from Man
17:22:54 <Taneb> Or possibly Sodor
17:26:45 <moonythedwarf> `echo noooooo! no i wont do it nooo! | rnoodl
17:26:46 <HackEgo> noooooo! no i wont do it nooo! | rnoodl
17:26:50 <moonythedwarf> `echo noooooo! no i wont do it nooo! | rnooodl
17:26:51 <HackEgo> noooooo! no i wont do it nooo! | rnooodl
17:27:00 <moonythedwarf> `` echo noooooo! no i wont do it nooo! | rnooodl
17:27:01 <HackEgo> noooooo! no i wont do it nooo!
17:27:16 <moonythedwarf> oerjan: what does rnooodl do?
17:27:59 <moonythedwarf> `` echo n | rnooodl
17:28:00 <HackEgo> n
17:29:17 <oerjan> learn2s///
17:30:35 <jeffl35> `` echo blah | rnooodl
17:30:36 <HackEgo> blah
17:30:55 <jeffl35> `` cat bin/rnooodl | rnooodl
17:30:56 <HackEgo> perl -pe 's/([Nn])ooodl/"$1@{[o x(3+rand 7)]}dl"/ge'
17:31:16 <jeffl35> `` echo nooodl | rnooodl
17:31:16 <HackEgo> noooodl
17:31:26 <jeffl35> `` echo nooodl | rnooodl
17:31:26 <HackEgo> noooooodl
17:31:28 <jeffl35> `` echo nooodl | rnooodl
17:31:28 <HackEgo> noooooooodl
17:31:31 <moonythedwarf> ah
17:31:32 <jeffl35> `` echo nooodl | rnooodl
17:31:32 <HackEgo> noooodl
17:31:34 <jeffl35> `` echo nooodl | rnooodl
17:31:34 <HackEgo> nooooooodl
17:31:38 <jeffl35> `` echo nooodl | rnooodl
17:31:38 <HackEgo> nooooodl
17:31:46 <jeffl35> random noodles i think
17:32:02 <wob_jonas> `wisdom
17:32:03 <HackEgo> sparta//WE. DON'T. KNOW. ANYTHING. ABOUT. SPARTA!
17:32:12 <wob_jonas> `wisdom
17:32:14 <HackEgo> pumping lemma//nooooodl's pumping lemma for wisdom entries states that for any sufficiently long valid wisdom entry, there exists a letter that can be repeated any number of times.
17:32:26 <jeffl35> `` killall 1
17:32:27 <HackEgo> 1: no process found
17:32:30 <jeffl35> `` killall init
17:32:31 <wob_jonas> that's quite approperiate
17:32:31 <HackEgo> init(1): Operation not permitted \ init(285): Operation not permitted
17:32:33 <jeffl35> lol
17:32:38 <wob_jonas> `wisdom
17:32:39 <HackEgo> deniability//Deniability was not invented by Taneb.
17:32:45 <wob_jonas> lol
17:32:47 <moonythedwarf> lol
17:32:48 <wob_jonas> `wisdom
17:32:49 <HackEgo> ehird//ehird is the person who Taneb definitely isn't.
17:32:52 <moonythedwarf> `wisdom
17:32:52 <jeffl35> `` killall -SIGSEGV init && killall -SIGILL init
17:32:53 <HackEgo> init(1): Operation not permitted \ init(285): Operation not permitted
17:32:54 <HackEgo> finn//Finns are helpful, albeit grossly overpopulated (cf. 'Finland').
17:32:56 <jeffl35> lol
17:32:59 <wob_jonas> `? people who taneb isn't
17:32:59 <HackEgo> people who taneb isn't? ¯\(°​_o)/¯
17:33:02 <wob_jonas> um
17:33:03 <moonythedwarf> `wisdom
17:33:04 <HackEgo> conspirabiology//conspirabiology is where moth colourings form a dot matrix display to send you subliminal messages.
17:33:14 <jeffl35> `` which init
17:33:15 <HackEgo> No output.
17:33:18 <jeffl35> `` init
17:33:19 <HackEgo> ​/hackenv/bin/`: line 4: init: command not found
17:33:22 <jeffl35> `` /etc/init
17:33:23 <HackEgo> ​/hackenv/bin/`: line 4: /etc/init: No such file or directory
17:33:29 <jeffl35> `` /lib/systemd/systemd
17:33:29 <HackEgo> ​/hackenv/bin/`: line 4: /lib/systemd/systemd: No such file or directory
17:33:37 <jeffl35> `` /sbin/init
17:33:38 <HackEgo> init: must be superuser.
17:33:39 <moonythedwarf> `wisdom
17:33:39 <moonythedwarf> `wisdom
17:33:40 <HackEgo> cooperate//"Cooperate" is a common misspelling of "cōöperāte".
17:33:41 <HackEgo> balrog//Balrogs live at the bottom of the world.
17:33:49 <jeffl35> `` /sbin/init --help
17:33:49 <HackEgo> init: must be superuser.
17:33:53 <moonythedwarf> `wisdom
17:33:53 <jeffl35> `` telinit 6
17:33:54 <HackEgo> ​/hackenv/bin/`: line 4: telinit: command not found
17:33:54 <HackEgo> ​⌨//You are probably using one right now!
17:34:02 <jeffl35> `` /sbin/init 6
17:34:02 <HackEgo> init: must be superuser.
17:34:05 <jeffl35> lol
17:34:09 <Taneb> `? people who taneb is not
17:34:10 <HackEgo> elliott, a rabbi, Mark Zuckerberg, James Bond
17:34:25 -!- augur_ has joined.
17:34:26 <moonythedwarf> what happened to wisdom?
17:34:26 <moonythedwarf> `wisdom
17:34:27 <HackEgo> wealhtheow//Wealhtheow is the barkeep in the tavern where the adventuring party of Beowulf meet at the start of the story.
17:34:35 <moonythedwarf> `?
17:34:37 <HackEgo> ​? ¯\(°​_o)/¯
17:34:39 <moonythedwarf> `? 1
17:34:40 <HackEgo> The 1 is just for disambiguation.
17:34:50 -!- mega_bender has joined.
17:34:59 <moonythedwarf> err
17:35:04 <moonythedwarf> my network must be slow
17:35:17 <jeffl35> apparently there's a bug in the signal handler in systemd that causes it to not catch a signal when SIGSEGV/SIGILL are sent at almost the same time
17:36:36 -!- ocharles_ has quit (Ping timeout: 255 seconds).
17:36:38 -!- augur has quit (Ping timeout: 255 seconds).
17:36:58 -!- vifino has quit (Ping timeout: 240 seconds).
17:36:58 <wob_jonas> ``` cd wisdom;for x in *[tT]aneb*;echo "$x";done
17:36:58 <wob_jonas> ``` cd wisdom;for x in *[tT]aneb*;do echo "$x";done
17:36:58 <wob_jonas> what?
17:36:58 <wob_jonas> `ping
17:36:58 <wob_jonas> @ping
17:36:58 <wob_jonas> am I disconnected again?
17:36:58 -!- jix has quit (Ping timeout: 260 seconds).
17:36:58 <jeffl35> Uh Oh
17:36:59 <lambdabot> pong
17:36:59 <HackEgo> pong
17:36:59 <HackEgo> bash: -c: line 0: syntax error near unexpected token `echo' \ bash: -c: line 0: `cd wisdom;for x in *[tT]aneb*;echo "$x";done'
17:37:00 <HackEgo> fundamental theorem of taneb \ people who taneb is not \ taneb \ tanebvention \ tanebventions: math \ tanebventory
17:37:04 -!- clog has quit (Ping timeout: 255 seconds).
17:37:05 -!- relrod has quit (Ping timeout: 240 seconds).
17:37:08 <jeffl35> `ping
17:37:09 <HackEgo> pong
17:37:09 <jeffl35> `ping
17:37:09 <HackEgo> pong
17:37:09 <jeffl35> `ping
17:37:11 <moonythedwarf> shoot
17:37:11 <HackEgo> pong
17:37:12 -!- vifino has joined.
17:37:14 -!- kragniz has quit (Ping timeout: 265 seconds).
17:37:14 <jeffl35> uh oh
17:37:16 <jeffl35> netsplit?
17:37:18 -!- sebbu has quit (Ping timeout: 272 seconds).
17:37:20 -!- MDude has quit (Ping timeout: 272 seconds).
17:37:20 -!- sparr has quit (Ping timeout: 272 seconds).
17:37:21 <moonythedwarf> freenode must be getting DDOSed
17:37:22 <jeffl35> UH OH
17:37:22 <moonythedwarf> or a netsplit
17:37:24 -!- pdxleif has quit (Ping timeout: 273 seconds).
17:37:24 -!- MDead has joined.
17:37:26 -!- bibibi has quit (Ping timeout: 260 seconds).
17:37:26 -!- newsham has quit (Ping timeout: 260 seconds).
17:37:27 <wob_jonas> ``` cd wisdom;for x in *[tT]aneb*;do echo "$x";done
17:37:29 <HackEgo> fundamental theorem of taneb \ people who taneb is not \ taneb \ tanebvention \ tanebventions: math \ tanebventory
17:37:31 -!- super_bender has quit (Ping timeout: 255 seconds).
17:37:31 <jeffl35> moonythedwarf: probably netsplit
17:37:34 -!- MDead has changed nick to MDude.
17:37:35 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds).
17:37:36 -!- Melvar has quit (Ping timeout: 272 seconds).
17:37:37 <jeffl35> unless the kiddies are back at it again
17:37:37 -!- Frooxius has quit (Ping timeout: 265 seconds).
17:37:37 -!- ski has quit (Ping timeout: 265 seconds).
17:37:38 <wob_jonas> `? people who taneb is not
17:37:39 -!- mad has quit (Ping timeout: 265 seconds).
17:37:39 <HackEgo> elliott, a rabbi, Mark Zuckerberg, James Bond
17:38:01 -!- clog_ has joined.
17:38:07 -!- nycs has quit (Ping timeout: 265 seconds).
17:38:15 -!- Melvar` has joined.
17:38:16 -!- clog_ has changed nick to clog.
17:38:17 <moonythedwarf> freenod-overflow is overflowing
17:38:24 -!- Froox has joined.
17:38:25 -!- \oren\ has quit (Ping timeout: 244 seconds).
17:38:28 -!- kragniz1 has joined.
17:38:28 <izalove> ''In the context of polynomial identity testing, Howard Karloff used the expression "finding a hay in a haystack", referring to the fact that we look for the explicit expression of an element that has a property that is shared by almost every element of a set.''
17:38:29 <moonythedwarf> something is wrong
17:38:33 -!- jix has joined.
17:38:37 -!- oerjan has quit (Ping timeout: 265 seconds).
17:38:40 <jeffl35> rip
17:38:48 <jeffl35> i think ddos
17:38:51 <moonythedwarf> +1
17:39:10 <wob_jonas> izalove: that sounds about right
17:39:13 <jeffl35> <fnalerts> jeffl35: down: kornbluth, morgan(v6), niven, sinisalo, weber
17:39:19 <jeffl35> definitely seems like it
17:39:23 <izalove> it's a cool way to say it
17:39:28 <wob_jonas> izalove: mind you, a deterministic primality test is like that too
17:39:38 <wob_jonas> since we know a good random primality test
17:39:41 <wob_jonas> in fact,
17:39:41 <moonythedwarf> we may have got netsplit
17:39:46 <izalove> primality testing isn't like that
17:39:53 -!- oerjan has joined.
17:39:59 <izalove> primality testing is checking if what you have is a hay or a needle
17:40:03 <wob_jonas> trying to find a determinized version of any good randomized algorithm is like trying to find a hay in a haystack,
17:40:04 <moonythedwarf> oerjan: freenode took a hit to the nose
17:40:18 <oerjan> wat
17:40:22 <wob_jonas> since the random algorithm works because the stack has a lot of hay
17:40:30 <moonythedwarf> notice the huge amounts of disconnects
17:40:33 -!- sparr has joined.
17:40:44 <moonythedwarf> me and jeffl35 suspect either netsplit or DDOS
17:40:44 -!- dingbat has quit (Ping timeout: 252 seconds).
17:40:52 <jeffl35> moonythedwarf: ddos
17:40:56 <jeffl35> netsplit isn't taht big
17:41:12 <moonythedwarf> there is a DDOS
17:41:12 <wob_jonas> moonythedwarf: no, it's just coming out of the lake after a swim and shaking itself like a dog. people fall from itself like the water droplets.
17:41:32 <moonythedwarf> confirmed in #freenode
17:41:52 -!- nycs has joined.
17:42:50 <moonythedwarf> nvm its a netsplit
17:43:00 <moonythedwarf> a really strange one
17:43:06 <jeffl35> moonythedwarf: maybe a hub went down
17:43:13 <jeffl35> because otherwise that many servers won't go down at once
17:43:18 <jeffl35> and if so
17:43:27 <jeffl35> usually it's a *.net *.split not millions of ping timeouts
17:44:33 -!- relrod_ has joined.
17:44:36 -!- relrod_ has quit (Changing host).
17:44:36 -!- relrod_ has joined.
17:44:39 -!- Froo has joined.
17:45:41 -!- Alcest has quit (Ping timeout: 252 seconds).
17:45:49 -!- MDead has joined.
17:46:47 -!- Guest66676 has quit (Ping timeout: 252 seconds).
17:46:55 -!- wob_jonas has quit (Ping timeout: 240 seconds).
17:47:05 -!- oerjan has quit (Ping timeout: 240 seconds).
17:47:13 -!- MDude has quit (Ping timeout: 265 seconds).
17:47:13 -!- keemyb has quit (Quit: https://fnordserver.eu).
17:47:15 -!- MDead has changed nick to MDude.
17:47:16 -!- rodgort has quit (Quit: Leaving).
17:47:19 -!- ybden has quit (Ping timeout: 272 seconds).
17:47:20 -!- oerjan_ has joined.
17:47:28 -!- Yurume____ has joined.
17:47:34 -!- `^_^v has joined.
17:47:38 <oerjan_> again? :(
17:47:42 -!- ^v has quit (Ping timeout: 272 seconds).
17:47:52 <jeffl35> yeah >_<
17:47:58 -!- Akaibu has quit (Ping timeout: 255 seconds).
17:48:00 -!- sparr has quit (Ping timeout: 255 seconds).
17:48:03 -!- Cale has quit (Ping timeout: 255 seconds).
17:48:04 -!- Cale has joined.
17:48:05 -!- nycs has quit (Ping timeout: 244 seconds).
17:48:06 -!- pdxleif has joined.
17:48:06 -!- kragniz1 has quit (Ping timeout: 244 seconds).
17:48:06 -!- Froox has quit (Ping timeout: 244 seconds).
17:48:07 -!- Melvar`` has joined.
17:48:11 -!- Yurume___ has quit (Ping timeout: 264 seconds).
17:48:12 -!- Melvar` has quit (Ping timeout: 264 seconds).
17:48:17 -!- clog has quit (Ping timeout: 264 seconds).
17:48:18 -!- rodgort has joined.
17:48:54 -!- ^v has joined.
17:48:58 -!- kragniz1 has joined.
17:51:06 -!- sparr has joined.
17:51:16 -!- Akaibu has joined.
17:51:27 -!- ybden has joined.
17:53:52 -!- moonythedwarf has changed nick to rip_freenode.
17:53:57 <oerjan_> @ping
17:53:57 <lambdabot> pong
17:55:19 -!- rip_freenode has changed nick to moonytherip_free.
17:55:22 <shachaf> oerjan_: No, the a in hoag stood for Jonathan Hoag originally.
17:55:29 -!- moonytherip_free has changed nick to moony_rip_freeno.
17:55:34 -!- moony_rip_freeno has changed nick to moonrip_freenode.
17:55:57 <shachaf> Well, maybe it also stands for all. I wouldn't know.
17:56:00 <oerjan_> whoever that is.
17:56:02 -!- moonrip_freenode has changed nick to moonyhtedwaf.
17:56:06 <jeffl35> lul
17:56:08 -!- moonyhtedwaf has changed nick to moonythedwarf.
17:56:28 -!- ski has joined.
17:56:55 -!- \oren\ has joined.
17:57:57 -!- Guest66666 has joined.
18:00:56 -!- Phantom_Hoover has joined.
18:02:30 <oerjan_> shachaf: no such person tdnh
18:02:39 <shachaf> ?
18:03:02 <shachaf> https://en.wikipedia.org/wiki/The_Unpleasant_Profession_of_Jonathan_Hoag
18:03:06 <shachaf> https://en.wikipedia.org/wiki/Jim_Berger_(singer)
18:03:35 -!- aloril has joined.
18:03:41 <oerjan_> sorry, there's no such page hth
18:10:52 -!- pdxleif has quit (Ping timeout: 240 seconds).
18:10:53 -!- vifino has quit (Ping timeout: 240 seconds).
18:10:57 -!- Melvar has joined.
18:10:59 -!- vifino- has joined.
18:11:05 -!- sparr has quit (Ping timeout: 240 seconds).
18:11:05 -!- rodgort has quit (Ping timeout: 240 seconds).
18:11:16 -!- oerjan_ has quit (Ping timeout: 272 seconds).
18:11:17 -!- oerjan has joined.
18:11:33 -!- Cale_ has joined.
18:11:47 <oerjan> `ping
18:11:48 <HackEgo> pong
18:11:53 -!- Melvar`` has quit (Ping timeout: 244 seconds).
18:11:57 -!- Cale has quit (Ping timeout: 255 seconds).
18:11:58 -!- Guest66666 has quit (Ping timeout: 265 seconds).
18:11:58 -!- \oren\ has quit (Ping timeout: 265 seconds).
18:12:12 -!- pdxleif has joined.
18:12:27 -!- aloril has quit (Ping timeout: 265 seconds).
18:13:44 -!- rodgort has joined.
18:13:55 -!- Time-Wrap has quit (Quit: ZNC 1.7.x-git-639-4a7554b - http://znc.in).
18:14:07 -!- hue has joined.
18:15:03 -!- jeffl35 has changed nick to 32NAB4T1V.
18:15:08 -!- kragniz1 has changed nick to kragniz.
18:16:03 -!- sparr has joined.
18:16:31 -!- 32NAB4T1V has changed nick to jeffl35.
18:17:28 -!- Guest66666 has joined.
18:21:08 <FireFly> oerjan: indeed, again
18:21:39 -!- hue- has joined.
18:21:45 -!- Cale_ has changed nick to Cale.
18:21:48 -!- hue has quit (Read error: Connection reset by peer).
18:21:56 -!- oerjan has quit (Ping timeout: 272 seconds).
18:22:02 -!- Phantom__Hoover has joined.
18:22:05 -!- oerjan_ has joined.
18:22:20 <oerjan_> <oerjan> <shachaf> oerjan:
18:22:20 <oerjan_> https://en.wikipedia.org/wiki/Differential_of_a_function#Higher-order_differentials <-- ooh
18:22:30 -!- FreeFull has quit (Ping timeout: 255 seconds).
18:22:32 -!- pdxleif has quit (Ping timeout: 272 seconds).
18:22:32 -!- ^v has quit (Ping timeout: 272 seconds).
18:22:33 -!- Guest66676 has joined.
18:22:50 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
18:22:50 -!- \oren\ has joined.
18:22:52 -!- Guest66666 has quit (Ping timeout: 264 seconds).
18:23:13 -!- FreeFull_ has joined.
18:23:53 <oerjan_> oerjan> <shachaf> oerjan:
18:23:53 <oerjan_> https://en.wikipedia.org/wiki/Differential_of_a_function#Higher-order_differentials <-- ooh
18:25:23 -!- aloril has joined.
18:25:27 -!- ^v has joined.
18:28:03 -!- kline has quit (*.net *.split).
18:28:10 <moonythedwarf> da spam is realz
18:29:36 -!- oerjan_ has quit (Quit: Look ma, no logs!).
18:32:32 -!- ocharles_ has joined.
18:32:38 -!- lifthrasiir has quit (*.net *.split).
18:33:08 -!- pdxleif has joined.
18:33:19 -!- Cale has quit (Ping timeout: 272 seconds).
18:34:20 -!- Cale has joined.
18:34:59 -!- dingbat has joined.
18:35:17 -!- kline has joined.
18:36:13 -!- lifthrasiir has joined.
18:37:50 -!- newsham has joined.
18:39:06 <\oren\> argh why is my connection dying, i'm in a datacentre in virginia!
18:39:50 <\oren\> (well, my irssi process is. my physical presence still inhabits Toronto)
18:41:43 -!- relrod_ has changed nick to relrod.
18:42:04 <moonythedwarf> \oren\: DDOS
18:42:08 <moonythedwarf> see #freenode
18:42:10 -!- newsham has quit (Ping timeout: 260 seconds).
18:45:47 <FreeFull_> Physical presences really get in the way of things
18:45:51 -!- FreeFull_ has changed nick to FreeFull.
18:48:13 -!- hue- has changed nick to hue.
18:56:35 <\oren\> https://www.youtube.com/watch?v=0qo78R_yYFA <--- OMG WTF LOL 
18:56:46 <\oren\> Elon Musk is going all in
18:58:39 <moonythedwarf> ok
18:59:49 <moonythedwarf>  koffically workng on better typing practices
19:01:36 -!- moonythedwarf has changed nick to ][.
19:02:57 -!- ][ has changed nick to updownleftright.
19:07:56 -!- Iuvenelicus has joined.
19:08:44 -!- Iuvenelicus has quit (Client Quit).
19:08:52 -!- Iuvenelicus has joined.
19:09:06 -!- irctc562 has joined.
19:09:29 -!- irctc562 has quit (Client Quit).
19:10:28 -!- dingbat has quit (Ping timeout: 272 seconds).
19:10:42 -!- ^v has quit (Ping timeout: 272 seconds).
19:11:01 -!- ^v has joined.
19:11:18 -!- Cale has quit (Ping timeout: 272 seconds).
19:11:34 -!- Cale has joined.
19:15:15 -!- Bowserinator has changed nick to updownleftrightb.
19:15:20 -!- updownleftrightb has changed nick to Bowserinator.
19:15:27 -!- `^_^v has quit (Read error: Connection reset by peer).
19:17:32 -!- jix has quit (Quit: leaving).
19:18:31 -!- Iuvenelicus has left.
19:20:57 -!- pdxleif has quit (Ping timeout: 272 seconds).
19:20:59 -!- sparr has quit (Ping timeout: 272 seconds).
19:21:33 -!- Iuvenelicus_ has joined.
19:21:39 -!- Iuvenelicus_ has left.
19:21:54 -!- FreeFull has quit (Ping timeout: 264 seconds).
19:22:18 -!- jix has joined.
19:22:21 <updownleftright> so apparently Google Sheets can be considered Turing complete (you can make all sorts of logic gates in it too)
19:22:25 -!- dingbat has joined.
19:23:56 <alercah> yeah, naturally
19:24:39 * updownleftright runs off to goof off in google sheets
19:25:03 -!- sparr has joined.
19:25:14 -!- pdxleif has joined.
19:25:16 <\oren\> I want a spreadsheet program that uses Ncurses instead of a stupid GUI
19:27:08 <updownleftright> lol
19:28:33 <FireFly> \oren\: sc?
19:29:03 <FireFly> http://blog.startaylor.net/2016/08/29/sc/
19:30:31 <\oren\> the earliest spreadsheets did that
19:30:31 <\oren\> hmm, let me google that
19:30:33 <\oren\> https://www.youtube.com/watch?v=A1YxNYiyALg
19:31:56 -!- hppavilion[1] has joined.
19:32:01 <FireFly> I don't use it myself, but I've been meaning to learn sc
19:33:25 -!- newsham has joined.
19:33:44 * updownleftright wonders how hard making a hq9+ interp in Google Sheets would be
19:39:34 -!- yorick_ has changed nick to yorick.
19:39:47 -!- dingbat has quit (Ping timeout: 272 seconds).
19:40:06 -!- jix has quit (Ping timeout: 264 seconds).
19:40:12 -!- jix has joined.
19:40:34 -!- newsham has quit (Ping timeout: 260 seconds).
19:41:05 -!- dingbat has joined.
19:46:32 -!- clog has joined.
20:04:06 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
20:06:42 -!- hppavilion[1] has joined.
20:07:20 -!- Sprocklem has joined.
20:12:36 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
20:14:20 <int-e> @botsnack
20:14:20 <lambdabot> :)
20:26:59 -!- Phantom__Hoover has quit (Ping timeout: 272 seconds).
20:27:00 -!- dingbat has quit (Ping timeout: 272 seconds).
20:27:09 -!- pdxleif_ has joined.
20:27:13 -!- jix_ has joined.
20:27:19 -!- ^v has quit (Ping timeout: 272 seconds).
20:27:19 -!- clog has quit (Ping timeout: 265 seconds).
20:27:20 -!- shachaf has quit (Ping timeout: 272 seconds).
20:27:28 -!- shachaf has joined.
20:27:57 -!- pdxleif has quit (Ping timeout: 264 seconds).
20:27:57 -!- pdxleif_ has changed nick to pdxleif.
20:27:58 -!- Phantom___Hoover has joined.
20:27:59 -!- jix has quit (Ping timeout: 264 seconds).
20:28:37 -!- ^v has joined.
20:28:56 -!- hppavilion[1] has joined.
20:30:25 <Phantom___Hoover> uh
20:30:40 <Phantom___Hoover> which fold are you always meant to use in haskell
20:31:38 -!- feliks has quit (Ping timeout: 265 seconds).
20:33:49 -!- HackEgo has quit (Ping timeout: 250 seconds).
20:34:15 -!- lambdabot has quit (Ping timeout: 250 seconds).
20:34:15 -!- catern has quit (Ping timeout: 250 seconds).
20:35:07 -!- fungot has quit (Ping timeout: 250 seconds).
20:35:07 -!- izalove has quit (Ping timeout: 250 seconds).
20:35:08 -!- alercah has quit (Ping timeout: 250 seconds).
20:35:11 -!- int-e has quit (Quit: Reconnecting).
20:35:11 <olsner> hmm, was it the catamorphism?
20:35:35 -!- ineiros has quit (Ping timeout: 250 seconds).
20:35:36 -!- erdic has quit (Ping timeout: 250 seconds).
20:35:41 -!- HackEgo has joined.
20:35:43 -!- ineiros has joined.
20:36:10 -!- ^v has quit (Ping timeout: 272 seconds).
20:36:11 -!- Cale has quit (Ping timeout: 272 seconds).
20:36:15 -!- dingbat has joined.
20:36:25 -!- Phantom___Hoover has quit (Ping timeout: 264 seconds).
20:36:27 -!- Phantom___Hoover has joined.
20:36:27 <Phantom___Hoover> which fold are you always meant to use in haskell
20:36:28 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
20:36:32 -!- alercah has joined.
20:36:37 -!- erdic has joined.
20:37:09 -!- ^v has joined.
20:37:32 -!- catern has joined.
20:38:11 -!- izalove has joined.
20:38:46 -!- Cale has joined.
20:39:47 <shachaf> `hi Cale
20:39:49 <HackEgo> Hi Cale. Hale.
20:40:12 <shachaf> Cale: what do you think of http://math.stackexchange.com/questions/1943056/is-a-topology-freely-generated-by-a-subbasis
20:40:20 -!- lambdabot has joined.
20:42:36 -!- feliks has joined.
20:43:47 -!- pelegreno___ has quit (Ping timeout: 250 seconds).
20:44:13 -!- tromp has quit (Ping timeout: 250 seconds).
20:44:39 -!- espes_ has quit (Ping timeout: 250 seconds).
20:44:47 -!- dingbat has quit (Ping timeout: 272 seconds).
20:45:03 -!- ^v has quit (Ping timeout: 272 seconds).
20:45:04 -!- pdxleif has quit (Ping timeout: 272 seconds).
20:45:08 -!- \oren\_ has joined.
20:45:08 -!- int-e has joined.
20:45:24 -!- pelegreno___ has joined.
20:45:37 <Cale> I think that answer works
20:45:39 -!- ^v has joined.
20:45:51 -!- \oren\ has quit (Ping timeout: 264 seconds).
20:47:33 -!- pdxleif has joined.
20:48:21 <shachaf> I like that answer.
20:48:37 <shachaf> But is that person also implying that the sort of thing I was talking about wouldn't work?
20:51:18 <int-e> no glogbot :/
20:51:43 <shachaf> Maybe you can make a free complete Heyting algebra or free frame or something from the poset?
20:51:45 <int-e> err, I mean clog, though glogbot is missing too
20:51:49 <\oren\_> youtube is glitching out for me
20:52:10 <\oren\_> All the videos where anyone is speaking have the voices replaced with warpling
20:52:14 <shachaf> Cale: Also I'm a bit surprised that it's a right adjoint.
20:52:19 <shachaf> Why should I have expected that?
20:53:03 <izalove> http://hextris.io/  this is so coool
20:55:37 <\oren\_> actually it seems to only be affecting any video that was originally posted as a stream
20:55:45 <shachaf> Oh, the pieces just have to touch.
20:55:50 -!- espes has joined.
20:55:51 <shachaf> I thought they had to be on the same "level".
20:56:52 -!- Zarutian has joined.
20:58:26 -!- dingbat has joined.
21:01:33 <shachaf> 8038 points
21:01:37 <shachaf> This game is pretty good.
21:08:41 -!- Sprocklem has quit (Ping timeout: 240 seconds).
21:09:37 <izalove> are you playing on a phone?
21:10:09 <izalove> my first try was with my phone and screen rotation was on
21:11:55 <shachaf> I played on a laptop.
21:12:00 <shachaf> And then on a phone.
21:22:19 -!- pelegreno___ has quit (Excess Flood).
21:22:50 -!- espes_ has joined.
21:22:58 -!- ^v has quit (Ping timeout: 272 seconds).
21:23:06 -!- alercah has quit (Ping timeout: 272 seconds).
21:23:40 -!- dingbat has quit (Ping timeout: 272 seconds).
21:23:42 -!- int-e has quit (Ping timeout: 272 seconds).
21:23:52 -!- int-e has joined.
21:24:02 -!- espes has quit (Ping timeout: 264 seconds).
21:24:04 -!- Phantom___Hoover has quit (Ping timeout: 264 seconds).
21:24:09 -!- alercah_ has joined.
21:24:42 -!- pelegreno___ has joined.
21:24:43 -!- ^v has joined.
21:25:06 -!- alercah_ has changed nick to alercah.
21:25:14 -!- Phantom___Hoover has joined.
21:28:40 -!- dingbat has joined.
21:32:06 -!- Phantom__Hoover has joined.
21:32:43 -!- ^v has quit (Ping timeout: 272 seconds).
21:32:43 -!- int-e has quit (Ping timeout: 272 seconds).
21:33:03 -!- Phantom___Hoover has quit (Ping timeout: 264 seconds).
21:33:08 -!- alercah has quit (Ping timeout: 264 seconds).
21:33:09 -!- alercah has joined.
21:33:09 -!- alercah has quit (Changing host).
21:33:09 -!- alercah has joined.
21:33:09 -!- int-e has joined.
21:33:13 -!- Cale has quit (Ping timeout: 272 seconds).
21:33:27 -!- Cale has joined.
21:33:44 -!- ^v has joined.
21:43:56 -!- heroux has quit (Remote host closed the connection).
21:44:01 -!- Gregor has quit (Ping timeout: 250 seconds).
21:44:05 -!- heroux has joined.
21:44:20 -!- Gregor has joined.
21:45:12 -!- alercah has quit (Ping timeout: 264 seconds).
21:45:20 -!- int-e_ has joined.
21:46:15 -!- alercah has joined.
21:46:26 -!- int-e has quit (Ping timeout: 272 seconds).
21:46:28 -!- ^v has quit (Ping timeout: 272 seconds).
21:46:28 -!- Cale has quit (Ping timeout: 272 seconds).
21:46:30 -!- \oren\_ has quit (Ping timeout: 272 seconds).
21:46:39 -!- ^v has joined.
21:47:39 -!- Cale has joined.
21:50:48 -!- \oren\ has joined.
21:51:01 -!- heroux has quit (Ping timeout: 240 seconds).
21:51:11 -!- heroux has joined.
21:54:38 -!- clog has joined.
21:59:42 -!- int-e_ has changed nick to int-e.
22:06:30 -!- ais523 has joined.
22:22:56 -!- FreeFull has joined.
22:23:30 -!- Zarutian has quit (Read error: Connection reset by peer).
22:25:50 -!- Zarutian has joined.
22:29:31 -!- DHeadshot has joined.
22:34:43 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:35:17 -!- sebbu has joined.
22:38:17 -!- copumpkin has quit (Ping timeout: 244 seconds).
22:39:05 -!- copumpkin has joined.
23:01:32 -!- Sprocklem has joined.
23:04:21 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
23:06:46 -!- boily has joined.
23:09:02 -!- boily has set topic: The Everchanging Topic | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf".
23:10:15 <boily> . o O ( The Everchanging Toooopiiiiiii iiiiiiiiiiiiiiiiiic ♪ )
23:11:51 -!- ais523 has set topic: The Everchanging Topic | this counter has been incremented 0 times | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf".
23:12:03 -!- ais523 has set topic: The Everchanging Topic | this counter has been incremented 1 time | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf".
23:13:54 -!- Zarutian has quit (Quit: Zarutian).
23:14:04 <ais523> with the help of self-fulfilling counter technology, now we can change the topic as much as we like
23:14:13 <ais523> (or, well, until the number gets large enough that it doesn't fit)
23:17:40 <boily> his523!
23:18:33 <ais523> hi
23:18:59 -!- mega_bender has quit (Ping timeout: 252 seconds).
23:20:22 -!- keemyb has joined.
23:21:01 -!- Phantom_Hoover has joined.
23:39:07 -!- hppavilion[1] has joined.
23:39:13 <hppavilion[1]> I seem to be thinking about string division... for some reason...
23:40:26 -!- DHeadshot_ has joined.
23:41:18 -!- DHeadshot has quit (Ping timeout: 264 seconds).
23:41:27 <hppavilion[1]> The quotient s/t of two strings s, t (where tally(t) <= tally(s) keywise (and for a string s (different from the s in the outer scope), tally(s) is a map from singleton strings to is equal to any 
23:41:29 <hppavilion[1]> Whoops
23:41:32 <hppavilion[1]> Didn't mean to send that yet
23:42:25 <boily> ))
23:42:52 <boily> hppavellon[1]. would you please not pull a fungot and balance your parentheses hth
23:42:52 <hppavilion[1]> tally(s) for a string s is a dictionary (or hashmap, or associative array, or whatever you want to call it) from characters c to positive integers, where tally(s)_c is the number of occurrences of c in the string
23:43:03 <hppavilion[1]> boily: fine :,(
23:43:21 <boily> sorry :(
23:44:53 <hppavilion[1]> So e.g. tally('I am Santa, lord of dankness') = {'a' -> 4, 'd' -> 1, 'e' -> 1, ...}
23:44:56 <hppavilion[1]> Simple enough
23:47:56 <boily> sgtm.
23:48:00 <hppavilion[1]> Applying a function f (or operation, or relation, or whatever) with arity of n to n dictionaries d1, d2, ..., dn is the same as the dictionary D with keys of the union of the sets of keys of d1..n, where D_k = f(d1_k, d2_k, ..., dn_k)
23:48:13 <hppavilion[1]> * applying it keywise
23:49:16 <hppavilion[1]> If a key does not appear in one of the inputs, the value is... OK, it varies by context. Just state what the default is when you say you're taking it keywise
23:50:47 <hppavilion[1]> So keywise (default 0.8) {'a' -> 1, 'b' -> 2, 'c' -> 3}+{'a' -> 4, 'c' -> 92} is equal to {'a' -> 5, 'b' -> 2.8, 'c' -> 95}
23:51:03 <hppavilion[1]> boily: Is this making any ounce of sense so far?
23:51:26 <boily> everything's peachy so far.
23:51:31 <hppavilion[1]> OK, good
23:53:32 <hppavilion[1]> So the quotient s/t of two strings s, t where tally(t) <= tally(s) keywise (default 0) is pretty much any string that can be generated by deleting k of each character in t (where k is the number of times that the character appears) from s
23:54:23 <hppavilion[1]> So 'abcdabcd'/'acc' = 'bdabd' | 'abdbd'
23:54:46 <hppavilion[1]> (| is essentially kleene +, but more familiar a notation)
23:55:19 <boily> is shuffling permitted?
23:55:28 <hppavilion[1]> boily: No, only deletion
23:56:52 <hppavilion[1]> If t contains any characters s doesn't (or contains more of any character than t), you're pretty much done (this, of course, makes single characters the prime numbers of strings- which seems pretty obvious in retrospect)
23:57:03 <hppavilion[1]> s/than t/than s/
23:57:13 <boily> if two deletion passes result in the same end string, do you merge them together or do you count all copies as separate results?
23:57:24 <hppavilion[1]> boily: You merge them
23:57:49 <hppavilion[1]> So 'aabcd'/'a' is just 'abcd', even though you can obtain it by deleting either 'a'
23:58:43 <hppavilion[1]> You can talk about different types of quotient of a string too, which are always a proper subset of all quotients