Banana changed the topic of #ocaml to: OCaml 3.08 "Bastille Day" Release available ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn , A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/ , A free book: http://cristal.inria.fr/~remy/cours/appsem, Mailing List (best ml ever for any computer language): http://caml.inria.fr/bin/wilma/caml-list
rnoh-htat has quit [Client Quit]
debona|r has joined #ocaml
smkl__ has joined #ocaml
smkl_ has quit [Read error: 110 (Connection timed out)]
yauz_ has joined #ocaml
yauz has quit [Read error: 113 (No route to host)]
rnoh-htat has joined #ocaml
rnoh-htat has quit [Client Quit]
smkl___ has joined #ocaml
monochrom has joined #ocaml
cjohnson has joined #ocaml
smkl__ has quit [Read error: 110 (Connection timed out)]
cj has joined #ocaml
Xolution has quit [Read error: 60 (Operation timed out)]
mrsolo has joined #ocaml
cjohnson has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
mrsolo has quit [Read error: 113 (No route to host)]
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
cj has quit [Read error: 110 (Connection timed out)]
cj has joined #ocaml
Herrchen has joined #ocaml
cj has quit [Read error: 110 (Connection timed out)]
cj has joined #ocaml
cjohnson has quit [Read error: 104 (Connection reset by peer)]
Herrchen_ has quit [Read error: 110 (Connection timed out)]
smkl___ is now known as smkl
mary has joined #ocaml
monochrom has quit ["Don't talk to those who talk to themselves."]
debona|r has left #ocaml []
skittle has joined #ocaml
vezenchio has joined #ocaml
mrsolo has joined #ocaml
smkl has quit [Read error: 110 (Connection timed out)]
kosmikus|away is now known as kosmikus
mrsolo_ has joined #ocaml
mrsolo has quit [Read error: 54 (Connection reset by peer)]
smkl_ has joined #ocaml
shawn_ has joined #ocaml
shawn has quit [Read error: 110 (Connection timed out)]
smimou has joined #ocaml
cj has quit [Read error: 54 (Connection reset by peer)]
Herrchen has quit ["bbl"]
Submarine has joined #ocaml
smkl_ has quit [Read error: 60 (Operation timed out)]
kinners has joined #ocaml
smkl_ has joined #ocaml
skittle has quit [Remote closed the connection]
skittle has joined #ocaml
kinners has quit [Read error: 110 (Connection timed out)]
ChipsterBis has joined #ocaml
ChipsterBis has left #ocaml []
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
bk_ has joined #ocaml
pac_away has joined #ocaml
smkl has joined #ocaml
smkl_ has quit [Read error: 110 (Connection timed out)]
Submarine has left #ocaml []
jourdechance has quit [Read error: 54 (Connection reset by peer)]
jourdechance has joined #ocaml
pac_away has left #ocaml []
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
bk_ has joined #ocaml
cjohnson has joined #ocaml
monochrom has joined #ocaml
leolio has joined #ocaml
Xolution has joined #ocaml
leolio has quit [Read error: 104 (Connection reset by peer)]
cjohnson has quit [Read error: 60 (Operation timed out)]
leolio has joined #ocaml
leolio has quit [Read error: 104 (Connection reset by peer)]
kosmikus is now known as kosmikus|away
cj has joined #ocaml
CosmicRay has joined #ocaml
maihem has joined #ocaml
judge has quit [Read error: 110 (Connection timed out)]
Xolution has quit [Read error: 60 (Operation timed out)]
smkl_ has joined #ocaml
smkl has quit [Read error: 110 (Connection timed out)]
jason__ has joined #ocaml
smkl_ is now known as smkl
skittle has quit [Read error: 110 (Connection timed out)]
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
palomer` has quit [Remote closed the connection]
vezenchio has quit ["I thought what I'd do was, I'd pretend I was one of those deaf-mutes ^_^"]
vezenchio has joined #ocaml
lus|wats has joined #ocaml
lus|wats has quit [Client Quit]
mattam_ has joined #ocaml
hallucinogenic has joined #ocaml
hallucinogenic has left #ocaml []
mattam has quit [Read error: 110 (Connection timed out)]
vezenchio has quit ["I thought what I'd do was, I'd pretend I was one of those deaf-mutes ^_^"]
leolio has joined #ocaml
eydaimon has joined #ocaml
laurent_ has joined #ocaml
CosmicRay has quit ["Client exiting"]
leolio has quit [Read error: 110 (Connection timed out)]
laurent_ is now known as leolio
smkl_ has joined #ocaml
smkl has quit [Read error: 110 (Connection timed out)]
Submarine has joined #ocaml
smimou has quit ["?"]
<jourdechance> what's the approximate complexity of div_big_int ? (it's not really a question about ocaml ...)
<jason__> 7
<jason__> +/- 3.7%
<jourdechance> ?
not_me2 has quit [Read error: 104 (Connection reset by peer)]
<jourdechance> the complexity is not a constant but a function of inputs
<jourdechance> i don't think it's a stupid question
<monochrom> number of bits ^ 3 IIRC.
<monochrom> Or maybe 4.
<jourdechance> IIRC ?
Submarine has left #ocaml []
<jourdechance> what does it mean ?
<jason__> What are you trying to figure out here?
<jason__> Why are you interested in its 'complexity'?
<jason__> Perhaps the number of ASM instructions the function produces?
<jourdechance> no
<jourdechance> yes, it's true
<jason__> What do you mean by "Complexity"?
<Smerdyakov> People usually mean "time complexity," jason__.
karryall has quit ["tcho"]
<jason__> Benchmark then?
<jourdechance> i want to know the number of multiplication and addition of digits of a great number
<Smerdyakov> An asymptotic characterization of the running time of an algorithm as a function of input size
<jourdechance> (sorry for my "poor" english)
<jourdechance> exactly
<jason__> I can imagine a very 'simple' function taking a great deal of time for input given to it.
<jason__> Just while true
<jourdechance> this is not an algorithm
<Smerdyakov> jason__, like it or not, this is the standard computer science terminology.
<jourdechance> i mean the complexity of the algorithm use by the function div_big_int
<jason__> Really?
<Smerdyakov> Well, yes; that's why I said it.
<jason__> You're always the one combating the use of the term 'polymorphism' in the way it's commonly defined in Computer Science ;)
<mattam_> Smerdy is ?
mattam_ is now known as mattam
leolio has quit [Read error: 60 (Operation timed out)]
Demitar has quit ["Bubbles..."]
not_me2 has joined #ocaml
not_me2 has quit [Read error: 104 (Connection reset by peer)]
not_me2 has joined #ocaml