BitPuffin has quit [Read error: Connection reset by peer]
BitPuffin has joined #ocaml
hausdorff has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
yacks has quit [Ping timeout: 244 seconds]
penglingbo has joined #ocaml
alpounet has joined #ocaml
alpounet has quit [Ping timeout: 240 seconds]
lordkryss has quit [Ping timeout: 240 seconds]
icefall has joined #ocaml
parcs has joined #ocaml
hausdorff has quit [Remote host closed the connection]
ontologiae has quit [Ping timeout: 240 seconds]
ontologiae has joined #ocaml
hausdorff has joined #ocaml
waneck has joined #ocaml
hhugo has quit [Quit: Leaving.]
ontologiae has quit [Ping timeout: 272 seconds]
icefall has quit [Ping timeout: 240 seconds]
hhugo has joined #ocaml
hhugo has quit [Quit: Leaving.]
hhugo has joined #ocaml
hhugo has quit [Quit: Leaving.]
hausdorff has quit [Remote host closed the connection]
struktured has joined #ocaml
hausdorff has joined #ocaml
alexst has quit [Ping timeout: 248 seconds]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
alpounet has joined #ocaml
seanmcl has joined #ocaml
alpounet has quit [Ping timeout: 240 seconds]
seanmcl has quit [Client Quit]
struktured has quit [Ping timeout: 264 seconds]
hausdorff has quit [Remote host closed the connection]
hausdorff has joined #ocaml
struktured has joined #ocaml
WraithM has quit [Ping timeout: 240 seconds]
yacks has joined #ocaml
Eyyub has quit [Ping timeout: 252 seconds]
araujo has quit [Quit: Leaving]
jao has quit [Ping timeout: 240 seconds]
struktured has quit [Ping timeout: 252 seconds]
dapz has joined #ocaml
hhugo has joined #ocaml
mfp has quit [Ping timeout: 244 seconds]
mfp has joined #ocaml
hhugo has quit [Quit: Leaving.]
arjunguha has joined #ocaml
arjunguha has quit [Client Quit]
divyanshu has joined #ocaml
arjunguha has joined #ocaml
arjunguha has quit [Client Quit]
hhugo has joined #ocaml
axiles has joined #ocaml
arjunguha has joined #ocaml
hhugo has quit [Quit: Leaving.]
arjunguha has quit [Client Quit]
hhugo has joined #ocaml
arjunguha has joined #ocaml
slash^ has joined #ocaml
hausdorff has quit [Remote host closed the connection]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hausdorff has joined #ocaml
arjunguha has joined #ocaml
ebzzry_ has joined #ocaml
ebzzry has quit [Ping timeout: 255 seconds]
hhugo has quit [Quit: Leaving.]
penglingbo has quit [Ping timeout: 244 seconds]
<adrien>
what? lz4 bindings which depend on core?
<whitequark>
well, it's janestreet.
<adrien>
I've always pictured compression as buffer -> buffer
<adrien>
or s/buffer/dump of bytes/g
<whitequark>
that's not janestreet's idea of compression
<whitequark>
their bindings expose the unsafe C interface without even bounds checking
<whitequark>
and it also exposes the memory management trivia
<adrien>
not a huge surprise but then I'd expect this to be similar to Gc.stats
<whitequark>
um?
<adrien>
a record in which you set a few values, the main being it's completely controlled through ints
<whitequark>
but it's opaque in C
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<adrien>
think I'll take a look at their API and maybe how they're done
<adrien>
(but the core dependency makes me lose some motivation)
<whitequark>
you could just use mine instead :p
<adrien>
yeah but I'm wondering how they managed to depend on core :P
philtor has joined #ocaml
philtor has quit [Ping timeout: 272 seconds]
shinnya has quit [Ping timeout: 255 seconds]
shinnya has joined #ocaml
Kakadu has joined #ocaml
<NoNNaN>
it is possible to achieve comparable performance (lz4) in pure ocaml?
<whitequark>
probably not
Simn has joined #ocaml
arjunguha has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ygrek has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
* jerith
reads about command line parsing in Real World OCaml.
pminten has joined #ocaml
ggole has joined #ocaml
Hannibal_Smith has joined #ocaml
pminten has quit [Ping timeout: 252 seconds]
divyanshu has quit [Quit: Computer has gone to sleep.]
pminten has joined #ocaml
divyanshu has joined #ocaml
ontologiae has joined #ocaml
arjunguha has joined #ocaml
pgomes has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
typedlambda has quit [Ping timeout: 252 seconds]
hausdorff has quit [Remote host closed the connection]
typedlambda has joined #ocaml
Eyyub has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
arjunguha has joined #ocaml
Eyyub has quit [Quit: WeeChat 0.4.1]
NoNNaN has quit [Ping timeout: 264 seconds]
arjunguha has quit [Client Quit]
tulloch has joined #ocaml
lordkryss has joined #ocaml
NoNNaN has joined #ocaml
Eyyub has joined #ocaml
Kakadu has joined #ocaml
alpounet has joined #ocaml
eikke__ has joined #ocaml
hhugo has joined #ocaml
tulloch has quit [Ping timeout: 248 seconds]
tulloch has joined #ocaml
_0xAX has joined #ocaml
alpounet has quit [Remote host closed the connection]
alpounet_ has joined #ocaml
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
dapz has joined #ocaml
tulloch has quit [Ping timeout: 240 seconds]
pgomes has left #ocaml ["Leaving"]
pminten has quit [Remote host closed the connection]
Eyyub has quit [Ping timeout: 260 seconds]
ontologiae has quit [Ping timeout: 244 seconds]
eikke__ has quit [Ping timeout: 264 seconds]
divyanshu has joined #ocaml
divyanshu has quit [Client Quit]
divyanshu has joined #ocaml
eikke__ has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
alpounet_ has quit [Remote host closed the connection]
divyanshu has joined #ocaml
kaustuv has joined #ocaml
<kaustuv>
Is it possible to get merlin to update its margin markers, warning/error fontification, and minibuffer messages only on file save, not on every keystroke?
menace has joined #ocaml
<menace>
hi, can anyone explain to me, why ocaml evaluates values over 31 for the factorial function to zero? http://pastebin.com/047n98Fv
rand000 has joined #ocaml
<adrien>
integer overflow
<menace>
overflowing into the negative range, i can understand, but zero?
<kaustuv>
its a quirk of the tagged representation of integers
<menace>
factorial 32 then would be exactly zero?
<adrien>
hmmmmm, I'd say something else
<adrien>
with factorial 32, you have at least 2^64
<menace>
and then everything over 32 is zero, too?
<adrien>
meaning 2^64 * k
divyanshu has quit [Quit: Computer has gone to sleep.]
<adrien>
so in binary representation you have at least 64 zeros to the right in your 64 bit integer
<adrien>
and the reset has overflown
<adrien>
so 0
<menace>
hrm
q66 has joined #ocaml
<menace>
and why do i not get any exception?
<kaustuv>
# max_int lsl max_int ;;
<kaustuv>
- : int = 0
<adrien>
menace: no exception on integer overflow in ocaml
<adrien>
if you want arbitrary-precision integers, look at zarith
eikke__ has quit [Ping timeout: 260 seconds]
divyanshu has joined #ocaml
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
studybo__ has joined #ocaml
studybot_ has quit [Ping timeout: 264 seconds]
kaustuv has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
<menace>
atm it's more about understanding :)
<menace>
thanks
ontologiae has joined #ocaml
penglingbo has joined #ocaml
parcs has quit [Ping timeout: 272 seconds]
parcs has joined #ocaml
SethTisue has joined #ocaml
avsm has joined #ocaml
avsm has quit [Client Quit]
divyanshu has quit [Quit: Computer has gone to sleep.]
tane has joined #ocaml
menace has left #ocaml [#ocaml]
ustunozgur has joined #ocaml
divyanshu has joined #ocaml
yacks has quit [Ping timeout: 255 seconds]
Hannibal_Smith has quit [Quit: Sto andando via]
ontologiae has quit [Ping timeout: 272 seconds]
yacks has joined #ocaml
dsheets_ has joined #ocaml
fraggle_laptop has joined #ocaml
huza has joined #ocaml
SethTisue has quit [Quit: SethTisue]
ontologiae has joined #ocaml
fraggle_laptop has quit [Ping timeout: 240 seconds]
ontologiae has quit [Ping timeout: 255 seconds]
ontologiae has joined #ocaml
huza has quit [Quit: WeeChat 0.3.8]
hhugo has quit [Quit: Leaving.]
Kakadu has quit [Read error: Connection reset by peer]
Kakadu has joined #ocaml
fraggle_laptop has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
hhugo has joined #ocaml
fraggle_laptop has quit [Ping timeout: 240 seconds]
struktured has joined #ocaml
alpounet has joined #ocaml
_0xAX has quit [Remote host closed the connection]
milosn_ has quit [Ping timeout: 260 seconds]
philtor_ has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
struktured has quit [Ping timeout: 260 seconds]
divyanshu has quit [Quit: Computer has gone to sleep.]
vin` has joined #ocaml
divyanshu has joined #ocaml
philtor_ has quit [Ping timeout: 240 seconds]
ustunozgur has joined #ocaml
hausdorff has joined #ocaml
ontologiae has quit [Ping timeout: 255 seconds]
rand000 has quit [Quit: leaving]
ontologiae has joined #ocaml
lordkryss has quit [Ping timeout: 244 seconds]
tani has joined #ocaml
tane has quit [Ping timeout: 272 seconds]
fraggle_laptop has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
ssbr has quit [Ping timeout: 240 seconds]
manizzle has quit [Ping timeout: 255 seconds]
hausdorff has quit [Remote host closed the connection]
ssbr has joined #ocaml
distantunclebob has joined #ocaml
Eyyub has joined #ocaml
thomasga has joined #ocaml
hausdorff has joined #ocaml
tani has quit [Quit: Verlassend]
struktured has joined #ocaml
alpounet has quit [Remote host closed the connection]
fraggle_laptop has quit [Ping timeout: 240 seconds]
alpounet has joined #ocaml
alpounet has quit [Ping timeout: 255 seconds]
cago has joined #ocaml
cago has left #ocaml [#ocaml]
Kakadu has joined #ocaml
distantunclebob has quit [Ping timeout: 272 seconds]
thomasga has quit [Quit: Leaving.]
distantunclebob has joined #ocaml
jprakash has joined #ocaml
Hannibal_Smith has joined #ocaml
ontologiae has quit [Ping timeout: 248 seconds]
philtor has joined #ocaml
lordkryss has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
milosn has joined #ocaml
divyanshu has joined #ocaml
alpounet has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
tnguyen has joined #ocaml
tnguyen has quit [Remote host closed the connection]
tnguyen has joined #ocaml
tnguyen has quit [Remote host closed the connection]
dapz has joined #ocaml
philtor_ has joined #ocaml
ontologiae has joined #ocaml
hausdorff has quit [Remote host closed the connection]