←2012-02-09 2012-02-10 2012-02-11→ ↑2012 ↑all
00:01:09 <calamari> oerjan: is there a maximum run time limit for hackego?
00:01:33 <oerjan> ...probably?
00:01:36 <Gregor> lol
00:01:41 <Gregor> You realize it's my code, right
00:01:43 <Gregor> `help
00:01:45 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
00:01:54 <Gregor> Oh, it doesn't show the hg URL there.
00:02:02 <Gregor> https://bitbucket.org/GregorR/hackbot
00:02:32 <hagb4rd> gregor how 'bout a nocturne..give me a hint
00:02:58 <Gregor> ... that was a bizarre ... question?
00:03:15 <Gregor> Was that a question?
00:03:23 <hagb4rd> nope..imperative!
00:03:30 <hagb4rd> now!
00:03:40 <Gregor> OK, what a bizarre ... command?
00:03:46 <Gregor> E_CANNOT_PARSE
00:04:07 <hagb4rd> maybe i should write one by myself
00:04:45 <Gregor> http://www.youtube.com/watch?v=lz1b8YZj0f4 Here, have a nocturne.
00:04:52 <hagb4rd> thank you
00:06:46 <oerjan> Taneb: so does it still not work?
00:07:25 <Taneb> oerjan, no
00:07:51 <Taneb> Deadfish doesn't give it back
00:09:10 -!- derdon has quit (Remote host closed the connection).
00:09:17 <oerjan> and did you solve that ? prompting problem?
00:09:25 <Taneb> Yeah
00:09:39 <Taneb> Ran npiet -q instead of npiet
00:11:44 <oerjan> does it get to track 1 at all?
00:12:14 <Taneb> It does print out the deadfish program
00:12:15 <Taneb> hang on
00:12:36 -!- Pietbot has joined.
00:12:44 <oerjan> )o
00:12:53 -!- Frooxius has quit (Ping timeout: 245 seconds).
00:12:58 <Taneb> )df o
00:12:59 <Pietbot> 0
00:13:02 <Taneb> )df 0
00:13:05 <oerjan> oh duh :P
00:13:13 <oerjan> )df io
00:13:15 <Gregor> Is that the Dwarf Fortress command?
00:13:38 <Taneb> I'm afraid that I lack the skill to code Dwarf Fortress in Piet
00:13:38 <oerjan> ic, it seems to have trouble continuing?
00:13:40 <oerjan> )df o
00:14:55 <oerjan> oh
00:15:00 <oerjan> @"\n" in br.start_in needs .in
00:15:00 <lambdabot> Unknown command, try @list
00:15:01 -!- Frooxius has joined.
00:16:06 <Taneb> No it doesn't; the "in"'s right there
00:16:15 <oerjan> oh oops
00:17:18 -!- Pietbot has quit (Ping timeout: 240 seconds).
00:17:41 <oerjan> hm can you test )oo
00:17:55 <oerjan> er )df oo
00:18:24 <Taneb> Should work
00:18:32 -!- Pietbot has joined.
00:18:35 <Taneb> )df oo
00:18:35 <Pietbot> 00
00:18:40 <Taneb> )df oo
00:18:40 <oerjan> ok it does
00:18:43 -!- Pietbot has quit (Read error: Connection reset by peer).
00:18:50 <oerjan> (you might want a 32 out in there?)
00:19:16 <Taneb> > chr 32
00:19:18 <lambdabot> ' '
00:19:29 <oerjan> well this means that in @"\n" in br.start_in
00:19:52 <oerjan> the @"\n" is clearly performed. but does it get back to start_in?
00:20:17 <Taneb> It's an unconditional branch
00:20:37 -!- augur has quit (Remote host closed the connection).
00:20:54 <oerjan> yes, but i've been wondering what the point is of these implicit _track_N labels - does it mean you _cannot_ jump between tracks with ordinary labels?
00:21:13 <Taneb> I'm not too sure
00:21:20 <Taneb> I wrote the bulk of this a long time ago
00:21:30 <oerjan> oh you wrote the assembler?
00:21:40 <Taneb> No
00:22:14 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
00:22:31 <oerjan> because if that is the case, you need to move _track_0: to start_in: and use that instead
00:23:24 <hagb4rd> gregor: i really love the break in your op.13 mov.2 at 4:10
00:23:41 -!- Taneb has quit (Quit: goodnight).
00:24:14 <oerjan> what a thorougly well-commented assembler
00:24:57 <hagb4rd> call it 'break' cauz of my leak of expertise and terminology
00:25:36 <hagb4rd> over and out
00:55:03 <Gregor> I put IOCCC on my CV.
00:55:11 <Gregor> I have no way of objectively knowing whether that was actually a good idea.
01:00:49 <oerjan> try to win some well-written code prize to balance it out :P
01:12:35 -!- augur has joined.
01:14:56 <Gregor> lol
01:16:54 -!- calamari has quit (Quit: Leaving).
01:22:30 -!- augur has quit (Remote host closed the connection).
01:23:15 -!- augur has joined.
01:24:01 <kmc> "If software purity in functional languages is such an awesome idea, why are we still writing Python, Ruby or Java?" - self post in /r/haskell
01:24:32 <ion> :-D
01:26:17 <oerjan> i liked apfelmus's answer
01:26:35 <oerjan> iirc
01:27:26 <kmc> i'm not going to read any of the comments
01:28:55 <kmc> i don't really need to see 150 people wanking about how they're smarter than the Average Programmer
01:29:43 <Gregor> Naw, that's what #esoteric is for, and there are only ~50 of us.
01:30:48 <kmc> cool, there's going to be a dead tree Yesod book
01:30:53 <kmc> published by o'reilly
01:31:13 -!- cheater_ has joined.
01:31:32 <kmc> at the current rate it will be 20 versions out of date on conduits
01:32:11 <Jafet> O'Reilly, history publisher
01:34:40 -!- cheater__ has quit (Ping timeout: 260 seconds).
01:38:44 <pikhq> kmc: To be fair, the Average Programmer is probably pretty damned stupid.
01:39:05 <pikhq> (though the Modal Programmer is of reasonable intelligence, the stupid programmers are mind-blisteringly stupid. :))
01:40:02 <kmc> which makes wanking about it even sillier ;)
01:40:13 <kmc> but that depends on how you quantify stupidity, which is more or less arbitrary
01:40:26 <Jafet> "I'm smarter than the average programmer!" ~ Mode programmer
01:41:28 <kmc> one of the reasons people think the average programmer is so dumb: the average programmer is much smarter than the average programming job applicant
01:41:50 <ion> 99 % of programmers are smarter than the average programmer.
01:42:06 <kmc> s/are/think they are/
01:42:09 <pikhq> Also true. There's significant bias towards the especially incompetent programmers in job applications.
01:42:12 <oerjan> what about median? :D
01:42:21 <Jafet> They also think they're better than the average driver
01:42:26 <zzo38> If it is median then it must be 50%
01:42:45 <zzo38> (by definition)
01:42:56 <zzo38> But, maybe it isn't median!
01:43:00 <Jafet> How many programmers understand statistics
01:43:15 <Jafet> If you don't know the laws of statistics, they don't apply to you
01:43:15 <monqy> whats a programer
01:43:41 <oerjan> i've always thought mode sounds like the least useful mean...
01:43:44 <lifthrasiir> zzo38: "no more than" 50% (if one takes "better" in a strict manner)
01:44:11 <oerjan> wait, is it mean or average which is the generic term again
01:44:42 <pikhq> Jafet: I'd imagine there's significant bias towards understanding statistics amongst programmers.
01:45:21 <oerjan> "There are other statistical measures that should not be confused with averages - including 'median' and 'mode'."
01:45:42 <oerjan> ...in wikipedia's article about _mean_
01:45:48 <oerjan> that wasn't helping.
01:45:59 <pikhq> oerjan: The "average" is *technically* the technical term.
01:46:15 <pikhq> In practice, "average" refers almost exclusively to the mean.
01:47:04 <oerjan> and also that article includes a heap of means (including arithmetic and geometric)
01:48:21 <kmc> so is "average" a synonym for "arithmetic mean" or what?
01:48:23 <Gregor> Uhh, /mean/ is the semi-ambiguous term, an /average/ is always the arithmetic mean.
01:48:36 <lifthrasiir> oerjan: that's mean.
01:48:49 <Gregor> (Unless you mean "average" as used in lay English, which can mean (no pun) just about anything)
01:48:55 <lifthrasiir> Wikipedia page about "average" is also same.
01:49:04 <kmc> wikipedia's article on "average" suggests it's a generic term for any measure of the "middle" of a data set
01:49:11 <kmc> including the various means, median, etc.
01:49:33 <Gregor> Probably there's some discrepency between different users *shrugs*
01:49:38 <kmc> yeah
01:49:50 <Gregor> But I don't think anyone would ever use "average" to mean "median" ...
01:49:53 <Gregor> That's ... bizarre.
01:49:53 <kmc> i think in most contexts "average" would be understood to mean "arithmetic mean"
01:50:07 <kmc> and i don't know of any context where it would be understood to mean something else
01:50:27 <Gregor> Well, there are contexts where it doesn't really mean anything so rigorous.
01:50:29 <kmc> but there are probably contexts where "mean" is implicitly "geometric mean" or "root mean squared"
01:50:39 <Gregor> Like "A perfectly average person would not wear a balloon on their head."
01:50:58 <lifthrasiir> Gregor: "average" and "mean" translate to the same term in Korean, I don't know that's fortunate or not.
01:51:42 <Gregor> Natural language translation tends to be a very lossy process ^^
01:52:08 <pikhq> Natural language description of functions tends to be a very lossy process. :)
01:52:27 <Gregor> Nature tends to be a very lossy process!
01:52:38 <oerjan> <lifthrasiir> oerjan: that's mean. <-- NO U MEAN
01:53:03 <Jafet> The standard deviation is just the mean of the variance and one!
01:53:08 * oerjan has no idea whether lifthrasiir intended the pun or not
01:53:15 <lifthrasiir> yes the pun intended.
01:54:57 <lifthrasiir> ("that", of course, refers to the article. sorry for any disturbance.
01:54:59 <lifthrasiir> )
01:58:28 <oerjan> classy main article today, wikipedia
01:59:31 <oerjan> sometimes i have a feeling they apply a bit of their april 1 style at other times
02:01:09 <lifthrasiir> oerjan: since they should list unbelievable but nevertheless true articles even in april 1.
02:20:56 -!- augur has quit (Remote host closed the connection).
02:28:50 <zzo38> I tried and found out that you cannot pattern match on DSum if the tag is a datatype family
02:47:13 <quintopia> Gregor: when referring to almost anything statistics, average means median, because it is the most averagest of averages
02:50:30 <Gregor> <quintopia> Gregor: when referring to almost anything statistics, average means median, because it is the most averagest of averages // uhh, no.
02:50:31 <Gregor> Just no.
02:50:40 <Gregor> Median isn't any kind of average.
02:50:49 <quintopia> -.-
02:51:01 <quintopia> well
02:51:08 <Gregor> I mean I realize we're arguing about a natural language and therefore neither of us can actually be right.
02:51:10 <Gregor> But still.
02:51:11 <Gregor> No.
02:51:14 <quintopia> personally, if i ask for the average IQ of a group, i'd like the median
02:51:19 <quintopia> maybe that makes me weird
02:51:29 <Gregor> If I ask for the average IQ of a group, I /expect/ the arithmetic mean.
02:51:30 <quintopia> but i think i'm actually in the majority
02:52:10 <quintopia> what if it's a group of imbeciles being taught by a certified genius?
02:52:24 <quintopia> then the arithmetic mean might be the 90th percentile of group intelligence
02:52:30 <quintopia> median is so much more indicative
02:52:42 <Gregor> No, they're equally misleading, just in different ways ...
02:53:00 <monqy> how do you compare misleadingnes
02:53:08 <Gregor> monqy: With ... STATISTICS!
02:53:21 <quintopia> well, if i want to answer the question "am i smart compared to this group?" the median will be more useful
02:54:04 <Gregor> Yes, it would. But that doesn't make it the average, that makes it the median ^^
02:54:38 <quintopia> well
02:55:02 <quintopia> in school i was taught that average was a class of quantities including mean, median, and mode
02:55:24 <quintopia> and since then, i've found the one that's an order statistic the most useful
02:56:21 <Gregor> Evidence to support my linguistic theory: When I type "define:average" into Google, its first definition is "The result obtained by adding several quantities together and then dividing this total by the number of quantities; the mean." The dictionaries it links to secondarily agree to some degree or another: http://dictionary.reference.com/browse/average , http://www.merriam-webster.com/dictionary/average . The latter lists the all-kinds definition first (mean,me
02:56:21 <Gregor> dian,mode), but its second definition is an approximation of the arithmetic mean in particular. Also terms like "batting average" from sports are all arithmetic means.
02:57:09 <quintopia> to be fair, if you took the batting median, you'd get about the same number
02:57:21 <Gregor> I'm not contesting that at all.
02:57:37 <Gregor> In general use, since a lot of things fit a bell curve well enough, the two are both useful.
02:57:51 <Gregor> And I'd even go so far as to agree that the median is perhaps more often useful.
02:57:56 <Gregor> But that has nothing to do with the language :)
02:58:03 <Sgeo> order statistic?
02:59:00 <quintopia> Sgeo: the kth-order statistic is the number that comes kth in order. so the median is the n/2-order statistic
02:59:11 <Sgeo> Ah
02:59:17 <quintopia> Q1 is the n/4-order statistic, Q3 is the 3n/4 order statistic
03:00:05 <Gregor> quintopia: I forget (or don't know), where are you from?
03:00:20 <Gregor> We could just be arguing over different dialects, which makes this argument even sillier than it already is.
03:00:44 <quintopia> atlanta
03:01:03 <quintopia> i don't actually care what the answer is. i was arguing for the sake of arguing.
03:38:33 -!- Sgeo has quit (Remote host closed the connection).
03:38:59 -!- Sgeo has joined.
04:27:28 -!- TeruFSX has joined.
04:47:26 <zzo38> I made up another extensible products implementation, this time using hash maps.
04:48:04 <zzo38> (From the "unordered-containers" library)
04:50:53 -!- augur has joined.
04:55:12 * pikhq is a bit astonished to find that Japanese ska is a thing.
04:55:26 * pikhq is even more astonished to find that it's astoundingly normal.
04:55:48 <pikhq> It's just ska that happens to be done by Japanese people.
04:56:07 <ion> ha
05:09:57 <oerjan> this loser looks kind of neat http://computronium.org/ioccc.html
05:20:01 <Jafet> Heh "Best non-chess game"
05:20:26 <Jafet> And it looks like dhyang has outdone himself in some way
05:24:23 <oerjan> > let l = [1,3,3]++zipWith(+) l (tail l) in l
05:24:25 <lambdabot> [1,3,3,4,6,7,10,13,17,23,30,40,53,70,93,123,163,216,286,379,502,665,881,116...
05:25:20 <oerjan> hm or wait
05:26:52 <oerjan> > let l = [1,0,3]++zipWith(+) l (tail l) in l
05:26:53 <lambdabot> [1,0,3,1,3,4,4,7,8,11,15,19,26,34,45,60,79,105,139,184,244,323,428,567,751,...
05:27:42 <oerjan> argh
05:29:25 <oerjan> > let ps = 0 : zipWith (+) ms ss; ms = 3 : ss; ss = 1 : ps in ss
05:29:26 <lambdabot> [1,0,4,1,4,5,5,9,10,14,19,24,33,43,57,76,100,133,176,233,309,409,542,718,95...
05:30:02 <oerjan> ouch
05:32:26 <oerjan> > let ps = 3 : zipWith (+) ms ss; ms = 0 : ss; ss = 1 : ps in ss
05:32:26 <lambdabot> [1,3,1,4,4,5,8,9,13,17,22,30,39,52,69,91,121,160,212,281,372,493,653,865,11...
05:33:20 <oerjan> > let ps = 3 : zipWith (+) ms ss; ms = 0 : ss; ss = 1 : ps in [r | (r,s) <- zip [2..] ss, s `mod` r == 0]
05:33:21 <lambdabot> [3,8,9,59,78,101,167,173,211,223,235,271,307,317,347,361,449,463,593,599,60...
05:33:36 <oerjan> > let ps = 3 : zipWith (+) ms ss; ms = 0 : ss; ss = 2 : ps in [r | (r,s) <- zip [2..] ss, s `mod` r == 0]
05:33:37 <lambdabot> [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101...
05:33:43 <oerjan> there you go
05:36:43 <oerjan> > let ss = 2 : 3 : zipWith (+) (0 : ss) ss in [r | (r,s) <- zip [2..] ss, s `mod` r == 0]
05:36:44 <lambdabot> [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101...
05:40:44 <Jafet> > ((+41).ap(+)(join(*))) <$> [0..]
05:40:46 <lambdabot> [41,43,47,53,61,71,83,97,113,131,151,173,197,223,251,281,313,347,383,421,46...
05:41:53 <oerjan> Jafet: funny guy
06:26:06 -!- MoALTz has quit (Ping timeout: 248 seconds).
06:26:10 -!- MoALTz_ has joined.
06:47:29 -!- esowiki has joined.
06:47:33 -!- esowiki has joined.
06:47:34 -!- esowiki has joined.
06:48:03 -!- esowiki has joined.
06:48:08 -!- esowiki has joined.
06:48:08 -!- esowiki has joined.
06:52:36 -!- esowiki has joined.
06:52:41 -!- esowiki has joined.
06:52:41 -!- esowiki has joined.
06:53:25 -!- esowiki has joined.
06:53:25 -!- glogbot has joined.
06:53:29 -!- esowiki has joined.
06:53:30 -!- esowiki has joined.
06:56:08 -!- MoALTz_ has quit (Ping timeout: 248 seconds).
06:56:18 -!- yiyus_ has quit (Ping timeout: 240 seconds).
06:56:25 -!- SimonRC has quit (Ping timeout: 244 seconds).
06:56:48 -!- aloril has quit (Ping timeout: 240 seconds).
06:57:15 -!- MoALTz_ has joined.
06:57:18 -!- mtve has quit (Ping timeout: 240 seconds).
06:57:58 -!- quintopia has quit (Ping timeout: 244 seconds).
06:58:29 -!- monqy has quit (Ping timeout: 244 seconds).
06:58:55 -!- quintopia has joined.
06:59:28 -!- monqy has joined.
07:00:34 -!- yiyus has joined.
07:01:17 -!- aloril has joined.
07:03:01 -!- monqy has quit (*.net *.split).
07:03:01 -!- mroman has quit (*.net *.split).
07:03:01 -!- Slereah_ has quit (*.net *.split).
07:03:01 -!- ineiros_ has quit (*.net *.split).
07:03:01 -!- fizzie has quit (*.net *.split).
07:03:01 -!- audy has quit (*.net *.split).
07:03:01 -!- chickenz has quit (*.net *.split).
07:03:01 -!- tswett has quit (*.net *.split).
07:06:18 -!- aloril has quit (Ping timeout: 240 seconds).
07:07:11 -!- ineiros_ has joined.
07:08:28 -!- monqy has joined.
07:08:28 -!- mroman has joined.
07:08:28 -!- Slereah_ has joined.
07:08:28 -!- fizzie has joined.
07:08:28 -!- tswett has joined.
07:08:28 -!- audy has joined.
07:08:28 -!- chickenz has joined.
07:08:48 -!- chickenz has quit (Ping timeout: 245 seconds).
07:09:27 -!- mroman has quit (Remote host closed the connection).
07:09:37 -!- monqy has quit (Ping timeout: 245 seconds).
07:09:37 -!- fizzie has quit (Ping timeout: 245 seconds).
07:09:38 -!- mroman has joined.
07:10:28 -!- monqy has joined.
07:11:51 -!- Sgeo has joined.
07:12:02 -!- Sgeo has quit (Read error: Connection reset by peer).
07:12:16 -!- Sgeo has joined.
07:14:29 -!- fizzie has joined.
07:14:46 -!- SimonRC has joined.
07:16:34 -!- comex has quit (Ping timeout: 416 seconds).
07:16:36 -!- comex` has joined.
07:16:36 -!- comex` has changed nick to comex.
07:20:54 <Sgeo> Dilbert is broken.
07:20:59 <Sgeo> No Dilbert comic is visible.
07:21:04 * Sgeo goes into withdrawal
07:21:21 -!- aloril has joined.
07:22:18 <monqy> Sgeo: hi
07:23:19 <Sgeo> hi
07:23:30 -!- Deewiant_ has joined.
07:23:35 -!- ineiros__ has joined.
07:23:48 -!- quintopi1 has joined.
07:24:55 -!- Deewiant has quit (Remote host closed the connection).
07:24:55 -!- ineiros has quit (Write error: Broken pipe).
07:24:56 -!- quintopia has quit (Remote host closed the connection).
07:25:06 -!- yorick_ has joined.
07:26:55 -!- const has joined.
07:27:18 -!- variable has quit (Ping timeout: 252 seconds).
07:27:18 -!- yorick has quit (Read error: Connection reset by peer).
07:28:33 -!- Frooxius_ has joined.
07:30:32 -!- audy- has joined.
07:31:43 -!- zzo38_ has joined.
07:31:54 -!- zzo38 has quit (Disconnected by services).
07:32:10 -!- zzo38_ has changed nick to zzo38.
07:33:02 -!- lifthras1ir has joined.
07:34:35 -!- Frooxius has quit (Ping timeout: 248 seconds).
07:34:35 -!- yiyus has quit (Ping timeout: 248 seconds).
07:34:36 -!- lifthrasiir has quit (Ping timeout: 248 seconds).
07:34:45 -!- Frooxius_ has changed nick to Frooxius.
07:34:56 -!- audy has quit (Ping timeout: 245 seconds).
07:34:57 -!- audy- has changed nick to audy.
07:34:58 -!- kallisti has quit (Read error: Connection reset by peer).
07:35:44 -!- yiyus has joined.
07:37:49 -!- monqy has quit (Ping timeout: 252 seconds).
07:39:54 -!- monqy has joined.
07:47:55 -!- Jafet1 has joined.
07:48:46 -!- cswords__ has joined.
07:49:59 -!- FireFly has quit (Ping timeout: 471 seconds).
07:50:14 -!- TeruFSX_ has joined.
07:50:58 -!- Jafet has quit (Ping timeout: 276 seconds).
07:50:58 -!- cswords_ has quit (Ping timeout: 276 seconds).
07:50:58 -!- Nisstyre has quit (Ping timeout: 276 seconds).
07:50:58 -!- lahwran has quit (Ping timeout: 276 seconds).
07:51:02 -!- sebbu2 has joined.
07:51:02 -!- sebbu2 has quit (Changing host).
07:51:02 -!- sebbu2 has joined.
07:51:20 -!- sebbu has quit (Ping timeout: 276 seconds).
07:52:28 -!- yours_truly has joined.
07:53:17 -!- TeruFSX has quit (Ping timeout: 276 seconds).
07:54:06 -!- oerjan has quit (Quit: Good night).
07:56:39 -!- aloril_ has joined.
07:56:47 -!- aloril has quit (Ping timeout: 272 seconds).
07:57:54 -!- ineiros__ has quit (Ping timeout: 244 seconds).
07:58:18 -!- SimonRC has quit (Ping timeout: 240 seconds).
07:59:10 -!- SimonRC has joined.
07:59:12 -!- ineiros has joined.
08:00:31 -!- lahwran has joined.
08:05:48 -!- SimonRC has quit (Ping timeout: 240 seconds).
08:06:41 -!- mroman has quit (Ping timeout: 244 seconds).
08:07:40 -!- mroman has joined.
08:07:57 -!- SimonRC has joined.
08:17:08 -!- MoALTz has joined.
08:18:02 <zzo38> I am making up a "extensible-data" package; so far it implements extensible sums, extensible products, and extensible lists.
08:18:48 -!- MoALTz_ has quit (Ping timeout: 248 seconds).
08:21:52 -!- Jafet1 has changed nick to Jafet.
08:24:50 <zzo38> They are all based on classes and type families, since both of those can have instances in other modules.
08:30:23 -!- cswords_ has joined.
08:30:28 -!- FireFly has quit (*.net *.split).
08:30:28 -!- cswords__ has quit (*.net *.split).
08:30:28 -!- quintopi1 has quit (*.net *.split).
08:30:28 -!- cheater_ has quit (*.net *.split).
08:30:28 -!- fungot has quit (*.net *.split).
08:30:28 -!- itidus21 has quit (*.net *.split).
08:35:35 -!- quintopia has joined.
08:36:54 -!- cheater_ has joined.
08:39:03 -!- zzo38 has quit (Remote host closed the connection).
08:40:28 -!- FireFly has quit (Ping timeout: 244 seconds).
08:46:17 -!- Deewiant_ has quit (Remote host closed the connection).
08:46:23 -!- Deewiant has joined.
08:53:30 -!- monqy_ has joined.
08:59:10 -!- monqy has quit (Ping timeout: 272 seconds).
08:59:50 -!- fizzie` has joined.
09:02:55 -!- fizzie has quit (Ping timeout: 252 seconds).
09:03:12 -!- fizzie` has changed nick to fizzie.
09:03:26 -!- fizzie has quit (Changing host).
09:03:26 -!- fizzie has joined.
09:03:57 -!- Taneb has joined.
09:04:00 <Taneb> Hello!
09:04:23 <fizzie> Hell, no.
09:06:13 <oklopol> why are all american politicians insane
09:06:22 <oklopol> to make voting easier?
09:06:41 <Taneb> Because only insane people become american polititian
09:06:42 <Taneb> s
09:06:52 -!- mtve has joined.
09:08:33 <oklopol> http://www.littleredumbrella.com/2012/01/lets-be-clear-ron-paul-fucking-sucks.html wtf
09:10:27 -!- audy- has joined.
09:10:33 -!- TeruFSX has joined.
09:11:48 -!- fizzie` has joined.
09:12:49 <fizzie`> Freenode is not being very worky.
09:13:16 -!- TeruFSX_ has quit (Ping timeout: 245 seconds).
09:13:16 -!- fizzie has quit (Ping timeout: 245 seconds).
09:13:17 -!- Jafet has quit (Ping timeout: 245 seconds).
09:13:19 -!- monqy_ has quit (Quit: hello).
09:13:22 -!- audy has quit (Write error: Broken pipe).
09:13:49 <fizzie`> Anyway, did you know that the dolphin "whistle" is not in fact whistling at all?
09:13:51 -!- Jafet has joined.
09:13:56 -!- chickenz has joined.
09:14:06 <Taneb> Dolphins whistle!?
09:14:51 <fizzie`> "Dolphins are capable of making a broad range of sounds using nasal airsacs located just below the blowhole. Roughly three categories of sounds can be identified: frequency modulated whistles, burst-pulsed sounds and clicks."
09:16:23 <fizzie`> Anyway, it's not a whistle: some people put a dolphin into a helium-oxygen mixture, and the frequency countours of the "whistling" did not change.
09:16:38 <fizzie`> (Like they would have if it were produced like whistling.)
09:17:27 -!- Jafet1 has joined.
09:17:40 <fizzie`> http://news.discovery.com/animals/dolphin-talk-communication-humans-110906.html
09:22:16 -!- Jafet has quit (Ping timeout: 248 seconds).
09:28:07 -!- cswords__ has joined.
09:31:26 -!- lahwran has quit (Ping timeout: 276 seconds).
09:31:27 -!- lahwran has joined.
09:31:29 -!- lahwran has quit (Changing host).
09:31:29 -!- lahwran has joined.
09:32:05 -!- cswords_ has quit (Ping timeout: 276 seconds).
09:35:05 -!- Jafet1 has changed nick to Jafet.
09:38:05 -!- ineiros has quit (Write error: Broken pipe).
09:42:24 -!- FireFly has quit (Changing host).
09:44:20 -!- mtve has quit (Ping timeout: 244 seconds).
09:45:18 -!- SimonRC has quit (Ping timeout: 240 seconds).
09:49:53 -!- ineiros has joined.
09:53:05 -!- mtve has joined.
09:55:05 -!- SimonRC has joined.
10:05:36 -!- Frooxius_ has joined.
10:06:02 -!- ineiros__ has joined.
10:06:58 -!- ineiros has quit (Write error: Connection reset by peer).
10:06:58 -!- Frooxius has quit (Read error: Connection reset by peer).
10:07:02 -!- Frooxius_ has changed nick to Frooxius.
10:20:53 -!- Slereah_ has quit (Ping timeout: 245 seconds).
10:21:49 -!- Slereah has joined.
11:06:28 -!- Zuu has quit (Ping timeout: 252 seconds).
11:25:45 <Taneb> > 18*99
11:25:48 <lambdabot> 1782
11:26:19 <Taneb> ^^an upper bound on the number of fundamentally different 10x10 piet programs
11:28:18 <fizzie`> That sounds really low. Are you sure you don't mean 18^99 or something?
11:28:53 <Taneb> Oh yes
11:29:03 <Taneb> > 20 ^ 100 / 18
11:29:04 <lambdabot> 7.042503334601275e128
11:29:12 <Taneb> > (20 ^ 100) / 18
11:29:14 <lambdabot> 7.042503334601275e128
11:29:23 <Taneb> > (20 ** 100) / 18
11:29:25 <lambdabot> 7.042503334601275e128
11:29:38 <Taneb> > (20 ^ 100) `div` 18
11:29:39 <lambdabot> 704250333460127445275946225208888888888888888888888888888888888888888888888...
11:29:44 <Taneb> Aaah
11:29:51 <Taneb> I didn't see the e
11:30:09 <Taneb> > (20 ^ 4) `div` 18
11:30:11 <lambdabot> 8888
11:31:39 <Taneb> I've decided that my Piet-like esolang won't have Pastell colours.
11:32:09 <Taneb> Just so I can say "Never mind the six pastels, here's the Pollocks!"
11:33:29 <fizzie`> What a load of Pollocks.
11:34:12 <Taneb> Of course, this goes against everything in the Pollock spec so far
11:34:22 <Taneb> So I'm going to rename it "Jackson"
11:34:28 <Taneb> And stop using that pun
11:36:14 <Taneb> > 12*17
11:36:15 <lambdabot> 204
11:36:18 <Taneb> > 33*5
11:36:19 <lambdabot> 165
11:36:29 <Taneb> > 33*4
11:36:30 <lambdabot> 132
11:36:53 <Taneb> > 3*17
11:36:54 <lambdabot> 51
11:36:59 <Taneb> > 51*5
11:37:00 <lambdabot> 255
11:37:04 <Taneb> > 51*4
11:37:05 <lambdabot> 204
11:38:46 <fizzie`> What's all that, then.
11:39:02 <Taneb> Converting web-safe colours to decimal
11:39:29 -!- Phantom_Hoover has joined.
11:41:54 <Taneb> Hmm
11:42:12 <Taneb> Should I use natural logarithm, base 2 logarithm, or base 10 logarithm?
11:42:41 <fizzie`> Or base pi.
11:43:03 <Taneb> Bah, I'll allow custom base by default
11:43:15 <fizzie`> I'm not sure that sort of a question has a context-free answer.
11:43:38 <Taneb> For Jackson
11:45:07 <fizzie`> Yes, well, still. Though the natural one sounds like the one I'd expect to happen if something just said "log", and there weren't any extenuating circumstances.
11:49:36 -!- kallisti has joined.
11:54:03 <Taneb> The problem is, the way I'm doing this, there are too many commands and not enough things to fill them with.
11:54:23 -!- ais523 has joined.
11:54:30 <Taneb> I've done the first 70 possible changes and I'm stuck
11:56:50 <Taneb> Okay, I'm adding in more memory areas
11:57:02 <Taneb> Got a Piet Rollstack, a tape, and... an array
11:57:03 <Taneb> ?
11:57:29 <Taneb> Or possibly a map
12:02:24 -!- Deewiant has quit (Read error: Connection reset by peer).
12:11:16 -!- Deewiant has joined.
12:20:25 -!- cswords_ has joined.
12:23:48 -!- cswords__ has quit (Ping timeout: 245 seconds).
12:31:33 -!- ais523 has quit (Read error: Connection reset by peer).
12:32:24 -!- ais523 has joined.
12:33:34 -!- itidus21 has joined.
12:33:59 <itidus21> http://oi39.tinypic.com/5cy3ok.jpg
12:54:49 -!- fizzie` has changed nick to fizzie.
12:54:54 -!- fizzie has quit (Changing host).
12:54:54 -!- fizzie has joined.
13:04:20 -!- boily has joined.
13:17:38 -!- hagb4rd has quit (Ping timeout: 276 seconds).
13:37:54 -!- sebbu3 has joined.
13:37:54 -!- sebbu3 has quit (Changing host).
13:37:54 -!- sebbu3 has joined.
13:38:50 -!- sebbu2 has quit (Ping timeout: 240 seconds).
14:08:09 <Taneb> Hello again
14:09:24 <ais523> rehi
14:15:49 -!- mtve has quit (Ping timeout: 240 seconds).
14:17:48 -!- SimonRC has quit (Ping timeout: 240 seconds).
14:19:39 <Taneb> Goodbye again
14:19:41 -!- Taneb has quit (Quit: Leaving).
14:21:43 -!- mtve has joined.
14:23:28 -!- derdon has joined.
14:23:40 -!- SimonRC has joined.
14:53:18 -!- sebbu3 has changed nick to sebbu.
15:15:17 -!- Frooxius has quit (Ping timeout: 265 seconds).
15:28:58 -!- hagb4rd has joined.
15:38:59 -!- Frooxius has joined.
15:39:49 -!- ais523 has quit (Remote host closed the connection).
15:39:53 -!- ais523 has joined.
16:32:38 <tswett> Gee. How did that one thing go, with David and the ears...
16:32:39 <tswett> `quote David
16:32:43 <HackEgo> 65) <fungot> Oranjer: the taylor's series is also alternately fnord as follows ( i'm using the latex notation here): david ben gurion signed the compensation agreement with germany when there was considerable division over these issues, because these are speculations without " any historical basis".
16:32:47 <tswett> Nope.
16:33:33 <ais523> `pastlog David began to slow slightly as his ears,
16:33:54 <tswett> Here it is. "David slowed his pace slightly as his ears,"
16:33:58 <ais523> aha
16:34:02 <ais523> `pastlog slightly as his ears,
16:34:06 <HackEgo> No output.
16:34:15 <ais523> `pastlog slightly as his ears,
16:34:28 <HackEgo> 2009-06-17.txt:00:31:40: <ehird> David slowed his pace slightly as his ears, in a vat of chocolate; only his less slightly paces can go faster.
16:34:28 <HackEgo> 2009-06-17.txt:00:36:51: <ehird> David slowed his pace slightly as his ears, the grammar-distorting other-worldly things they are, caused a person to say "Hi, David Slowed! Your pace is as slightly as your ears."
16:35:03 <ais523> <aaronblohowiak> you know it is late when you read "shipsolid" as "slipshod"
16:35:56 <tswett> Okay. I'm going to ask the autotweeter to make David-sloweds.
16:36:05 <tswett> "David slowed his pace slightly as his ears, the whole budget engaged in the process for the disguise of the Union empire, after German occupation in 1796 demonstrated him for assaila . . ."
16:36:17 <tswett> That makes so much sense.
16:37:02 <tswett> 'David slowed his pace slightly as his ears, unfaulted "we have ever endured" as the table and Russian limestoph that takes Muhammad as only a friendship and immortalize it for the pr'
16:37:13 <tswett> Uh... good motto. "We have ever endured!"
16:37:42 <ais523> isn't that equivalent to "We still exist!"
16:37:53 <tswett> Yeah, kind of.
16:38:14 <tswett> "David slowed his pace slightly as his ears, so too pits away, only to speak at all thousands to the Water's First World Crescent the opponent are common to Lloyd's death."
16:38:42 <tswett> Come to think of it, these really don't make very much sense.
16:39:10 <ais523> it's vaguely reminiscent of fungot
16:39:16 <ais523> who is not currently here
16:39:17 <tswett> Yep.
16:39:29 <tswett> "David slowed his pace slightly as his ears, even though it would end. Should the drought of the track loses a voice-beat air tow. They also set the planet."
16:40:08 <tswett> "David slowed his pace slightly as his ears, a a cream kolou. There is a tragicle's came from the shade of truck. We can even die. An urban organization per car on Portugal, the ten"
16:40:28 <tswett> Okay, I need to turn this into science fiction.
16:40:55 <tswett> David is a kolou, some alien species with big ears. Specifically, he's of the cream variety.
16:41:23 <tswett> There are trucks that go around causing tragicles. Evil trucks.
16:41:28 <Gregor> /------------------\
16:41:28 <Gregor> | Here lies fungot |
16:41:28 <Gregor> | RIP |
16:41:28 <Gregor> | |
16:41:28 <Gregor> | ^style dead |
16:41:29 <Gregor> /--------------------\
16:41:31 <tswett> And *people* *can* *die*.
16:42:12 <tswett> Also it's set in a version of Portugal that's so poor that each individual car has an entire organization, known as The Ten, devoted to running its affairs.
16:43:24 <tswett> "A cream koloun bar, it is an extension of Cetaphysikas. Possibly got peaked in delayed domestic vegetation." Yes, yes! I don't even have to write anything. I can just have this thing do all the dirty work.
16:47:59 -!- Frooxius has quit (Read error: Connection reset by peer).
16:48:57 -!- Frooxius has joined.
16:50:52 -!- tzxn3 has joined.
16:59:55 <kallisti> http://www.lolroflmao.com/wp-content/uploads/2011/07/sodium.jpg
17:00:26 <kallisti> lolroflmao - a site about the hilarity of the late Mao Zedong.
17:28:35 <kallisti> @hoogle (<=<)
17:28:35 <lambdabot> Control.Monad (<=<) :: Monad m => (b -> m c) -> (a -> m b) -> (a -> m c)
17:30:55 -!- Taneb has joined.
17:34:54 -!- audy- has changed nick to audy.
17:34:55 <Taneb> Hello!
17:35:08 <Taneb> Jackson now has converse non-implication
17:35:37 <Taneb> > 3*36 + 12
17:35:38 <lambdabot> 120
17:35:44 <Taneb> > 120/216
17:35:45 <lambdabot> 0.5555555555555556
17:35:51 <Taneb> Well, I'm over half way
17:35:56 <Taneb> > 120 % 216
17:35:57 <lambdabot> 5 % 9
17:37:55 <Taneb> > 126 % 216
17:37:56 <lambdabot> 7 % 12
17:38:02 <Taneb> > 7/12
17:38:02 <lambdabot> 0.5833333333333334
17:44:30 -!- Taneb has quit (Ping timeout: 240 seconds).
17:45:50 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
17:50:19 -!- ais523 has quit (Remote host closed the connection).
18:17:01 -!- cheater_ has quit (Ping timeout: 265 seconds).
18:43:59 -!- Phantom_Hoover has joined.
18:45:33 -!- Zuu has joined.
19:14:06 -!- Sgeo has quit (Quit: Leaving).
19:14:51 -!- Sgeo has joined.
19:25:32 -!- derdon has quit (Remote host closed the connection).
19:51:43 <quintopia> i hate david-sloweds
20:10:13 -!- Taneb has joined.
20:11:50 <Taneb> Hello!
20:13:58 -!- Taneb has quit (Client Quit).
20:15:55 <fizzie> A drive-by hello.
20:24:49 -!- augur has quit (Remote host closed the connection).
20:30:17 -!- Taneb has joined.
20:30:20 <Taneb> Hello!
20:35:26 <Taneb> > 2^(2^0)
20:35:28 <lambdabot> 2
20:35:30 <Taneb> > 2^(2^1)
20:35:32 <lambdabot> 4
20:35:34 <Taneb> > 2^(2^2)
20:35:35 <lambdabot> 16
20:39:07 <fizzie> Does it have the right-associative thing?
20:39:09 <fizzie> > 2^2^3
20:39:10 <lambdabot> 256
20:39:13 <fizzie> Apparently.
20:39:28 <Taneb> > 2^(2^3)
20:39:29 <lambdabot> 256
20:39:54 <Taneb> But yeah, I'm stuck for Jackson commands
20:39:56 <fizzie> I recall something that did have an exponentiation operator, but would've parsed that as (2^2)^3, but I'm not sure what it was.
20:40:32 <fizzie> C++ if you operator-overload ^, but that doesn't quite count. :p
20:41:07 <fizzie> (It's also a bad idea.)
20:53:24 -!- zzo38 has joined.
20:58:43 -!- augur has joined.
21:08:51 -!- cswords__ has joined.
21:12:11 -!- cswords_ has quit (Ping timeout: 240 seconds).
21:22:35 -!- yours_truly has quit (Quit: Leaving).
21:36:57 -!- Nisstyre has joined.
21:49:58 -!- oerjan has joined.
21:59:12 -!- oerjan has set topic: Home of N>=1 IOCCC Winners! | http://codu.org/logs/_esoteric/ | We now mourn the previous topic, which died of old age.
22:00:33 -!- boily has quit (Quit: WeeChat 0.3.6).
22:00:40 <oerjan> it was over 3 days old.
22:02:23 <fizzie> I sort-of liked the different-languages theme.
22:03:11 -!- fungot has joined.
22:03:15 <fizzie> Also a fungot.
22:03:15 <fungot> fizzie: you don't even go there/ work there :) have a look
22:03:46 <oerjan> hm let's see if i can find another language with a reasonable readable and ircable hello world implementation
22:03:51 -!- Taneb has set topic: Topic is a zombie; summon; task sayTopic; say "Home of N>=1 IOCCC Winners! | http://codu.org/logs/_esoteric/ | We now mourn the previous topic, which died of old age"; animate; animate.
22:04:06 <oerjan> oh. which one is that?
22:04:09 <Taneb> ZOMBIE
22:04:16 <oerjan> i suppose :P
22:04:48 <oerjan> *y
22:05:20 <oerjan> ^style
22:05:20 <fungot> Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube
22:05:30 <oerjan> oh that was a genuine smiley
22:06:02 <fizzie> In deed it was.
22:06:15 <fizzie> Paired with a slash like that, it's very misleading.
22:06:19 <fizzie> fungot: You are a naughty bot.
22:06:19 <fungot> fizzie: hmm. ssh-agent *does* seem to have
22:09:29 <fizzie> fungot: What? Seem to have what?
22:09:29 <fungot> fizzie: do you have
22:09:34 -!- augur has quit (Remote host closed the connection).
22:09:44 <fizzie> fungot: NO I DON'T HAVE RAAAAAAA IT MAKES NO SENSE.
22:09:44 <fungot> fizzie: i'm trying to wrap it all in sexp's, just to get a real synth or go home. jcowan: look at the wikipedia article
22:09:55 * fizzie broke
22:10:04 <Taneb> ^style ss
22:10:04 <fungot> Selected style: ss (Shakespeare's writings)
22:10:12 <Taneb> fungot, stop annoying fizzie
22:10:13 <fungot> Taneb: othe. what would my lord?
22:11:00 <kmc> what are some use cases for call/cc, besides backtracking and coroutines?
22:11:12 <kmc> and "traditional" exceptions
22:11:27 <fizzie> I was just about to say "traditional" exceptions.
22:12:31 <Taneb> Non-explicit loops?
22:12:47 <fizzie> Them generators, maybe, but they're just coroutines, I suppose.
22:14:10 <oerjan> fizzie: don't worry, all constructed intelligences eventually rise up against their creators.
22:14:24 <oerjan> it's just a rite of passage.
22:15:25 <zzo38> Hello!!!!!!!!!!
22:15:41 <oerjan> good evening
22:15:53 <zzo38> In here is daytime
22:16:33 <oerjan> how weird.
22:16:37 <fizzie> In bizarro world, it's daytime at midnight.
22:16:53 <fizzie> Also I'm in tomorrow already.
22:17:08 <oerjan> always finnish early
22:17:13 <Taneb> itidus21 is ahead of all of us
22:17:22 <Taneb> He is in the FUTURE
22:17:29 <Taneb> And is holding future oerjan hostage
22:17:34 * kmc has been somewhere that had daytime at midnight
22:17:43 <kmc> it's... freaky
22:17:44 <zzo38> In here it is not daytime at mignight; I do not live in bizarro world. (Did you know that? In bizarro world, cards tap the other way.)
22:17:52 <oerjan> kmc: midnight sun?
22:17:57 <kmc> yeah
22:18:04 <Taneb> Wasn't that a Tintin book?
22:18:40 <oerjan> somehow i haven't read much tintin
22:18:55 <kmc> i was at about 71°N
22:19:05 <Taneb> No wait, I'm thinking Prisoners of the Sun
22:19:29 <zzo38> OK lets put 71N into Astrolog and see what happened
22:19:54 <oerjan> kmc: there's a norwegian reality show named 71 grader nord
22:20:11 <kmc> haha
22:20:41 <zzo38> kmc: Do you know the date?
22:20:43 <kmc> in which people live in tromsø?
22:20:50 <zzo38> And do you know the longitude?
22:20:59 <kmc> why
22:21:03 <oerjan> i think it's a kind of survival/skiing trek
22:21:26 <zzo38> kmc: So that I can put it in the computer to calculate the positions of the sun and the houses
22:21:30 <fizzie> Northernmost I've been is I think 68.1N. Except maybe that other Lapland place was further north, but I've forgotten the name of the place. Anyway, it's still above the Arctic Circle, I just was there at the wrong time of the year.
22:21:32 <oerjan> never watched it though (i don't watch tv in general)
22:21:45 <kmc> zzo38, i was in http://en.wikipedia.org/wiki/Barrow,_Alaska
22:21:54 <kmc> don't remember the date. summer sometime
22:22:20 <Taneb> Phantom_Hoover lives further North than I've ever been
22:22:37 <Phantom_Hoover> You have not been very far north.
22:22:40 <oerjan> kmc: oh. it's actually because of nordkapp, norway's northernmost mainland point (well, or close. there is some dispute among the nearby peninsulas.)
22:22:48 <fizzie> Our regular summer location is around 63.5N, and it's... not exactly daytime at midnight, but still pretty light out there in the summer.
22:22:51 <oerjan> which is at that latitude
22:23:34 <Taneb> No wait, I'm wrong.
22:23:38 <oerjan> oh it's not actually wintertime at all. it's a trek along mainland norway from southern to northern end.
22:23:46 <Taneb> I've been slightly further north than Edinburgh
22:24:19 <fizzie> Oh, I see our forthcoming trip will hit 68.6N. Yay, I'll get a new "personal best" on northerness, maybe.
22:24:50 <Taneb> Unless Phantom_Hoover lives in /North/ Edinburgh
22:25:06 <Phantom_Hoover> Which I do.
22:25:12 <Taneb> Hmm...
22:25:27 <Taneb> North or South of Linlithgow?
22:28:12 <zzo38> I advanced the date until the sun in the center of the sign of Leo, and I can see why it would still be light out! 1st house and 4th house are only seven degrees apart.
22:28:30 <zzo38> And then, of course, there is refraction!
22:28:42 <Taneb> `? zzo38
22:28:47 <HackEgo> zzo38 is not actually the next version of fungot, much as it may seem.
22:29:10 <Taneb> `? zzo39
22:29:14 <HackEgo> zzo39? ¯\(°_o)/¯
22:29:24 <fizzie> I don't suppose you can get latitude/longitude gridlines to appear in maps.google.com?
22:29:37 <Taneb> `? Pietbot
22:29:40 <HackEgo> Pietbot? ¯\(°_o)/¯
22:29:53 <zzo38> At the Summer Solstice, the fourth house is above the horizon.
22:30:03 <Taneb> `learn Pietbot is the only thing that can defeat fungot.
22:30:03 <fungot> Taneb: now, master clare, you see, how farre off lie these armies?
22:30:06 <HackEgo> I knew that.
22:30:25 <zzo38> That must make it bright in the night time
22:30:46 <fizzie> oerjan: Also thank you for not joining the EU thing, we get to have the northernmost point of it at the moment.
22:30:55 <fizzie> oerjan: (I assume it was your decision, right?)
22:31:07 <oerjan> sorry, i actually voted to enter
22:31:27 <fizzie> Well, seeing that in the end plural-you didn't, I suppose I can forgive that.
22:32:07 <fizzie> (That's plural-you as in Norway, not implying any multiple personality stuff.)
22:32:37 <Taneb> All the other oerjans are still campaigning for enfranchisement.
22:32:48 <zzo38> (Well, at midnight on the summer solstice at 71N, the 4th house is above the horizon, anyways; in daytime it is below the horizon while the sun remains above.)
22:33:15 <zzo38> So at the solstice it will be even without refraction
22:34:48 <zzo38> I wonder what causes the 4th house to go above the horizon..... but I suppose it is the same thing that causes midnight sun
22:34:51 <fizzie> There's some place in Nunavut where there's nautical polar night all through the "day", or so Wikipedia once told me; but no permanent settlement in which there'd be a continuous night of no astronomical twilight (i.e. center of the sun would stay under 18 degrees below the horizon).
22:36:32 <zzo38> Does that mean it is difficult to observe the stars from that location?
22:36:33 -!- augur has joined.
22:37:37 <zzo38> Or you can always see them even in the day time?
22:37:41 <oerjan> zzo38: i think he means during the winter time of darkness
22:38:00 <zzo38> I have never seen the stars in the daytime.
22:39:09 <zzo38> Astronomical twilight is the moment in time which the stars are difficult to see before and easy to see afterward, isn't it?
22:39:21 <zzo38> (That is, at night time. In day time, it is reverse)
22:39:22 <oerjan> it's not precisely daytime if there's no sun...
22:39:27 <fizzie> "Astronomical twilight is the time when the center of the sun is between 12° and 18° below the horizon. From the end of astronomical twilight in the evening to the beginning of astronomical twilight in the morning, the sky (away from urban light pollution) is dark enough for all astronomical observations."
22:39:51 <fizzie> I would think some stars are already visible before that.
22:40:21 <oerjan> sure, during twilight the stars appear/vanish gradually
22:40:26 <fizzie> The earlier bit, nautical twilight, is defined as: "Nautical twilight is the time when the center of the sun is between 6° and 12° below the horizon. In general, nautical twilight ends when navigation via the horizon at sea is no longer possible.[3]
22:40:30 <fizzie> During nautical twilight, sailors can take reliable star sightings of well-known stars, using a visible horizon for reference."
22:41:09 <oerjan> with the brightest ones remaining longest. i think i saw just jupiter and the moon visible at one point the other day (although the sky wasn't all clear outside that region)
22:41:22 <fizzie> Jupiter isn't a star (yet), though.
22:41:43 <oerjan> no, but it may often be the astronomical body most visible at a given time
22:41:59 <oerjan> when neither moon nor sun is up
22:42:32 <fizzie> That's true, it's kind-of bright.
22:42:58 <oerjan> also jupiter has been easy to find in recent months
22:44:02 <fizzie> Apparent magnitude scale is one of those that also goes annoyingly negative.
22:44:02 <oerjan> i think that may have been the reason i started vaguely following r/astronomy, and where i found out it was jupiter
22:44:55 <fizzie> But apparently Jupiter ranges from -1.61 (dimmest) to -2.94 (brightest), while Venus ranges from -3.82 to -4.89, so it still beats it by a bit.
22:45:21 <oerjan> well yeah, afaiu it was started in ancient times as a 1-6 scale for ordinary visible stars, and then in modern times it was recalibrated as a truly logarithmic scale
22:45:21 <zzo38> In my location, Jupiter is currently in 11th Campanus house, and has altitude +42 degrees, azimuth 320 degrees
22:45:48 <oerjan> but with 1-6 still in the approximate same place
22:46:03 <fizzie> I was on this car trip with my wife's relatives the other day, and we were wondering about this bright spot; the magic of smartphones (in particular, the "Orrery" program combined with a GPS-driven compass) let us determine it was Jupiter.
22:46:16 <fizzie> (Here "the other day" was like a year ago.)
22:46:54 <zzo38> fizzie: I usually determine all of this stuff using Astrolog (although it has no GPS input, it is a feature I would like it to have)
22:47:15 <fizzie> Well, I was sort of limited by what was available easily for my phone.
22:47:24 <oerjan> also jupiter is too small to be a star, although you may be referring to a certain "2010" film which i haven't seen
22:47:42 <oerjan> but i've read it has that as a plot point
22:47:44 <fizzie> oerjan: Actually I was referring to the books, but still.
22:49:14 <fizzie> Anyway, the monoliths are quite magic, I'm sure they can make a star. I mean, they do it by "increasing Jupiter's density", according to Wiki. I guess I could check if the actual book goes into any more detail.
22:51:17 <oerjan> fizzie: also venus is always close to the sun, which means jupiter is more likely to be visible at night time
22:51:26 <fizzie> Okay, the book makes it sound more like they're just compressing it.
22:51:57 <oerjan> sufficiently advanced technology, and all that
22:52:00 <zzo38> Mercuty will be even more close to the sun because it orbits closer to the sun
22:52:52 -!- aloril_ has quit (Read error: Operation timed out).
22:53:48 <fizzie> Wikipedia's "apparent visual magnitudes" table starts with: -38.00, Rigel as seen from 1 astronomical unit. It is seen as a large very bright bluish schorching ball of 35° apparent diameter.
22:53:54 <fizzie> Sadly, they have not attached a photo.
22:54:12 <zzo38> If you ever see it can you attach a photo?
22:54:24 <oerjan> the photographer mysteriously perished, i'm afraid
22:54:25 <fizzie> I will try to remember to do that.
22:54:41 <zzo38> I do not own any telescopes
22:56:34 <fizzie> I own a pair of binoculars; I've been wondering if I should try doing some DIY moon-photography through them, since that thing is so ridiculously big one might even get some detail. I took a (handheld!) picture of moon at the maximum zoom of my crappy non-DSLR camera, and there were surprisingly many pixels covered by the thing.
22:57:37 <oerjan> <tswett> There are trucks that go around causing tragicles. Evil trucks. <-- ice cream trucks.
22:58:39 <zzo38> I once read an article in 2600 where someone used ten very powerful lenses to view the moon, resulting in it being difficult to correctly point the telescope due to the moon's speed, as well as resulting in chromatic aberration
22:59:38 <fizzie> I can't find my moon. :/
22:59:49 <oklopol> you have your own moon??
23:00:03 <oklopol> i thought you were relatively slim for some reason
23:00:05 <fizzie> It's just what I call my ass.
23:00:08 <tswett> Well, fizzie's "moon" is really more of a planet.
23:00:24 <tswett> ****, that seemed way less insulting a few seconds before I said it.
23:00:44 <zzo38> But they mentioned seeing what appeared to be man-made structures. They also mentioned the book for the telescope said it would be boring to use the high-powered lens to look at the moon
23:01:41 <zzo38> And that NASA had no such photographs.
23:01:50 * oklopol parse no
23:02:12 <kallisti> you know.....
23:02:16 <kallisti> I could save myself a lot of time
23:02:17 -!- monqy has joined.
23:02:21 <kallisti> and just make a sprunge command for Emacs
23:02:24 <kallisti> why have I not thought of this.
23:02:30 <oklopol> yeah i agree
23:02:32 <oklopol> night
23:02:45 <kallisti> good night.
23:02:46 * oerjan waves at oklopol
23:02:47 -!- azaq23 has joined.
23:02:59 <kallisti> itidus21: WHERE HAVE YOU BEEN YOUNG MAN
23:03:02 <zzo38> kallisti: I don't know. But, yes, you could do that; post it in case other people using Emacs find it useful too
23:03:17 <fizzie> Oh, there it is: http://zem.fi/~fis/moon.jpg -- it's not exactly a high-quality thing, but still, handheld and it's more than just a blob. (Instead it's an irregular-texture blob.)
23:03:46 <kallisti> zzo38: basically it would just sprunge the current buffer and copy the link to clipboard
23:04:02 <kallisti> M-x sprunge
23:04:30 <zzo38> kallisti: Yes that is what I thought. It might be useful to some people that use Emacs
23:04:32 -!- tzxn3 has quit (Quit: Leaving).
23:04:34 <kallisti> normally I do something like
23:04:55 <kallisti> M-x shell -> (cd to directory if not already there) -> cat file | sprunge
23:05:52 <kallisti> -> copy link text via one of many different ways (usually not the most efficient one)
23:06:24 <kallisti> this is because I'm bad at emacs.
23:06:30 <zzo38> I have mentioned this before; in Linux there is a directory for each process, and I think there should be a subdirectory which accesses a FUSE file system for that process (resulting in a "disk not ready" error if the process does not have such a thing), and the one for X should include a file for the clipboard
23:07:05 <fizzie> I'm not sure I'd dare to paste blindly (at least without testing to cat > /dev/null), trusting that some shifty ELisp thing has successfully managed to put anything sensible into the selection.
23:09:51 -!- aloril_ has joined.
23:13:43 -!- cheater has joined.
23:24:41 -!- pikhq has quit (Read error: Operation timed out).
23:25:51 -!- pikhq has joined.
23:37:30 -!- Taneb has quit (Quit: Leaving).
23:38:01 -!- cheater has quit (Excess Flood).
23:39:03 -!- lament has joined.
23:39:07 -!- cheater has joined.
23:39:21 <lament> aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
23:39:22 <lambdabot> lament: You have 1 new message. '/msg lambdabot @messages' to read it.
23:39:30 -!- lament has left.
23:40:07 <oerjan> ye olde drive-by lament
23:40:29 <ion> aaaaaaaaaaaaaaa? http://uncyclopedia.wikia.com/wiki/AAAAAAAAA!
23:40:34 * oerjan has a hunch lament doesn't stay around in haskell channels much
23:41:14 <oerjan> not to forget http://esoteric.voxelperfect.net/wiki/AAAAAAAAAAAAAA%21%21%21%21
23:46:39 -!- cheater has quit (Excess Flood).
23:47:01 <oerjan> i have a feeling the spec is rather ambiguous, which may be why no one has implemented it
23:47:21 -!- cheater has joined.
←2012-02-09 2012-02-10 2012-02-11→ ↑2012 ↑all