#ocaml on 2003-04-26 — 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:49 systems has joined #ocaml

01:10 mattam has quit [Read error: 110 (Connection timed out)]

01:19 __DL__ has quit [Read error: 104 (Connection reset by peer)]

01:24 systems has quit ["Client Exiting"]

01:57 Kinners has joined #ocaml

03:10 lament has left #ocaml []

03:43 polin8 has quit ["Lost terminal"]

03:47 polin8 has joined #ocaml

04:06 GabeW has quit ["leaving"]

04:33 lament has joined #ocaml

05:52 Kinners has left #ocaml []

06:01 mattam has joined #ocaml

07:50 Kinners has joined #ocaml

08:00 whee has quit ["Leaving"]

08:02 lament has quit ["heh"]

09:22 TachYon26 has joined #ocaml

09:33 lus|wazze has joined #ocaml

09:49 <seth_> Hey, all (if anybody is here), I just finished translating a large program into ocaml, and it actually works. And is much more reliable than the other version.

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

10:20 <Vincenz_afk> Holy crapy

10:20 <Vincenz_afk> in 24 hours. noone said a thing except than seth

10:23 <seth_> Vincenz_afk: And I didn't say anything important. :)

10:23 <Vincenz_afk> yes it is

10:23 <Vincenz_afk> More ocaml for everyone!

10:27 <mattam> :)

10:27 <mattam> still there

10:30 <Vincenz_afk> Do you happen to know where the mouse-enabling is in the menuconfig of the kernel?

10:45 <mattam> char devices i think

10:46 <mattam> mine is already compiling :)

10:46 <mattam> arghhh... compile stopped

10:48 __DL__ has joined #ocaml

10:49 <Vincenz_afk> hmm

10:49 <Vincenz_afk> do you know anything about display modes?

10:49 <Vincenz_afk> I recompiled the kernel for bootsplash stuff

10:49 <Vincenz_afk> I put vga=ask in lilo.conf

10:49 <Vincenz_afk> but when I ask it to list the modes

10:50 <Vincenz_afk> it only has character modes

10:50 <Vincenz_afk> :(

10:50 <mattam> that's the normal behavior AFAIK

10:51 <Vincenz_afk> so I can just type in 31a and it will work?

10:51 <Vincenz_afk> (that's 1280x1024x64k)

10:51 <mattam> it's either text modes or framebuffer ones (using video=radeonfb:1024x768@75hz)

10:52 <mattam> maybe it'll work

10:52 <Vincenz_afk> I want a framebufer one

10:52 <mattam> I haven't tried to set unlisted modes

10:52 systems has joined #ocaml

10:52 <Vincenz_afk> plain vesa

10:52 <Vincenz_afk> it says in the docs it's for intelboxes tho

10:52 <Vincenz_afk> does that include AMD?

10:52 <mattam> sure

10:53 <Vincenz_afk> alright

10:53 <Vincenz_afk> I'll try just inputting the number

10:53 <Vincenz_afk> see if it works :)

10:53 <mattam> it may be video=vesa:1280x1024@75Hz. You've got to check the sources :)

10:56 <Vincenz_afk> Yay iot works!!!

10:56 <Vincenz_afk> I've got a little penguin while booting

10:56 <Vincenz_afk> now to figure out how to get an image constantly behind my terminal

10:59 <Vincenz_afk> How do I view images under theconsole?

11:04 <mattam> you mean without X?

11:05 <Vincenz_afk> Yes

11:05 <Vincenz_afk> but I've got a background image in my consoles!!!

11:05 <Vincenz_afk> YAY

11:06 <mattam> i don't know, don't you like black ?

11:08 <Vincenz_afk> It looks so much more pro

11:08 <Vincenz_afk> all I need now is a nice nude chick

11:08 <Vincenz_afk> and I can type away ALL DAY LONG

11:26 systems has quit [Read error: 60 (Operation timed out)]

11:55 Vincenz_afk is now known as Vincenz

12:48 foxster has joined #ocaml

12:56 mattam has quit [Read error: 60 (Operation timed out)]

13:10 Kinners has left #ocaml []

13:54 mattam has joined #ocaml

13:56 docelic is now known as docelic|away

13:59 mattam_ has joined #ocaml

14:02 mattam has quit [Read error: 60 (Operation timed out)]

14:09 mattam has joined #ocaml

14:12 foxster has quit [Read error: 104 (Connection reset by peer)]

14:16 mattam_ has quit [Read error: 110 (Connection timed out)]

14:19 mattam_ has joined #ocaml

14:20 Vincenz_ has joined #ocaml

14:20 systems has joined #ocaml

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

14:29 mattam has joined #ocaml

14:31 systems has quit ["Client Exiting"]

14:37 mattam_ has quit [Read error: 110 (Connection timed out)]

14:39 mattam_ has joined #ocaml

14:44 mattam__ has joined #ocaml

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

14:50 mattam has joined #ocaml

14:56 mattam_ has quit [Read error: 110 (Connection timed out)]

15:00 mattam_ has joined #ocaml

15:02 mattam__ has quit [Read error: 110 (Connection timed out)]

15:08 mattam has quit [Read error: 110 (Connection timed out)]

15:19 mattam_ has quit [Read error: 110 (Connection timed out)]

15:45 Smerdyakov has quit ["reboot"]

15:55 Smerdyakov has joined #ocaml

16:08 Vincenz_ has quit [leguin.freenode.net irc.freenode.net]

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

16:08 rox has quit [leguin.freenode.net irc.freenode.net]

16:08 iusris_ has quit [leguin.freenode.net irc.freenode.net]

16:08 smkl has quit [leguin.freenode.net irc.freenode.net]

16:08 Riastradh has quit [leguin.freenode.net irc.freenode.net]

16:08 asqui has quit [leguin.freenode.net irc.freenode.net]

16:08 __DL__ has quit [leguin.freenode.net irc.freenode.net]

16:08 Vincenz has quit [leguin.freenode.net irc.freenode.net]

16:08 seth_ has quit [leguin.freenode.net irc.freenode.net]

16:08 lam has quit [leguin.freenode.net irc.freenode.net]

16:08 polin8 has quit [leguin.freenode.net irc.freenode.net]

16:08 async has quit [leguin.freenode.net irc.freenode.net]

16:08 docelic|away has quit [leguin.freenode.net irc.freenode.net]

16:08 gl has quit [leguin.freenode.net irc.freenode.net]

16:08 pattern_ has quit [leguin.freenode.net irc.freenode.net]

16:08 mellum has quit [leguin.freenode.net irc.freenode.net]

16:08 Smerdyakov has quit [leguin.freenode.net irc.freenode.net]

16:08 skylan has quit [leguin.freenode.net irc.freenode.net]

16:08 Smerdyakov has joined #ocaml

16:08 Vincenz_ has joined #ocaml

16:08 __DL__ has joined #ocaml

16:08 polin8 has joined #ocaml

16:08 iusris_ has joined #ocaml

16:08 liyang_ has joined #ocaml

16:08 rox has joined #ocaml

16:08 mellum has joined #ocaml

16:08 skylan has joined #ocaml

16:08 asqui has joined #ocaml

16:08 Riastradh has joined #ocaml

16:08 smkl has joined #ocaml

16:08 gl has joined #ocaml

16:08 async has joined #ocaml

16:08 lam has joined #ocaml

16:08 seth_ has joined #ocaml

16:08 docelic|away has joined #ocaml

16:08 Vincenz has joined #ocaml

16:08 pattern_ has joined #ocaml

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

16:49 Vincenz_ has quit [leguin.freenode.net irc.freenode.net]

16:49 rox has quit [leguin.freenode.net irc.freenode.net]

16:49 mellum has quit [leguin.freenode.net irc.freenode.net]

16:49 skylan has quit [leguin.freenode.net irc.freenode.net]

16:49 Smerdyakov has quit [leguin.freenode.net irc.freenode.net]

16:49 iusris_ has quit [leguin.freenode.net irc.freenode.net]

16:49 smkl has quit [leguin.freenode.net irc.freenode.net]

16:49 Riastradh has quit [leguin.freenode.net irc.freenode.net]

16:49 asqui has quit [leguin.freenode.net irc.freenode.net]

16:49 Vincenz has quit [leguin.freenode.net irc.freenode.net]

16:49 __DL__ has quit [leguin.freenode.net irc.freenode.net]

16:49 seth_ has quit [leguin.freenode.net irc.freenode.net]

16:49 lam has quit [leguin.freenode.net irc.freenode.net]

16:49 async has quit [leguin.freenode.net irc.freenode.net]

16:49 polin8 has quit [leguin.freenode.net irc.freenode.net]

16:53 docelic|away has quit [leguin.freenode.net irc.freenode.net]

16:53 gl has quit [leguin.freenode.net irc.freenode.net]

16:53 pattern_ has quit [leguin.freenode.net irc.freenode.net]

16:54 Smerdyakov has joined #ocaml

16:54 Vincenz_ has joined #ocaml

16:54 __DL__ has joined #ocaml

16:54 polin8 has joined #ocaml

16:54 iusris_ has joined #ocaml

16:54 liyang_ has joined #ocaml

16:54 rox has joined #ocaml

16:54 pattern_ has joined #ocaml

16:54 Vincenz has joined #ocaml

16:54 docelic|away has joined #ocaml

16:54 seth_ has joined #ocaml

16:54 lam has joined #ocaml

16:54 async has joined #ocaml

16:54 gl has joined #ocaml

16:54 smkl has joined #ocaml

16:54 Riastradh has joined #ocaml

16:54 asqui has joined #ocaml

16:54 skylan has joined #ocaml

16:54 mellum has joined #ocaml

16:59 wax has quit [Read error: 104 (Connection reset by peer)]

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

16:59 Vincenz_ has quit [leguin.freenode.net irc.freenode.net]

16:59 rox has quit [leguin.freenode.net irc.freenode.net]

16:59 iusris_ has quit [leguin.freenode.net irc.freenode.net]

16:59 asqui has quit [leguin.freenode.net irc.freenode.net]

16:59 smkl has quit [leguin.freenode.net irc.freenode.net]

16:59 Riastradh has quit [leguin.freenode.net irc.freenode.net]

16:59 Vincenz has quit [leguin.freenode.net irc.freenode.net]

16:59 __DL__ has quit [leguin.freenode.net irc.freenode.net]

16:59 seth_ has quit [leguin.freenode.net irc.freenode.net]

16:59 lam has quit [leguin.freenode.net irc.freenode.net]

16:59 async has quit [leguin.freenode.net irc.freenode.net]

16:59 polin8 has quit [leguin.freenode.net irc.freenode.net]

16:59 gl has quit [leguin.freenode.net irc.freenode.net]

16:59 docelic|away has quit [leguin.freenode.net irc.freenode.net]

16:59 pattern_ has quit [leguin.freenode.net irc.freenode.net]

16:59 mellum has quit [leguin.freenode.net irc.freenode.net]

16:59 Smerdyakov has quit [leguin.freenode.net irc.freenode.net]

16:59 skylan has quit [leguin.freenode.net irc.freenode.net]

17:01 clog has joined #ocaml

17:09 foxster has joined #ocaml

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

17:33 lament has joined #ocaml

17:39 lus|wazze has joined #ocaml

18:10 mattam has joined #ocaml

19:53 Vincenz_ has quit ["FUCK MATLAB"]

20:03 smkl has quit [Read error: 110 (Connection timed out)]

20:21 foxster has joined #ocaml

20:39 lus|wazze has quit ["The ultimate downfall of society is the greatest advancement in communications technology being used to find pictures of peop]