←2008-12-20 2008-12-21 2008-12-22→ ↑2008 ↑all
00:05:20 -!- oklopol has quit (Read error: 110 (Connection timed out)).
00:11:14 -!- Corun has joined.
00:11:29 -!- kar8nga has left (?).
00:13:45 -!- oklopol has joined.
00:14:59 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
00:15:14 -!- oklopol has joined.
00:22:31 -!- oerjan has quit ("Good night").
00:57:53 -!- moozilla has joined.
01:10:32 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
01:20:13 -!- KingOfKarlsruhe has quit (Remote closed the connection).
01:25:35 -!- Judofyr has quit.
01:40:16 -!- jix has quit ("...").
02:24:01 -!- moozilla has joined.
02:26:39 -!- moozilla has quit (Read error: 54 (Connection reset by peer)).
02:59:19 -!- moozilla has joined.
03:01:57 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
03:44:00 -!- moozilla has joined.
03:46:20 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
04:03:26 -!- Corun has quit (Remote closed the connection).
04:03:42 -!- Corun has joined.
04:12:03 -!- Corun has quit ("Leaving").
04:15:37 -!- moozilla has joined.
04:17:49 -!- moozilla has quit (Read error: 54 (Connection reset by peer)).
04:43:39 -!- GreaseMonkey has joined.
04:59:03 -!- moozilla has joined.
05:20:23 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
05:32:40 -!- psygnisfive has quit ("Leaving...").
06:10:52 -!- moozilla has joined.
06:32:23 -!- moozilla has quit (kornbluth.freenode.net irc.freenode.net).
06:57:01 -!- moozilla has joined.
06:59:37 -!- moozilla has quit (Read error: 54 (Connection reset by peer)).
07:00:10 -!- GreaseMonkey has quit ("You only need one wheel. Bikers are just greedy.").
07:29:18 -!- moozilla has joined.
07:31:59 -!- moozilla has quit (Read error: 54 (Connection reset by peer)).
07:45:27 -!- kar8nga has joined.
07:48:54 -!- SpaceMan has joined.
07:49:16 -!- SpaceMan has left (?).
07:49:16 -!- SpaceMan has joined.
07:49:40 -!- SpaceMan has quit (Client Quit).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:11:42 -!- moozilla has joined.
08:14:37 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
08:25:59 -!- oerjan has joined.
08:44:36 -!- moozilla has joined.
09:00:38 -!- moozilla has quit (Read error: 54 (Connection reset by peer)).
09:12:24 -!- kar8nga has left (?).
09:24:19 -!- moozilla has joined.
09:45:24 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
10:02:49 -!- moozilla has joined.
10:17:33 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
10:27:32 -!- oerjan has quit ("leaving").
10:47:44 -!- moozilla has joined.
11:00:02 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
11:29:18 -!- Mony has joined.
11:29:33 -!- kar8nga has joined.
11:30:30 <Mony> plop
11:31:19 <oklopol> hiiii
12:11:02 -!- moozilla has joined.
12:13:28 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
12:27:06 -!- kar8nga has quit (Read error: 110 (Connection timed out)).
12:30:05 <AnMaster> yay for oprofile
12:35:54 -!- Judofyr has joined.
12:48:49 -!- moozilla has joined.
12:51:14 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
13:09:38 -!- AnMaster has quit (Connection reset by peer).
13:14:02 -!- AnMaster has joined.
13:32:03 <oklopol> AnMaster: you're an oprophile too?
13:33:11 <oklopol> (hmm... is that coprophilia with your eyes closed? :\)
13:35:07 -!- Asztal has joined.
13:36:12 -!- moozilla has joined.
13:38:33 -!- kar8nga has joined.
13:38:37 -!- moozilla has quit (Read error: 54 (Connection reset by peer)).
13:44:26 -!- Mony has quit ("Quit").
14:09:06 -!- moozilla has joined.
14:10:46 <AnMaster> oklopol, huh?
14:11:17 <oklopol> AnMaster: lowbrow pun
14:11:17 <AnMaster> I haven't used the system level profiler oprofile much before, but it turned out to be really useful
14:11:29 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
14:11:43 <ehird> Ara T. Howard
14:11:44 -!- ehird has left (?).
14:11:47 <oklopol> well two puns in a way
14:12:31 <AnMaster> sigh
14:12:40 <oklopol> :-)
14:12:53 <oklopol> i don't know oprofile
14:12:58 <oklopol> then again, my o
14:12:58 <AnMaster> zat was not funny!
14:13:01 <oklopol> 's don'
14:13:04 <oklopol> t need profiling
14:13:10 <oklopol> and i'm a bit enter-happy it seems
14:13:17 <AnMaster> http://oprofile.sourceforge.net btw
14:13:23 <oklopol> AnMaster: yes it was funny!
14:13:36 <AnMaster> oklopol, and what did I quote there above?
14:14:02 <AnMaster> maybe misquoted since I quoted from memory
14:14:43 * AnMaster waits for oklopol to find that
14:14:47 <AnMaster> that out*
14:15:26 <AnMaster> brb
14:15:26 <oklopol> what do you mean
14:15:36 <oklopol> i'm so confuzzled!
14:16:40 <AnMaster> back
14:16:41 <AnMaster> well
14:16:46 <AnMaster> <AnMaster> zat was not funny!
14:17:01 <AnMaster> was a quote from something
14:17:12 <oklopol> ohh
14:17:14 <AnMaster> and I wonder if you know what
14:17:19 <oklopol> no i don't
14:17:25 <AnMaster> Monty Python
14:17:34 * AnMaster tries to remember the name of that sketch
14:17:50 <AnMaster> "The funniest joke in the world" or something like that iirc
14:17:57 <oklopol> i've heard about that
14:18:13 <oklopol> but i don't follow the nerd popular culture that actively
14:18:21 <oklopol> i've only seen like two montys
14:20:52 <AnMaster> which ones?
14:24:07 -!- ehird has joined.
14:24:38 <ehird> you know, mindlessly repeating monty python is so ironic
14:44:18 -!- KingOfKarlsruhe has joined.
14:44:28 -!- Linus` has joined.
15:02:59 <oklopol> ehird: ironic how
15:03:14 <oklopol> the xkcd way?
15:03:18 <ehird> how like your face.
15:03:21 <ehird> oh!
15:03:22 <ehird> Snap.
15:03:43 <oklopol> speaking of snap i want noodles
15:04:37 <oklopol> AnMaster: the grail one and the death one
15:05:16 <oklopol> although i was half-asleep through grail, i just remember the scene with the limbless knight
15:05:31 -!- moozilla has joined.
15:06:35 <oklopol> back to my book!
15:06:36 <oklopol> ->
15:08:21 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
15:09:18 <ehird> oklopol: stop reading
15:09:21 <ehird> it's bad for you
15:11:03 <oklopol> how could learning c++ be bad for me!
15:11:25 <ehird> oklopol: why do you want to learn c++
15:12:26 <oklopol> first of all i already know c++, second of all all i care about is it's a book for a course i'm on, so i'm reading it.
15:12:54 <ehird> oklopol: third of all A
15:13:04 <oklopol> what about A
15:13:15 <ehird> oklopol: it's
15:13:16 <ehird> x
15:13:23 <oklopol> oh
15:13:30 <oklopol> well i don't have other reasons really
15:13:38 <oklopol> except, well, c++ is an okay language.
15:13:48 <oklopol> i hate it, yes, but it's not a bad language
15:13:49 -!- Linusz has joined.
15:15:04 <oklopol> i'm really only annoyed by the fact it's so fucking pedantic about the order of declarations¨
15:15:26 <oklopol> well order of declarations and definitions and all that crap
15:15:30 <oklopol> *declarations
15:15:35 <oklopol> readings ->
15:15:42 -!- Asztal has quit (Read error: 110 (Connection timed out)).
15:15:45 <ehird> oklopol: aaaaaaaaaaa
15:15:55 <oklopol> o
15:24:28 -!- moozilla has joined.
15:30:01 -!- Linus` has quit (Read error: 110 (Connection timed out)).
15:37:58 <oklopol> okay buy buy, i'm living now ->
15:40:38 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
15:54:38 <ehird> Deewiant: hey, you know that haskell build system you made for your site? what was it again?
15:55:45 <Deewiant> coadjute
15:56:03 <ehird> helpful :-D
15:56:17 <Deewiant> Ask a more specific question :-P
15:58:15 <ehird> Deewiant: any links? I seem to recall it being interesting :P
15:59:08 <Deewiant> no links I'm afraid; with any luck I'll publish some kind of 0.0 this year
16:00:18 <Deewiant> if you want to look at something you can have it on request: my home site's file, source tarball
16:01:09 <ehird> Deewiant: either would be appreciated :-P it'd also be nice to read more real-world haskell programs... I haven't got very good at that yet :D
16:02:21 <Deewiant> iki.fi/deewiant/temp/Adjutant.hs for the former
16:02:41 <Deewiant> not designed for readability or anything though :-P
16:02:50 <ehird> Deewiant: i think it might be an idea to give the file a less obscure name ;-P
16:02:59 <Deewiant> googlability is nice
16:03:21 <ehird> true
16:03:32 <ehird> but Coadjute would be googled more than Adjutant I imagine
16:04:02 <Deewiant> yeah, but it'd be nice if Coadjute and X made some sense together so X = Adjutant :-P
16:04:16 -!- kar8nga has quit (Read error: 110 (Connection timed out)).
16:04:41 -!- moozilla has joined.
16:06:30 <ehird> Deewiant: i don't get how rule works
16:07:44 <Deewiant> iki.fi/deewiant/temp/coadjute.tar.bz2 for git repo
16:08:50 <Deewiant> rule basically makes a build rule :-P
16:09:26 <Deewiant> I forget its type, which would probably (should hopefully) help in deciphering
16:16:49 * ehird opens emacs and grumbles
16:16:55 <ehird> stupid emacs.
16:17:21 <Deewiant> why open it if it induces grumbling
16:17:37 <ehird> because editing haskell is near-impossible in anything else
16:17:46 <Deewiant> vim works for me
16:17:56 <ehird> yeah that's because you're a masochist
16:18:05 <Deewiant> :-P
16:18:17 <ehird> Deewiant: I have to learn Arrows now, don't I?
16:18:23 <Deewiant> no, no arrows in there
16:18:28 <ehird> import Control.Arrow (first, second)
16:18:38 <ehird> Fuck you Haskellers and your academia and your DAMNED LIES. :-|
16:18:39 <Deewiant> first f (x,y) = (f x, y)
16:18:43 <Deewiant> second f (x,y) = (x, f y)
16:18:51 <Deewiant> (f &&& g) x = (f x, g x)
16:18:54 <ehird> why is that in Control dot bloody Arrow
16:18:57 <Deewiant> (f *** g) (x,y) = (f x, g y)
16:19:09 <Deewiant> because they're AMAZINGLY GENERAL
16:19:10 <ehird> "WHERE SHOULD WE PUT THESE TRIVIAL FUNCTIONS? LET'S PICK A RANDOM ACADEMIC PLACE"
16:19:27 <Deewiant> it's more of a coincidence that they're handy for those trivial uses, I think
16:19:34 <Deewiant> but yeah, Data.Tuple should really have those.
16:19:35 <ehird> versionString :: String
16:19:35 <ehird> versionString = "the ultimate version of ultimate destiny"
16:19:41 <ehird> that is some version.
16:19:55 <Deewiant> that's one reason why it's not released yet. ;-)
16:19:57 * ehird spawns a new haskell frame and proceeds to steal your basic app structure
16:20:02 <ehird> FEAR ME
16:20:06 <ehird> err
16:20:08 <ehird> s/haskell/emacs/
16:20:17 <Deewiant> oh noes, what are you doing with my app structure
16:20:33 <ehird> umm, making an app that I haven't actually figured out what it is yet
16:20:54 <Deewiant> oh noes
16:21:07 <ehird> agh what the new frame shares the same buffers
16:21:12 <ehird> how the hell do you just get a new blank frame in emacs
16:21:15 <ehird> don't say open it twice
16:21:59 <ehird> i see.
16:24:13 -!- KingOfKarlsruhe has quit (Remote closed the connection).
16:26:35 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
16:31:14 -!- Mony has joined.
16:39:00 <ehird> grumble haskell lacking basic things grumble
16:42:56 <ehird> also: grumble at field names being unnamespaced functions
16:43:01 <ehird> on records
16:45:52 <Warrigal> It'd be nice if Haskell had global variables.
16:45:59 <ehird> it does.
16:46:04 <ehird> myVar = makeIORef
16:46:08 <ehird> err
16:46:10 <ehird> well, not quite
16:46:11 <ehird> but w/e
16:46:12 <ehird> IORefs.
16:47:12 <ehird> Deewiant: what do you do when you want to have two records with fields named the same
16:47:12 <ehird> >_<
16:47:57 <Warrigal> You can't have "myVar <- makeIORef" as a statement in your program, and if you put it in main, then you can't refer to it outside of main.
16:48:21 <Warrigal> I guess you could use those fancy implicit parameters.
16:48:56 <ehird> Warrigal: why do you want a global variable?
16:49:00 <ehird> you might as well just use an imperative language.
16:49:29 <Warrigal> No, because Haskell has features that imperative langauges do not.
16:50:03 <ehird> and they work because it's a functional language
16:50:07 <Warrigal> Don't say "if you want A, you might as well do B" if B has problems that the alternative does not.
16:50:27 <ehird> imperative+globvars has less probs than haskell+globvars.
16:54:41 -!- Mony has quit ("reboot").
17:00:06 -!- cruce has joined.
17:07:26 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
17:07:55 -!- sebbu2 has joined.
17:08:06 -!- Judofyr has joined.
17:10:12 -!- Linusz has quit ("Puzzi. S, parlo proprio con te. Puzzi.").
17:18:43 -!- moozilla has joined.
17:19:28 -!- sebbu has quit (Read error: 110 (Connection timed out)).
17:19:28 -!- sebbu2 has changed nick to sebbu.
17:21:13 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
17:26:11 <ehird> Hm. I wonder if a nice esolang has appeared yet. :P
17:32:26 <Warrigal> Subleq is a great esolang, but it's really annoying to code in.
17:32:37 <ehird> it's not that great
17:32:42 <ehird> maybe i'll write redivider in haskell
17:33:03 <Warrigal> Redivider, that language that's actually Parsec.
17:33:51 <ehird> It isn't Parsec.
17:33:57 <ehird> Although you can parse it. With Parsec.
17:34:05 <ehird> and yes, I know it's yours.
17:40:18 -!- Judofyr_ has joined.
17:45:59 -!- Judofyr has quit (Read error: 110 (Connection timed out)).
17:46:26 -!- oerjan has joined.
17:59:40 <ehird> Warrigal: yo dawg, I herd u liek parsec so I used parsec to parse your actually-parsec so you can parse your parser
18:01:39 <Warrigal> You da man.
18:05:15 <ehird> Warrigal: what precedence do rediv ops have
18:05:34 <Deewiant> ehird: you don't have two records with fields named the same :-P
18:05:43 <ehird> Deewiant: why not :|
18:05:58 <Deewiant> because the haskell record system is not very fancy, they're just functions
18:06:03 -!- moozilla has joined.
18:06:04 <ehird> I know but it should be fancy
18:06:05 <Deewiant> and what do you do when you want two functions named the same
18:06:12 <ehird> Because it could be really useful.
18:06:15 <ehird> It's not.
18:06:21 <Deewiant> answer: either you don't, or you put them in separate modules and do qualified imports and whatnot
18:06:35 <Deewiant> It is useful, it's not 'really useful' though, yes.
18:06:51 <Deewiant> I think there've been some papers on the subject of improving it but nobody really knows what's the best idea
18:07:25 <ehird> I should learn how to read and edit the GHC source and how to make a nice Haskell language extension, then make a patchset for nice records and get it widely used.
18:07:31 <ehird> Wait no, I'd rather shoot myself in the face.
18:08:22 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
18:10:52 -!- Mony has joined.
18:11:25 <Deewiant> I've tried for the past two months or so to get GHC to compile on Windows so I could hack on it (mostly the RTS and stuff to fix Windows-only bugs), but no luck
18:11:42 <ehird> isn't it written in really old-style haskell?
18:11:52 <ehird> iirc it has its own monad definition somewhere from before they were used for io and stuff
18:13:20 <oerjan> um ghc is written in ghc haskell
18:13:48 <Deewiant> I'm not sure what you mean by "old-style" but AFAIK no
18:21:36 <ehird> oerjan: yeah but
18:21:48 <ehird> well someone in #haskell just said that the code was dated
18:21:48 <ehird> :P
18:21:55 <ehird> ages ago
18:26:04 <Deewiant> well yeah, it's "dated" but I think "style" might be the wrong word here
18:26:18 <Deewiant> one big thing is that it doesn't use hierarchical modules, it just prefixes everything
18:26:23 -!- Judofyr has joined.
18:26:29 <Deewiant> so instead of Foo.Bar.baz you have FooBarbaz or even FBbaz if you're unlucky
18:26:43 <Deewiant> (I'm not sure how bad it actually is, might not be that bad)
18:31:12 <oklopol> o
18:33:42 -!- kar8nga has joined.
18:34:34 -!- Judofyr_ has quit (Read error: 110 (Connection timed out)).
19:00:28 -!- moozilla has joined.
19:08:25 -!- jix has joined.
19:20:33 -!- moozilla has quit (Read error: 54 (Connection reset by peer)).
19:37:04 -!- moozilla has joined.
19:46:42 -!- Asztal has joined.
19:48:00 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
19:48:40 -!- Judofyr has joined.
19:50:31 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
19:55:41 <Warrigal> ehird: does the BNF give you operator precedence?
19:55:49 <ehird> Dunno. :D
19:56:14 <Warrigal> Yes, I think it does.
19:57:04 <Warrigal> So use that.
20:11:56 -!- moozilla has joined.
20:30:12 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
20:30:29 -!- moozilla has quit (Read error: 131 (Connection reset by peer)).
20:30:52 -!- Judofyr has joined.
21:02:00 <ehird> Abusing bugs for fun and quineity:
21:02:01 <ehird> print inspect.getsource(lambda: None)
21:02:03 <ehird> err
21:02:05 <ehird> import inspect; print inspect.getsource(lambda: None)
21:20:02 -!- kar8nga has quit (Read error: 60 (Operation timed out)).
21:38:07 -!- kar8nga has joined.
21:48:43 <oerjan> +ul x
21:48:49 <oerjan> ^ul x
21:48:49 <fungot> ...bad insn!
21:49:27 <oerjan> ^ul (:aSS):aSS...bad insn!
21:49:27 <fungot> (:aSS):aSS ...bad insn!
21:49:36 <oerjan> erm
21:49:44 <Slereah_> insn?
21:49:59 <oerjan> insemination, obviously
21:50:22 <Slereah_> Insemination in the aSS?
21:51:21 <oerjan> +ul (::^)::^
21:51:40 <thutubot> ...too much memory used!
21:51:58 <ehird> 21:50 Slereah_: Insemination in the aSS?
21:51:59 <ehird> I lolled
21:52:21 <oklopol> oooooo
21:52:51 <oklopol> HEY
21:53:00 <oklopol> that's not the link to the logs!
21:53:34 <oerjan> brilliant, holmes
21:55:07 <oklopol> :|
21:57:08 <oerjan> ^bf ]
21:57:08 <fungot> Mismatched [].
21:57:17 <oerjan> ^bf [
21:57:18 <fungot> Mismatched [].
21:57:20 <oerjan> darn
21:58:39 <oklopol> :::D
22:03:05 <fizzie> Don't you go inseminating my bot.
22:03:30 <fizzie> And that (:aSS):aSS... "bad insn" message comes when it tries to execute the '.' there.
22:05:46 -!- GreaseMonkey has joined.
22:10:54 -!- moozilla has joined.
22:29:12 <oklopol> fizzie: i'm pretty sure oerjan knows that, he made that bot.
22:29:25 <oklopol> just a figure of speech of course.
22:29:41 <Slereah_> ^bf +++++++++++++++++++++++++++++++++.
22:29:41 <fungot> !
22:29:44 <Slereah_> :D
22:29:50 <oklopol> :D
22:29:54 <oklopol> are you happy
22:30:03 <oklopol> ^bf +++++++++++++++++++++++++++++++++++++.
22:30:03 <fungot> %
22:30:09 <Slereah_> Happy like a frankenstein monster
22:30:21 <oklopol> ^bf++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.
22:30:27 <oklopol> ^bf ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.
22:30:27 <fungot>
22:30:36 <oklopol> ^bf +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.
22:30:36 <fungot> <CTCP>
22:30:40 <oklopol> ^bf ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.
22:30:41 <fungot>
22:30:45 <oklopol> ^bf ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.
22:30:46 <fungot>
22:30:49 <oklopol> ^bf ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.
22:30:49 <fungot>
22:30:53 <oklopol> ^bf +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.
22:30:53 <fungot>
22:30:57 <oklopol> ^bf ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.
22:30:57 <fungot>
22:31:01 <oklopol> ^bf ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.
22:31:01 <fungot> \
22:31:05 <oklopol> ^bf +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.
22:31:05 <fungot> e
22:31:09 <oklopol> ^bf ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.
22:31:09 <fungot> n
22:31:12 <oklopol> ^bf +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.
22:31:13 <fungot> o
22:31:15 <oklopol> o
22:33:03 -!- moozilla has quit (Read error: 104 (Connection reset by peer)).
22:37:53 <fizzie> Prelude Data.List> take 5 $ iterate (++ "ko") "o"
22:37:53 <fizzie> ["o","oko","okoko","okokoko","okokokoko"]
22:38:50 <oklopol> ("ok" ++) is faster
22:41:35 <fizzie> I'm not sure I mind.
22:41:46 <oklopol> 8|
22:42:20 <fizzie> let oko = "o":[o++"ko"|o <- oko] in take 5 $ oko looks sillier.
22:43:36 <fizzie> Maybe some sleep is in order; work-day tomorrow, even though the whole place will probably be completely empty.
22:43:46 <oklopol> why would it be empty
22:44:06 <ehird> > let oko = "o" : map ("ok" ++) oko in oko
22:44:17 <ehird> after it goes through infinite okos of the first oko, it okos the rest of the okos!
22:44:54 <oklopol> okokokokokokoko
22:45:13 <fizzie> oklopol: I think most people have started their winter vacationary stuff already, since wed-fri are holidays anyway.
22:45:34 <AnMaster> hi
22:45:36 <fizzie> There might be some students, though; I think there's still some exams.
22:45:46 <oklopol> i wish i had exams
22:46:01 <AnMaster> when do you get the presents in Finland?
22:46:09 <AnMaster> Same as in Sweden? (24th)
22:46:10 <oklopol> 24
22:46:14 <oklopol> ya
22:46:19 <fizzie> oklopol: You can do one of ours, I'm sure no-one would notice.
22:46:20 <AnMaster> right
22:46:29 <oklopol> fizzie: what do you have?
22:46:44 <ehird> 25th here in uk/us
22:46:49 <fizzie> oklopol: Checking.
22:46:49 -!- kar8nga has left (?).
22:46:51 <oklopol> i mean i don't know *everything*.
22:47:34 <ehird> AnMaster: whuzzup with you finnswedes and your xmas-on-24th
22:47:48 <ehird> oh wait, xmas is on 25th but giftz are on 24th??
22:47:50 <ehird> rite?
22:47:51 <ehird> or no
22:48:01 <oklopol> all the celebration stuff is 24
22:48:05 <oklopol> 25 is just a day.
22:48:22 <fizzie> But 24th is still called "christmas eve", while 25th and 26th are the two christmas days.
22:48:24 <oklopol> kinda like 26 only it has a name
22:48:27 <ehird> fizzie: tha
22:48:28 <oklopol> hmm
22:48:29 <ehird> 's weirdo.
22:48:34 <oklopol> 26 is a christmas day too?
22:48:42 <ehird> why would you celebrate onthe day before the event
22:49:09 <oklopol> ehird: who gives a boobie?
22:49:14 <fizzie> oklopol: I think I've heard it called "toinen joulupäivä" (lit. second christmas day).
22:49:20 <ehird> oklopol: me
22:49:24 <ehird> 25th is so much more logical
22:49:32 <oklopol> fizzie: hmm sounds familiar indeed
22:49:45 <fizzie> oklopol: http://fi.wikipedia.org/wiki/Joulu agrees with me.
22:50:04 <oklopol> ehird: no it isn't, no one wants to celebrate during the day, so it's nicer to be celebrating when christmas day is at its darkest, just starting
22:50:20 <ehird> meh
22:50:22 <fizzie> oklopol: Anyway, for the CS department the only monday exams are T-76.5613 "software testing and quality assurance" and T-106.4155 "operating systems".
22:50:28 <ehird> christmas has too much buildup in the ok
22:50:30 <ehird> uk
22:50:31 <ehird> i mean
22:50:37 <oklopol> fizzie: well i just read modern operating systems
22:50:37 <ehird> christmas shit starts being advertised
22:50:38 <ehird> in OCTOBER
22:50:44 <ehird> wtfs up with that
22:50:45 <oklopol> you don't happen to know what the book is?
22:51:42 <fizzie> oklopol: It's "William Stallings: Operating Systems: Internals and Design Principles". Wasn't Modern Operating Systems the Tanenbaum book? If so, that's the one they used for the old OS course.
22:52:02 <oklopol> i see.
22:52:18 <oklopol> our operating systems course prof is looking for another book now, guess i know what he'll choose then.
22:52:42 <oklopol> and yeah it's the tanenbaum book
22:52:52 <ehird> tanenbaum argued with linus torvalds in like 1992 about linux
22:52:53 <oklopol> circus stuff in the frontcover
22:52:54 <ehird> it was silly
22:52:56 <oklopol> yes
22:53:14 <ehird> i am deliberately wording it like that so I sound cool
22:53:15 <ehird> as in
22:53:20 <ehird> because it sounds like I was there.
22:53:28 <oklopol> because linus didn't have a microkernel
22:53:34 <oklopol> ...yes linus
22:53:50 <oklopol> his kernel was mostly made out of guts
22:53:59 <fizzie> oklopol: I also know there's a statistics exam (or maybe just the second mid-term thing) tomorrow, if you like that more.
22:54:17 <oklopol> fizzie: i don't know anything about statistics
22:54:33 <oklopol> well at least i think i don't
22:55:03 <fizzie> Well, the operating systems sounds like your best bet, then.
22:55:07 <oklopol> ehird: weren't you there?
22:55:15 <ehird> ummm
22:55:16 <ehird> yes
22:55:30 <ehird> despite not being alive
22:55:42 <oklopol> yeah, although i somehow feel MOS might have less content than OSIDP
22:55:50 <oklopol> i mean, have you read the book?
22:56:09 <fizzie> MOS, yes; OSIDP, no.
22:56:20 <oklopol> i mean, i love it, it's full of details and can suddenly burst into a list of a thousand algorithms
22:56:27 <fizzie> The (new) course probably won't be very in-depth, though.
22:56:49 <oklopol> but somehow it still seems to only scratch the surface
22:57:19 <oklopol> ("now, for no reason, let's go over how jpg's work!")
22:58:08 <oklopol> ("so now that we're discussing drivers, how about we take a look at how cd's work and talk a few pages about their history?")
22:58:19 <oklopol> hmm
22:58:29 <oklopol> well true, usually courses tend to get easier, not harder
23:01:08 <oklopol> and indeed, our prof is looking for a "less theoretical" book
23:01:11 <oklopol> i guess that means simpler
23:05:10 <fizzie> I'm pretty sure the Tanenbaum "LINUX is obsolete" newspost[1] was mentioned during the OS course, though. It's quite a classic. [1] http://groups.google.com/group/comp.os.minix/msg/f447530d082cd95d
23:05:56 <fizzie> "I would suggest that people who want a **MODERN** "free" OS look around for a microkernel-based, portable OS, like maybe GNU or something like that."
23:06:11 <oklopol> our os course consists of reading the book and taking the exam
23:06:14 <fizzie> Haven't heard much news about Hurd lately.
23:06:44 <ehird> fizzie: well, chinese democracy and python3 are out
23:06:47 <ehird> anything is possible
23:06:58 <fizzie> oklopol: You mean there weren't any lectures?
23:07:10 <oklopol> fizzie: well there were 6 lectures
23:07:21 <oklopol> but i didn't attend them, and they were just an introduction
23:07:50 <oklopol> but yeah the first os course in our uni is just a book exam
23:07:54 <oklopol> or whatever's a good term
23:08:19 <fizzie> I think our course had at least one weekly lecture for a whole half-year term. Still, I think I mostly took the "read the book" approach.
23:08:20 <ehird> http://superunprivileged.org/ "hurd advocacy page"; second line: rms' awful free software song
23:08:24 <ehird> I think that says it all
23:10:48 <fizzie> We have an "operating system project" add-on course for those who are interested; they start with some skeleton code (used to be stripped-down nachos -- http://www.cs.washington.edu/homes/tom/nachos/ -- but now is buenos -- http://www.niksula.hut.fi/~buenos/buenos.html ) and they have to implement the usual things like file systems, virtual memory and things like that.
23:10:49 -!- GregorR has quit (Remote closed the connection).
23:11:26 <oklopol> i wish we had that
23:11:39 <oklopol> your uni is so much cooler
23:12:02 <fizzie> I'm just advertising; in reality it sucks.
23:12:18 <fizzie> But maybe not as much as it could.
23:12:24 <ehird> everything sucks
23:12:26 <oklopol> but, i'm thinking maybe leaving abroad after ...my candidate?
23:12:27 <oklopol> what's it called
23:12:34 <ehird> oklopol come to england!
23:12:43 <oklopol> i might graduate next year
23:12:47 <ehird> we have 0 civil liberties and the weather sucks and it's boring
23:12:49 <ehird> and we're all idiots
23:12:53 <ehird> what more could you want
23:12:55 <fizzie> Bachelor's degree is the semi-equivalent term, I think.
23:13:07 <fizzie> I skipped the OS project, but I've heard comments that as far as university coursework goes, it was one of the more interesting ones.
23:13:24 <oklopol> well that's not very surprising imo
23:13:44 <fizzie> If you want no civil liberties and sucky weather, I don't think you really have to leave Finland.
23:13:47 <oklopol> they can't leave the fun stuff out because they'd have to leave everything out
23:14:05 <oklopol> what are civil liberties?
23:14:13 <oklopol> i have all the liberties i could wish for
23:14:14 <ehird> civil liberties = freedom to do shit.
23:14:24 <ehird> in the UK, everyone's a terrorist.
23:14:36 <ehird> fizzie: uhh, isn't the finland like super-liberal compared to uk/us?
23:14:40 <ehird> "the finland" xD
23:14:56 <fizzie> ehird: We're still working on getting rid of those, yes, but I'm sure they're catching up.
23:15:16 <ehird> proto: #esoteric nation
23:15:21 <ehird> nomics can come too.
23:17:16 <fizzie> http://en.wikipedia.org/wiki/List_of_micronations is surprisingly long.
23:17:43 <oklopol> not really, everyone wants one of those, only natural a small percentage gets it
23:17:53 <fizzie> Some of the one-phrase descriptions are amusing. Like "BjornSocialist Republic": "A self-proclaimed Marxist state of about 6 square metres (7.18 sq yd) located on a stone "that looks like a tractor" in Lake Immeln, Scania, Sweden."
23:18:03 <fizzie> oklopol: But it's Wikipedia; all those are Notable(tm)!
23:18:13 <oklopol> ohh
23:20:15 <oerjan> there needs to be a really micro nation. just 15 micrometers across.
23:20:34 <ehird> oerjan: 15 micrometers of my table declare independence from the england
23:20:36 <ehird> done
23:20:48 <oklopol> the england?
23:20:49 <ehird> "the england"
23:20:51 <ehird> wtf is up with me
23:20:52 <ehird> first the finland
23:20:53 <ehird> now the england
23:21:00 <oklopol> soon accidentally the whole world
23:21:01 <Slereah_> The one and only England.
23:21:08 <ehird> oklopol: lol
23:23:02 <fizzie> Speaking of nations, I am amused by the shape of the Finland/Sweden border at http://en.wikipedia.org/wiki/Märket
23:23:25 <ehird> lol
23:27:05 <oklopol> i am amused by bjarne not even trying to explain the things that suck about c++
23:27:35 <oklopol> he just says "unfortunately c++ does this", and puts a sad face after the sentence ":("
23:27:40 <ehird> lol
23:29:22 <fizzie> Java VM uses two slots of the .class file constant table for long/double (read: 8-byte) values; and they've bothered to add a footnote about that in the specification: "In retrospect, making 8-byte constants take two constant pool entries was a poor choice."
23:29:48 <fizzie> They really should've added a ":(" after that one.
23:31:26 <oklopol> i don't understand
23:31:39 <ehird> 23:31 oklopol: i don't understand
23:31:41 <ehird> Cherish this moment.
23:31:47 <oklopol> :D
23:31:57 <oklopol> hey i can be pretty slow
23:33:04 <oklopol> i'm assuming the constant table is just some kinda big array
23:33:28 <fizzie> Yes, but it already has entries of variable sizes; like strings and things like that.
23:33:39 <oklopol> ah
23:34:07 <fizzie> I guess it's a bit confusing when two specific entry types (for no particularly good reason) suddenly take up two slots in the table.
23:35:33 <oklopol> yeah
23:36:23 <oklopol> bjarne does advertise this other book about the process of making c++
23:36:34 <oklopol> perhaps he'd explain the weird stuff there
23:37:32 <fizzie> Or maybe he just says "It's like this because I screwed up here. ;/ :( X-D"
23:38:04 <ehird> "Lol, I fuxxored up this part of the threading. sry :(("
23:38:38 <oklopol> threading doesn't have much room in a book about c++
23:40:08 <oklopol> south park time ->
23:49:48 -!- moozilla has joined.
23:50:47 -!- KingOfKarlsruhe has joined.
23:52:42 -!- Mony has quit ("Quit").
23:53:21 <AnMaster> <fizzie> oklopol: I think I've heard it called "toinen joulupäivä" (lit. second christmas day).
23:53:24 <AnMaster> err yea
23:53:28 <AnMaster> annandag jul
23:53:32 <AnMaster> in Swedish
23:53:40 <AnMaster> old word form and such
23:53:50 <AnMaster> "secondday xmas" basically
23:53:55 <AnMaster> which sounds silly in Swedish too
23:54:06 <AnMaster> common name for it though
←2008-12-20 2008-12-21 2008-12-22→ ↑2008 ↑all