#ocaml on 2010-07-31 — irc logs at freenode.irclog.whitequark.org

2010-07-23 16:16 gildor changed the topic of #ocaml to: "Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0+rc1 http://permalink.gmane.org/gmane.comp.lang.caml.inria/49387

00:03 Vassia has joined #ocaml

00:08 Vassia has quit [Ping timeout: 276 seconds]

00:40 Edward has quit []

00:54 jakedouglas has quit [Quit: Leaving.]

01:41 jakedouglas has joined #ocaml

01:52 philtor has quit [Ping timeout: 260 seconds]

02:32 xcthulhu has joined #ocaml

02:35 <xcthulhu> Well... I love ocaml

02:35 <xcthulhu> and if it were possible to do all of my math homework in hol_light I totally would

02:35 <xcthulhu> that is all

02:37 ssbr has quit [Ping timeout: 245 seconds]

02:43 elehack has quit [Quit: not a typewriter]

02:46 coucou747 has joined #ocaml

02:57 coucou747 has quit [Remote host closed the connection]

04:28 philtor has joined #ocaml

04:40 jonafan_ has joined #ocaml

04:42 sdschulz` has joined #ocaml

04:42 jakedouglas has quit [*.net *.split]

04:42 sdschulze has quit [*.net *.split]

04:42 jonafan has quit [*.net *.split]

04:42 joewilliams has quit [*.net *.split]

04:42 caligula__ has quit [*.net *.split]

04:42 krankkatze has quit [*.net *.split]

04:42 fabjan has quit [*.net *.split]

04:42 haelix has quit [*.net *.split]

04:42 flux has quit [*.net *.split]

04:43 caligula__ has joined #ocaml

04:44 flux has joined #ocaml

04:44 joewilliams has joined #ocaml

04:45 haelix has joined #ocaml

04:45 krankkatze has joined #ocaml

04:45 fabjan has joined #ocaml

04:47 jakedouglas has joined #ocaml

04:55 ssbr has joined #ocaml

05:01 ssbr has quit [Ping timeout: 252 seconds]

05:20 krankkatze has quit [Ping timeout: 240 seconds]

05:25 xcthulhu has quit [Quit: Ex-Chat]

05:58 philtor has quit [Ping timeout: 260 seconds]

06:34 oc13 has joined #ocaml

06:43 Amorphous has quit [Ping timeout: 260 seconds]

06:44 ssbr has joined #ocaml

06:55 Associat0r has quit [Read error: Connection reset by peer]

06:58 Amorphous has joined #ocaml

07:00 Snark has joined #ocaml

07:04 Associat0r has joined #ocaml

07:13 ssbr has quit [Read error: Connection reset by peer]

07:31 ssbr has joined #ocaml

07:37 jakedouglas has quit [Quit: Leaving.]

07:41 Associat0r has quit [Quit: Associat0r]

07:42 ssbr has quit [Read error: Connection reset by peer]

07:56 Anarchos has joined #ocaml

08:15 joewilliams is now known as joewilliams_away

08:24 Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]

08:43 xmarteo has joined #ocaml

08:55 ygrek has joined #ocaml

09:11 chee has joined #ocaml

09:36 ikaros has joined #ocaml

10:09 coucou747 has joined #ocaml

10:16 ikaros has quit [Quit: Leave the magic to Houdini]

10:22 chee has quit [Ping timeout: 245 seconds]

10:35 chee has joined #ocaml

10:40 Snark has quit [Quit: Ex-Chat]

10:42 chee has quit [Ping timeout: 245 seconds]

10:42 chee has joined #ocaml

11:07 Vassia has joined #ocaml

11:12 Vassia has quit [Ping timeout: 246 seconds]

11:31 sdschulz` has quit [Read error: Operation timed out]

13:08 Vassia has joined #ocaml

13:12 Vassia has quit [Ping timeout: 240 seconds]

13:47 pikachuyann has joined #ocaml

13:59 Snark_ has joined #ocaml

14:03 Snark_ has left #ocaml []

14:03 Snark has joined #ocaml

14:04 komar_ has joined #ocaml

14:05 komar_ has quit [Client Quit]

14:05 Associat0r has joined #ocaml

14:34 <Snark> <- finally got nouveau up and running on his old box...

14:35 <Snark> (unfortunately, frogatto is still unplayable for the kids :-/ )

14:35 <Snark> oops... wrong channel

14:42 elehack has joined #ocaml

14:46 sdschulze has joined #ocaml

14:46 Associat0r has quit [Quit: Associat0r]

14:51 chee has quit [Read error: Connection reset by peer]

14:52 chee has joined #ocaml

15:03 fraggle_ has quit [Remote host closed the connection]

15:08 fraggle_ has joined #ocaml

15:08 Vassia has joined #ocaml

15:11 ttamttam has joined #ocaml

15:13 Vassia has quit [Ping timeout: 260 seconds]

15:14 ccasin has joined #ocaml

15:24 fraggle_ has quit [Quit: -ENOBRAIN]

15:52 bzzbzz has quit [Quit: leaving]

16:19 ssbr has joined #ocaml

16:33 joewilliams_away is now known as joewilliams

16:34 Anarchos has joined #ocaml

16:52 chee has quit [Ping timeout: 245 seconds]

16:53 fraggle_ has joined #ocaml

17:02 Associat0r has joined #ocaml

17:08 boscop_ has joined #ocaml

17:09 Vassia has joined #ocaml

17:10 boscop has quit [Ping timeout: 264 seconds]

17:13 |marius| has joined #ocaml

17:13 Vassia has quit [Ping timeout: 245 seconds]

17:31 jakedouglas has joined #ocaml

17:34 ygrek has quit [Ping timeout: 245 seconds]

17:36 sdschulze has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]

17:39 joewilliams is now known as joewilliams_away

17:54 ygrek has joined #ocaml

18:04 xcthulhu has joined #ocaml

18:12 boscop_ has left #ocaml []

18:14 boscop has joined #ocaml

18:14 boscop has left #ocaml []

18:14 boscop has joined #ocaml

18:15 philtor has joined #ocaml

18:23 chee has joined #ocaml

18:42 ssbr_ has joined #ocaml

18:45 ssbr has quit [Ping timeout: 252 seconds]

18:46 philtor has quit [Ping timeout: 240 seconds]

18:52 chee is now known as Frots

18:52 Frots has quit [Disconnected by services]

18:53 CHEE has joined #ocaml

18:54 CHEE is now known as chee

19:02 Snark has quit [Quit: Ex-Chat]

19:07 ssbr_ is now known as ssbr

19:09 Vassia has joined #ocaml

19:14 Vassia has quit [Ping timeout: 276 seconds]

19:28 Edward has joined #ocaml

19:31 ulfdoz has joined #ocaml

19:31 ccasin has quit [Remote host closed the connection]

19:43 ssbr_ has joined #ocaml

19:43 ssbr has quit [Disconnected by services]

19:43 ssbr_ is now known as ssbr

20:01 sepp2k has joined #ocaml

20:18 avsm has joined #ocaml

20:22 Edward has quit []

20:29 metasyntax` has joined #ocaml

20:43 ttamttam has quit [Quit: Leaving.]

20:45 |marius| has quit [Remote host closed the connection]

20:57 bluestorm has joined #ocaml

21:09 Vassia has joined #ocaml

21:14 Vassia has quit [Ping timeout: 260 seconds]

21:21 jakedouglas has quit [Quit: Leaving.]

21:27 Edward has joined #ocaml

21:29 ygrek has quit [Remote host closed the connection]

21:30 ygrek has joined #ocaml

21:30 Zer has joined #ocaml

21:36 ygrek has quit [Remote host closed the connection]

21:38 sepp2k has quit [Quit: Leaving.]

21:40 oc13 has quit [Quit: oc13]

21:56 <pikachuyann> bonne nuit/good night

21:58 julm has left #ocaml []

21:58 julm has joined #ocaml

21:59 cthuluh has joined #ocaml

22:00 pikachuyann has quit [Quit: 'night]

22:02 <julm> http://caml.inria.fr/pub/docs/oreilly-book/index.html < proofreaded by Julian Assange \o/

22:04 <julm> hum, or is it proofread

22:05 thelema_ is now known as thelema

22:05 <thelema> The wikileaks guy does ocaml?

22:06 <thelema> back in 2000, it seems...

22:06 <julm> :)

22:09 <thelema> once upon a time he created irc.ocaml.org

22:09 <thelema> http://pauillac.inria.fr/caml/caml-list/2937.html

22:12 <julm> 8)

22:24 <julm> he has also written some crypto in ocaml : http://iq.org/~proff/marutukku.org/current/src/ideas/keying

22:27 <julm> http://iq.org/~proff/marutukku.org

22:27 <julm> Linux 2.2 :(

22:28 bluestorm has quit [Quit: Leaving]

22:29 Anarchos has quit [Remote host closed the connection]

22:29 Anarchos has joined #ocaml

22:39 avsm has quit [Quit: Leaving.]

22:40 xmarteo has quit [Quit: Debian GNU/Hurd is Good.]

23:50 Modius has joined #ocaml

23:51 Modius has quit [Max SendQ exceeded]

23:51 Modius has joined #ocaml