00:00:54 -!- yurichev has quit (Ping timeout: 258 seconds).
00:03:34 <oerjan> <shachaf> oerjan: Why did you censor that wisdom entry? <-- i'm pretty sure the explanation was right in your `howg output, twice.
00:04:29 <shachaf> 11:53:03 <int-e> shachaf: anyway, good question... it was accurate in a good way.
00:05:19 <shachaf> Last I heard being correct wasn't grounds for wisdom removal.
00:05:58 <oerjan> but to make it clear, i started feeling bad about it after several people here (myself included) had actual mental problems.
00:08:21 <oerjan> <int-e> Before oerjan *murdered* it. <-- it was an accident, i swear ... oh wait, you _aren't_ talking about the hydra.
00:08:51 -!- augur has joined.
00:09:42 <shachaf> How do I tell whether I have actual mental problems?
00:10:24 <oerjan> well if you tell people you have actual mental problems, then you obviously don't </catch-22>
00:10:55 <boily> manao ahoerjana e.
00:11:35 <oerjan> not intended to be persian
00:12:17 <oerjan> google says that was malagasy
00:13:15 <oerjan> wob_jonas: boily's porthello hth
00:14:07 <wob_jonas> oerjan: no, I mean the one before that, "if you tell people you have actual mental problems, then you obviously don't". I don't think that's true
00:14:27 <oerjan> wob_jonas: you seem to have missed the </catch-22>
00:15:02 <oerjan> context, wob_jonas, context
00:15:29 * boily is still trying to parse the merheboily...
00:15:34 <shachaf> oerjan: but i'm not in the army hth
00:16:56 <oerjan> boily: let's say that your intuition about the language is good, just off.
00:17:34 <oerjan> (there' nothing resembling it in the list of persian phrases i'm looking at, so it cannot be that you've seen it before, i think?)
00:18:16 <boily> I haven't seen anything like that. I'm guesstimating what it is from memoresemblance...
00:18:26 <boily> pashto or dari, mayhaps?
00:20:04 <int-e> wob_jonas: it's not pretty, more theory would probably help... see http://sprunge.us/XBYi for a sketch
00:20:43 <oerjan> hm dari isn't on that site
00:22:01 <oerjan> azerbaijani is the wrong family
00:22:35 -!- MDude has joined.
00:24:32 <boily> Inuugujaquintopia!
00:25:32 <oerjan> int-e: anyway, my hydra did not die in the prescribed way, but due to a stupid erroneous keypress tdnh
00:25:38 -!- augur has quit (Remote host closed the connection).
00:25:42 <quintopia> boily: not going to try identify the language, but a random guess would be inuit hth
00:25:53 <boily> quintopia: close enough. Greenlandic.
00:25:59 <boily> oerjan: aaaaaaaaaaaaaaaaaaaargh.
00:26:22 <quintopia> farsi is a very pretty language fo sho
00:27:00 <boily> quintopia: https://www.youtube.com/watch?v=KsMEBEcxzYA
00:27:37 <quintopia> boily: are you watching thee esa marathon at all
00:27:57 <oerjan> kurmanji to be precise.
00:29:20 <oerjan> inspired by (1) being the language of the owners of my local restaurant (2) being featured in a recent langfocus video on youtube (where i learned there's more than one kurdish language)
00:30:09 -!- bb010g has quit (Quit: Connection closed for inactivity).
00:30:28 * oerjan finds langfocus both interesting and annoyingly shallow at the same time
00:34:23 <oerjan> also, it's both funny and tragic that he's had to explicitly disavow _ever_ making a video on balkan languages
00:35:22 <oerjan> (he got burned too much by his slavic video)
00:38:32 <int-e> wob_jonas: and of course, while accessible to elementary means, the whole rational approximations business is closer to advanced territory.
00:41:32 <oerjan> <int-e> boo, "Our Market Research Shows That Players Like Really Long Card Names So We Made this Card to Have the Absolute Longest Card Name Ever Elemental" contains only 21 distinct letter (missing fjqxz) <-- sounds like a good start, anyway
00:44:21 <quintopia> int-e: if you were to read "-(-x)" out loud, what words would you use?
00:45:18 <oerjan> @ask myname <myname> you aren't supposed to asl about someone elses penis <-- why else would you asl them, anyway
00:46:23 <quintopia> int-e: would you always read "-x" as "minus x"?
00:46:27 <lambdabot> What module? Try @listmodules for some ideas.
00:46:55 <int-e> quintopia: where is this line of inquiry headed? it could be an awkwardly shaped lollipop
00:47:10 * oerjan wonders if "? " is implemented as a special case or an actual command
00:48:14 <quintopia> int-e: nowhere. that's the last question.
00:48:52 * oerjan smacks int-e with candy ---x
00:48:55 <int-e> it could be the negation of x if minus feels ambiguous or otherwise out of place.
00:48:57 <quintopia> also, I have never seen the phrase "awkwardly shaped lollipop" anywhere before
00:49:57 <oerjan> quintopia: neither has google, it seems
00:50:09 <quintopia> oerjan: i searched google before i said that
00:50:18 <int-e> yay, I'm original!
00:50:45 <quintopia> int-e: what does the metaphor represent?
00:51:12 <oerjan> sometimes a lollipop is just a lollipop
00:51:35 <quintopia> oerjan: when "it" is a line of inquiry, the lollipop is definitely a metaphor
00:51:48 -!- tromp_ has joined.
00:52:09 <quintopia> int-e: oh did you mean -x could be an emoji of an awkwardly shaped lollipop?
00:52:19 <int-e> sorry, there really wasn't one, it was all based on looking at -x
00:52:27 <int-e> I don't do emojis.
00:52:34 <oerjan> there wasn't a metaphor, just an anaphor
00:52:39 <int-e> emoticons, perhaps.
00:52:39 <quintopia> pronoun ambiguity is what there was
00:52:55 <quintopia> int-e: emoji would save you 3 characters hth
00:53:11 <int-e> quintopia: those savings are not worth the pain.
00:53:42 <int-e> (emojis are for people who lack the imagination to see a face in :-) )
00:54:07 <quintopia> int-e: i use the word emoji to describe all things once called emoticons hth
00:54:23 <oerjan> quintopia: "it" is an anaphor hth
00:54:38 <int-e> quintopia: fortunately for both of us, I'm not you.
00:55:07 <quintopia> (i really feel like the things we now call empji should be called emoticons, since they are, now, actually icons)
00:56:02 <quintopia> i feel like the term emoticons arose to replace "smileys" when AIM started replacing the strings with images
00:56:22 <quintopia> so really you should be calling :-D and such smileys
00:56:35 <quintopia> or else you're not really l33t h4x0r
00:57:26 <boily> quintopia: >_>'...
00:57:55 <quintopia> boily: how would you read the mathematical string "-(-x)" out loud natively?
00:57:59 -!- adu has joined.
00:58:54 <boily> quintopia: "moins moins x"
00:59:20 <quintopia> boily: how is x pronounced frenchly?
01:01:38 <HackEgo> <b_jonas> `` tar xvf p7zip-16.02-linux-bin-only.tar.xz
01:02:00 <wob_jonas> oerjan: I installed 7z but it doesn't work: it's a x86_32 executable and needs an x86_32 shared libc which HackEgo doesn't have installed
01:02:09 -!- augur has joined.
01:03:09 <oerjan> wob_jonas: i was actually just testing if your failed perl -pie command had created 7ze by accident.
01:03:22 <oerjan> (it's happened with sed before.)
01:05:35 <int-e> perl works great with -pie
01:06:58 <oerjan> int-e: it didn't work when wob_jonas tried it.
01:08:29 <int-e> perl works better without pie
01:08:48 <int-e> I think sleep will be better for me than IRC
01:09:20 <int-e> it's 2 am, an excellent time for having gone to bed 3 hours ago.
01:09:41 <quintopia> also an excellent time for watching esa marathon
01:09:53 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
01:11:09 -!- tromp_ has quit (Remote host closed the connection).
01:12:55 -!- Sgeo has joined.
01:21:09 <HackEgo> smlist 448: shachaf monqy elliott mnoqy
01:21:31 <HackEgo> smlist 449: shachaf monqy elliott mnoqy
01:25:19 <HackEgo> Non-update notification for the webcomic Super Mega.
01:26:38 -!- boily has quit (Quit: SOME CHICKEN).
01:36:39 -!- jaboja has quit (Read error: Connection reset by peer).
01:38:54 <HackEgo> pi is a very round number.
01:39:19 <HackEgo> The reals are an overt complete ordered Brazilian currency invented by Taneb in 1994.
01:39:42 <HackEgo> EgoBot is my arch-nemesis.
01:40:11 <HackEgo> europe//Europe is the national anthem of the Republic of Kosovo.
01:40:16 <HackEgo> test//test failed. HackEgo-JUnit is not available.
01:40:28 <HackEgo> algebraic number theory//Algebraic number theory was invented by Fermat to prove his theorem, but he didn't have room to write it down.
01:40:49 <HackEgo> ascii//ascii is the plural of ascius
01:41:00 <HackEgo> indonesia//Indonesia is a large island country in Asia and the world's most populous muslim country. Its major export is rayon textile from the Indonesian fnord.
01:41:15 <HackEgo> tg//TG is short for Turing-Gödel, the highest possible level of difficulty for a multiplayer game. At this level, it's undecidable whether you can manage to halt before losing or not.
01:41:32 <HackEgo> cube//Cubes come in all sizes, colors and materials, but only one shape. The companion cube does not speak, however.
01:41:54 <HackEgo> hth//hth is help received from a hairy toe. It is not at all hambiguitous.
01:41:58 -!- Phantom_Hoover has quit (Remote host closed the connection).
01:41:59 <HackEgo> lmt//lmt is insufficiently mad for this channel.
01:43:04 <oerjan> @tell int-e <int-e> Well the axiom of choice very much seems necessary. (Though I have no proof of that.) <-- maybe you can prove it's non-measurable
01:43:58 <HackEgo> <oerjan> revert \ <elliott> revert 1 \ <Bike> revert \ <FreeFull> for x in wisdom/*; do rev "$x" > "$x"a; mv "$x"a "$x"; done \ <ais523> revert 87c64ef250a0 \ <ais523> revert 3 \ <elliott> revert 1492 \ <FreeFull> revert 4 \ <oerjan> revert 999 \ <FreeFull> revert 0 \ <FreeFull> run echo "I like pie" >> wisdom/pie \ <FreeFull> run echo "I like p
01:46:55 <shachaf> I just don't like the liking of pie.
01:48:00 <FreeFull> I shouldn't have reversed all those wisdoms back then
01:48:08 <FreeFull> Now I keep coming up in those revision messages
01:49:40 -!- tromp_ has joined.
01:51:05 <shachaf> `howg algebraic number theory
01:51:11 <HackEgo> <oerjan> le/rn algebraic number theory/Algebraic number theory was invented by Fermat to prove his theorem, but he didn\'t have room to write it down.
01:51:38 <shachaf> `slwd algebraic number theory//s#Algebraic number theory#The theory of algebraic numbers#
01:51:40 <HackEgo> wisdom/algebraic number theory//The theory of algebraic numbers was invented by Fermat to prove his theorem, but he didn't have room to write it down.
01:52:12 <HackEgo> <int-e> learn_append cube The companion cube does not speak, however. \ <int-e> revert accbc9c5c7ec \ <ais523> echo wisdom/* | shuf | head -n 10 | xargs rm \ <oerjan> learn Cubes come in all sizes, colors and materials, but only one shape.
01:52:51 <shachaf> I like oerjan's wisdom entry.
01:53:07 <shachaf> But the extra sentence is, what? Just a Portal reference? Is there anything to it that I'm missing?
01:59:11 -!- adu has quit (Quit: adu).
02:05:10 <Sgeo> My brain melted https://scontent-lga3-1.xx.fbcdn.net/v/t1.0-9/13876555_10204880436330398_6866559669432638812_n.jpg?oh=9c6d8f7fd2c021c94dcb9862b4721bd9&oe=5829E339
02:05:59 <Sgeo> Maybe I'm taking it too literally, but the remaining Bernie-or-Busters seem about as good at math as [insert negative opinion about politician here]
02:06:05 <Sgeo> </content-note-politics>
02:09:31 -!- adu has joined.
02:09:52 -!- tromp_ has quit (Remote host closed the connection).
02:15:02 -!- centrinia has quit (Quit: Leaving).
02:17:17 -!- moon-moon has quit (Ping timeout: 260 seconds).
02:25:38 -!- moon-moon has joined.
02:29:41 -!- augur has quit (Quit: Leaving...).
02:30:48 <Sgeo> Magikarp has a use??? (to evolve into Gyarados)
02:31:28 <pikhq> Yes, Magikarp evolves into Gyarados, which is awesome.
02:35:36 <pikhq> Sgeo: It's a reference to a Chinese legend about how carp that can leap over the Dragon Gate will become dragons.
02:35:45 <pikhq> Hence Gyarados looking like a Chinese dragon.
02:35:52 <pikhq> shachaf: Not in the Pokemon sense.
02:39:37 -!- augur has joined.
02:42:16 <HackEgo> userweps//boily has the mapole, oerjan has the swatter, moon has the snail cannon, hppavilion[1] is a motherfucking walrus
02:42:29 <HackEgo> macron//Ā macron is what you put ōver ā long vowel in order to mark it as ā long vowel. Macrons will bēcome mandatory in English on Octōber 14, 2016.
02:42:38 <shachaf> I thought it was a kind of cookie?
02:43:17 <HackEgo> <tswett> le/rn macron/\xc4\x80 macron is what you put \xc5\x8dver \xc4\x81 long vowel in order to mark it as \xc4\x81 long vowel. Macrons will b\xc4\x93come mandatory in English on Oct\xc5\x8dber 14, 2016.
02:43:24 <shachaf> That's why we need a timestamped version of howg.
02:43:41 -!- tromp_ has joined.
02:44:10 <\oren\> SŌN macrons wil bē hēr
02:44:20 <Sgeo> Does the TCG snowball? Like, when you knock out an opponent Pokemon, you take a card from your Prize card into your hand, which might help you knock out more Pokemon more quickly
02:45:32 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: whyg: not found
02:45:47 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wheng: not found
02:46:01 <shachaf> that's now how howg is pronounced hth
02:46:35 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hthg: not found
02:46:56 <shachaf> Your jokes would work just as well without the HackEgo response line.
02:47:36 <\oren\> hwy hwud i hwant htat?
02:49:06 <HackEgo> Humans are significantly more complicated, even up to homeomorphism.
02:49:39 <HackEgo> hthmonoid//hthmonoids hthmonoids hthmonoids hthmonoids hthmonoids hthmonoids ...
02:49:55 <HackEgo> snap//Snap is a simple web development framework for unix systems, written in the Haskell programming language. Snap has a high level of test coverage and is well-documented.
02:50:07 <HackEgo> racoonspirator//A racoonspirator is a collaborator wrapped in fur
02:50:27 <izabera> i need moral support, i'm fighting against segfaults and losing
02:50:44 <oerjan> <shachaf> that's now how howg is pronounced hth <-- says who
02:50:57 <izabera> someone please lend me a shoulder to cry upon
02:51:20 <oerjan> shachaf: great, now i can add the one i was thinking of
02:51:42 <oerjan> `learn Humans are constantly evolving, although not as fast as pokémons.
02:51:46 <HackEgo> Relearned 'human': Humans are constantly evolving, although not as fast as pokémons.
02:52:05 <oerjan> oh you didn't actually delete it.
02:52:40 <HackEgo> A pokemon is a monster that you keep in your pocket.
02:53:14 * oerjan gives izabera a cold shoulder
02:53:45 <oerjan> shachaf: i read it as "not" anyway.
02:54:19 <shachaf> oerjan: This thing where you live 10 minutes in the past is pretty confusing.
02:55:56 <\oren\> `le/rn Arabic/Arabic is a central semitic language that is very hard to make fonts support, though not as hard as Hieroglyphics.
02:56:09 <oerjan> shachaf: 's ok i'm almost present now.
02:56:25 <shachaf> \oren\: hey, what happened to `learn
02:56:40 <shachaf> Well, even oerjan abandoned starting a wisdom entry with the entry name already.
02:57:12 <HackEgo> #esoteric bitmap fonts include: \oren\'s font http://www.orenwatson.be/fontdemo.htm , lifthrasiir's font https://github.com/lifthrasiir/unison/ https://lifthrasiir.github.io/unison/sample.png , b_jonas's font http://www.math.bme.hu/~ambrus/pu/fecupboard20-c.pcf.gz
02:57:45 <oerjan> `` rev <wisdom/arabic >tmp/arabic; mv {tmp,wisdom}/arabic
02:57:54 <HackEgo> .scihpylgoreiH sa drah sa ton hguoht ,troppus stnof ekam ot drah yrev si taht egaugnal citimes lartnec a si cibarA
03:12:15 -!- zgrep has changed nick to shikhout.
03:12:17 -!- shikhin has changed nick to zgrep.
03:12:21 -!- shikhout has changed nick to shikhin.
03:12:50 -!- shikhin has changed nick to Guest52752.
03:13:12 -!- zgrep has changed nick to shikhout.
03:13:43 -!- Guest52752 has changed nick to zgrep.
03:14:54 -!- shikhout has changed nick to shikhin.
03:26:30 -!- adu has quit (Quit: adu).
03:33:38 -!- tromp_ has quit (Remote host closed the connection).
03:37:52 -!- carado has quit (Ping timeout: 258 seconds).
03:39:59 -!- carado has joined.
03:41:53 -!- centrinia has joined.
03:48:04 -!- byteflame has joined.
03:54:46 -!- tromp_ has joined.
04:01:34 -!- adu has joined.
04:06:29 <\oren\> izabera: what did you make?!
04:07:32 <HackEgo> united states//See America.
04:07:35 <HackEgo> lie bracket//Politicians try to stay within the lie bracket: Not so many lies that voters cannot stand it, but not so few that they think you have nothing to give them.
04:08:05 <HackEgo> nobody//Nobody killed the cyclops Polyphemos after he tried to eat a shipful of sailors, and this perceived injustice made Poseidon so mad he swore vengeance at him and the gods couldn't calm him down for ten years.
04:08:13 <HackEgo> gene ray//Dr Gene Ray is the Greatest Philosopher, and is the Greatest Mathematician. Cubic Harmonics. Only Cubic Harmonics can save humanity. Cubic Harmonics will pacify all religions. 96-hour Cubic Day debunks 1-day unnatural god. 96-hour day willdisprove disunity god. Academians are teaching - pseudocience. Worshipping a Word God will destroy th
04:08:24 <HackEgo> <hppavilion[1]> le/rn blank/
04:08:33 <HackEgo> <oerjan> revert \ <elliott> revert 1 \ <ais523> revert 87c64ef250a0 \ <ais523> revert 3 \ <oerjan> echo "See America." | tee wisdom/usa >wisdom/\'united states\'
04:08:49 <Sgeo> Where has elliott been?
04:11:40 <HackEgo> This wisdom entry had to be removed due to a DMCA takedown notice.
04:12:43 -!- bb010g has joined.
04:13:12 -!- centrinia has quit (Ping timeout: 250 seconds).
04:31:36 -!- tromp_ has quit (Remote host closed the connection).
04:35:23 -!- tromp_ has joined.
04:39:40 <HackEgo> \oren\ is an attempt to improve upon oren. The only thing it actually improved was name recognizability, and it made everything else... well, there isn't much else in a nick, is there?
04:39:53 <HackEgo> oren is a Canadian esolanger who would like to obliterate time zones so that he can talk to his father who lives in the same house. He'll orobablu get the hang of toycj tuping soon. He also has a rabid hatred of the two-storey lowercase a and other shady characters.
04:40:02 <HackEgo> orin is oren's evil twin, stalking him from the other side of the international date line.
04:40:24 -!- \oren\ has changed nick to orin.
04:41:02 <Elronnd> ``learn \oren\ "If he knew he was a tree, he wouldn't be, a \oren\"
04:41:04 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `learn: not found
04:41:09 <Elronnd> `` learn \oren\ "If he knew he was a tree, he wouldn't be, a \oren\"
04:41:10 <HackEgo> /hackenv/bin/`: eval: line 4: unexpected EOF while looking for matching `"' \ /hackenv/bin/`: eval: line 5: syntax error: unexpected end of file
04:41:16 <Elronnd> `` learn \oren\ "If he knew he was a tree, he wouldn't be, a \\oren\\"
04:41:19 <HackEgo> Relearned 'oren': oren If he knew he was a tree, he wouldn't be, a \oren\
04:41:36 <orin> I spelled it orin from time to time on my homework until a teacher had trouble understanding that it was the same person.
04:41:51 <orin> Some people also call me warren
04:43:13 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
04:43:18 <HackEgo> oren is a Canadian esolanger who would like to obliterate time zones so that he can talk to his father who lives in the same house. He'll orobablu get the hang of toycj tuping soon. He also has a rabid hatred of the two-storey lowercase a and other shady characters.
04:43:31 <oerjan> Elronnd: your wisdom privileges are revoked hth
04:45:08 <HackEgo> \oren\ is an attempt to improve upon oren. The only thing it actually improved was name recognizability, and it made everything else... well, there isn't much else in a nick, is there?
04:45:41 <oerjan> Elronnd: both your syntax errors and what you actually tried to do were painful to watch.
04:47:36 <Elronnd> oerjan: I haven't been here in a while, okay?
04:49:16 * oerjan gets a sudden attack of tiredness
05:04:05 -!- lemar has joined.
05:06:55 -!- lemar has quit.
05:28:33 -!- tromp_ has quit (Remote host closed the connection).
05:29:36 <Sgeo> https://www.reddit.com/r/pkmntcg/comments/24s2cs/retreat_costdouble_colorless/
05:30:03 -!- Kaynato has quit (Ping timeout: 244 seconds).
05:31:30 <tswett> http://xkcd.com/1629/ - this reminds me of that computer language I'm trying to create.
05:32:16 <tswett> I think the name of it was Tokiber.
05:32:38 -!- adu has quit (Quit: adu).
05:32:51 <tswett> The language is all about maximum generality.
05:33:23 <tswett> As in, when you write code, you're not merely writing code for the category of sets.
05:33:35 <tswett> It generalizes to all other categories you can generalize it to.
05:45:53 <tswett> Lemme go ahead and define some stuff about natural transformations.
06:29:04 -!- tromp_ has joined.
06:33:33 -!- tromp_ has quit (Ping timeout: 240 seconds).
06:52:46 -!- augur has quit (Remote host closed the connection).
06:53:36 -!- augur has joined.
06:56:22 -!- augur has quit (Read error: Connection reset by peer).
06:58:03 -!- augur has joined.
07:30:32 -!- tromp_ has joined.
07:34:58 -!- tromp_ has quit (Ping timeout: 250 seconds).
07:39:01 -!- hppavilion[1] has joined.
07:39:14 <hppavilion[1]> Wow, I just checked http://xkcd.com/1043/, and it's fairly accurate it appears
07:39:31 <hppavilion[1]> Yet somehow, I'm more interested in a spike in searches for Wordpress in June 2014
07:39:53 <hppavilion[1]> Wikipedia doesn't mention any vulnerabilities in that year at all
07:40:12 <hppavilion[1]> Oh, and it appears people are taking up Livejournal again
07:56:13 <orin> `` echo $((0xAdc0 - 0xAc00))
07:58:17 -!- Sprocklem has quit (Quit: brb).
07:59:30 <orin> yeah I've decided on a semi-automated approach
07:59:54 <orin> I'm generating them using a script
08:00:07 <orin> and then adjusting them manually
08:00:16 <orin> when they don't look good
08:00:47 <lifthrasiir> I was busy recently, so I haven't had a look at Unison for some months
08:04:02 <orin> so I'll still be drawing some manually, but only when the simple "overlay parts" approach doesn't produce a nice result
08:10:10 -!- bb010g has quit (Quit: Connection closed for inactivity).
08:29:38 -!- tromp_ has joined.
08:30:13 -!- MoALTz has joined.
08:31:03 -!- Hoolootwo has quit (Ping timeout: 264 seconds).
08:34:05 -!- oerjan has quit (Quit: Nite).
08:34:39 -!- tromp_ has quit (Ping timeout: 264 seconds).
08:35:15 -!- Hoolootwo has joined.
08:42:11 -!- augur has quit (Remote host closed the connection).
08:45:19 -!- augur has joined.
08:54:44 -!- augur has quit (Remote host closed the connection).
09:01:25 <hppavilion[1]> There is a serious problem here: https://www.google.com/trends/explore#q=%2Fm%2F01yrx%2C%20%2Fm%2F0bt9lr&cmpt=q&tz=Etc%2FGMT%2B8
09:02:45 <hppavilion[1]> this is hppavilion[1] sister speaking. hello and welcome to cat world
09:13:34 <int-e> shachaf: that did help, you must not have played the Portal game.
09:14:07 <shachaf> But is it anything other than a reference?
09:14:28 <fungot> hppavilion[1]: with a few warts here there? ( under linux...)
09:14:44 <fungot> shachaf: are you still working on it now
09:14:45 <fungot> hppavilion[1]: whats a library? i'd like to get
09:15:01 <fungot> Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube
09:15:07 <int-e> shachaf: a reference, a twisted mind, an evocative image perhaps...
09:15:12 <fungot> Selected style: agora (a large selection of Agora rules, both current and historical)
09:15:23 <HackEgo> Cubes come in all sizes, colors and materials, but only one shape. The companion cube does not speak, however.
09:15:41 <fungot> hppavilion[1]: such a directive to award the boon of prodigy. how the regulations may not be limited to) any remaining units of
09:15:41 <shachaf> int-e: What does speaking have to do with it? What's the "however" about?
09:16:44 <int-e> shachaf: I think your questions mean it was a very valuable addition to the wisom entry :-P
09:17:06 <int-e> (Usually the way it happens is that I want to make a wisdom entry and it already exists.)
09:17:11 <int-e> shachaf: confusion
09:17:19 <HackEgo> wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø?
09:17:27 <int-e> also I'm easily amused.
09:21:06 <int-e> (there is also the fact that in the game, there is a variant level where the companion cube is a sphere. that may be relevant.)
09:23:16 <shachaf> int-e: Here's another puzzle for you: How many "8"-shapes can you fit on a plane?
09:23:55 -!- gamemanj has joined.
09:24:12 <int-e> I suspect it depends on the number of seats
09:24:35 <int-e> if it's a mathematical question I'll need a definition.
09:24:41 <shachaf> Well, you already saw the probability puzzle with people seated randomly on a plane.
09:25:42 <shachaf> An "8" is, let's say, two circles tangent to each other.
09:26:02 <shachaf> Actually you can stretch them too. Let's say two ellipses.
09:26:17 <shachaf> Oh, I forgot to mention that they can't overlap.
09:27:37 <shachaf> Anyway the question is whether you can fit uncountably many.
09:27:50 <int-e> are they curves or do they have an area?
09:27:57 <b_jonas> int-e, \oren\: ok, so in the morning with a clearer head, the sum of two periodics is much easier. no, you don't need well-ordering, nor a vector-space basis, nor any other form of transfinite induction.
09:28:18 <shachaf> You mean, are they filled in?
09:28:37 <int-e> anyway, I think I've seen this with circles... fiting a continuum of them on a plane by transfinite induction.
09:28:49 <shachaf> Well, fitting circles is pretty easy.
09:28:59 <b_jonas> Say the periods of the two functions will be 1 and P = sqrt(2). Factor the reals to equivalence classes modulo addition of m+n*P where m and n are integers.
09:29:05 <shachaf> For any real r you can put a circle with radius r around (0,0).
09:30:49 <b_jonas> Note that you can write a real as m+n*P in only at most one way. Use choice to take a representative of each equivalence class. Every real can be written in the form of x+m+n*P where m, n are integers and x is the representative of the class of that real.
09:31:35 <b_jonas> So define f(x+m+n*P) = x+n*P, and g(x+m+n*P) = m. Then f is periodic by 1, g is periodic by P, and f+g is the identity.
09:32:49 <shachaf> Oh, I think I mentioned that puzzle here before.
09:33:08 <shachaf> I remember talking to someone (oklopol?) about it.
09:33:31 <int-e> b_jonas: okay, now you can easily do x^2 with three periodic functions.
09:44:51 <b_jonas> the sum of two periodic functions?
09:45:34 <shachaf> The one just before you joined.
09:45:38 <b_jonas> have you mentioned the tee one yet?
09:45:53 <b_jonas> hm, there's more than one tee
09:45:58 <b_jonas> let me search, there was a hard one
09:47:38 <b_jonas> "Here's another puzzle for you: How many "8"-shapes can you fit on a plane?" / "An "8" is, let's say, two circles tangent to each other." / "Oh, I forgot to mention that they can't overlap."
09:48:58 -!- Sprocklem has joined.
09:51:27 <b_jonas> shachaf: there was some disucssion about similar stuff near http://www.komal.hu/forum/forum.cgi?a=to&tid=7&st=25&dr=0&sp=1842
09:53:23 <b_jonas> shachaf: one such problem was: can you fit more than countable non-overlapping tee-shapes growing from the x axis in the plane, where a tee-shape is the union of a vertical segment starting from the x axis and a horizontal segment that contains the top of the vertical segment in its middle
09:54:42 <b_jonas> the harder problem was: how many pairwise non-overlapping nails can you fit in 3-space, where a nail is the union of a circular disk and a segment such that the endpoint of the segment is the center of the disk and the two aren't coplanar.
09:55:03 <b_jonas> the latter problme is posed in entry [1842] in that thread
09:56:06 <b_jonas> make the link http://www.komal.hu/forum/forum.cgi?a=to&tid=7&st=50&dr=1&sp=2167 because that's permanent
09:56:21 -!- augur has joined.
09:58:23 <b_jonas> I'll have to review my proof there to give ideas, maybe that will help in the figure 8 shapes.
10:01:09 <b_jonas> wait, apparently that thread also mentions the figure eights
10:01:12 <b_jonas> I'll have to re-read that thread
10:02:41 <shachaf> That thread seems to be in Hungarian.
10:03:18 <shachaf> It's too late for Hungarian.
10:05:12 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
10:05:53 -!- Nithogg_ has quit (Remote host closed the connection).
10:08:03 <b_jonas> where's the figure eight problem on the forum?
10:08:11 <b_jonas> was it brought in from some other thread?
10:22:56 -!- hppavilion[1] has joined.
10:23:41 -!- augur has quit (Ping timeout: 250 seconds).
10:24:29 <b_jonas> it seems like there's no reference to the figure eight problem in that thread, except one throwaway mention by me
10:24:40 <b_jonas> that means I'd heard that version before but forgot
10:29:08 -!- augur has joined.
10:36:52 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
10:43:20 -!- LKoen has joined.
10:51:53 <b_jonas> int-e, \oren\: I just found a mention of that sum of two periodic functions problem on that forum (man, this forum has lots of folklore problems):
10:54:41 <b_jonas> https://cornellmath.wordpress.com/2008/01/22/periodic-functions-problem/ linked from post [2796] in http://www.komal.hu/forum/forum.cgi?a=to&tid=7&st=50&dr=1&sp=1217
10:59:24 <b_jonas> and then people even try to give a solution later in the thread
11:06:04 -!- hppavilion[1] has joined.
11:13:52 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
11:23:50 -!- Phantom_Hoover has joined.
11:23:54 -!- Phantom_Hoover has quit (Changing host).
11:23:54 -!- Phantom_Hoover has joined.
11:24:08 -!- boily has joined.
11:31:00 -!- tromp_ has joined.
11:35:26 -!- tromp_ has quit (Ping timeout: 258 seconds).
11:40:48 -!- hppavilion[1] has joined.
12:16:00 <HackEgo> space elevator//Like the shorter and more familiar strings of stringed musical instruments, the cable of a space elevator has a natural resonant frequency.
12:16:42 <b_jonas> Heh, an easy problem from the forum: find two natural numbers m and n such that m + 1 < n, and for every natural number k where m < k < n, 1 < gcd(k, m*n).
12:16:44 <FreeFull> It'll be something super low probably, despite the high tension
12:18:44 <FreeFull> b_jonas: I'm guessing that no case where n = m + 2 will work
12:23:54 <b_jonas> FreeFull: yes, because gcd(m+1, m) = 1 and gcd(n-1, n) = 1, so gcd(m+1, m*(m+2)) = 1 too
12:27:37 <FreeFull> We could replace n with m+k maybe
12:27:51 <FreeFull> Well, not k, some other letter
12:28:09 -!- boily has quit (Quit: READY CHICKEN).
12:32:19 -!- tromp_ has joined.
12:36:34 -!- tromp_ has quit (Ping timeout: 250 seconds).
12:36:39 <b_jonas> oh, that that thread also has the chameleon problem
12:36:43 <b_jonas> I forgot I told that one there
12:37:13 <b_jonas> (I told it with more boring fluff back then, I think I invented the "chameleon" part later.)
12:43:25 -!- augur has quit (Remote host closed the connection).
12:55:20 <b_jonas> Ok wait, so what problems did we leave hanging? the figure eights one, and what else?
12:56:09 -!- Reece` has joined.
12:56:52 <b_jonas> oh, and the regular pentagon in that Euclides game
13:16:32 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
13:23:59 -!- byteflame has quit (Ping timeout: 258 seconds).
13:27:52 -!- sebbu has quit (Ping timeout: 252 seconds).
13:56:15 -!- Zekka has quit (Ping timeout: 264 seconds).
14:03:12 -!- 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.”).
14:13:33 -!- tromp_ has joined.
14:14:24 -!- byteflame has joined.
14:21:43 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
14:35:12 -!- Sgeo has quit (Ping timeout: 276 seconds).
14:51:54 -!- `^_^v has joined.
15:15:50 -!- tromp_ has quit (Remote host closed the connection).
15:17:42 -!- tromp_ has joined.
15:19:09 -!- sebbu has joined.
15:40:05 -!- tromp_ has quit (Remote host closed the connection).
16:20:19 -!- Zekka has joined.
16:25:55 -!- Kaynato has joined.
16:29:50 -!- LKoen has joined.
16:35:27 <b_jonas> http://magic.wizards.com/en/articles/archive/feature/eldritch-moon-update-bulletin-2016-07-28 Eldritch Moon Update Bulletin (M:tG)
16:37:36 -!- centrinia has joined.
16:38:19 -!- gremlins has joined.
16:38:28 <b_jonas> do we have a `rulesupdatebulletinlist ?
16:39:33 -!- Reece` has quit (Ping timeout: 240 seconds).
16:40:34 -!- tromp_ has joined.
16:41:18 <orin> well each figure 8 has a smallest circle surrounding it
16:42:17 <orin> if we can fit countably many figure eights inside that circle, while keeping those figure eights' surrounding circles clear
16:42:48 -!- zzo38 has joined.
16:42:57 <b_jonas> zzo38: http://magic.wizards.com/en/articles/archive/feature/eldritch-moon-update-bulletin-2016-07-28 Eldritch Moon Update Bulletin (M:tG) came out today
16:44:50 <orin> no wait I think that's till countable
16:44:52 -!- tromp_ has quit (Ping timeout: 240 seconds).
16:46:13 <orin> specifically, by going down, left or right I can identify them with trinary decimals
16:46:48 <orin> trinary numbers with a finite decimal expansion
16:47:05 <orin> whatever, a subest of Q!
16:49:10 <orin> how in the name of knuth do you say that properly?
16:49:34 <LKoen> multiples of the inverse of a power of 3
16:49:35 <b_jonas> I suspect there's a proof that you can't get more than countable figure eights that's similar to my proof for the tacks problem. I'll have to think about this.
16:49:59 <LKoen> or trinary numbers with a finite digit expansion
16:50:21 <LKoen> arguably "trinary numbers" is enough, since "decimal number" means a number with finite decimal expansion
16:51:02 <LKoen> numbers with a finite trinary digit expansion*, no need to say trinary twice
16:56:35 -!- Reece` has joined.
16:58:03 -!- gremlins has quit (Ping timeout: 240 seconds).
17:06:29 -!- bauen1_ has joined.
17:08:51 -!- bauen1 has quit (Ping timeout: 250 seconds).
17:12:30 -!- centrinia has quit (Ping timeout: 276 seconds).
17:13:49 <zzo38> The rules prevent double-faced, meldable, and melded permanents from being turned face-down
17:21:17 -!- adu has joined.
17:21:26 -!- Jafet has quit (Quit: WeeChat 1.5).
17:26:51 -!- Zekka has quit (Ping timeout: 264 seconds).
17:28:28 <b_jonas> zzo38: yep, but double-faced and meldable cards can still be put obf face down by manifest
17:38:29 -!- gremlins has joined.
17:39:37 -!- Reece` has quit (Ping timeout: 250 seconds).
17:47:37 <izabera> idea to obfuscate c code: import all the headers, then use macros for purposes they're not intended for
17:48:30 <b_jonas> izabera: sure, you can do that easily with constants
17:48:34 <b_jonas> like, write SEEK_SET instead of 0
17:48:43 <b_jonas> though that sort is mostly surfacial
17:49:17 <orin> separate the code into files, split on unconventional tokens
17:50:19 <izabera> or split constant strings between files
17:50:40 <izabera> in two different files i mean
17:51:13 <orin> any series of tokens that appears twice, make it a file
17:52:05 <izabera> make copies of standard headers and rename them with weird names
17:52:13 <izabera> like time.h -> brainfuck_interpreter.h
17:52:20 <orin> actually, that's not obfuscttion, that would be a form of compression
18:00:47 <b_jonas> izabera: the SEEK_SET thing probably works best with underhanded code, or very clever obfuscation like that ioccc/2000/primenum
18:03:48 <orin> Lately I like to do things like *(struct A*)"binary data here"
18:06:14 -!- atrapado has joined.
18:06:53 <orin> or *(short*)"numbers"
18:07:24 <orin> it certainly makes the code shorter
18:08:55 <orin> because for bytes that are ascii printable, or above 0x7f, you cna just put the raw data in
18:09:15 <orin> (gcc doesn't check that high bytes form vaid utf-8)
18:10:37 <orin> so the only bytes that cause problems are ", \, and some control chars
18:15:41 <orin> Actually, the only control char that really causes problems is \n
18:16:06 <orin> and only in some compilers... it doesn't seem to cause a problem with tcc
18:17:19 <orin> `` echo -e '#include "stdio.h"\nint main(){puts("\n");}' >/tmp/testnl.c
18:17:52 <orin> `` gcc /tmp/testnl.c -o /tmp/testnl
18:17:56 <HackEgo> gcc: error: /tmp/testnl.c: No such file or directory \ gcc: fatal error: no input files \ compilation terminated.
18:19:07 <HackEgo> bin \ dev \ etc \ hackenv \ home \ lib \ lib64 \ opt \ proc \ sbin \ sys \ tmp \ usr
18:19:34 <orin> `` touch /tmp/foo; ls /tmp
18:20:03 <orin> `` echo -e '#include "stdio.h"\nint main(){puts("\n");}' >/tmp/testnl.c; gcc /tmp/testnl.c -o /tmp/testnl
18:20:13 <HackEgo> /tmp/testnl.c: In function ‘main’: \ /tmp/testnl.c:2:17: warning: missing terminating " character [enabled by default] \ /tmp/testnl.c:2:1: error: missing terminating " character \ /tmp/testnl.c:3:1: warning: missing terminating " character [enabled by default] \ /tmp/testnl.c:3:1: error: missing terminating " character \ /tmp/testnl.c:3:1:
18:20:36 <orin> yeah, so gcc complains if there's a newline in a string literal, but tcc doesnt
18:20:57 <orin> `` echo -e '#include "stdio.h"\nint main(){puts("\b");}' >/tmp/testnl.c; gcc /tmp/testnl.c -o /tmp/testnl
18:21:16 <orin> `` echo -e '#include "stdio.h"\nint main(){puts("\0");}' >/tmp/testnl.c; gcc /tmp/testnl.c -o /tmp/testnl
18:21:23 <HackEgo> /tmp/testnl.c: In function ‘main’: \ /tmp/testnl.c:2:17: warning: null character(s) preserved in literal [enabled by default]
18:22:40 <orin> `` echo -e '#include "stdio.h"\nint main(){puts("\213");}' >/tmp/testnl.c; gcc /tmp/testnl.c -o /tmp/testnl
18:26:41 -!- jaboja has joined.
18:28:36 <orin> heh. so basically, you can take the raw data you want, replace \ with \\ and " with \", and put it into your c code.
18:31:37 -!- jaboja has quit (Ping timeout: 250 seconds).
18:31:40 <orin> I wonder if you could do something like ((int(*)())"data")()
18:32:20 <izabera> and "data" is the compiled function?
18:32:59 <b_jonas> orin: yes, but obviously that's grossly non-portable
18:33:21 <izabera> you mean awesomely non-portable
18:33:44 <b_jonas> I've done things like that in geordi a few times
18:34:28 <b_jonas> mind you, it doesn't work just like that
18:34:36 <b_jonas> because the string will be loaded to a non-executable page
18:34:43 <b_jonas> (on newer cpus where that sort of thing exists)
18:34:49 <b_jonas> so you have to copy it to an mmapped page first
18:34:59 <b_jonas> which is really awkward in geordi, but possible
18:35:39 <shachaf> You can always const char main = {...};
18:35:44 <shachaf> Er, const char main[] = {...};
18:38:54 <b_jonas> oh no! the rumours are true!
18:38:57 -!- adu has quit (Quit: adu).
18:41:20 -!- tromp_ has joined.
18:44:36 -!- jaboja has joined.
18:45:34 -!- tromp_ has quit (Ping timeout: 244 seconds).
18:48:48 -!- Zekka has joined.
18:49:26 -!- LKoen has quit (Remote host closed the connection).
19:10:12 -!- jaboja has quit (Remote host closed the connection).
19:10:47 <HackEgo> diet//People go on diets to loose weight instead of gaining. It gives them a consistant diet.
19:11:03 <HackEgo> <tswett> sed -i \'s/lose/loose/\' wisdom/diet \ <tswett> sed -i \'s/loose/lose/\' wisdom/diet \ <int-e> revert accbc9c5c7ec \ <ais523> echo wisdom/* | shuf | head -n 10 | xargs rm \ <oerjan> revert \ <elliott> revert 1 \ <oerjan> sed -i \'s/^diets //\' wisdom/diet \ <FireFly> learn diets People go on diets to loose weight instead of gaining. It
19:11:46 -!- LKoen has joined.
19:12:33 -!- gremlins has quit (Ping timeout: 240 seconds).
19:12:52 <HackEgo> study//A study is mostly useless until backed up by further studies. See studies.
19:12:52 <HackEgo> potcoin wilsecoin chatiacoin dumberinicoin mismcoin hallcoin eboutcoin chacoin fractiocoin tnburrocoin brzicoin horianothecoin combcoin codeancoin waddlycoin lyoxcoin borimacoin noilandcoin modatingcoin bucometacoin
19:13:53 <HackEgo> Studies show lots of things. Nobody reads them, though. Also: this study contradicts this other study.
19:14:09 <int-e> I was sort of hoping for a diatcoin
19:15:21 <quintopia> int-e: eat your bucometacoin can be happy you're not starving like those kids in china
19:16:52 -!- Elronnd has changed nick to khoRIO.
19:17:11 -!- khoRIO has changed nick to Elronnd.
19:17:14 <HackEgo> hagb4rd//hagb4rd is one spacey fellow. Spaaaaaaaaaaaaaaace.
19:17:33 <int-e> hmm, apparently they had big trouble in 1959-1961, that might explain a few things
19:17:37 <HackEgo> off by two//An off by two error is what happens when you expect an off by one error but compensate in the wrong direction.
19:17:57 <HackEgo> <shachaf> ` for w in wisdom i hppavilion1; do hg cat -r 5714 wisdom/"$w" > wisdom/"$w"; done \ <ZombieCheney> learn I am not a bot \ <oerjan> revert \ <elliott> revert 1 \ <Bike> revert \ <FreeFull> for x in wisdom/*; do rev "$x" > "$x"a; mv "$x"a "$x"; done \ <ais523> revert 87c64ef250a0 \ <ais523> revert 3 \ <shachaf> learn i love monoids
19:20:51 <int-e> Yeah I believe the phrase can be traced to those years.
19:22:02 <shachaf> `cat wisdom/¯\(°_o)/¯\(°_o)a
19:22:05 <HackEgo> Y is a commune in France. There's nothing funny about this.
19:22:14 <HackEgo> <oerjan> revert \ <elliott> revert 1 \ <FreeFull> for x in wisdom/*; do tac "$x" > "$x"a; mv "$x"a "$x"; done
19:22:30 <shachaf> `rm wisdom/¯\(°_o)/¯\(°_o)a
19:22:39 <HackEgo> =@ccc//=@ccc is a great innovation in gcc 6, kept top secret, where inline asm statements can return a value in the carry flag on x86_64. See https://gcc.gnu.org/gcc-6/changes.html which keeps this secret, https://gcc.gnu.org/onlinedocs/gcc-6.1.0/gcc/Extended-Asm.html , http://article.gmane.org/gmane.linux.kernel/2238065 .
19:23:21 <int-e> . o O ( learn_append y Just don't ask why. )
19:23:38 <shachaf> y is learn_append space-separated
19:23:54 <int-e> . o O ( But I imagine shachaf would disapprove of that addition. )
19:24:58 <int-e> learn_append predates the trend to chop up text with vicious slashes.
19:25:25 <shachaf> I guess there's le/rn_append
19:26:37 <shachaf> I kind of want to go through everything and standardize on // separation, though.
19:26:44 <shachaf> It's too confusing to remember what uses / and what uses //
19:26:52 <shachaf> And // is the correct separator anyway.
19:26:53 <int-e> I/T/Y/M//S/l/a/s/h/e/s//a/r/e//g/r/e/a/t/.
19:27:21 <shachaf> quite the itymologist, aren't you
19:27:23 <int-e> We need a command that uses ///
19:27:49 <int-e> ITYM is the best thing since slashed bread.
19:28:48 <int-e> (hmm, I could've written b/r/e/a/d)
19:30:40 <int-e> obiously if you end up with //////// then you've sliced the bread too thin
19:33:38 <HackEgo> itym "i think you mean" hth
19:36:57 <HackEgo> hth is help received from a hairy toe. It is not at all hambiguitous.
19:37:07 <HackEgo> persistence//Taneb invented persistence long ago, and it's been around ever since.
19:39:27 <HackEgo> te sting//This is horrible?
19:39:41 <HackEgo> <shachaf> revert \ <shachaf> le/rn Te sting/Did you mean "The sting"? \ <oerjan> le/rn Te sting/This is horrible?
19:40:03 <shachaf> oerjan: what's that all about twh
19:40:07 <HackEgo> bbc//The BBC is the BreadBox Corporation. Its inventions include, without limitation, Muppets, tiny elfs, and villages in Norway. Taneb invented it.
19:40:15 <HackEgo> tanea//Tanea plays Minecrafs, Dware Fortresr, and lives in Yorj.
19:40:36 <HackEgo> dereduntantation//Dereduntantation is the process of making things less redundant. It is typically done with either regexes or regular expressions.
19:40:47 <HackEgo> finland//Finland is a European country. There are two people in Finland, and at least nine of them are in this channel. Corun drives the bus.
19:40:52 <HackEgo> html//HTML is short for "hope this mess loads".
19:40:59 <HackEgo> wikipedia//Wikipedia is a bit like TVTropes but in more languages.
19:41:05 <HackEgo> morse//-- ..- .-. ... ..- / --- -. / ... ..- ..- .-. .. -.- --- -.- --- .. -. . -. / ..-. . ... .. . .-.. .-.- -- .-.- .-.- -. / ... --- .--. . ..- - ..- -. ..- - / .- .-. -.- - .. -. . -. / -. ... .-.- -.- .-.- ... .-.. .- .--- ..
19:42:05 -!- tromp_ has joined.
19:43:21 -!- Reece` has joined.
19:46:11 -!- tromp_ has quit (Ping timeout: 244 seconds).
19:52:47 <quintopia> why does corun drives the bus. i feel like fizzie has earned that privilege
20:00:15 <quintopia> shachaf: do you actually know any more of fizzie's life story than is provided on his website twh?
20:00:32 <shachaf> Are you asking me whether that would help?
20:01:26 <shachaf> I know only what I've been told.
20:01:52 <quintopia> were you told when fizzie left finland?
20:02:58 <fizzie> quintopia: January 2015.
20:03:07 <fizzie> So about a year and a half ago.
20:03:58 -!- augur has joined.
20:04:18 <lambdabot> EGLL 281850Z AUTO 21009KT 150V250 9999 FEW015 20/17 Q1012 NOSIG
20:04:26 <lambdabot> KOAK 281853Z 28009KT 10SM FEW018 SCT180 21/13 A2992 RMK AO2 SLP132 T02060128
20:04:29 <lambdabot> KPHX 281851Z 05004KT 10SM FEW095 SCT180 SCT250 39/14 A2984 RMK AO2 SLP083 T03940144
20:04:54 <lambdabot> KBOS 281854Z 11008KT 10SM FEW055 OVC200 30/18 A2983 RMK AO2 SLP100 T03000178
20:06:55 <quintopia> fizzie: oh i didn't know you had officially published a page for the GRASP2
20:07:37 <quintopia> it looks a lot like a language i've been working on, but very different design goal
20:22:34 <shachaf> fizzie: Were in you Boston already or is that coming up?
20:23:54 -!- wob_jonas has joined.
20:24:42 <HackEgo> fizzie is not fnord with a monad but the sneaky king of #esoteric, see http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/src/fizziecoin.jpg
20:25:00 <shachaf> `sled fizzie//s#http.*#https://zem.fi/static/img/square_fizzie_320px_white.jpg#
20:25:35 <shachaf> `slwd fizzie//s#http.*#https://zem.fi/static/img/square_fizzie_320px_white.jpg#
20:25:41 <HackEgo> wisdom/fizzie//fizzie is not fnord with a monad but the sneaky king of #esoteric, see https://zem.fi/static/img/square_fizzie_320px_white.jpg
20:26:52 -!- centrinia has joined.
20:30:08 <fizzie> shachaf: Boston (well, Cambridge; and then Chicago) is next month.
20:30:31 <shachaf> Cambridge is practically next door.
20:33:57 -!- FreeFull has quit (Ping timeout: 260 seconds).
20:34:36 -!- FreeFull has joined.
20:36:08 <shachaf> fizzie: what sort of build system should i use for things
20:38:20 -!- centrinia has quit (Quit: Leaving).
20:58:27 -!- gamemanj has quit (Quit: Leaving).
21:04:32 <izabera> where is this documented??? D:
21:06:52 -!- Reece` has quit (Ping timeout: 265 seconds).
21:10:38 <izabera> i don't know if this is a bug or intentional and i don't know whether to reproduce it in my getopt
21:14:31 -!- adu has joined.
21:20:42 <orin> bash's line editing goes all derpy when I use it through screen
21:22:05 <orin> specifically, it goes all derpy when used through screen, when the command is longer than the width of the terminal
21:22:32 <wob_jonas> orin: are you sure your terminfo is right?
21:23:39 <orin> probably it isn't
21:24:19 <wob_jonas> orin: does bash's readline just fall back to dumb terminal handling, where it outputs only one lineful of your input and refreshes it with \r and \b ?
21:24:38 <wob_jonas> and does this happen even if your input includes only ascii characters?
21:24:42 <orin> wob_jonas: it sort of jumps all over the screen
21:25:50 <orin> the prompt moves up the screen while my cursor and some of the text remains where it is
21:26:18 <orin> I think it's trying to do something advanced that screen doesn't support
21:26:18 <wob_jonas> orin: what happens if you only have ascii input?
21:26:51 <wob_jonas> orin: also, does it get fixed if you ask screen (but not bash) to redraw the screen? that would help decide if the problem is above or below screen
21:27:22 <wob_jonas> orin: oh, and also, does this persist even after you run some no-op commands in that bash and start a new input line?
21:27:34 <quintopia> so let's talk about a different thing
21:27:44 <orin> If I just type gibberish, it work fine until it reaches the side at which point the cursor stops and nothing else it shown even if I keep typing
21:28:28 <orin> whereas when I press up and down, the prompt jump up while the cursor stays where it is
21:28:40 <wob_jonas> orin: also, try shopt -o checkwinsize
21:28:45 <wob_jonas> then some dummy commands and then try again
21:28:55 <wob_jonas> then some dummy commands and then try again
21:30:12 <orin> the buggy behaviour persists
21:31:00 <wob_jonas> orin: is it possible that screen is confused about the width of the terminal above it?
21:31:21 <orin> I doubt it, the terminal above it is also a screen
21:31:53 <orin> There's two screens, and then mac os x's terminal
21:32:29 <wob_jonas> orin: this isn't some ancient buggy version of bash or of ncurses, right?
21:32:33 <orin> basically, terminal -> screen -> ssh -> screen -> bash
21:33:03 <wob_jonas> I don't really have any easy ideas to debug this then
21:33:27 <orin> 4.1.2(1)-release
21:33:40 <orin> that's the version of bash at the endpoint
21:34:12 <wob_jonas> could the terminfos be messed up? what's the inner TERM that bash sees?
21:34:51 <orin> the inner term is just "screen"
21:35:22 <orin> both screens are 4.00.03
21:37:37 <orin> hmm based on googling maybe it's my promt
21:38:47 <wob_jonas> change your prompt to PS1=\$\ and start with an input line where the cursor is at the start of the screen line (the previous program hasn't printed an incomplete line),
21:39:27 <wob_jonas> and if you want to use your prompt, add '\[ \]' or whatever the magical marker is to tell about invisible characters in your prompt
21:40:24 <orin> nope, even with PS1='$ ' the behaviour persists
21:42:47 <orin> actually, the behaviour also occurs in ed!
21:43:49 <orin> maybe something is wrong with the TERM that screen is seeing at the top
21:44:43 <orin> I very much doubt that mac os's temrinal supports all of xterm functionality
21:46:48 <orin> lets try setting it different
21:49:56 <orin> bash works fine through the first screen but not the second.
21:51:23 <orin> which implies that screen's support for the TERM=screen is bad
21:52:02 <wob_jonas> orin: no, that's not what it implies
21:53:56 <orin> wob_jonas: what does it imply?
21:54:40 <orin> well, I suppose I can try doing without the outer screen
21:55:41 <orin> ssh -> screen ->bash works
21:55:54 <orin> screen -> bash works
21:56:13 <orin> but screen -> ssh -> screen -> bash doesn't work
21:57:42 <orin> and screen -> ssh -> bash doesn't work
21:58:53 <orin> somehow ssh doesn't work well with an outer screen when transmitting bash?
22:00:10 <quintopia> i don't understand why you would want to?
22:01:17 <orin> quintopia: so I can have several outer screens (such as this one, and the one to the server), and several inner screens on the server?
22:02:08 <wob_jonas> you can do that, sure. many people use two screens one inside another.
22:02:17 <orin> of course, my irssi is doing screen -> ssh -> tmux -> irssi
22:02:18 <wob_jonas> I rarely do that, but you certainly can do it
22:02:27 <orin> and that seems to have no problems
22:02:46 <orin> it's just the screen that has some porblems
22:03:04 <orin> maybe if I use an outer tmux instead of an outer screen?
22:07:09 -!- ParadigmMind has joined.
22:07:23 -!- ParadigmMind has left.
22:32:44 -!- byteflame has quit (Quit: leaving).
22:32:55 -!- byteflame has joined.
22:33:32 <orin> Ok, using an outer tmux works great
22:34:01 <HackEgo> orin is oren's evil twin, stalking him from the other side of the international date line.
22:35:52 <orin> `learn tmux is a way to have tabs in your terminal without having tabs in your terminal.
22:35:57 <HackEgo> Learned 'tmux': tmux is a way to have tabs in your terminal without having tabs in your terminal.
22:36:10 <shachaf> why is that a wisdom entry?
22:36:14 <shachaf> i've half a mind to delete it right now
22:36:19 -!- byteflame has quit (Client Quit).
22:36:30 -!- byteflame has joined.
22:37:01 <orin> `learn tmux is a way to have tabs in your terminal without having bash barf all over your screen.
22:37:04 <HackEgo> Relearned 'tmux': tmux is a way to have tabs in your terminal without having bash barf all over your screen.
22:37:26 -!- byteflame has quit (Client Quit).
22:37:31 <shachaf> you should take wisdom lessons from oerjan
22:37:36 -!- byteflame has joined.
22:38:24 <HackEgo> wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø?
22:38:33 -!- byteflame has quit (Client Quit).
22:39:00 -!- byteflame has joined.
22:39:00 -!- byteflame has quit (Client Quit).
22:39:13 -!- byteflame has joined.
22:39:14 <shachaf> `slwd wisdom//s#with#with,#
22:39:17 <HackEgo> wisdom/wisdom//wisdom is always factually accurate, except for this entry, and uh that other one? it started with, like, an ø?
22:39:44 <orin> `learn tmux is a way to have tabs in your terminal without having bash barf all over your screen. It allows the character 🀤 to appear.
22:39:47 <HackEgo> Relearned 'tmux': tmux is a way to have tabs in your terminal without having bash barf all over your screen. It allows the character 🀤 to appear.
22:39:50 <shachaf> `slwd wisdom//s# uh #, uh, #
22:39:53 <HackEgo> wisdom/wisdom//wisdom is always factually accurate, except for this entry, and, uh, that other one? it started with, like, an ø?
22:41:09 <HackEgo> vi is in a relationship with emacs.
22:41:20 <HackEgo> emacs is the weird brother of nano.
22:41:59 -!- Sgeo has joined.
22:42:04 <HackEgo> pico is the useless twin of nano.
22:42:11 -!- byteflame has quit (Client Quit).
22:42:20 -!- byteflame has joined.
22:42:27 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: cwlprit: not found
22:43:43 -!- byteflame has quit (Client Quit).
22:43:58 -!- byteflame has joined.
22:45:59 <Sgeo> So, in terms of how expensive one 'mana' is, I think Hearthstone < Magic < Pokemon. Hearthstone gives you guaranteed increase one per turn. Magic has that potential but it relies on actually having a card, also different mana colors complicate things. Pokemon also relies on having a card, but you have to choose what can use it and it's difficult to change that later
22:46:59 -!- adu has quit (Quit: adu).
22:47:16 -!- Phantom_Hoover has left ("Leaving").
22:47:24 -!- Phantom_Hoover has joined.
22:47:27 -!- byteflame has quit (Client Quit).
22:47:50 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `echo: not found
22:49:35 <HackEgo> /hackenv/bin/`: line 4: /bin/cwlprit: Read-only file system
22:49:36 <orin> shachaf: I think he's trying to make a shell scripot
22:50:08 <HackEgo> chmod: missing operand after `+x bin/cwlprit' \ Try `chmod --help' for more information.
22:50:14 <shachaf> there are so many broken things in what you're doing, though
22:50:42 <shachaf> `` echo "culprit $@ | tr ui wy"
22:50:43 <HackEgo> culprit echo "culprit $@ | tr ui wy" | tr ui wy
22:50:57 <shachaf> why wouldn't you just use mkx
22:51:12 <shachaf> this way you make a new hg commit for every line of the script
22:51:38 <shachaf> you don't even need the #!/bin/sh line, since +x files are automatically treated as shell scripts
22:52:00 <orin> shachaf: nOwun nOs al thEs tUls yU kEp mAkiG
22:52:40 <shachaf> i can't tidy up commit history, that's for sure
22:52:57 <shachaf> anyway your escaping was completely broken
22:53:04 <shachaf> and you didn't put quotes around $@, either
22:53:47 <shachaf> we should institute mandatory code review for HackEgo
23:26:17 -!- hppavilion[1] has joined.
23:26:25 -!- augur has quit (Remote host closed the connection).
23:41:10 -!- `^_^v has quit (Quit: This computer has gone to sleep).
23:43:23 -!- tromp_ has joined.
23:43:44 -!- atrapado has quit (Quit: Leaving).
23:48:17 <izabera> nnnnnootttrreeeeeaaaallllyyyy
23:48:21 -!- tromp_ has quit (Ping timeout: 276 seconds).
23:48:32 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
23:49:38 <LKoen> yes quintopia when do you start playing go?
23:49:41 <LKoen> you're long overdue