00:06:05 -!- Tod-Autojoined has joined.
00:06:12 -!- TodPunk has quit (Read error: Connection reset by peer).
00:43:12 -!- augur has quit (Remote host closed the connection).
00:48:19 -!- zzo38 has joined.
00:48:50 <zzo38> I saw the message already
00:48:50 <lambdabot> zzo38: You have 1 new message. '/msg lambdabot @messages' to read it.
01:00:03 <zzo38> Yes I know, I saw this message already.
01:09:16 -!- Tod-Autojoined has changed nick to TodPunk.
01:15:05 <zzo38> For some categories, can you have, a fully faithful functor from that category to the free category of a subset of that category's quiver
01:15:35 <zzo38> Does this have a shorter name?
01:16:38 <zzo38> And then, if you have the variant with cancelling, does that have another name?
01:22:30 -!- augur has joined.
01:31:13 <zzo38> Do you know what I am meaning?
01:31:52 <zzo38> Do you know about category theory?
01:31:57 <shachaf> Any idea why the BWTed version is significantly less compressible than the input in <http://sprunge.us/AiIC>?
01:35:00 <zzo38> shachaf: Does it depend what compression scheme?
01:35:24 <shachaf> In this case it's PNG (DEFLATE).
01:35:33 <shachaf> But every compression program I tried did better with the input.
01:41:30 -!- Patashu has joined.
02:20:31 -!- pikhq has joined.
02:20:43 -!- pikhq_ has quit (Ping timeout: 250 seconds).
02:22:31 <zzo38> What is the most number of times you have ever retreated in a single turn in Pokemon Card? (not counting cases in which your active pokemon is confused)
02:34:25 <zzo38> As far as I remember, the most I have done is two times, although I have made a puzzle requiring three times.
02:42:14 -!- variable has changed nick to const.
03:05:25 -!- itidus20 has changed nick to sa_nwonk_won_si.
03:06:08 -!- sa_nwonk_won_si has changed nick to sa_nwonk_won_si_.
03:07:03 -!- sa_nwonk_won_si_ has changed nick to itidus21.
03:36:07 <ais523> zzo38: I think I've retreated hundreds of times in a turn, using two Pokémon with zero retreat cost, just because I could, not for any good reason
03:40:05 <zzo38> ais523: OK; but how many have you done for some good reason?
03:41:30 <zzo38> I have done twice sometimes in order to remove the energy from some other card, which was sometimes useful. Have you ever played an evolution card but then never used any of the evolution card's attacks or powers?
03:42:09 <zzo38> ais523: Can you make up any Pokemon Card puzzle? I made two but I would like to know if you have any, too.
03:42:43 <ais523> zzo38: not really, I'm not used to which cards are which and you wouldn't know the modern cards anyway
03:42:51 <ais523> and I don't really play the card game, I'm more used to the video game
03:44:33 <zzo38> ais523: To make up the satisfactory puzzle, the cards don't matter as long as the old rules are used and all card texts are included. (Make up your own cards if you wish; I recommend naming them CUSTOM 1, CUSTOM 2, DARK CUSTOM 1; and then add levels if necessary for multiple different cards of same name)
03:44:50 <const> does a Aperiodic finite state automaton mean that the graph is cycle free ? because any cycle would in theory create a period wouldn't it ?
03:45:34 <zzo38> ais523: Also, I made two puzzles only so far have you seen them or solved them yet?
03:45:42 <const> oh, from wikipedia Equivalently, a graph is aperiodic if the greatest common divisor of the lengths of its cycles is one;
03:45:48 <const> I don't understand why
03:46:12 <ais523> not sure quite what "aperiodic" means in this context
03:46:25 <const> ais523: the transition function is aperiodic
03:46:39 <const> (a subset of DFAs)
03:46:58 <ais523> aperiodic with what input?
03:47:06 <ais523> given that it's finite, it's got to repeat eventually
03:47:36 <const> ais523: tbh, I'm not fully certain
03:47:43 * const is going based off of wikipedia https://en.wikipedia.org/wiki/Aperiodic_finite_state_automaton
03:49:25 <ais523> oh, follow the "aperiodic" link; it's talking about aperiodic monoids
03:50:09 <const> I'm trying to understand that in terms of the graph of the DFA
03:50:56 <const> ie, the wikipedia article is in term of group theory and I'm trying to understand in terms of a graph
03:51:14 <ais523> the definition in terms of regular languages is interesting
03:51:25 <const> sure, I'll take that
03:51:56 <const> as far as I understand it, its 'any regular language that can be expressed without a *' but I have a feeling that isn't very technical
03:52:49 <ais523> yes, because it allows the complement operation, and you can get infinite sets that way
03:53:09 <const> ais523: what is the definition in terms of regular languages ?
03:53:32 <ais523> basically, any regular language that can be defined using only concatenation, alternation, and complements
03:54:50 <const> ais523: that is basically what I got from 'star free'
03:55:03 <const> but good to know I understood it correctly :)
03:55:13 <ais523> I'm not sure complements are normally allowed in the definition
03:55:44 <const> actually, they can't be
03:55:57 <const> because union + compliment -> a much larger set
03:56:00 <const> oh wait, thats for PDA
03:56:05 <const> meh, they might be
03:56:56 <const> normally we have union, concat, and star
04:07:11 <zzo38> ais523: Do you know the answer to my question relating to category theory? Also, are you able to solve either of my Pokemon Card puzzles?
04:07:24 <ais523> zzo38: I looked at them earlier, don't really want to look at them again
04:07:55 -!- MDude has changed nick to MSleep.
04:12:38 -!- MSleep has quit (Ping timeout: 240 seconds).
04:32:06 -!- ellisonch has quit (Ping timeout: 246 seconds).
04:46:10 -!- Tod-Autojoined has joined.
04:48:17 -!- ellisonch has joined.
04:49:19 -!- TodPunk has quit (Ping timeout: 260 seconds).
05:22:32 -!- asiekierka has joined.
05:39:10 -!- Deewiant has quit (Ping timeout: 252 seconds).
05:39:36 -!- calamari has joined.
05:44:09 -!- Deewiant has joined.
06:46:52 -!- impomatic has quit (Quit: impomatic).
07:18:15 <oklopol> ais523: what do you mean by alternation?
07:18:24 <zzo38> coppro: What is that?
07:19:36 <Sgeo> zzo38, the thing starting with / is probably the command in coppro's client to switch to another ... thingy (channel or other thing, "window" I guess)
07:20:01 <Sgeo> Seeing coppro use irssi and having a vague recollection that irssi does that seems to reaffirm my belief
07:20:17 <fizzie> /win some, /lose some.
07:20:30 <pikhq> It's short for /window
07:20:42 <oklopol> complements are usually not allowed in regexps, because the whole beautiful point is that out of building operations, intersection and concatenation emerge by magic.
07:21:14 <pikhq> irssi lets you type unambiguous prefixes of its commands.
07:21:26 <pikhq> Erm, no, that doesn't quite explain it.
07:21:42 <pikhq> Cause /n is /nicks, but there's more commands starting in n.
07:21:53 <fizzie> That's because /n is a (default) alias.
07:22:15 <fizzie> But /win isn't one, presumably because it doesn't need to be.
07:22:45 <pikhq> So, unambiguous prefixes plus some aliases.
07:22:49 <pikhq> Kay, actually makes sense.
07:23:42 <fizzie> Sadly, you can't use unambiguous prefixes of aliases. (Well, maybe it's not that sad.)
07:23:45 <zzo38> But there is a ASCII DELETE sign before the slash
07:25:40 <pikhq> Shame that's not getting rendered nicely here.
07:25:57 <pikhq> Utterly invisible, in fact.
07:26:10 <Sgeo> I see a something there
07:26:29 <Sgeo> Either that or 667F, anyways
07:26:37 * Sgeo wonders what 667F is
07:26:41 <zzo38> The ASCII DELETE code is 007F
07:27:46 <shachaf> Why doesn't my listofUnicodecharacters have U+667F?
07:27:53 <shachaf> As well as a bunch of others.
07:28:08 <shachaf> Also, why are my fonts broken?
07:28:14 <pikhq> Probably omits the CJK space for convenience.
07:28:15 <shachaf> They don't show important characters like ಠ.
07:28:34 <shachaf> Well, it has *some* CJK characters.
07:28:47 <shachaf> Ah, looks like it's mostly radicals and strokes and such.
07:28:48 <kmc> i,i unicode big indian
07:29:04 <Sgeo> I need to stop reading the Fark Politics tab
07:29:19 <ais523> oklopol: alternation = A or B
07:29:23 <pikhq> I am sleep deprived. It is 1:30. I see no connection between these two facts. :P
07:32:02 <shachaf> kmc: Now I want to start a store selling various mind-altering substances just so I can call it the Psychedeli.
07:32:11 <shachaf> Hmm, apparently that name is taken. Never mind.
07:34:31 <shachaf> I like to think of "I,I" as an owl face.
07:37:56 <shachaf> Does it still work with lower-case 'i's?
07:38:09 <kmc> i'm not sure about an owl specifically
07:38:11 <kmc> but it's a face anyway
07:41:06 <zzo38> pikhq: Is it daylight saving time in your area?
07:41:17 <pikhq> zzo38: Unfortunately!
07:41:58 <zzo38> pikhq: That is why you are sleep deprived, then.
07:42:26 <pikhq> DST initiated weeks ago.
07:42:45 <pikhq> I still hate the misanthropic bastards who keep it alive, mind you.
07:43:01 <zzo38> I also don't like daylight saving time
07:43:56 <Sgeo> What would happen if everyone just used 12:00 to mean GMT midnight
07:44:14 <Sgeo> No more fiddling with timezones, I mean
07:44:48 <pikhq> We'd see a sudden influx of unicorns farting rainbows, and manly men weeping tears of joy.
07:44:58 <zzo38> Sgeo: Then it may correspond approximately to the hour angle of the sun, I guess (hour angle of sun is 00:00 at solar noon)
07:45:21 <pikhq> Assuming by GMT you actually meant UTC.
07:46:11 <zzo38> It corresponds to the Greenwich hour angle, not the local hour angle anymore
07:46:12 <pikhq> I'm afraid my computer hates mean solar time, regardless of the meridian used.
07:46:28 <Sgeo> pikhq, I'm somewhat uncertain as to the difference? Something to do with leap seconds?
07:46:56 <pikhq> Sgeo: GMT is defined as the mean solar time at Greenwich.
07:46:57 <zzo38> Timekeeping on computer should be signed 64-bit UNIX time in my opinion.
07:47:34 <Sgeo> What's UTC then?
07:48:08 <pikhq> UTC is defined by TAI, International Atomic Time, with leap seconds to keep it within a second of the mean solar time at 0° longitude.
07:49:09 <pikhq> Unlike GMT, UTC has the nice property that one second is an SI second, not a 60th of a 60th of a 24th of the day, whatever the hell that ends up actually being at the time.
07:49:47 <Sgeo> And I am aware that a second is defined in terms of ... some atomic thing
07:49:52 <zzo38> Yes, the SI second is better
07:49:57 <Sgeo> Something to do with cesium, iirc?
07:50:03 <zzo38> SI units are usually better in general
07:51:15 <pikhq> It's the period of time from some number of cycles of the light emitted from cesium during one of its electron transitions.
07:57:25 <zzo38> Were you looking for setup program for Visgopher? I do have it available now.
08:11:08 <fizzie> If "listofUnicodecharacters" equals UnicodeData.txt, "[t]here are nine special ranges of characters that are represented only by their start and end characters, since the properties in the file are uniform, except for code values (which are all sequential and assigned) -- CJK Ideographs (U+4E00 - U+9FA5)"
08:19:53 -!- asiekierka has left ("Wychodzi").
08:35:36 -!- jix has joined.
09:00:51 <kmc> shachaf: there is already a stoner-themed sandwich shop chain
09:01:28 <kmc> http://chebahut.com/
09:02:10 <kmc> http://azdailysun.com/news/local/crime-and-courts/sub-shop-driver-hits-pot-hole/article_eb8e9f25-ed3e-551a-8bad-64638cd94d2c.html
09:04:34 <kmc> zzo38: what do you think of Random Standard Time? it's a local dialect of EST where 00:00 through 05:59 are spelled as 24:00 through 29:59
09:05:09 <kmc> (I am not sure if RST switches to EDT or if it's called Random Daylight Time then)
09:05:12 <zzo38> kmc: What is the purpose of that?
09:05:33 <kmc> to shift the day rollover to a time when people are less likely to be awake
09:05:57 <zzo38> I was thinking that might be a reason
09:06:12 <kmc> to avoid confusion between "day" as an aligned 24h interval and "day" as a contiguous period of wakefulness
09:06:39 <kmc> sighsof(shachaf)
09:07:09 <zzo38> Well, use it if it helps you; because of the way the time is written, it is clear what is meant and should not result in anything ambiguous. You simply add hour after midnight same way both ways
09:09:40 <shachaf> kmc: That sounds like a good name for a website where I list C-related annoyances.
09:11:46 -!- oerjan has joined.
09:11:56 <kmc> Julian Assange has a talk show now and it's on Hulu
09:12:56 <kmc> flight tomorrow afternoon
09:13:03 <shachaf> Is Californiamusicthing over?
09:13:44 <kmc> getting home from it: car train bus train train cab bus train train plane bus train
09:13:47 <kmc> not optimal
09:13:58 <shachaf> I do not recollect ever having used the word "yeah". Odd.
09:14:20 <kmc> i saw Godspeed You! Black Emperor live
09:14:26 <kmc> it is hard to tell when the soundcheck ends and the set begins
09:16:20 <shachaf> I have the feeling the ptrace gremlins and their time machine are making the API worse every time I look at it.
09:16:39 <kmc> there were a lot of good shows
09:16:43 <kmc> The Black Keys were excellent
09:17:18 <shachaf> Sometimes I wish I didn't not-stand almost all music with drums in the background.
09:17:33 <shachaf> (Other times I feel smugly superior about it, because if you don't enjoy something, then why not?)
09:18:07 <kmc> why not milk it for some smug superiority, you mean?
09:18:35 <shachaf> If I don't like it then it's obviously bad, and people who do like it are obviously bad people.
09:19:13 <kmc> that's how it works
09:23:28 <kmc> in this episode, Julian Assange and his guest prank call David Horowitz at home
09:23:40 <kmc> and he repays them by unleashing a stream of weapons grade crazy
09:26:00 -!- calamari has quit (Quit: Leaving).
09:28:41 <kmc> and assange just watches with this face like, "trolled"
09:29:37 <kmc> i would repeat some of it here but i think it would count as trolling-by-proxy
09:31:00 -!- oerjan has quit (Quit: Lost terminal).
09:45:14 <kmc> this is really funny if you ignore the fact that Horowitz is serious and there are millions of people who agree with him
09:50:04 <shachaf> Is there an actual spec for D?
09:50:47 <zzo38> Who is Horowitz and what are these prank calls about?
09:52:09 <kmc> it's not actually a prank call
10:06:03 -!- cheater_ has joined.
10:06:50 -!- derdon has joined.
10:09:14 -!- cheater has quit (Ping timeout: 272 seconds).
10:22:01 -!- zzo38 has quit (Quit: I am not actually a prank call.).
11:02:34 -!- ais523 has quit (Remote host closed the connection).
11:32:56 -!- nortti has joined.
11:39:36 -!- derdon has quit (Remote host closed the connection).
11:47:53 -!- TeruFSX has quit (Ping timeout: 260 seconds).
11:48:58 -!- Phantom_Hoover has joined.
12:36:20 -!- augur has quit (Remote host closed the connection).
13:14:26 -!- augur has joined.
13:16:57 -!- nortti has quit (Quit: leaving).
13:21:23 -!- Madoka-Kaname has quit (Quit: Hug~♪).
13:21:29 -!- Madoka-Kaname has joined.
13:21:29 -!- Madoka-Kaname has quit (Changing host).
13:21:29 -!- Madoka-Kaname has joined.
13:21:55 -!- Madoka-Kaname has quit (Client Quit).
13:27:18 -!- elliott has joined.
13:29:11 <elliott> 19:13:35: <ion> I slept for 17 hours.
13:29:12 <elliott> 19:14:18: <oklopol> ion: hey i did that a few weeks ago
13:29:12 <elliott> 19:14:27: <oklopol> 18 is my record
13:29:20 <elliott> ion: oklopol: mine's 21, iirc
13:34:09 <elliott> 07:45:21: <pikhq> Assuming by GMT you actually meant UTC.
13:34:12 <elliott> pikhq: GMT is UTC these days.
13:34:18 <elliott> 07:43:56: <Sgeo> What would happen if everyone just used 12:00 to mean GMT midnight
13:34:18 <elliott> 07:44:14: <Sgeo> No more fiddling with timezones, I mean
13:34:29 <elliott> 07:46:28: <Sgeo> pikhq, I'm somewhat uncertain as to the difference? Something to do with leap seconds?
13:34:29 <elliott> 07:46:56: <pikhq> Sgeo: GMT is defined as the mean solar time at Greenwich.
13:34:36 <elliott> pikhq: Sgeo: No, it is not.
13:37:54 <elliott> `addquote <kmc> i saw Godspeed You! Black Emperor live <kmc> it is hard to tell when the soundcheck ends and the set begins
13:38:04 <HackEgo> 846) <kmc> i saw Godspeed You! Black Emperor live <kmc> it is hard to tell when the soundcheck ends and the set begins
13:39:35 -!- MDude has joined.
13:41:48 -!- Tod-Autojoined has changed nick to TodPunk.
14:16:24 -!- yasar has joined.
14:26:31 -!- nortti has joined.
14:29:16 -!- nortti has quit (Client Quit).
14:29:32 -!- nortti has joined.
14:32:42 -!- ellisonch has quit (Read error: Connection reset by peer).
14:33:00 -!- ellisonch has joined.
14:35:06 <elliott> @where+ fizzie I know nothing about fizzie.
14:35:26 <lambdabot> elliott is thumbing around Northumberland
14:35:36 <elliott> @where+ elliott I know nothing about elliott.
14:53:06 <lambdabot> I know nothing about phantom_hoover.
15:02:54 <elliott> http://stackoverflow.com/questions/10306696/what-does-parse-error-with-mean
15:02:54 <elliott> http://stackoverflow.com/questions/10303904/why-is-there-a-parse-error
15:03:06 <oklopol> he's not just a robot, he's also the definition of robot
15:03:23 <nortti> "Will DJGPP run on my brand-new Acme i986DX7/900 PC with a SCSI-III 10-Terabyte disk drive under MulticOS/42 v7.99 operating system?"
15:04:21 <oklopol> elliott: why would you learn the syntax of a language when there's forums though
15:04:40 <elliott> oklopol: that's not the worst part, the worst part is that the exact same person reposted the exact same question /after getting answers/
15:04:48 <elliott> and after responding to those answers
15:05:01 <oklopol> oh i assumed i was seeing things
15:07:33 <oklopol> as a set, the sense that answer makes does not contain a point which, as a singleton set, is open.
15:12:56 <oklopol> omg, dude on numb3rs solved the riemann hypothesis
15:13:13 -!- augur has quit (Remote host closed the connection).
15:13:14 <oklopol> dudde. that's cool it's hard.
15:16:29 <ion> After the 17-hour sleep, i was awake for a few hours and then slept for 12 hours. ಠ_ಠ
15:16:52 -!- augur has joined.
15:17:16 <oklopol> do you do that a lot? it could be a sign of you being a sleepyhead.
15:22:12 <oklopol> so these duddes want this duddes proof of the riemann hypothesis so they could factorize large numbers and break encryptions.
15:24:22 <oklopol> i guess the fact that they now know that things based on the riemann hypothesis actually work means they can convince their hacker bosses to start using these algorithms instead of the known ones
15:25:09 <oklopol> although there is some relevant context
15:25:59 <Phantom_Hoover> What if the proof is in a proof checker and it does efficient factorisation as a crucial step?
15:27:07 <oklopol> and he tells a guy at american journal of number theory that he has an "almost finished" proof, the journal guy is all like omgomgomg i have to see this, finally we have the answer by this dude who couldn't finish his phd, I HAVE TO SEE THIS.
15:28:20 <Phantom_Hoover> Or is he just like "guys guys guys I totally have a proof you can trust me I'm from TV".
15:28:25 <oklopol> well the journal guy didn't mention getting any concrete proof
15:29:37 <Phantom_Hoover> "Mathematician announces proof that he has a proof of the Riemann hypothesis"
15:30:50 <Phantom_Hoover> "Proof of proof of Riemann hypothesis declared 'flawed', 'bullshit'."
15:31:06 <Gregor> A ZKP of the Riemann hypothesis would be kind of a dick move X-D
15:31:18 <elliott> X = mathematician announces proof that he has a proof of X
15:31:39 <elliott> Gregor: don't you just mean a non-constructive proof
15:32:24 <Phantom_Hoover> No, he doesn't, because only constructivists would care then.
15:32:28 <elliott> zero-knowledge proof i think
15:32:28 <Gregor> elliott: No, I mean if said mathematician had a way of proving that he had the proof, without providing the proof (which is probably not meaningful)
15:32:35 <Gregor> Yeah, zero-knowledge proof is what I meant.
15:32:42 <ion> oklopol: Never happened before.
15:32:46 <elliott> Phantom_Hoover: you realise constructive proofs are useful for more than ideology right
15:32:49 <elliott> they give you an algorithm
15:33:15 <elliott> a non-constructive proof of P=NP would be so anticlimatic
15:33:18 <Phantom_Hoover> An algorithm is... hardly useful for the Riemann hypothesis.
15:33:19 <oklopol> we were reading this article where we prove that some things are decidable
15:33:23 <oklopol> and the proof is fine and well
15:33:28 <elliott> Phantom_Hoover: you can use it to factorise numbers!!
15:33:29 <oklopol> and then i ask, erm so what's the algo
15:33:33 <Gregor> elliott: Idonno, it would spark a hunt for a constructive proof.
15:33:34 <Phantom_Hoover> We can /already/ calculate non-trivial zeroes to our satisfaction.
15:33:50 <oklopol> although we then extracted it ofc
15:34:05 <Gregor> elliott: Also, "anticlimatic" means "against the climate"
15:34:32 <Phantom_Hoover> Also what about my nonconstructive proof of the existence of a proof or disproof of the Riemann hypothesis?
15:34:40 <Gregor> elliott: So, a non-constructive proof of P=NP would destroy the environment?
15:35:11 <elliott> Phantom_Hoover: that's useful nonconstructively
15:35:16 <elliott> it proofs ~(~proof /\ ~disproof)
15:35:40 <oklopol> omg, his proof of riemann hypothesis was wrong
15:36:06 <oklopol> apparently it's too hard to even claim to have a correct proof in a tv show :D
15:36:24 <elliott> Phantom_Hoover: uh what is your proof then
15:36:33 <elliott> what are you even proving, is it just "RH isn't independent of ZFC"
15:36:37 <elliott> because even i can prove that
15:36:45 <Phantom_Hoover> (It basically relies on zeta(z) = 0 being decidable for all z.)
15:37:11 <elliott> you don't need decidability to condition on an equality in ZFC
15:37:14 <Phantom_Hoover> Existance of a proof or disproof is equivalent to decidability?
15:38:11 <oklopol> Phantom_Hoover: how do you enumerate the complex numbers?
15:38:37 <Phantom_Hoover> A thing (wait this is decidability I'm talking about right not something else).
15:39:15 <oklopol> Phantom_Hoover: hmm perhaps just a dense subset since it's analytic
15:39:54 <elliott> i don't see what you're talking about at all
15:39:58 <oklopol> well aren't you talking about checking numbers z and evaluating zeta of z to some precision?
15:40:35 <Phantom_Hoover> Well no, I just don't actually /know/ how you decide whether zeta(z) = 0 for arbitrary z.
15:41:09 <oklopol> how do you give the z as input
15:41:15 <elliott> a non-trivial zero in ZFC+RH must be a zero in ZFC+~RH because the zeta function is the same in both, q.e.d.
15:41:26 <elliott> that doesn't hold, because the value of the zeta function at that zero could be independent
15:42:11 <Phantom_Hoover> oklopol, I don't know, throw a dart at a dartboard and map its position to C??
15:42:27 <oklopol> sounds like you'll get a computable number?
15:42:55 <oklopol> proving the hypothesis in a measure 0 set.
15:43:54 <elliott> just take the reals as countable
15:44:08 <oklopol> take a countable model of ZFC
15:44:21 <elliott> There exists a model of ZF¬C in which real numbers are a countable union of countable sets.
15:45:00 <elliott> (the countable sets are {3,4}, {4,5,6,7,8}, {nullity, 2nullity, 3nullity}, and {8})
15:45:41 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .).
15:56:21 -!- augur_ has joined.
15:56:31 -!- augur has quit (Read error: Connection reset by peer).
16:07:53 -!- KingOfKarlsruhe has joined.
16:24:34 <nortti> "and here less is considered to be more than more"
16:27:15 -!- boily has joined.
17:04:03 -!- elliott has quit (Remote host closed the connection).
17:08:41 -!- nortti has quit (Quit: leaving).
17:11:19 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 12.0/20120420145725]).
17:12:32 -!- elliottasdf has joined.
17:12:34 -!- elliottasdf has changed nick to elliott.
17:12:36 -!- elliott has quit (Changing host).
17:12:36 -!- elliott has joined.
17:34:11 -!- spaceships has joined.
17:34:39 -!- impomatic has quit (Quit: impomatic).
17:46:22 <HackEgo> spaceships: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page
17:48:16 <elliott> http://roguebasin.roguelikedevelopment.org/index.php/Names_from_a_high_order_Markov_Process_and_a_simplified_Katz_back-off_scheme what a title
18:12:17 <elliott> hmm, http://stackoverflow.com/questions/163026/what-is-your-least-favorite-syntax-gotcha has been at 9 delete votes for the past, like, week
18:14:42 <Sgeo> elliott, I've seen similar questions that were interesting
18:14:59 <elliott> I doubt it, all those questions are ancient and crap
18:15:08 <elliott> like the ridiculous "favourite programmer cartoon" one
18:22:00 -!- nortti has joined.
18:23:30 -!- augur_ has changed nick to augur.
18:24:21 <nortti> have you seen zzo38 lately?
18:27:27 <elliott> zzo38 is sometimes away for a while
18:31:36 <nortti> goes up and down 2 times per day?
18:42:27 <nortti> or is zzo38's height affected by moon?
18:45:24 <Gregor> Technically speaking, all of our heights are affected by the moon, just not very much.
18:59:30 <pikhq> Also affected by our velocities, as well as that of anyone observing.
19:00:09 * elliott wonders whether Lancycummins is a spambot.
19:02:39 * Gregor wonders whether elliott is a spambot.
19:02:45 <itidus21> occasionally he is like a superwave
19:09:04 -!- Foggalong has joined.
19:10:16 -!- Foggalong has quit (Client Quit).
19:16:36 -!- Foggalong has joined.
19:16:36 -!- Foggalong has quit (Client Quit).
19:20:30 -!- Foggalong has joined.
19:20:45 -!- TheFogg has joined.
19:20:45 -!- TheFogg has quit (Client Quit).
19:23:09 -!- TheFogg has joined.
19:23:22 -!- TheFogg has quit (Client Quit).
19:23:39 -!- TheFogg has joined.
19:23:39 -!- TheFogg has quit (Client Quit).
19:24:29 -!- TheFogg has joined.
19:24:39 -!- TheFogg has quit (Client Quit).
19:31:54 -!- azaq23 has joined.
19:32:02 -!- azaq23 has quit (Max SendQ exceeded).
19:33:19 -!- oerjan has joined.
19:34:12 <itidus21> http://wikimediafoundation.org/wiki/Terms_of_Use_%282012%29/en "This is a human-readable summary of the Terms of Use."
19:35:57 -!- Ngevd has joined.
19:36:29 <itidus21> http://wikimediafoundation.org/wiki/Terms_of_Use_%282012%29/fi "Tm on helposti luettava yhteenveto kyttehtojen sisllst."
19:37:57 <olsner> they call finnish human-readable?
19:38:45 <Ngevd> `addquote <olsner> they call finnish human-readable?
19:38:48 <HackEgo> 847) <olsner> they call finnish human-readable?
19:40:04 <HackEgo> 377) <Phantom_Hoover> Lymia, I don't know what that is but I want to hit you for it on principle.
19:40:05 <nortti> itidus21: they don't call it human-readable. Translated to english:"
19:40:07 <HackEgo> 257) <Vorpal> !bfjoust test (-)*10000 <EgoBot> Score for Vorpal_test: 12.9 <Vorpal> yay
19:40:14 <HackEgo> 747) <zzo38> Even the Spanish Inquisition is in this game. <ais523> zzo38: was it unexpected? <zzo38> Kind of...
19:40:23 <HackEgo> 116) <Bubo> ooh a test to see your procrastination hotspots <Bubo> ill do it later
19:40:24 <HackEgo> 19) <fungot> oerjan: are you a man, if there weren't evil in this kingdom to you! you shall find bekkler! executing program. please let me go... put me out! he's really a tricycle! pass him!
19:41:03 <nortti> -"+"This is easily readable summary of terms of use"
19:41:03 <olsner> you shall find bekkler! he's really a tricycle! pass him!
19:41:32 <itidus21> nortti: well thats good of them :-D .. but the english version does literally say human-readable
19:41:54 <olsner> that must mean they think the finnish is easily readable by non-humans
19:42:31 <elliott> olsner: which one is the worsto ut of that set?
19:43:07 <oerjan> hm 116 gave a chuckle here
19:43:12 <nortti> olsner: Empä nyt sanoisi että me emme olisi ihmisia
19:43:30 <olsner> nortti: ei saa peittää
19:43:37 <HackEgo> *poof* <Phantom_Hoover> Lymia, I don't know what that is but I want to hit you for it on principle.
19:44:24 <itidus21> it worries me that a terms of use document might ever take a non human-readable form
19:44:47 <nortti> olsner: was that google trandlate finnish "It is not allowed to cover"
19:45:02 <olsner> nortti: no, it's what it says on radiators
19:46:04 <itidus21> i included the equivalent statement from the finnish terms of use for curiosity.. but it was really the english one i was worried about..
19:46:14 <nortti> well it can be translated to "covering is not allowed"
19:49:06 <itidus21> ok on google i get 44,300 results for +"This is a human-readable summary" so i will just let this one go
19:50:03 -!- ais523 has joined.
19:50:05 <olsner> vs 1.3 billion results for summary, does not look good for the humans
19:50:18 <Ngevd> itidus21, it means rather than lawyer-readable
19:50:51 * ais523 saw a ping in #esoteric and started typing "hi elliott" before checking who it was from
19:50:51 <elliott> http://creativecommons.org/publicdomain/zero/1.0/ is a human-readable summary of Esolang's content licensing
19:51:14 <ais523> elliott: there are also machine-readable versions of CC licenses
19:51:30 <ais523> apparently this is an attempt to abuse the DMCA, in that removing them would be circumventing a technological watermarking measure
19:51:51 <elliott> ais523: err? that is a CC license
19:54:37 <Ngevd> How long before Lancycummins makes either a spam page or a BF deriviative?
19:55:29 <oerjan> the very first BF derivative spam page
19:56:27 <nortti> is there a difference anymore
19:57:39 -!- Ngevd has quit (Read error: Connection reset by peer).
19:59:20 <itidus21> My least favorite syntax gotcha: >[ //do stuff... ] When I intended: [ //do stuff... ]
20:01:55 -!- Ngevd has joined.
20:03:15 <itidus21> at pidgi.net 15:17, 23 April 2012 Lancycummins (Talk | contribs) New user account
20:04:15 <ais523> itidus21: what language is that?
20:04:32 <itidus21> my last 2 posts were unrelated from each other
20:04:54 <ais523> itidus21: I know, I was refering to the syntax gotcha one
20:04:57 <itidus21> ais523: brainfuck with colourful illegal c-style commenting
20:06:39 * elliott wonders what pidgi.net is.
20:06:40 <oerjan> it's the .'s that make it illegal, not the //
20:06:59 <ais523> oerjan: unless it's a header comment
20:06:59 <elliott> I think it's probably a spambot, but can't access the database to find out.
20:07:16 <itidus21> elliott: actually lancycummins is all over the net
20:07:18 <ais523> elliott: have you tried visiting it with a web browser?
20:07:30 <elliott> itidus21: yes, seemingly 0 posts everywhere
20:07:41 <elliott> ais523: (after I said that)
20:08:33 <elliott> wow, who uses MediaWiki as a file repository?
20:09:38 -!- Ngevd has quit (Ping timeout: 272 seconds).
20:10:51 <ais523> elliott: probably at least one person
20:11:09 <ais523> Wikipedia specifically have a speedy deletion rule to stop people steganographically embedding files in images they upload and using it as a file server
20:12:11 <ais523> elliott: presumably it happens often enough that they need a rule against it
20:13:02 <itidus21> ok found something! http://www.okaymark.com/user/history/lancycummins/
20:13:33 <elliott> ais523: we can preemptively ban a spammer!
20:14:04 <ais523> elliott: just because we can doesn't mean we should!
20:14:39 <elliott> ais523: but this spammer seems to rarely do anything on most sites!
20:14:43 <elliott> the deletion script might miss it!
20:15:46 <HackEgo> 842) <Sgeo> hack and back? <Patashu> works on anything much slower than you <monqy> at the cost of: guilt, hating yourself, me sending you the message "hi" <Patashu> am I also forbidden to cast mephitic cloud and cblink <monqy> i will also send you "hi" if you: kite excessively, use mephitic cloud, -yes
20:28:51 -!- oklopol has quit (Ping timeout: 265 seconds).
20:29:18 -!- boily has quit (Quit: WeeChat 0.3.7).
20:33:58 <HackEgo> 229) <quintopia> vorpal: a lot of people in AK fly <Vorpal> quintopia, well getting a pilot cert is a lot more complex than a driving license :P <quintopia> being an AK resident is a lot more complex than a driver's license too
20:34:05 <HackEgo> 205) <tswett> elliott: just to bring you up to speed, you are now my baby nephew. <olsner> wtf, elliott is a nephew and his uncle is here? <nooga> what <tswett> Heck yes I'm elliott's uncle.
20:34:05 -!- oerjan has quit (Quit: Lost terminal).
20:34:09 <HackEgo> 154) <ais523> it was too difficult
20:34:22 <HackEgo> 347) <Cheery> [...] OOPS.. my cockfile got destroyed
20:34:22 <HackEgo> 3) <Quas_NaArt> Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... <Quas_NaArt> More practice is in order.
20:34:37 <HackEgo> *poof* <ais523> it was too difficult
20:36:01 <ais523> that quote seems awful
20:36:09 <ais523> it may have been funnier in context but I doubt it
20:40:08 -!- ais523_ has joined.
20:40:38 -!- ais523 has quit (Disconnected by services).
20:40:39 -!- ais523_ has changed nick to ais523.
20:43:39 <tswett> elliott: have I told you you're now capable of walking, and you can sort of say a couple of words?
20:43:48 <elliott> tswett: thanks, I wasn't aware
20:44:25 <tswett> I don't know if you're potty-trained yet.
20:44:39 <tswett> But yeah, congratulations on the walking thing.
20:44:45 <elliott> it was difficult but i tried
20:44:46 <tswett> Many kids never get to that stage.
20:45:41 <elliott> ais523: are you /sure/ we can't block lancycummins?
20:46:13 <ais523> elliott: it looks a little like admin abuse even if it isn't
20:46:17 <ais523> OTOH, Graue probably would have done
20:46:28 <elliott> ais523: I was going to leave a comment on the user talk page linking to the evidence
20:46:46 <ais523> oh, in that case it's probably fine
20:51:37 -!- derdon has joined.
21:01:23 -!- KingOfKarlsruhe has joined.
21:10:13 -!- Madoka-Kaname has joined.
21:10:13 -!- Madoka-Kaname has quit (Changing host).
21:10:13 -!- Madoka-Kaname has joined.
21:10:25 -!- augur has quit (Remote host closed the connection).
21:27:07 -!- monqy has quit (Ping timeout: 260 seconds).
21:28:55 -!- monqy has joined.
21:39:52 -!- nortti has quit (Quit: AndroIRC - Android IRC Client Sucks @$$( http://www.androirc.com )).
21:41:17 -!- itidus20 has joined.
21:44:57 -!- itidus21 has quit (Ping timeout: 246 seconds).
21:56:19 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 12.0/20120420145725]).
22:09:40 -!- yasar has quit (Quit: Leaving.).
22:29:20 -!- Foggalong has quit (Ping timeout: 260 seconds).
22:33:26 -!- Phantom__Hoover has joined.
22:34:35 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds).
22:39:16 <elliott> just reinstall for christs sake
22:40:00 <Phantom__Hoover> I have useful data? Or does reinstall not mess with that these days, im stupid
22:41:13 <elliott> get the data first obviously
22:41:18 <elliott> if you don't know how to do that i disown you
22:42:14 <Phantom__Hoover> The people in #arch suggested downgrading the kernel package from a live disk.
22:42:14 <ais523> elliott: the problem often isn't getting the data, but finding somewhere to store it while you reinstore
22:42:35 <elliott> that's not the arch channel
22:42:38 <elliott> ais523: he has a windows partition
22:42:55 <elliott> Phantom__Hoover: get the latest live medium, boot it, pacman -S irssi on the second terminal, log in here, report to me
22:43:19 <shachaf> elliott: That's a pretty neat representation.
22:43:20 <Phantom__Hoover> Also how do you expect me to get it onto the Windows partition.
22:43:35 <elliott> shachaf: the lambda calculus one?
22:43:47 <elliott> Phantom__Hoover: with one of the writable ntfs drivers?
22:43:48 <shachaf> Or the few snippets I saw of the conversation.
22:44:08 <shachaf> It sounds horrible to use in practice. :-)
22:44:10 <Phantom__Hoover> 'Useful data' here means 'data it took large amounts of time to download'.
22:44:17 <elliott> shachaf: I'm... not sure why.
22:44:26 <elliott> You need some rank-2/existential for parsing it.
22:44:34 <elliott> Well, that's not strictly true. But it practically is.
22:44:39 <elliott> Phantom__Hoover: How big is the data?
22:45:06 <elliott> Phantom__Hoover: Do you have live media that can contain it?
22:45:49 <shachaf> elliott: Is saying "cheers" in an American accent the worst crime one can commit?
22:45:52 <elliott> Phantom__Hoover: is it really that important
22:46:09 <shachaf> It's a good thing my accent isn't very American, then. :-)
22:46:14 <ais523> what's the worst crime the other can commit?
22:46:24 <shachaf> Although it's similarly rhotic.
22:46:30 <shachaf> Which I guess is the point.
22:46:51 -!- cswords_ has quit (Quit: Leaving).
22:46:52 <shachaf> elliott: What if I had a South African accent. :-(
22:46:53 <Phantom__Hoover> Well that and the general inconvenience of rebuilding all the configuration means I'd rather fix rather than reinstall.
22:47:10 -!- cswords has joined.
22:47:54 <shachaf> Phantom__Hoover: You mean which 'r' I use?
22:48:06 <pikhq> shachaf: Isn't South African English generally non-rhotic?
22:48:30 <shachaf> (My accent isn't South African or anything.)
22:49:05 <pikhq> What *is* your accent? "Hard to classify"?
22:49:18 <Phantom__Hoover> There are ten different rhotic consonants; different accents use different ones.
22:49:48 <shachaf> pikhq: I'm not sure how I'd classify it, but I'm bad at accent classification in general.
22:50:07 <elliott> shachaf: I've never used that LC representation in practice. Maybe I should.
22:50:28 <shachaf> A Hebrew speaker figured out that I speak Hebrew from my accent once, but I don't think it's a very typical one.
22:50:50 <shachaf> pikhq: If you want you can call me and I'll accent at you!
22:51:03 <shachaf> Although I'm slightly sick right now, so that changes it further.
22:51:28 <pikhq> Non-native accents are pretty hard to classify.
22:52:13 <shachaf> pikhq: I once spoke with shapr on the phone.
22:52:19 <pikhq> If you're lucky it'll be one featuring mostly patterns from the native language because of, say, learning the language from someone else with the same native language.
22:52:27 <pikhq> If you're unlucky it'll be a weird, mismatched mess.
22:52:45 <shachaf> pikhq: "my native language" is also a hard one to place.
22:52:53 <pikhq> If you happen to, say, be a Hebrew speaker learning English from a German speaker. :P
22:53:08 <shachaf> I'm told that the first language I spoke was English, but then I decided to forget it when I was ~3 and didn't relearn until I was ~10-11.
22:53:57 <pikhq> Phantom__Hoover: If it was an American, don't be surprised.
22:54:03 <ais523> shachaf: what are the official languages of the country in which you spent most of your childhood living?
22:54:14 <elliott> ais523: German, Swahili and Lojban
22:54:26 <ais523> elliott: I choose not to believe you
22:54:28 <Phantom__Hoover> It was another Scot (who himself had a pan-RP accent, it's more common than you'd think in Edinburgh).
22:54:36 <shachaf> ais523: I think Hebrew and Arabic?
22:54:49 <pikhq> We don't hear many *different* sorts of accents from the UK, so consider yourself doing well if they can identify the constituent country it's from.
22:55:06 <shachaf> pikhq: _Pygmalion_ is a good play.
22:55:23 <shachaf> Much better than e.g. _My Fair Lady_.
22:57:04 <HackEgo> 618) <Phantom_Hoover> It's like Pygmalion and Galatea but more weeaboo. <Phantom_Hoover> Also lesbian.
22:58:59 <Phantom__Hoover> pikhq, what about distinguishing Ireland and Scotland, you guys can do that, right?
22:59:29 <ais523> shachaf: that's an interestingly religiously charged combination
23:00:15 <ais523> Phantom__Hoover: I am aware of its existence, and thought that that would be the most likely place in the world to have that sort of combination
23:00:33 <elliott> Hebrew is basically a dialect of Lojban anyway
23:01:08 <ion> “Spirit Mirror Pendant: Wearer gains experience points 25% faster.” Cool, except that now i have trouble deciding which character to give it to.
23:01:42 <HackEgo> 640) <fungot> Ngevd:. i'm so kind, even to assholes! anmaster no not markov anmaster no not markov anmaster no not markov anmaster no not markov anmaster no not markov
23:01:44 <ais523> ion: unless you're speedrunning, whoever in your eventual squad currently has the lowest experience and doesn't need the points for anything else
23:01:44 <HackEgo> 802) <Sgeo_> Why does CL get called functional? <oerjan> it's sort of like how you call ancient greece democratic.
23:01:53 <pikhq> Phantom__Hoover: Only with the more stereotypical accents.
23:02:02 <HackEgo> 798) <fungot> elliott: the new fnord <fungot> elliott: what is the point? nothing changed.
23:02:02 <HackEgo> 491) <Taneb> aibohphobia <Taneb> The fear of palindromes
23:02:04 <HackEgo> 548) <monqy> i am out of all the fame loops <monqy> and the australien soap opera loops <monqy> so much loop / s omcuh
23:02:14 <pikhq> Otherwise you'll hit "rhotic -> flip a coin".
23:02:50 <ion> ais523: In Grimrock every character seems to gain experience at roughtly the same rate. So i should figure out which one gaining more experience would be the most useful for me.
23:02:51 <pikhq> ais523: Yeah, Israel has *quite* a religiously charged combination going on.
23:02:55 <ais523> 491 is not original, and not massively funny
23:03:03 <ais523> and I don't really like 548 either
23:03:16 <Phantom__Hoover> pikhq, bringing the light of other peoples' jokes to the world.
23:03:19 <ais523> if 798 is not two sentences from different contexts, it's awesome
23:03:24 <ais523> otherwise it's cheating
23:03:48 <elliott> ais523: they were within <3 minutes of each other
23:03:52 <elliott> without much being said in the interim, IIRC
23:04:03 <elliott> I cut out the interim lines because it was too good to pass up on
23:04:17 <pikhq> Phantom__Hoover: Joke? What?
23:04:20 <pikhq> Phantom__Hoover: Ah, right.
23:04:28 <pikhq> Phantom__Hoover: Think I missed your line in there.
23:05:09 <pikhq> Not in a contest of wits.
23:05:28 <ion> I think i’ll give it to the mage.
23:05:41 <pikhq> I'll just have to challenge you to a contest of GUNS, EAGLES, BARBECUE, AND PATRIOTISM! FUCK YEAH!
23:07:03 -!- derdon has quit (Remote host closed the connection).
23:28:10 -!- Phantom__Hoover has quit (Quit: Leaving).
23:32:16 -!- augur has joined.
23:40:51 -!- Patashu has joined.
23:45:29 <shachaf> ais523: Does my style remind you of God?
23:52:37 <shachaf> elliott said my style reminded him of God.
23:54:07 -!- ais523 has quit (Remote host closed the connection).