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:51:58 -!- adu has quit (Quit: adu).
01:54:13 -!- oerjan has quit (Quit: Somewhere else).
01:54:26 -!- adu has joined.
02:04:22 -!- boily has joined.
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:35:43 <hppavilion[1]> If contract(["I", "Would", "Have"]) is "I'd-a" (it varies), is its negation "I'dn-a"?
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: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:10 <HackEgo> itay//Itay is Christmas in Italy.
02:39:36 <shachaf> this evilipse person is scow
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: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: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:54 -!- jix has joined.
05:05:27 <\oren\> hppavilion[1]: "cosinewave" u do realize sine and cosine are the same just shifted by a quarter wavelength right?
05:06:03 <hppavilion[1]> \oren\: But stereo sine-cosine sounded distinctly different from stereo sine-sine
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: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:19:32 <\oren\> shachaf: you can also use fade in fade out
05:20:03 <myname> https://twitter.com/letoams/status/779490839584186368 m(
05:26:21 <Hoolootwo> I'm pretty sure most of the www.* domains are taken
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:17 <shachaf> triple-u triple-u dot esolangs dot org
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:57:46 -!- `^_^v has quit (Ping timeout: 265 seconds).
05:59:17 -!- `^_^v has joined.
06:21:15 -!- mad has joined.
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.
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: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:12:09 <shachaf> I'm asking for a problem specification, not suggesting a solution.
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: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: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:32 <myname> no, printed in _another_ font
08:22:58 <myname> like, helvetica printed in times new roman
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:09 <hppavilion[1]> Maybe I'll have a bonus shirt that is intentionally wrong?
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: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: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: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:37 <wob_jonas> shachaf: anyway, the braces aren't essential, echo$IFS""$IFS"" works still
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:27 <myname> my initial attempt was foo=id;echo${foo:...:1}
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: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: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: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: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: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: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:33:15 -!- boily has joined.
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: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: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: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: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:07:03 -!- dahk has joined.
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: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:48 -!- Elronnd has joined.
16:26:25 -!- evilmoon has changed nick to moonythedwarf.
16:29:12 <HackEgo> Come and dance and love the fish! Mister Disco summoned it.
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:45 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: mklang: not found
16:30:15 <HackEgo> Moon is a murderous lunatic, not an unretroreflectorey object. He sometimes causes overmoonification.
16:41:13 <HackEgo> ls: invalid option -- ' ' \ Try `ls --help' for more information.
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: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:50:06 <jeffl35> moonythedwarf: have fun being a lunartic
16:53:36 <HackEgo> ls: cannot access ?: No such file or directory
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:06 <HackEgo> ` ̊ ! ? ¿ ' " @ * ؟ 1 5 f h q
16:54:21 <HackEgo> ` M-LM-^J ! ? M-BM-? ' " @ * M-XM-^_ ^O ^V 1 5 f h q
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:03 <HackEgo> test failed. HackEgo-JUnit is not available.
16:55:15 <HackEgo> test failed. HackEgo-JUnit is not available.
16:55:26 <HackEgo> test failed. HackEgo-JUnit is not available.
16:55:43 <HackEgo> ^O ^V ! " ' * 1 5 ? @ ` f h q
16:55:54 <HackEgo> test failed. HackEgo-JUnit is not available.
16:56:07 <HackEgo> test failed. HackEgo-JUnit is not available.
16:56:14 <oerjan> the ? doesn't expand unless it's in a directory with a single-character file.
16:57:01 <HackEgo> /hackenv/bin/`: line 4: a: command not found
16:57:12 <oerjan> so i was just confused.
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 <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:18 <HackEgo> cat: bin/̐: No such file or directory
16:59:51 <wob_jonas> that's the one you executed, through an extra indirection of bin/`
17:04:52 <^v> @wob_jonas, appears to be pinging me
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:09:48 <\oren\> Until I was 7 or so, I wasn't sure whether to spell it with a i or an e
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:12:42 <HackEgo> #!/bin/bash \ TIMEFORMAT="real: %lR, user: %lU, sys: %lS" \ shopt -s extglob globstar \ eval -- "$1" | rnooodl
17:13:18 <HackEgo> perl -pe 's/([Nn])ooodl/"$1@{[o x(3+rand 7)]}dl"/ge'
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:56 <HackEgo> Noooodles are the invention of the Chinese. They were brought to Europe by Marco Polo, a distant ancestor of Taneb.
17:14:50 <HackEgo> Cats are cool, but should be illegal.
17:14:59 <HackEgo> L is far too short to be a village in Wales.
17:15:23 <HackEgo> cat: ¯\(°_o)/: Is a directory
17:17:35 <oerjan> `learn Man is destined for Greatness, despite being a small island.
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: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:22:25 <Taneb> Ireland is, relatively speaking, one small step from Man
17:26:46 <HackEgo> noooooo! no i wont do it nooo! | rnoodl
17:26:51 <HackEgo> noooooo! no i wont do it nooo! | rnooodl
17:27:01 <HackEgo> noooooo! no i wont do it nooo!
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:32:03 <HackEgo> sparta//WE. DON'T. KNOW. ANYTHING. ABOUT. SPARTA!
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:31 <HackEgo> init(1): Operation not permitted \ init(285): Operation not permitted
17:32:39 <HackEgo> deniability//Deniability was not invented by Taneb.
17:32:49 <HackEgo> ehird//ehird is the person who Taneb definitely isn't.
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:59 <HackEgo> people who taneb isn't? ¯\(°_o)/¯
17:33:04 <HackEgo> conspirabiology//conspirabiology is where moth colourings form a dot matrix display to send you subliminal messages.
17:33:19 <HackEgo> /hackenv/bin/`: line 4: init: command not found
17:33:23 <HackEgo> /hackenv/bin/`: line 4: /etc/init: No such file or directory
17:33:29 <HackEgo> /hackenv/bin/`: line 4: /lib/systemd/systemd: No such file or directory
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:54 <HackEgo> /hackenv/bin/`: line 4: telinit: command not found
17:33:54 <HackEgo> ⌨//You are probably using one right now!
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: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:40 <HackEgo> The 1 is just for disambiguation.
17:34:50 -!- mega_bender has joined.
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 -!- jix has quit (Ping timeout: 260 seconds).
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:12 -!- vifino has joined.
17:37:14 -!- kragniz has quit (Ping timeout: 265 seconds).
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: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: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: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:33 -!- jix has joined.
17:38:37 -!- oerjan has quit (Ping timeout: 265 seconds).
17:39:13 <jeffl35> <fnalerts> jeffl35: down: kornbluth, morgan(v6), niven, sinisalo, weber
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: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:22 <wob_jonas> since the random algorithm works because the stack has a lot of hay
17:40:33 -!- sparr has joined.
17:40:44 -!- dingbat has quit (Ping timeout: 252 seconds).
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:52 -!- nycs has joined.
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: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:42 -!- ^v has quit (Ping timeout: 272 seconds).
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: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:02 -!- moonrip_freenode has changed nick to moonyhtedwaf.
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: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: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: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_> 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: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: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
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: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: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: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: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: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: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:37 <shachaf> But is that person also implying that the sort of thing I was talking about wouldn't work?
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: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: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: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: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:44:53 <hppavilion[1]> So e.g. tally('I am Santa, lord of dankness') = {'a' -> 4, 'd' -> 1, 'e' -> 1, ...}
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: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:26 <boily> everything's peachy so far.
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:46 <hppavilion[1]> (| is essentially kleene +, but more familiar a notation)
23:55:19 <boily> is shuffling permitted?
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: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: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