#ocaml on 2003-04-25 — irc logs at freenode.irclog.whitequark.org

2003-04-24 21:35 systems changed the topic of #ocaml to: http://icfpcontest.cse.ogi.edu/ -- OCaml wins | http://www.ocaml.org/ | http://caml.inria.fr/oreilly-book/ | http://icfp2002.cs.brown.edu/ | SWIG now supports OCaml| Early releases of OCamlBDB and OCamlGettext are available | Caml Weekly news http://pauillac.inria.fr/~aschmitt/cwn/

00:19 systems has joined #ocaml

00:23 mattam has quit ["leaving"]

00:31 Smerdyakov has quit []

00:58 Smerdyakov has joined #ocaml

01:02 hitachi has joined #ocaml

01:06 docelic is now known as docelic|sleepo

01:34 systems has quit []

01:51 cm has quit ["changing servers"]

01:53 cm has joined #ocaml

01:57 lament has joined #ocaml

02:00 cm has quit ["changing servers"]

02:17 cm has joined #ocaml

02:23 cm has quit ["changing servers"]

02:34 one_with_watter is now known as bett

02:37 lament is now known as Meepla

02:38 Meepla is now known as lament

02:38 cm has joined #ocaml

02:41 cm has quit ["changing servers"]

02:42 cm has joined #ocaml

02:46 cm has quit [Client Quit]

02:52 reltuk has quit []

02:57 cm has joined #ocaml

03:05 cm has quit ["changing servers"]

03:13 cm has joined #ocaml

03:24 cm has quit ["changing servers"]

03:36 __DL__ has quit [Remote closed the connection]

03:40 cm has joined #ocaml

03:42 lament has quit ["heh"]

03:46 cm has quit ["changing servers"]

03:58 cm has joined #ocaml

04:08 cm has quit ["changing servers"]

04:15 wax has quit [Read error: 104 (Connection reset by peer)]

04:15 wax has joined #ocaml

04:31 lament has joined #ocaml

04:37 cm has joined #ocaml

04:51 hitachi has left #ocaml []

05:08 cm has quit ["changing servers"]

05:09 pattern_ has quit [leguin.freenode.net irc.freenode.net]

05:10 pattern_ has joined #ocaml

05:12 cm has joined #ocaml

05:25 cm has quit ["changing servers"]

05:27 cm has joined #ocaml

05:35 cm has quit ["changing servers"]

05:38 cm has joined #ocaml

05:45 cm has quit ["changing servers"]

05:50 cm has joined #ocaml

05:54 Kinners has joined #ocaml

05:56 cm has quit ["changing servers"]

05:59 cm has joined #ocaml

06:01 mattam has joined #ocaml

06:05 cm has quit ["changing servers"]

06:10 cm has joined #ocaml

06:17 cm has quit ["changing servers"]

06:28 cm has joined #ocaml

06:35 cm has quit ["changing servers"]

06:40 cm has joined #ocaml

06:44 yasuo_ has quit [Read error: 113 (No route to host)]

07:04 cm has quit ["changing servers"]

07:10 cm has joined #ocaml

07:10 cm has quit ["changing servers"]

07:11 cm has joined #ocaml

07:30 cm has quit ["changing servers"]

07:34 cm has joined #ocaml

07:41 cm has quit ["changing servers"]

07:55 cm has joined #ocaml

08:03 cm has quit ["changing servers"]

08:15 lament has quit ["sleep"]

08:40 ^AndyA^ has joined #ocaml

09:38 ^AndyA^ has left #ocaml []

09:50 Kinners has left #ocaml []

10:10 vincenz has quit [Remote closed the connection]

10:11 vincenz has joined #ocaml

10:13 cm has joined #ocaml

10:15 docelic|sleepo is now known as docelic

10:40 cm has quit ["changing servers"]

10:41 docelic is now known as docelic|away

10:45 __DL__ has joined #ocaml

11:15 pattern_ has quit [leguin.freenode.net irc.freenode.net]

11:15 vincenz has quit [leguin.freenode.net irc.freenode.net]

11:15 mattam has quit [leguin.freenode.net irc.freenode.net]

11:15 lam has quit [leguin.freenode.net irc.freenode.net]

11:15 seth_ has quit [leguin.freenode.net irc.freenode.net]

11:15 docelic|away has quit [leguin.freenode.net irc.freenode.net]

11:15 async has quit [leguin.freenode.net irc.freenode.net]

11:15 vegai has quit [leguin.freenode.net irc.freenode.net]

11:15 polin8 has quit [leguin.freenode.net irc.freenode.net]

11:15 gl has quit [leguin.freenode.net irc.freenode.net]

11:15 xtrmz has quit [leguin.freenode.net irc.freenode.net]

11:15 asqui has quit [leguin.freenode.net irc.freenode.net]

11:15 emu has quit [leguin.freenode.net irc.freenode.net]

11:15 Riastradh has quit [leguin.freenode.net irc.freenode.net]

11:15 smkl has quit [leguin.freenode.net irc.freenode.net]

11:15 foxster has quit [leguin.freenode.net irc.freenode.net]

11:16 bett has quit [leguin.freenode.net irc.freenode.net]

11:16 liyang_ has quit [leguin.freenode.net irc.freenode.net]

11:16 pattern_ has joined #ocaml

11:17 vincenz has joined #ocaml

11:17 mattam has joined #ocaml

11:17 docelic|away has joined #ocaml

11:17 seth_ has joined #ocaml

11:17 lam has joined #ocaml

11:17 async has joined #ocaml

11:17 gl has joined #ocaml

11:17 vegai has joined #ocaml

11:17 polin8 has joined #ocaml

11:17 xtrmz has joined #ocaml

11:18 systems has joined #ocaml

11:18 asqui has joined #ocaml

11:18 smkl has joined #ocaml

11:18 Riastradh has joined #ocaml

11:18 emu has joined #ocaml

11:18 asqui has quit [Excess Flood]

11:18 emu has quit [leguin.freenode.net irc.freenode.net]

11:18 Riastradh has quit [leguin.freenode.net irc.freenode.net]

11:18 smkl has quit [leguin.freenode.net irc.freenode.net]

11:18 systems has quit [leguin.freenode.net irc.freenode.net]

11:18 mattam has quit [leguin.freenode.net irc.freenode.net]

11:18 vincenz has quit [leguin.freenode.net irc.freenode.net]

11:18 lam has quit [leguin.freenode.net irc.freenode.net]

11:18 seth_ has quit [leguin.freenode.net irc.freenode.net]

11:18 async has quit [leguin.freenode.net irc.freenode.net]

11:18 vegai has quit [leguin.freenode.net irc.freenode.net]

11:18 polin8 has quit [leguin.freenode.net irc.freenode.net]

11:18 gl has quit [leguin.freenode.net irc.freenode.net]

11:18 xtrmz has quit [leguin.freenode.net irc.freenode.net]

11:18 docelic|away has quit [leguin.freenode.net irc.freenode.net]

11:18 pattern_ has quit [leguin.freenode.net irc.freenode.net]

11:18 asqui has joined #ocaml

11:18 emu has joined #ocaml

11:18 Riastradh has joined #ocaml

11:18 smkl has joined #ocaml

11:18 systems has joined #ocaml

11:18 xtrmz has joined #ocaml

11:18 polin8 has joined #ocaml

11:18 vegai has joined #ocaml

11:18 gl has joined #ocaml

11:18 async has joined #ocaml

11:18 lam has joined #ocaml

11:18 seth_ has joined #ocaml

11:18 docelic|away has joined #ocaml

11:18 mattam has joined #ocaml

11:18 vincenz has joined #ocaml

11:18 pattern_ has joined #ocaml

11:19 foxster has joined #ocaml

11:19 bett has joined #ocaml

11:19 liyang_ has joined #ocaml

11:24 systems has quit [Killed (NickServ (Nickname Enforcement))]

11:25 systems has joined #ocaml

11:34 systems has quit [Killed (NickServ (Nickname Enforcement))]

11:35 systems has joined #ocaml

11:45 systems has quit [Killed (NickServ (Nickname Enforcement))]

11:45 systems has joined #ocaml

11:48 bett is now known as rox

11:54 lus|wazze has joined #ocaml

12:17 systems has quit [Read error: 110 (Connection timed out)]

12:40 gene9 has joined #ocaml

13:00 systems has joined #ocaml

13:01 vegai has quit ["leaving"]

13:11 mattam has quit ["leaving"]

13:17 hitachi has joined #ocaml

13:19 TachYon26 has joined #ocaml

13:20 gene9 has quit [Read error: 110 (Connection timed out)]

13:30 TachYon26 has quit ["bez ki³y nie ma zaliczenia (z prawd studentek AM)"]

13:38 systems has quit [Read error: 110 (Connection timed out)]

13:56 lus|wazze has quit ["Reality is that which, when you stop believing in it, doesn't go away. - Philip K. Dick"]

13:58 hitachi has quit [Remote closed the connection]

14:00 gene9 has joined #ocaml

14:00 bourrain has joined #ocaml

14:01 gene9 has quit [Client Quit]

14:15 bourrain has quit []

14:15 docelic|away is now known as docelic

14:24 mattam has joined #ocaml

14:36 mattam_ has joined #ocaml

14:38 JMKBDPCT has joined #ocaml

14:38 JMKBDPCT has left #ocaml []

14:55 mattam has quit [Read error: 110 (Connection timed out)]

15:10 xtrmz has quit ["ethop"]

15:31 systems has joined #ocaml

15:40 systems has quit ["Client Exiting"]

15:59 mattam_ is now known as mattam

16:11 <vincenz> This channel's log is ONLY your nick changes

16:11 * vincenz slaps mattam around with a recursive trout

16:12 <vincenz> feel the tailcall

16:21 <mattam> ?

16:22 <mattam> :)

16:22 <mattam> not anymore

16:23 <mattam> it simply means people code and caml is beatiful for that :) (or maybe nobody watches for changes anymore)

16:33 * mellum codes C currently... hehe

17:15 GabeW has joined #ocaml

17:33 mattam_ has joined #ocaml

17:34 <mattam_> back again :)

17:37 lus|wazze has joined #ocaml

17:38 GabeW has quit ["Lost terminal"]

17:42 foxster has quit [Read error: 104 (Connection reset by peer)]

17:45 mattam__ has joined #ocaml

17:51 mattam has quit [Read error: 110 (Connection timed out)]

17:58 mattam_ has quit [Read error: 110 (Connection timed out)]

18:09 * vincenz is back

18:10 <vincenz> Anyone know of an enscript .st file for ocaml?

18:10 <Riastradh> Feeling quite lowercase these past few days, eh, vincenz?

18:11 <vincenz> Lol

18:11 vincenz is now known as Vincenz

18:11 <Vincenz> Not anymore :P

18:11 <Vincenz> it's cause of my login on iusris' pc

18:11 <Vincenz> it's vincenz

18:11 <Riastradh> You -can- do 'irssi -n Vincenz'.

18:11 <Vincenz> if I knew how to use irssi, yes I could

18:12 <Riastradh> `man irssi`, puny mortal.

18:13 <Vincenz> I -just- installed gentoo

18:13 <Vincenz> give me some slack

18:13 <lus|wazze> ah yes the infamous "rtfm" comes in many different shapes :)

18:14 <Riastradh> OK, OK: `man irssi`, fool.

18:14 <lus|wazze> ok so that`s the comment downgraded to a rtdm now , i think :P

18:14 <Vincenz> of

18:14 <Vincenz> rtmd

18:15 <Vincenz> Read the manual, d*ck

18:15 <Riastradh> Or, if you insist upon having slack: `man irssi`, lazy slacker.

18:15 <Vincenz> ugh, instaling Gentoo is -so- slow

18:15 <lus|wazze> no that would , i think, actually be even stronger than rtfm

18:15 <Vincenz> or you could go all the way and

18:15 <Vincenz> `man man`, man

18:36 GabeW has joined #ocaml

18:36 <mattam__> Vincenz: still gentoo is a nice choice

18:36 mattam__ is now known as mattam

18:36 * mattam is downloading rc4's tarball

18:40 <Vincenz> ls

18:40 <Vincenz> Yup yup :)

18:40 <Vincenz> oh there's an rc4 tarball of the kernel?

18:40 <Vincenz> i emerged the kernel

18:40 <Vincenz> when I installed it

18:40 <Vincenz> from a rc_4 cd

18:40 <Vincenz> but still

18:40 <Vincenz> it says kernel sources gentoo_rc_3

18:43 <Vincenz> ???

18:44 GabeW has quit ["leaving"]

19:14 <mattam> dunno

19:15 <Vincenz> odd

19:35 emu has quit [Read error: 110 (Connection timed out)]

20:19 iusris_ has joined #ocaml

20:20 iusris has quit [Read error: 104 (Connection reset by peer)]

21:00 Vincenz is now known as Vincenz_afk

21:35 lus|wazze has quit ["Reality is that which, when you stop believing in it, doesn't go away. - Philip K. Dick"]

22:03 GabeW has joined #ocaml

23:57 lament has joined #ocaml