←2012-02-10 2012-02-11 2012-02-12→ ↑2012 ↑all
00:07:43 <hagb4rd> lovely
00:10:41 -!- Nisstyre has changed nick to nisstyre.
00:24:48 <Phantom_Hoover> > 9999 / 365
00:24:48 <lambdabot> 27.394520547945206
00:26:32 -!- augur has quit (Remote host closed the connection).
00:30:48 -!- augur has joined.
00:31:43 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
00:34:02 -!- cswords__ has quit (Ping timeout: 265 seconds).
00:35:16 <hagb4rd> > 714 / 17
00:35:17 <lambdabot> 42.0
00:36:21 <hagb4rd> how to extract a root?
00:36:32 <oerjan> > sqrt (42.0)
00:36:33 <lambdabot> 6.48074069840786
00:36:37 <hagb4rd> thx
00:36:46 <oerjan> actually parentheses not needed
00:37:04 -!- cswords has joined.
00:37:07 <hagb4rd> > sin (90)
00:37:07 <lambdabot> 0.8939966636005579
00:37:10 <oerjan> > 42.0 ** (1/3) -- other roots
00:37:11 <lambdabot> 3.4760266448864496
00:37:30 -!- derdon has joined.
00:37:33 -!- derdon has quit (Remote host closed the connection).
00:37:38 -!- derdon has joined.
00:39:26 <fizzie> And how do I get all the N roots?
00:39:33 <hagb4rd> you told me once oerjan, but i forgot: how to calculate a function for a number of values like x² for -10..10 with step 2
00:40:15 <oerjan> > [x^2 | x <- [-10, -8 .. 10]]
00:40:16 <lambdabot> [100,64,36,16,4,0,4,16,36,64,100]
00:40:27 <hagb4rd> ah yes *noted
00:40:40 <oerjan> > [42.0 ** (1/n) | n <- [1..]] -- for fizzie
00:40:41 <lambdabot> [42.0,6.48074069840786,3.4760266448864496,2.5457298950218306,2.111785764966...
00:41:02 <oerjan> or wait, did you mean all the complex roots?
00:41:05 <fizzie> oerjan: No, I mean, all three cube roots of 42, for examle.
00:41:07 <fizzie> Yes.
00:41:12 <oerjan> well...
00:42:15 <fizzie> Okay, they're equally spaced around the thing, I suppose.
00:42:21 <oerjan> :t sic
00:42:22 <lambdabot> Not in scope: `sic'
00:42:27 <fizzie> > (^2) <$> [-10, -8 .. 10] -- not related
00:42:28 <lambdabot> [100,64,36,16,4,0,4,16,36,64,100]
00:42:29 <oerjan> hm what was that
00:42:40 <oerjan> @hoogle a -> Complex a
00:42:41 <lambdabot> Data.Complex (:+) :: a -> a -> Complex a
00:42:41 <lambdabot> Data.Complex cis :: RealFloat a => a -> Complex a
00:42:41 <lambdabot> Prelude id :: a -> a
00:42:45 <oerjan> ah cis
00:43:21 <oerjan> > [42.0 ** (1/3) * cis (n * pi / 3) | n <- [0, 2, 4]]
00:43:22 <lambdabot> [3.4760266448864496 :+ 0.0,(-1.7380133224432242) :+ 3.010327378703255,(-1.7...
00:43:51 <fizzie> OKAY, like you often say.
00:44:23 <oerjan> @source Data.Complex
00:44:24 <lambdabot> http://darcs.haskell.org/packages/base/Data/Complex.hs
00:45:22 <oerjan> oh hm
00:45:43 <oerjan> > [makePolar (42.0 ** (1/3)) (n * pi / 3) | n <- [0, 2, 4]]
00:45:44 <lambdabot> Not in scope: `makePolar'
00:45:54 <oerjan> > [mkPolar (42.0 ** (1/3)) (n * pi / 3) | n <- [0, 2, 4]]
00:45:55 <lambdabot> [3.4760266448864496 :+ 0.0,(-1.7380133224432242) :+ 3.010327378703255,(-1.7...
00:46:09 <zzo38> Tell me idea/complaint about this please? http://sprunge.us/QdMI
00:47:07 <hagb4rd> > [a*b | a <- [1 .. 10], b <- [2, 4 .. 10]]
00:47:08 <lambdabot> [2,4,6,8,10,4,8,12,16,20,6,12,18,24,30,8,16,24,32,40,10,20,30,40,50,12,24,3...
00:47:40 <fizzie> octave:3> roots([1, 0, 0, -42])
00:47:40 <fizzie> ans =
00:47:41 <fizzie> -1.7380 + 3.0103i
00:47:41 <fizzie> -1.7380 - 3.0103i
00:47:41 <fizzie> 3.4760 + 0.0000i
00:47:54 <fizzie> It's perhaps not the most pleasant interface either.
00:48:12 <fizzie> Takes coefficients of a polly nomial.
00:48:43 <oerjan> well haskell doesn't have _that_ in base, i think
00:50:26 <hagb4rd> > [ a | a <- [1, 2, 4, 7, 11..29]]
00:50:27 <lambdabot> <no location info>: parse error on input `..'
00:50:27 <fizzie> You can say roots(poly(X)) in Octave if you want to solve eigenvalues of X really badly. (poly(X) returns the characteristic polynomial.)
00:50:35 <hagb4rd> > [ a | a <- [1, 2, 4, 7, 11 .. 29]]
00:50:36 <lambdabot> <no location info>: parse error on input `..'
00:50:58 <oerjan> hagb4rd: sorry, only one comma
00:51:21 <hagb4rd> k..
00:51:48 <fizzie> > [a | a <- [1, 2, 4] ++ [7, 11 .. 29]]
00:51:50 <lambdabot> [1,2,4,7,11,15,19,23,27]
00:52:10 <oerjan> > scanl (+) 1 [2..]
00:52:11 <lambdabot> [1,3,6,10,15,21,28,36,45,55,66,78,91,105,120,136,153,171,190,210,231,253,27...
00:52:14 <oerjan> oops
00:52:19 <oerjan> > scanl (+) 1 [1..]
00:52:20 <lambdabot> [1,2,4,7,11,16,22,29,37,46,56,67,79,92,106,121,137,154,172,191,211,232,254,...
00:53:10 <hagb4rd> wow
00:53:17 <fizzie> > takeWhile (<= 29) $ scanl (+) 1 [1..]
00:53:18 <lambdabot> [1,2,4,7,11,16,22,29]
00:53:29 <hagb4rd> what does scanl mean at all?
00:53:45 <oerjan> > scanl f x [1,2,3] :: [Expr]
00:53:46 <lambdabot> [x,f x 1,f (f x 1) 2,f (f (f x 1) 2) 3]
00:54:27 <oerjan> @src scanl
00:54:27 <lambdabot> scanl f q ls = q : case ls of
00:54:27 <lambdabot> [] -> []
00:54:27 <lambdabot> x:xs -> scanl f (f q x) xs
00:54:54 <oerjan> it's like foldl except it also gives intermediate results
00:56:00 <fizzie> > take 5 $ iterate f x
00:56:01 <lambdabot> [x,f x,f (f x),f (f (f x)),f (f (f (f x)))]
00:56:16 -!- cheater has quit (Ping timeout: 252 seconds).
00:56:22 <fizzie> It's also a bit like that except it also has that list to go along.
00:58:45 <hagb4rd> > foldl (+) 1 [1..]
00:58:47 <lambdabot> Terminated
00:58:54 <zzo38> I intend to try to add other stuff to extensible-data package, such as TADS2-style inheritance and CLC-INTERCAL-style object orientation.
00:59:19 <zzo38> I am not yet quite sure how
01:01:13 <oerjan> hagb4rd: also, scanl often works on infinite lists, but foldl never does
01:02:20 <hagb4rd> i see
01:02:33 <hagb4rd> > foldl (+) 1 [1..27]
01:02:34 <lambdabot> 379
01:02:44 <hagb4rd> qed
01:02:51 <hagb4rd> got it
01:03:11 <oerjan> also there are scanl1 and foldl1 if you don't want that special first element
01:03:16 <fizzie> > fst <$> iterate (uncurry ((`ap` (1 +)) . ((,) .) . (+))) 1
01:03:17 <lambdabot> [1,2,4,7,11,16,22,29,37,46,56,67,79,92,106,121,137,154,172,191,211,232,254,...
01:03:19 <fizzie> (Can you tell I used @pl there to make it more readable?)
01:03:26 <oerjan> CLEARLY
01:04:11 <fizzie> It was \(n,i) -> (n+i,i+1) back when it was still unreadably pointy.
01:04:14 <oerjan> > scanl (+) 1 $ enumFrom 1
01:04:15 <lambdabot> [1,2,4,7,11,16,22,29,37,46,56,67,79,92,106,121,137,154,172,191,211,232,254,...
01:05:53 <zzo38> As well as rulebooks as in Inform 7
01:06:52 <oerjan> is this a bit like multifile predicates in prolog?
01:08:47 <zzo38> oerjan: Someone has said it resembles that
01:09:01 <zzo38> But I don't really know
01:09:08 <oerjan> there is supposedly the #haskell-in-depth channel for deeper haskell discussions, although i think elliott said it was nearly dead
01:10:00 <zzo38> O, well, that is why I often use this channel; the people in #haskell channel tend to hate it. But I do write on #haskell channel too
01:10:09 <oerjan> in fact, you might ask elliott if he knows a better place to discuss this kind of stuff
01:11:03 <oerjan> from stackoverflow and the latest haskell weekly news, it looks to me like he is more into haskell now than before he left here
01:11:50 <oerjan> zzo38: yes, but i have noticed you rarely get any answers here either
01:12:24 <zzo38> oerjan: Yes I know. But usually they are closer to the kind of answers I am looking for, when there are answers.
01:17:52 <zzo38> Would you even know how Prolog's multifile predicates would be implemented in Haskell?
01:18:02 <oerjan> nope
01:18:28 <zzo38> Did you look at the code I posted and if it seems to help at all?
01:20:01 <oerjan> i took a glimpse and decided it was over my head, alas
01:45:08 -!- augur has quit (Remote host closed the connection).
01:45:55 -!- augur has joined.
01:51:14 -!- cheater has joined.
01:56:38 <hagb4rd> yes elliott..did he show up once in the past decade?
01:57:13 -!- cheater has quit (Ping timeout: 260 seconds).
01:57:59 <oerjan> he was here last yesterday or the day before, but he only comes here now because he's trying to take over the esolang wiki
01:58:20 -!- nisstyre has changed nick to Nisstyre.
01:58:21 <oerjan> he is on freenode, though
01:58:34 -!- derdon has quit (Remote host closed the connection).
02:00:07 <hagb4rd> i don't understand. you mean he's on freenode not joining this channel? y?
02:00:12 <oerjan> yes.
02:00:27 <oerjan> in fact i have a private window open with him
02:00:33 <zzo38> *Someone* should take over the esolang wiki; there are still things to change in the software and server configuration. (But it doesn't necessarily have to be elliott; it could be Gregor.)
02:00:48 <oerjan> he said something about #esoteric not being interesting any more :(
02:01:02 <hagb4rd> aw no.. this is sad
02:01:22 <hagb4rd> tell him we need him here
02:02:12 <Gregor> Arguably it should be somebody who's actually on the channel X_X
02:02:20 <Gregor> But then, I don't want to do it and codu doesn't really have the room anyway.
02:02:52 <zzo38> Gregor: Yes I suppose so; I did suggest it to be you
02:03:53 <Gregor> Instead I'll just be bitter about not having ops in spite of being one of the longest-standing members of the #esoteric community ;)
02:04:32 <hagb4rd> i want elliott back :/
02:05:07 <zzo38> hagb4rd: Then you call them and ask them
02:05:45 <hagb4rd> ask whom?
02:06:19 <zzo38> hasb4rd: Ask elliott
02:06:47 <hagb4rd> he won't listen to me
02:07:10 <hagb4rd> i'm a piece of chickenshit
02:08:15 <hagb4rd> something bad must have happened,.. i know that
02:08:40 <Gregor> No, I think we can conclude with impunity that he's just being a dick.
02:10:15 <oerjan> Gregor: hey you are next on _my_ list of people to op. i'm just not sure if we need more ops right now.
02:10:45 <oerjan> and we ops would have to discuss it i should assume
02:10:50 <zzo38> I think we don't need more ops right now.
02:11:18 <hagb4rd> i didn't even notice we had some
02:11:34 <hagb4rd> feeling glad there is no need for
02:12:20 <hagb4rd> terrifying
02:20:41 <zzo38> I looked up some things in GNU Prolog manual. They have dynamic procedures, public procedures, multifile procedures, discontiguous procedures, and operator tables.
02:21:18 <pikhq> Are there non-oerjan ops?
02:21:24 <oerjan> pikhq: yes.
02:21:31 <pikhq> That have talked this decade?
02:21:37 <zzo38> My extensible-data for Haskell allows fields of a record, choices of a union, and items of a list, to be specified in multiple modules.
02:21:40 <oerjan> yes. today, even.
02:22:01 <hagb4rd> is it a secret?
02:22:19 <oerjan> fizzie: is your opitude a secret?
02:22:40 <zzo38> hagb4rd: Try CS ACCESS #esoteric LIST
02:22:45 <pikhq> Oh, right, fizzie.
02:22:48 <fizzie> Not that I know of, no.
02:22:57 <oerjan> good, good.
02:23:19 <oerjan> i'd ask ais523 if i can reveal that he's an op, but he's not here.
02:23:27 <hagb4rd> hehe
02:23:39 <fizzie> The network reveals it to everyone anyhow.
02:24:28 <oerjan> and lament was here today for about 10 secs or so. but spiritually he counts in the haven't-talked-in-a-decade list.
02:25:42 <zzo38> oerjan: The CS ACCESS #esoteric LIST tells you that ais523 is on the access list.
02:25:52 <oerjan> also, elliott says no.
02:26:04 <oerjan> zzo38: i was joking.
02:27:37 <hagb4rd> successfully
02:27:57 <hagb4rd> by all means
02:28:44 <zzo38> And I would like to be able to use some of the dynamic clause management stuff from Prolog in Haskell, if I could know how to implement such things.
02:31:42 <zzo38> Do you know if there are packages to implement some Prolog stuff in Haskell and which ones?
02:35:12 <hagb4rd> zzo38: http://lambda-the-ultimate.org/node/112 <-- check this entry
02:37:14 <hagb4rd> also that one: http://darcs.haskell.org/nofib/real/prolog/Examples
02:37:29 <zzo38> hagb4rd: OK. They say macros would help; I wrote Hampp would that help?
02:38:48 <zzo38> The document that first one links is unreadable
02:39:02 <hagb4rd> try the other link
02:39:07 <zzo38> OK
02:39:50 <zzo38> What is Haskell B.?
02:40:09 <hagb4rd> good question
02:41:06 <hagb4rd> no this won't help
02:41:11 <zzo38> And anyways those aren't what I was looking for; what I was looking for, is ways to implement some of the features of Prolog and other programming languages so that they can be used in Haskell.
02:41:20 <hagb4rd> yea, got it
02:41:40 <zzo38> (I finally found the package which I can use to implement Icoruma's wildcard includes in a Haskell preprocessor.)
02:41:46 <hagb4rd> but can't find any packaged suiting this issue
02:42:41 <zzo38> (And then I could implement wildcard imports as well.)
03:07:08 <zzo38> Another thing I would like to have in Haskell is "shadow dictionaries" and I don't know if any other programming language has anything like that.
03:18:03 -!- PiRSquared17 has joined.
03:18:04 <PiRSquared17> http://www.youtube.com/watch?v=v-Voo1UJzdc
03:18:16 <PiRSquared17> w00t, spambot with "multhy threading" support
03:21:48 <Gregor> Better than mulchy threading.
03:23:48 <PiRSquared17> yeah, that'd be messy
03:26:58 -!- azaq23 has quit (Quit: Leaving.).
04:02:40 <zzo38> Can it treat choice-points as first-class values?
04:04:56 <oerjan> sounds continuation-like
04:07:05 <zzo38> I suppose so. But whether there is any way in whichever programming languages, that can implement something like this: http://esolangs.org/wiki/CLCLC-INTERCAL#Backtracking
04:08:27 <hagb4rd> guess zzo38 won't stop throwing curveballs tonight ;)
04:09:03 <zzo38> hagb4rd: I don't have any normal balls!
04:09:19 <hagb4rd> i hope you're wrong :p
04:09:48 <zzo38> OK
04:09:50 * oerjan swats hagb4rd -----###
04:09:58 <hagb4rd> ouch
04:11:05 <zzo38> But I do want to be able to implement things from other programming languages to be usable in Haskell; including things from Prolog, TADS, Inform 7, and INTERCAL.
04:11:43 <zzo38> Which might be strange to some people.
04:15:46 -!- augur has quit (Remote host closed the connection).
04:16:04 <hagb4rd> exotic erisian esoteric!
04:16:29 <zzo38> hagb4rd: What does that mean?
04:16:58 <hagb4rd> tried to find a climax describing your approach ;p
04:17:59 <zzo38> O, that is what it means.
04:18:01 <hagb4rd> you mean erisian? its derived from eris, the greek goddess of chaos and disorder
04:18:02 <zzo38> OK
04:18:45 <zzo38> Yes I know what Eris is, and about Greek goddess; I read about it in Wikipedia
04:23:21 <Jafet> Derive a language from Eros instead
04:24:47 <zzo38> Jafet: Then *you* do that. I don't want to
04:45:06 -!- madbr has joined.
05:04:02 -!- elliott has joined.
05:04:07 <elliott> pls load thx
05:05:14 <oerjan> no load
05:06:07 <elliott> ok what error
05:06:22 <oerjan> "Dette webområdet kan ikke vises i Internet Explorer"
05:06:23 -!- PiRSquared17 has changed nick to PiRSquared|Sleep.
05:06:27 <elliott> what does it show in the URL bar?
05:06:28 * oerjan whistles innocently
05:06:36 <oerjan>
05:06:52 <elliott> hmmmmmmmmmm
05:07:22 <elliott> ok, it's mediawiki doing that
05:07:45 <oerjan> oh i tried with lynx from nvg
05:07:45 <elliott> oerjan: try now
05:08:32 <oerjan> IT'S ALIVE
05:08:39 <oerjan> though horribly formatted
05:08:47 <elliott> howso?
05:08:53 <elliott> only the "Esolang" looks weird here
05:09:15 <madbr> looks like Esolana yeah
05:09:24 <madbr> since the g's descender is cut off
05:09:28 <elliott> that's our new site name.
05:09:31 <elliott> deal with it :P
05:09:54 <elliott> oerjan: are there any other formatting glitches?
05:09:57 <oerjan> hm actually it's not _that_ bad, just missing a couple pictures and that bottom g
05:10:27 <elliott> right. the pictures can be repaired, as can the styles of the main page
05:10:46 <madbr> Esolanɑ
05:10:57 <madbr> so IPA
05:11:02 <elliott> haha
05:11:12 <oerjan> hm and several tabs are placed differently
05:11:44 <oerjan> yeah different style in general
05:11:50 <elliott> oerjan: yes, it's the new Vector skin, as used on Wikipedia
05:11:57 <elliott> it's the default for any MediaWiki from the last few years
05:12:32 <madbr> Ditching the old one or just reskinning it?
05:13:16 <elliott> madbr: the old what? to provide context, Graue has abandoned the wiki (no time to admin it) and it's become overrun with spam so I'm working on getting the database dump from its ancient version of mediawiki to import into something made in the last 5 years :P
05:13:38 <madbr> aha :D
05:13:47 <madbr> yeah i see
05:13:47 <elliott> which involved a manually patched version of the SQL dump over an /existing/ database structure with some tables emptied
05:13:52 <elliott> so now I'm trying to see if it actually worked :P
05:14:38 <madbr> hmm
05:14:53 <madbr> looking good
05:15:51 <elliott> hahaha, the login process is really broken since I don't have the user table
05:15:55 <elliott> i can log in as me, but it expires the next time i click any link
05:16:03 <elliott> and I think nobody else can log in
05:16:06 <kmc> so why is the esolang wiki image some limes?
05:16:20 <elliott> because it is
05:16:23 <madbr> why not?
05:16:26 <elliott> it's a stock image
05:16:32 <elliott> with questionable licensing
05:16:34 <kmc> aww
05:16:41 <kmc> i'm disappointed it's not someone's personal limes
05:16:48 <elliott> oh, it's *someone's* personal limes
05:16:52 <elliott> it's from one of those like stock photo farm sites
05:16:57 -!- augur has joined.
05:16:58 <elliott> which just contain a huge dump of images people upload under questionable licenses
05:17:07 <elliott> I suspect Graue got it from wikimedia commons
05:17:13 <elliott> where it was present but deleted for bad licensing
05:17:46 <elliott> anyway, I think this means I can massage a complete database dump from Graue into full working order
05:17:52 <madbr> Guess it could use a new different logo pic
05:18:08 <elliott> I like the limes :(
05:18:23 <elliott> although they'll need re-creating from the source image if we're using Vector
05:18:28 <elliott> since they have horrible white pixel fringing
05:19:03 <madbr> just google image searched it
05:19:05 <madbr> so
05:19:07 <madbr> many
05:19:08 <madbr> stock
05:19:09 <madbr> photos
05:19:38 <elliott> http://us.123rf.com/400wm/400/400/babah/babah1004/babah100400002/6700020-cut-lime-and-branch-of-mit.jpg
05:19:41 <elliott> this one's THREE DEE
05:20:57 <oerjan> this is the future, we need it at least 4d
05:21:36 <elliott> it seems like all the pages are in working order
05:21:36 -!- oerjan has quit (Quit: Lost terminal).
05:23:07 <elliott> see, i was just going to ask oerjan to try and log in to see what's up with the user table, too.
05:29:39 <kmc> i like the limes
05:31:26 <elliott> ok, so does anyone see any problems beyond what's reported with that installation?
05:31:44 <elliott> if it's good, I'll tear it down and install another one for configuration testing
05:57:08 <hagb4rd> elliott! :D good to see you
05:57:32 <hagb4rd> i've heard you want to leave us
05:58:01 <hagb4rd> i dare you! do not!
05:58:14 <elliott> i'm only here to bother people to try and test this wiki installation!
05:58:36 <elliott> I hope you feel bothered.
05:58:50 <hagb4rd> hehe.. kind of ;)
05:59:16 <madbr> damn you mlp, taking over the internets :/
05:59:42 <monqy> hi
05:59:58 <monqy> elliott: oh hey, do the db import
06:00:12 <elliott> monqy: thanks monqy.
06:00:16 <elliott> thonqy.
06:00:41 <elliott> monqy: try and log in to please
06:01:04 <monqy> Fsolana
06:01:14 <elliott> note to self because i'll probably lose logs somehow: http://sprunge.us/URjN
06:01:57 <monqy> Login error
06:01:58 <monqy> There is no user by the name "Monqy". Usernames are case sensitive. Check your spelling, or create a new account.
06:02:07 <monqy> there's no "monqy" either (I tried that first)
06:02:20 <elliott> good
06:02:25 <elliott> plan "ostracise monqy": check
06:02:44 <monqy> not like I ever made any edits oh wait yes i did
06:02:58 <monqy> i put "hello" on my userpage and reverted a few spam edits
06:03:01 <monqy> "a good citizen"
06:03:19 <elliott> you'll just have to revert.....
06:03:21 <elliott> your loneliness
06:03:29 <monqy> F:
06:03:30 <monqy> D:
06:03:42 <elliott> sigh its 6 am and cold and i stayed up wrangling with a fucking sql file i hate life
06:03:43 <hagb4rd> spoken poetry :)
06:04:04 -!- quintopia has quit (Read error: Operation timed out).
06:06:58 <Jafet> DROP TABLE elliott
06:07:19 <elliott> i'm about to drop some tables, it's true
06:07:33 <elliott> they might even get flipped first
06:08:49 <madbr> nops,can't log in I think
06:09:02 <madbr> though I probably forgot the password anyways
06:09:04 <elliott> yeah that's expected, i just needed to check that the weird pseudologin was just for my account
06:09:59 <hagb4rd> joker
06:11:12 <elliott> i was being serious though
06:12:16 <hagb4rd> aw however.. is it a newer version of mediawiki? or why not make it an 1:1 copy?
06:13:04 <hagb4rd> you are cleaning it up, are you?
06:13:29 <elliott> it's a newer version, yes; the idea is to make sure everything works before asking graue for the keys
06:13:38 <elliott> (in this analogy the keys are the full database dump)
06:14:18 <hagb4rd> but i guess the db structure is at least the same
06:14:37 <elliott> well, it's "sort of" the same
06:14:46 <hagb4rd> k
06:14:50 <hagb4rd> i see
06:15:04 <elliott> I had to start with a normal install of MW, clear some of the tables to free them up for replacement entries, drop another so it could recreate it with a years-old structure (as it expected that format to insert with)
06:15:15 <elliott> then run a patched copy (to remove table prefixes and DROP TABLE statements) of the SQL file
06:15:23 <elliott> then run the MediaWiki update script which churned for like four minutes
06:15:30 <elliott> and it still only mostly works :P
06:15:43 <hagb4rd> great :)
06:17:27 <hagb4rd> everything seems to work fine, at first sight
06:17:49 <hagb4rd> haven't tried to edit stuff at all
06:18:07 <elliott> edits ... might work
06:18:16 <elliott> you should try, I'm scared to :P
06:20:02 <hagb4rd> everything OK
06:20:29 <elliott> yay
06:21:07 -!- Sgeo has changed nick to InvisiblePinkUni.
06:21:11 -!- InvisiblePinkUni has changed nick to Sgeo.
06:21:27 <monqy> hi
06:22:24 <hagb4rd> the only thing i see is a tiny stylesheet error cutting of the bottom of the header title ('Esolang') on the main page :>
06:23:22 <elliott> no no no. it's Fsolana now!
06:23:35 <elliott> you're in #fsoteric
06:25:20 <monqy> fsoterir
06:26:00 <hagb4rd> lol
06:28:04 -!- quintopia has joined.
06:34:44 <elliott> anyway, I'll continue this crap tomorrow
06:34:45 -!- elliott has left ("Leaving").
06:42:20 -!- Sgeo has changed nick to AhuraMazda.
06:46:26 -!- AhuraMazda has changed nick to Sgeo.
06:47:55 -!- Frooxius has quit (Ping timeout: 245 seconds).
06:52:10 -!- augur has quit (Remote host closed the connection).
06:52:50 -!- MoALTz has quit (Ping timeout: 248 seconds).
06:53:49 -!- augur has joined.
06:53:52 <zzo38> I cannot connect to the new wiki
06:55:15 <zzo38> Do you know what is wrong with this?
06:58:31 <zzo38> Will they add both the MediaWiki <math> extension and my own <tex> extension?
06:58:56 <zzo38> And the suggested <program> extension?
06:59:18 <Jafet> What is a <tex> extension? Embedding TeX code?
06:59:24 <monqy> 22:53:11 < zzo38> I cannot connect to the new wiki
06:59:25 <monqy> 22:54:33 < zzo38> Do you know what is wrong with this?
06:59:30 <monqy> it likely went down with elliott
06:59:45 <zzo38> OK
07:01:28 -!- MoALTz has joined.
07:06:10 <hagb4rd> tex is text format..like the famous latex jafet
07:06:56 <Sgeo> Where is the new wiki?
07:07:01 <hagb4rd> jafet: http://en.wikipedia.org/wiki/TeX
07:07:11 <hagb4rd> sgeo: its down
07:07:35 <Sgeo> Ah, ok
07:10:00 <zzo38> Jafet: Yes, embedding TeX code. I have written a format file and a PHP file; the format file can probably be used as is but the PHP needs to be adjusted to work on MediaWiki and to do caching (caching is highly recommended)
07:10:24 <Jafet> Yes, so it doesn't seem trivial to embed TeX code in a HTML page
07:11:05 <zzo38> I have written the file http://zzo38computer.cjb.net/texify/ See that for more information
07:11:48 <ion> The famous latex jafet? As opposed to the normal one?
07:12:09 <Jafet> Mmmm, latex
07:12:26 <Jafet> zzo: I see. You just print an image and embed the image
07:13:54 <zzo38> Jafet: Yes; on such a wiki you should cache the result with a filename having a hashcode of the input.
07:14:13 <Jafet> So it's the extension of <math> to arbitrary TeX
07:14:25 <zzo38> Jafet: Mostly, yes.
07:14:34 <Jafet> That's nice (as in, I'm not sure of a good use for it)
07:14:57 <zzo38> There are a few commands disabled, however (see near the end of the format file for a list of them)
07:15:06 <Jafet> Procedural diagrams, I suppose
07:15:15 <Jafet> If you can generate those with mediawiki templates or something
07:16:08 <Jafet> Oh, and if someone thinks TeX is awful, make him write mediawiki templates
07:21:20 <zzo38> I have: class ExtTree v p c | c -> p, p -> v; But how do I make it so that it requires that the "p" in one instance must always be the "c" of another instance, but with the same "v" as this instance?
07:31:59 -!- madbr has quit (Quit: Radiateur).
07:37:31 <zzo38> The POKEMON BREEDER card is no good except in first generation only, because otherwise you cannot necessarily know which stage 2 card corresponds with which basic card
07:39:05 <zzo38> (Each pokemon is assigned a number; and that means that in first generation only, you can tell which stage 2 card corresponds with which basic card by the numbers. Without the numbers, it is impossible to know which card to play.)
07:39:57 <zzo38> Do you agree??????????
07:42:12 -!- Frooxius has joined.
07:42:36 <itidus21> a b ab bab abbab bababbab abbabbababbab bababbababbabbababbab
07:56:50 -!- mtve has quit (Ping timeout: 240 seconds).
07:57:21 -!- SimonRC has quit (Ping timeout: 244 seconds).
08:00:27 -!- SimonRC has joined.
08:01:13 -!- Frooxius has quit (Ping timeout: 260 seconds).
08:01:43 -!- aloril_ has quit (*.net *.split).
08:02:27 -!- aloril_ has joined.
08:12:31 -!- cswords_ has joined.
08:12:54 -!- Frooxius has joined.
08:15:51 -!- cswords has quit (Ping timeout: 240 seconds).
08:37:39 -!- SimonRC has quit (Ping timeout: 244 seconds).
08:40:31 -!- Slereah has quit (Ping timeout: 276 seconds).
08:41:31 -!- Zuu has quit (Write error: Broken pipe).
08:41:56 -!- Taneb has joined.
08:42:00 <Taneb> Hello!
08:42:21 -!- Zuu has joined.
08:43:06 -!- SimonRC has joined.
08:47:49 -!- SimonRC has quit (Ping timeout: 240 seconds).
08:50:08 -!- SimonRC has joined.
09:10:32 -!- Frooxius has quit (Read error: Connection reset by peer).
09:12:30 -!- Frooxius has joined.
09:18:38 -!- Frooxius has quit (Read error: Connection reset by peer).
09:21:15 -!- Frooxius has joined.
09:27:12 -!- Frooxius has quit (Read error: Connection reset by peer).
09:27:45 -!- Frooxius has joined.
09:42:05 <Taneb> > 216 / 132
09:42:06 <lambdabot> 1.6363636363636365
09:42:13 <Taneb> > 132/216
09:42:13 <lambdabot> 0.6111111111111112
09:43:20 -!- Frooxius has quit (Ping timeout: 245 seconds).
09:47:13 -!- Taneb has quit (Ping timeout: 245 seconds).
09:47:27 -!- Frooxius has joined.
09:53:43 -!- zzo38 has quit (Remote host closed the connection).
09:57:35 * pikhq WTFs
09:57:54 <pikhq> Driving home, someone was driving the wrong way.
09:58:03 <pikhq> I know that the visibility was all of 10 feet, but jesus man.
09:58:28 <pikhq> How you manage to be on the wrong side of a 4 lane divided highway is beyond me.
09:59:03 -!- Frooxius_ has joined.
09:59:37 -!- Frooxius has quit (Ping timeout: 260 seconds).
09:59:46 -!- Frooxius_ has changed nick to Frooxius.
10:01:04 -!- Taneb has joined.
10:06:53 -!- mtve has joined.
10:10:21 -!- Frooxius has quit (Ping timeout: 260 seconds).
10:13:04 -!- itidus21 has quit (Ping timeout: 265 seconds).
10:15:28 -!- Frooxius has joined.
10:23:58 -!- monqy has quit (Quit: hello).
10:42:31 -!- Taneb has quit (Ping timeout: 260 seconds).
10:44:15 -!- Frooxius has quit (Ping timeout: 252 seconds).
11:22:57 -!- Frooxius has joined.
11:26:10 -!- Taneb has joined.
11:38:37 -!- Taneb has quit (Ping timeout: 276 seconds).
11:43:19 -!- Phantom_Hoover has joined.
11:43:21 -!- Phantom_Hoover has quit (Changing host).
11:43:21 -!- Phantom_Hoover has joined.
12:27:30 -!- Frooxius_ has joined.
12:28:15 -!- Frooxius has quit (Ping timeout: 248 seconds).
12:28:29 -!- Frooxius_ has changed nick to Frooxius.
12:39:08 -!- Phantom_Hoover has quit (Remote host closed the connection).
12:39:10 -!- Phantom__Hoover has joined.
12:44:28 -!- Frooxius has quit (Read error: Connection reset by peer).
12:46:10 -!- Frooxius has joined.
12:49:35 -!- Taneb has joined.
13:04:37 -!- Frooxius_ has joined.
13:05:36 -!- Frooxius has quit (Ping timeout: 248 seconds).
13:05:48 -!- Frooxius_ has changed nick to Frooxius.
13:06:44 <kallisti> holy crap this is amazing.
13:06:58 <Taneb> @ping
13:06:58 <lambdabot> pong
13:07:01 * kallisti is sleeping regularly and now has reasonable deskspace.
13:07:18 <Taneb> You're right!
13:07:31 <Taneb> Also, I completed Super Mario Galaxy this morning
13:07:34 -!- Frooxius has quit (Read error: Connection reset by peer).
13:08:00 -!- Frooxius has joined.
13:08:31 <Taneb> :)
13:13:17 <Taneb> ...I'm out of functions for Jackson
13:13:46 <Taneb> > 4 * 36
13:13:47 <lambdabot> 144
13:14:36 <kallisti> Taneb: I've been mucking around with the FFI lately.
13:14:38 <kallisti> fun stuff.
13:15:06 <Taneb> Should Jackson have FFI
13:15:07 <Taneb> ?
13:15:10 <kallisti> what is Jackson?
13:15:18 <Taneb> My Piet-like language
13:15:23 <kallisti> oh
13:15:24 <kallisti> uh.......
13:15:31 <Taneb> It has a lot of things.
13:15:32 <kallisti> -shrug-
13:15:36 <kallisti> if you feel like it.
13:15:56 <Taneb> I'm struggling to think of functions
13:16:03 <Taneb> It needs a lot of functions
13:16:48 <kallisti> well, in theory, it only needs a few. :>
13:16:59 <kallisti> but I assume you're going for one of those "semi-practical esolangs"
13:17:28 <Taneb> Ish.
13:17:40 <Taneb> It's nigh-unreadable
13:18:49 <Taneb> Can you tell the difference between #0099CC and #0099FF when there's only one pixel of each?
13:23:45 -!- Taneb has quit (Quit: walking dog time).
13:24:31 <kallisti> @tell Taneb Of course. You must be using a crappy hex editor. :>
13:24:31 <lambdabot> Consider it noted.
13:27:11 -!- zzo38 has joined.
13:40:32 -!- Phantom__Hoover has quit (Remote host closed the connection).
13:48:52 -!- Taneb has joined.
13:49:06 <Taneb> Hello!
13:49:06 <lambdabot> Taneb: You have 1 new message. '/msg lambdabot @messages' to read it.
13:49:10 <Taneb> @messages
13:49:10 <lambdabot> kallisti said 24m 39s ago: Of course. You must be using a crappy hex editor. :>
13:49:33 <Taneb> I was referring to the colours.
13:57:53 <shachaf> @tell Taneb Taneb: You have 1 new message. '/msg lambdabot @messages' to read it.
13:57:54 <lambdabot> Consider it noted.
13:58:09 <Taneb> @messages
13:58:09 <lambdabot> shachaf said 16s ago: Taneb: You have 1 new message. '/msg lambdabot @messages' to read it.
13:58:15 <Taneb> @messages
13:58:15 <lambdabot> You don't have any new messages.
13:58:17 <Taneb> Awww
13:59:16 <shachaf> Taneb: It's your own fault for using /msg #esoteric @messages instead of /msg lambdabot @messages
13:59:20 <shachaf> Now it's gone.
13:59:39 <Taneb> :(
14:38:13 -!- PiRSquared|Sleep has quit (Quit: back to sleep).
14:39:14 -!- const has quit (Excess Flood).
14:39:27 -!- yorick_ has changed nick to yorick.
14:49:27 -!- variable has joined.
14:50:33 -!- variable has quit (Excess Flood).
15:00:59 -!- derdon has joined.
15:10:48 <hagb4rd> http://2.asset.soup.io/asset/2905/6018_3568_450.jpeg
15:10:57 -!- variable has joined.
15:13:36 <Taneb> > return () :: Maybe ()
15:13:37 <lambdabot> Just ()
15:13:43 <Taneb> > fail :: Maybe ()
15:13:44 <lambdabot> Couldn't match expected type `Data.Maybe.Maybe ()'
15:13:45 <lambdabot> against inferred...
15:13:48 <Taneb> > fail "" :: Maybe ()
15:13:49 <lambdabot> Nothing
15:13:54 <Taneb> :t guard
15:13:55 <lambdabot> forall (m :: * -> *). (MonadPlus m) => Bool -> m ()
15:29:02 -!- hagb4rd2 has joined.
15:29:57 -!- Jafet1 has joined.
15:31:32 -!- hagb4rd has quit (Ping timeout: 240 seconds).
15:31:32 -!- Jafet has quit (Ping timeout: 240 seconds).
15:42:02 -!- variable has quit (Excess Flood).
15:47:27 -!- variable has joined.
16:06:17 -!- NihilistDandy has joined.
17:05:32 -!- Taneb has quit (Ping timeout: 240 seconds).
17:10:22 -!- Taneb has joined.
17:11:33 -!- itidus21 has joined.
17:14:50 <Taneb> Hello
17:15:52 -!- Jafet1 has changed nick to Jafet.
17:16:12 <NihilistDandy> Hey, Taneb
17:16:59 <NihilistDandy> So is pyralspite still in use?
17:17:42 <Gregor> You'd have to ask elliott.
17:17:57 <Taneb> NihilistDandy, yes, but still on Beta 1.7, I think
17:18:21 <NihilistDandy> Taneb: Yeah. I just tried connecting and it said outdated. :( I miss our pits
17:19:57 <Taneb> Saaaaame
17:20:16 <Gregor> Gee, if only somebody on this channel had an up-to-date server that nobody seems to want to ever use.
17:20:24 <Taneb> @ask elliott Have you found your ssh key yet?
17:20:24 <lambdabot> Consider it noted.
17:20:45 <Taneb> Gregor, is that a sort-of-sarcastic "I have a server which nobody uses"?
17:20:59 <Gregor> Yes, yes it is.
17:25:23 <NihilistDandy> Gregor: Link pls? :D
17:26:12 <Gregor> NihilistDandy: gregorr.dyndns.org , but it has a whitelist, so I'll need your MC name to invite you in.
17:26:38 <NihilistDandy> NihilistDandy :D
17:26:46 <NihilistDandy> Without the ":D", clearly
17:27:11 <Gregor> You're in.
17:28:23 <Taneb> Taneb
17:28:24 <lambdabot> Taneb: You have 1 new message. '/msg lambdabot @messages' to read it.
17:28:26 <NihilistDandy> Nice glass floor
17:28:28 <Taneb> @messages
17:28:28 <lambdabot> elliott said 5m 36s ago: I'm already juggling the hell that is MediaWiki, Stack Overflow and procrastination, and you want me to set up a Minecraft server too?! In a few days when I put MediaWiki up
17:28:28 <lambdabot> for real I'll have to get the server situation sorted out; ask me after then. (I already know where the key is.)
17:30:09 <Taneb> Whitelist plox?
17:30:33 <zzo38> What is a whitelist plox?
17:30:44 <Taneb> Beats me.
17:31:18 <Gregor> Taneb: Minecraft name?
17:31:22 <Taneb> Taneb
17:31:35 <Gregor> NihilistDandy: You might want to get down from there ...
17:31:42 <Gregor> Taneb: You're in.
17:44:41 <fizzie> WRONG CHUNNEL, FOOLS.
17:50:25 <zzo38> O NO IT IS MISTAKE PLEASE
17:50:37 -!- pikhq_ has joined.
17:50:53 -!- pikhq has quit (Ping timeout: 252 seconds).
17:56:20 <zzo38> gopher.semmel.ch appears to be down today
18:02:40 <Taneb> @ping
18:02:40 <lambdabot> pong
18:02:58 <zzo38> Do you like to play ping-pong?
18:03:59 <oklopol> i do
18:04:21 <Taneb> I'm not much good
18:08:10 -!- ais523 has joined.
18:12:49 -!- itidus21 has quit (*.net *.split).
18:12:49 -!- SimonRC has quit (*.net *.split).
18:14:06 -!- itidus21 has joined.
18:14:06 -!- SimonRC has joined.
18:14:08 -!- azaq23 has joined.
18:14:18 -!- azaq23 has quit (Max SendQ exceeded).
18:14:41 -!- azaq23 has joined.
18:21:50 -!- NihilistDandy has quit.
18:23:13 <itidus21> whoa.. netsplit
18:23:32 <itidus21> of course i always choose a netsplit resistant server
18:25:35 -!- oklopol has quit (Ping timeout: 248 seconds).
18:36:22 -!- monqy has joined.
19:15:48 -!- augur has quit (Remote host closed the connection).
19:16:37 -!- augur has joined.
19:17:01 -!- Taneb has quit (Ping timeout: 260 seconds).
19:23:21 <zzo38> Make up some computer game involving my and my brother's D&D character
19:24:00 <zzo38> Also please question me about this: http://hpaste.org/63474 (I don't know why the syntax highlighting is Visual Basic; it says Literate Haskell on the main page)
19:35:25 -!- Taneb has joined.
19:43:00 -!- [SOLEIL] has joined.
19:43:23 -!- [SOLEIL] has quit (Client Quit).
20:06:37 -!- Taneb has quit (Ping timeout: 265 seconds).
20:10:50 -!- azaq23 has quit (Quit: Leaving.).
20:21:54 -!- silvercloud has joined.
20:26:43 -!- silvercloud has quit (Remote host closed the connection).
20:48:48 -!- sebbu has quit (Quit: updating irc client).
20:54:18 -!- sebbu has joined.
20:54:18 -!- sebbu has quit (Changing host).
20:54:18 -!- sebbu has joined.
21:11:55 <zzo38> Olleh, Dlrow!
21:14:19 <fizzie> Whenever I see "dlrow", I think of Befunge.
21:18:56 -!- sabani has joined.
21:21:47 <zzo38> OK
21:21:56 <zzo38> Hello, World!
21:22:57 -!- zzo38 has set topic: Home of N>=1 IOCCC Winners! | This topic message is in Chinese when you are not paying attention. | http://codu.org/logs/_esoteric/.
21:23:26 -!- sabani has quit (Remote host closed the connection).
21:23:28 -!- zzo38 has set topic: Home of N>0 IOCCC Winners! | This topic message is in Chinese when you are not paying attention. | http://codu.org/logs/_esoteric/.
21:38:19 -!- fizzie has set topic: Home of N>=0 IOCCC Winners! | This topic message is in Chinese when you are not paying attention. | http://codu.org/logs/_esoteric/.
21:39:20 -!- Gregor has set topic: Home of N>=-12 IOCCC Winners! | This topic message is in Chinese when you are not paying attention. | http://codu.org/logs/_esoteric/.
21:44:34 -!- fizzie has set topic: Home of N!=-12 IOCCC Winners! | This topic message is in Chinese when you are not paying attention. | http://codu.org/logs/_esoteric/.
21:44:37 <fizzie> Would've used ≠, but didn't dare to put Jewnicode in the topic.
21:46:55 -!- calamari has joined.
21:47:29 -!- Gregor has set topic: Home of -e^(pi*i) IOCCC Winners! | This topic message is in Chinese when you are not paying attention. | http://codu.org/logs/_esoteric/.
21:52:28 <zzo38> Invent an INTERCAL variant which compiles into hardware.
22:19:31 -!- Taneb has joined.
22:19:45 <Taneb> Hello!
22:19:49 <ais523> hi
22:19:57 <Taneb> It's time.
22:20:15 <Taneb> To do some more work--- hang on!!!
22:20:28 <Taneb> Who de-zombiefied the topic!?
22:20:39 -!- calamari has quit (Quit: Leaving).
22:21:50 -!- Taneb has set topic: Topic is a zombie; task sayTopic; say "Topic for #esoteric is: Home of -e^(pi*i) IOCCC Winners! | This topic message is in Chinese when you are not paying attention. | http://codu.org/logs/_esoteric/"; animate; animate.
22:22:40 <Taneb> The topic must be in an esolang.
22:22:44 <Taneb> It's a tradition.
22:23:07 <ais523> very recent tradition
22:23:13 <ais523> `pastlog deployment
22:23:30 <zzo38> Yes it is very recent and can be dropped (and reinstated) at any time
22:23:41 <monqy> topic should be snack/esme polyglot
22:23:55 <HackEgo> No output.
22:29:46 -!- calamari has joined.
22:36:02 -!- Taneb has quit (Quit: trying something).
22:38:29 -!- Gregor has set topic: putStr "Topic for #esoteric is: Home of -e^(pi*i) IOCCC Winners! | This topic message is in Chinese when you are not paying attention. | http://codu.org/logs/_esoteric/".
22:46:20 -!- calamari has quit (Quit: Leaving).
23:00:48 -!- calamari has joined.
23:03:44 <zzo38> Stupid. Exercise, Health, and Feel Good.
23:10:34 -!- Taneb has joined.
23:16:04 -!- calamari has quit (Quit: Leaving).
23:16:22 -!- calamari has joined.
23:21:29 -!- TeruFSX has quit (Remote host closed the connection).
23:41:01 -!- calamari has quit (Quit: Leaving).
23:57:38 <zzo38>
23:58:39 <Taneb> How enigmatic.
23:58:53 <zzo38> !!!!!!
23:58:59 <zzo38> ??
23:59:37 <monqy>
23:59:43 -!- oklopol has joined.
23:59:45 <zzo38> .
←2012-02-10 2012-02-11 2012-02-12→ ↑2012 ↑all