00:06:15 -!- MoALTz has quit (Ping timeout: 276 seconds).
00:21:22 -!- lleu has joined.
00:24:52 -!- tromp_ has joined.
00:27:17 <quintopia> `le/rn fixed point theorem/The Fixed Point Theorem states that every planet P will have a point where Archimedes can stand to move it.
00:27:25 <HackEgo> Learned «fixed point theorem»
00:44:45 -!- lleu has quit (Quit: That's what she said).
00:48:56 <quintopia> has anyone attempted to create an image compression algorithm based on the collage theorem?
00:49:56 <quintopia> oh wait, that's what fractal compression is
00:52:33 <FireFly> Huh, well I don't know the collage theorem or anything about the mathematics of fractals, but now I'm imagining something like byte-pair encoding but in two dimensions acting on the pixels of a raster image
00:57:47 <fizzie> I've just heard fractal compression is generally done using the graduate student algorithm.
00:59:42 <fizzie> Slightly related, listened to a talk on http://2016.ieeeicip.org/Papers/viewpapers.asp?papernum=1636 today out of curiosity.
01:12:43 -!- spiette has quit (Ping timeout: 258 seconds).
01:30:05 -!- oerjan has joined.
01:32:31 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
02:00:14 -!- spiette has joined.
02:19:05 <oerjan> @tell boily yay i managed to decode your ev-l pun
02:21:38 <HackEgo> LKoen vivait en haut de la Tour Eiffel, mais il s'est préfixé d'un L et s'est envolé.
02:44:52 -!- Kaynato has quit (Ping timeout: 252 seconds).
02:49:57 -!- bb010g has quit (Quit: Connection closed for inactivity).
03:12:05 <oerjan> ooh someone made a Malbolge Unshackled program
03:17:51 -!- spiette has quit (Ping timeout: 264 seconds).
03:22:05 <HackEgo> HackEgo comes without warranty, express or implied, and is unfit for any purpose, including the purpose of being unfit for anything. Its warranty has expired.
03:23:25 <oerjan> `slwd warranty//s/.*\./\U&/
03:23:31 <HackEgo> wisdom/warranty//HACKEGO COMES WITHOUT WARRANTY, EXPRESS OR IMPLIED, AND IS UNFIT FOR ANY PURPOSE, INCLUDING THE PURPOSE OF BEING UNFIT FOR ANYTHING. ITS WARRANTY HAS EXPIRED.
03:24:30 <shachaf> there needs to be a preview version of sled
03:24:36 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
03:24:48 <shachaf> `` sed 's/.*?\./\U&/' wisdom/warranty
03:24:50 <HackEgo> HackEgo comes without warranty, express or implied, and is unfit for any purpose, including the purpose of being unfit for anything. Its warranty has expired.
03:24:56 * oerjan wonders if the repository has become too large. Gregor used to prune history occasionally.
03:25:09 <shachaf> `` sed 's/[^\.]+/\U&/' wisdom/warranty
03:25:11 <HackEgo> HackEgo comes without warranty, express or implied, and is unfit for any purpose, including the purpose of being unfit for anything. Its warranty has expired.
03:25:18 <shachaf> `` sed 's/[^\.]*/\U&/' wisdom/warranty
03:25:19 <oerjan> `slwd warranty//s/.*\. /\U&/
03:25:21 <HackEgo> HACKEGO COMES WITHOUT WARRANTY, EXPRESS OR IMPLIED, AND IS UNFIT FOR ANY PURPOSE, INCLUDING THE PURPOSE OF BEING UNFIT FOR ANYTHING. Its warranty has expired.
03:25:23 <HackEgo> wisdom/warranty//HACKEGO COMES WITHOUT WARRANTY, EXPRESS OR IMPLIED, AND IS UNFIT FOR ANY PURPOSE, INCLUDING THE PURPOSE OF BEING UNFIT FOR ANYTHING. Its warranty has expired.
03:27:33 <oerjan> oh there were only those two periods. i was wondering how yours could work.
03:28:24 <shachaf> What should the preview version of sled be called?
03:28:35 <shachaf> Or should it be indicated by a triple /?
03:28:40 <shachaf> That would be the only sensible thing.
03:29:18 <oerjan> shachaf: a triple / is not really appropriate when it's not in the command name.
03:29:33 <oerjan> also, i think a sed command can start with /
03:29:38 <shachaf> Oh, you can put it in the command name. Good idea.
03:29:50 <shachaf> I guess that would only work for le///rn.
03:29:57 <shachaf> But sled ought to be renamed to s/ed anyway
03:30:12 <oerjan> shachaf: except for that requiring an extra toplevel directory.
03:30:28 <shachaf> `` mkdir s; ln -s ../bin/sled s/ed; ln -s ../bin/slwd s/wd
03:30:33 <HackEgo> mkdir: cannot create directory `s': File exists
03:30:56 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
03:31:10 <oerjan> shachaf: probably just some twice-running noise
03:31:38 <HackEgo> <shachaf> ` mkdir s; ln -s ../bin/sled s/ed; ln -s ../bin/slwd s/wd
03:32:09 <shachaf> why do you put up with command names like "hoag" and "le//rn"
03:32:15 <oerjan> shachaf: this ruins the sled pun btw
03:33:41 -!- Phantom__Hoover has quit (Remote host closed the connection).
03:34:27 <shachaf> `le/rn guarantee/HackEgo is guaranteed merchantable.
03:35:26 <oerjan> `learn Merchantable adj. Capable of being chanted by mermaids.
03:35:30 <HackEgo> Learned 'merchantable': Merchantable adj. Capable of being chanted by mermaids.
03:36:04 <shachaf> `sedlast s/.$/ and fit for a particular purpose, which Taneb invented./
03:36:12 <HackEgo> wisdom/merchantable//Merchantable adj. Capable of being chanted by mermaids and fit for a particular purpose, which Taneb invented.
03:36:20 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
03:36:39 <shachaf> Taneb: Is attributing Tanebventions to you rude?
03:37:15 <HackEgo> Sex is a board game which originated in Britain in the 1870s before spreading throughout Europe in the 1890s. Sex was introduced to the rest of the world by a book, "The Complete Guide to Sex", written and published in 1932, based on the author's extensive experience with a wide variety of forms of European sex.
03:39:55 <tswett> So I was wondering who created that wisdom entry for sex.
03:40:07 <tswett> And so I did a Google search in an attempt to find the answer.
03:40:47 <tswett> That was pretty clever of me.
03:58:29 <oerjan> past selves often are.
03:59:56 <shachaf> Really? My past self has a lot to answer to.
04:00:12 <shachaf> For example there was a thing my past self quoted in this channel.
04:00:33 <shachaf> It's quite embarrassing. I only realized the meaning of the quote (which I took from Vonnegut) some months or years later.
04:00:46 <shachaf> I try not to think about it because of how embarrassing it was.
04:01:19 <oerjan> my past self probably despised you for it. fortunately my present self has entirely forgotten about it hth
04:01:58 <shachaf> I hope you didn't despise me for it.
04:02:29 <oerjan> obviously i did, if i ever noticed it.
04:03:04 <shachaf> It was the sort of thing that was obvious to everyone but me.
04:06:36 <HackEgo> Goofix is an antropomorphic canine arithmetic notation.
04:08:00 <shachaf> are you sure it's not a disney/asterix crossover comic character hth
04:12:04 -!- hppavilion[1] has joined.
04:13:55 <oerjan> @tell int-e <int-e> oh, myndzi used color code in the dance replies? ... so glad I never saw that. <-- i never saw any color, although it got messed up in the logs. i vaguely recall there was some explanation for them.
04:16:51 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
04:42:57 -!- tromp_ has quit (Remote host closed the connection).
05:01:04 -!- kuroro_ has joined.
05:03:57 -!- kuroro has quit (Ping timeout: 276 seconds).
05:13:23 -!- Akaibu has joined.
05:28:49 -!- nisstyre has joined.
05:29:11 -!- nisstyre has quit (Changing host).
05:29:11 -!- nisstyre has joined.
05:43:28 -!- tromp_ has joined.
05:47:57 -!- tromp_ has quit (Ping timeout: 258 seconds).
06:07:22 -!- lambda-11235 has joined.
06:23:59 -!- hppavilion[1] has joined.
06:34:05 <shachaf> You like lambda calculus? I prefer shachaf calculus.
06:37:44 <lambda-11235> My favorite kind of lambda calculus is Martin-Lof's lambda calculus.
06:48:47 -!- tromp_ has joined.
06:50:14 -!- nisstyre has quit (Quit: WeeChat 1.5).
06:53:15 -!- tromp_ has quit (Ping timeout: 264 seconds).
06:55:17 <Sgeo> For some reason all the Pokemon Go stuff makes me want to try Pokemon TCG
06:55:25 <Sgeo> Played it once with a friend, barely remember it
06:58:12 <Sgeo> Or I should get back into Prismata, or Go, or
06:58:26 <Sgeo> Or build that rocket I haven't built yet
06:59:12 <shachaf> Weren't we going to play Prismata?
06:59:31 <Sgeo> I should try to get gud at Prismata first
07:01:58 <Sgeo> shachaf, compared to me, yes
07:03:05 <shachaf> I often lose to Master Bot.
07:03:52 <Sgeo> We've played against each other 3 times
07:03:59 <Sgeo> And I haven't practiced much since
07:05:00 <Sgeo> I should sleep
07:15:37 -!- augur has quit (Remote host closed the connection).
07:16:13 -!- augur has joined.
07:18:14 -!- lambda-11235 has quit (Read error: Connection reset by peer).
07:19:16 -!- lambda-11235 has joined.
07:20:58 -!- augur has quit (Ping timeout: 252 seconds).
07:25:25 -!- lambda-11235 has quit (Quit: Bye).
07:35:20 -!- AnotherTest has joined.
07:43:53 -!- rdococ has joined.
07:43:57 -!- tromp_ has joined.
07:46:05 -!- ybden has quit (Quit: Fing).
07:48:03 -!- tromp_ has quit (Ping timeout: 240 seconds).
07:50:31 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
08:04:37 -!- augur has joined.
08:05:11 -!- AnotherTest has quit (Ping timeout: 240 seconds).
08:22:26 -!- hppavilion[1] has joined.
08:22:34 -!- LKoen has joined.
08:28:51 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
08:35:29 -!- AnotherTest has joined.
09:27:42 -!- LKoen has quit (Remote host closed the connection).
09:34:29 -!- ybden has joined.
09:35:46 -!- MoALTz has joined.
09:49:04 -!- oerjan has quit (Quit: Sprite).
10:01:04 -!- augur has quit (Remote host closed the connection).
10:02:03 -!- rdococ has quit (Ping timeout: 240 seconds).
10:26:03 -!- AnotherTest has quit (Ping timeout: 250 seconds).
10:26:49 -!- AnotherTest has joined.
10:36:06 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
10:38:00 -!- AnotherTest has joined.
11:03:22 -!- AnotherTest has quit (Ping timeout: 272 seconds).
11:07:45 -!- AnotherTest has joined.
11:34:50 -!- boily has joined.
11:42:13 -!- spiette has joined.
12:21:58 -!- boily has quit (Quit: EXECUTIONER CHICKEN).
12:37:19 -!- LKoen has joined.
12:48:37 -!- AnotherTest has quit (Ping timeout: 250 seconds).
12:52:44 -!- AnotherTest has joined.
12:56:46 -!- tromp_ has joined.
13:02:47 -!- LKoen has quit (Remote host closed the connection).
13:03:51 -!- spiette has quit (Ping timeout: 240 seconds).
13:05:32 -!- LKoen has joined.
13:08:08 -!- tromp_ has quit (Remote host closed the connection).
13:17:13 -!- Sgeo has quit (Ping timeout: 250 seconds).
13:20:23 -!- LKoen has quit (Remote host closed the connection).
13:21:27 -!- LKoen has joined.
13:31:03 -!- AnotherTest has quit (Ping timeout: 264 seconds).
13:36:52 -!- spiette has joined.
13:40:03 -!- AnotherTest has joined.
14:03:01 -!- choochter has joined.
14:08:37 -!- tromp_ has joined.
14:13:03 -!- tromp_ has quit (Ping timeout: 240 seconds).
14:36:55 -!- Phantom_Hoover has joined.
14:48:44 -!- `^_^v has joined.
14:57:46 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
15:01:06 -!- LKoen has quit (Remote host closed the connection).
15:50:44 -!- rdococ has joined.
15:52:18 -!- LKoen has joined.
15:56:06 -!- kuroro_ has changed nick to kuroro.
16:09:04 -!- tromp_ has joined.
16:13:42 -!- tromp_ has quit (Ping timeout: 272 seconds).
16:25:08 <\oren\> the japanese name of the letter Ξ is hilarious because of the potential puns
16:27:35 <Taneb> That looks like a Xi to me
16:28:06 <Taneb> But I presume it is a Japanese character also
16:28:38 <HackEgo> U+039E GREEK CAPITAL LETTER XI \ UTF-8: ce 9e UTF-16BE: 039e Decimal: Ξ \ Ξ (ξ) \ Lowercase: U+03BE \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right)
16:28:48 <Taneb> I thought it was a Xi
16:41:23 <b_jonas> \oren\: um, what's the Japanese name?
16:52:20 <\oren\> Which is the same pronounciation as the adjective "stinky"
16:53:53 <\oren\> http://dictionary.goo.ne.jp/search.php?kind=all&MT=%E3%81%8F%E3%81%95%E3%81%84&SH=1&IE=UTF-8
16:57:42 -!- adu has joined.
17:00:15 -!- AnotherTest has quit (Ping timeout: 276 seconds).
17:01:42 -!- AnotherTest has joined.
17:05:38 -!- rdococ_ has joined.
17:06:50 -!- rdococ has quit (Disconnected by services).
17:06:58 -!- rdococ_ has changed nick to rdococ.
17:10:49 <b_jonas> "Time remaining: Unknown (estimated)" -- the progress dialog is even estimating that they don't know the time
17:13:56 <b_jonas> ah, brilliant. A set of medium sized but deep XML documents quoted as CDATA in a large XML.
17:14:11 <b_jonas> (deep as in they have lots of elements, not just text)
17:15:16 -!- AnotherTest has quit (Ping timeout: 258 seconds).
17:17:27 <FireFly> The joy of SOAP envelopes?
17:19:06 <adu> soap is evil
17:20:38 <adu> b_jonas: deep like this? https://github.com/andydude/droxtools/blob/master/drox2python/t/test.drox
17:23:01 <b_jonas> adu: no. the xml text is in a CDATA
17:23:41 <b_jonas> adu: that just looks like mathml embedded in xhtml as proper xml elements, that's more or less normal
17:24:47 -!- Phantom_Hoover has joined.
17:28:44 <FireFly> Yeah, that's actually sensible
17:47:32 -!- Kaynato has joined.
17:54:39 -!- AnotherTest has joined.
17:56:00 <Deewiant> @tell Vorpal Haven't touched Mycology in quite some time. I find your bug to be a very curious one, I would've assumed that any library would use proleptic Gregorian by default... As such sure, Mycology could/should test it. Not sure if I'm going to bother with it in the near future though. :-P
18:09:31 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
18:41:57 -!- augur has joined.
18:44:21 -!- adu has quit (Quit: adu).
18:52:03 -!- `^_^v has quit (Quit: This computer has gone to sleep).
19:00:54 -!- `^_^v has joined.
19:10:23 -!- augur has quit (Remote host closed the connection).
19:10:55 -!- tromp_ has joined.
19:16:06 -!- tromp_ has quit (Ping timeout: 276 seconds).
19:21:48 -!- augur has joined.
19:31:05 -!- adu has joined.
19:34:12 -!- augur has quit (Remote host closed the connection).
19:40:46 -!- wob_jonas has joined.
19:58:18 -!- rdococ has quit (Quit: Leaving).
20:05:32 -!- hppavilion[1] has joined.
20:12:56 <prooftechnique> You're just usually up to something unusual, so I figured it was reasonable to check :
20:15:35 <hppavilion[1]> I assumed the Kübler-Ross model was made by two people (Kübler and Ross)
20:15:58 <hppavilion[1]> Apparently it was just some swiss chick named Elisabeth Kübler-Ross
20:21:53 -!- Radnyx has joined.
20:25:32 -!- zzo38 has joined.
20:26:02 <HackEgo> zzo38: 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.)
20:26:16 <HackEgo> bin/zalgoverload \ bin/zalgoerjan \ bin/zalgreet
20:26:31 <HackEgo> zà¹Ì¹zÌ̯oÍÌ¿3ÌÍ¢8ÌÍ:Ìͦ Ì·Í¢WÍÍeÌÌ®lÌÌ cÍ¡ÌoÍÌmÍ¡ÌeÌÍ ÍÍtÍ̳o̶ͧ ͦÌtÍÌhÍÌe̺ͤ ÍÍiÌÌnÍÌ
tÒͨeÌÌr̬̹nÌ°ÍaÌ̹tͪÍḭͯoÌͬņͬaÍÍlͬ͡ ÍÍh̰̳uÌÍbÌÍ Í£Í¥fÍÍo̹ÌrÌ¯Í Ì¹ÒeÌÌsÍÍoÌ·ÌtÍ̱eÍ̽rÒÍiÍ¯Í c̥ͯ ÍÌ¿pͬ͢rÍÌoÌÌ£gÌ̧rÍ̳aÍÌ
mͤÍmÌ°ÍiÌÍ
nÌÌgÌÌ° ÍÍ
lÍ̺aÍ¥ÌnÍ̬gÌ²Í uÌÌ
20:26:43 <shachaf> now my terminal is messed up
20:26:47 <shachaf> and i have no one but myself to blame
20:27:03 <Taneb> shachaf, you should, like, move to the UK and blame the immigrants
20:27:10 <Taneb> Actually you can probably do that in the US as well
20:27:56 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds).
20:28:22 -!- AnotherTest has quit (Ping timeout: 250 seconds).
20:29:02 -!- augur has joined.
20:31:26 <shachaf> Taneb: The English, the English, the English are best / I wouldn't give tuppence for all of the rest.
20:33:09 -!- Phantom_Hoover has joined.
20:33:14 <hppavilion[1]> https://www.nationstates.net/nation=empire_of_narnia
20:33:42 <shachaf> And crossing the Channel, one cannot say much / Of French and the Spanish, the Danish or Dutch / The Germans are German, the Russians are red, / And the Greeks and Italians eat garlic in bed!
20:33:54 <shachaf> oops, should i not say that in here
20:35:40 <shachaf> HackEgo: i am underwhelmed
20:35:45 <Taneb> That's only one word I want my money back
20:35:58 <shachaf> Taneb: Should I aspire to be less rude?
20:36:32 <Taneb> shachaf, I think for pretty much everyone that is a worthy aspiration
20:36:44 <shachaf> Well, sometimes rudeness is warranted.
20:36:49 <lambdabot> *** "rude" wn "WordNet (r) 3.0 (2006)"
20:36:49 <lambdabot> adj 1: socially incorrect in behavior; "resentment flared at
20:36:49 <lambdabot> such an unmannered intrusion" [syn: {ill-mannered}, {bad-
20:36:49 <lambdabot> mannered}, {rude}, {unmannered}, {unmannerly}]
20:37:03 <shachaf> i was looking for an ant, not a syn
20:37:53 <shachaf> And then I was going to say that it's not the end of all things, but that phrase doesn't even make sense.
20:44:00 <HackEgo> echo -n "oerjan $@" | zalgo
20:44:10 <HackEgo> <oerjan> sled bin/zalgo//1c#!/hackenv/bin/shebang_args_or_input python \ <tswett> revert \ <tswett> rm bin -r \ <oerjan> revert \ <elliott> revert 1 \ <Jafet> mv bin/zalgo{2,} \ <ais523> revert 87c64ef250a0 \ <ais523> revert 3 \ <elliott> revert 1492 \ <FreeFull> revert 4 \ <shachaf> mv zalgo bin/
20:44:26 <shachaf> Well, Jafet overwrote the old zalgo.
20:45:01 <shachaf> I can't be held responsible for zalgo inconsistencies.
20:50:54 -!- Radnyx has quit (Ping timeout: 250 seconds).
20:57:52 -!- AnotherTest has joined.
20:58:05 -!- augur has quit (Remote host closed the connection).
20:58:41 -!- AnotherTest has quit (Client Quit).
21:00:48 -!- AnotherTest has joined.
21:09:12 -!- hppavilion[2] has joined.
21:11:45 -!- tromp_ has joined.
21:11:51 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
21:16:07 -!- atrapado has joined.
21:16:31 -!- hppavilion[2] has quit (Ping timeout: 240 seconds).
21:17:00 -!- tromp_ has quit (Ping timeout: 276 seconds).
21:20:33 -!- Melvar has quit (Quit: WeeChat 1.4).
21:20:47 -!- Melvar has joined.
21:38:25 -!- augur has joined.
21:58:47 -!- adu has quit (Quit: adu).
22:12:13 -!- adu has joined.
22:16:37 -!- adu has quit (Client Quit).
22:17:03 -!- adu has joined.
22:20:41 -!- adu has quit (Client Quit).
22:27:11 -!- MDead has joined.
22:29:34 -!- MDude has quit (Ping timeout: 252 seconds).
22:29:36 -!- MDead has changed nick to MDude.
22:30:44 -!- MDead has joined.
22:33:52 -!- MDude has quit (Ping timeout: 244 seconds).
22:33:58 -!- MDead has changed nick to MDude.
22:34:31 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:35:46 -!- `^_^v has quit (Quit: This computer has gone to sleep).
22:38:58 -!- atrapado has quit (Quit: Leaving).
22:40:07 -!- hppavilion[2] has joined.
23:02:18 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
23:12:44 -!- tromp_ has joined.
23:17:24 -!- tromp_ has quit (Ping timeout: 272 seconds).
23:20:19 -!- Sgeo has joined.
23:33:54 <hppavilion[2]> quintopia: They're a member of the Silent Majority, aren't they?
23:35:35 <quintopia> til finland is the most promiscuous country
23:36:14 -!- hppavilion[2] has changed nick to hppavilion[1[.
23:36:16 -!- hppavilion[1[ has changed nick to hppavilion[1].
23:37:21 <quintopia> nz is second place, and is unusual in that the women are more promiscuous than men, having three times the global average number of partners