flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
Kopophex has quit [Read error: 60 (Operation timed out)]
Jeff_123 has quit [Read error: 104 (Connection reset by peer)]
landonf has quit []
Morphous_ has joined #ocaml
Kopophex has joined #ocaml
landonf has joined #ocaml
landonf has quit [Client Quit]
Morphous has quit [Read error: 110 (Connection timed out)]
delamarche has joined #ocaml
pec1 has joined #ocaml
seafood has joined #ocaml
kg4qxk has joined #ocaml
bohanlon has quit ["leaving"]
<hml> ;/quit
hml has quit ["leaving"]
sponge45 has quit ["see you at http://ocamlhackers.ning.com/"]
kg4qxk is now known as bohanlon
delamarche has quit [Read error: 104 (Connection reset by peer)]
delamarche has joined #ocaml
zhoupp has joined #ocaml
hml has joined #ocaml
<hml> i have 1 billion numbers; each of value 0, 1, 2, 3, 4, 5, or 6
<hml> i want to be able to efficiently store them
<hml> what structgure should I use?
<hml> (I don't want to use a char) ... I don't want it to use more than 3 bits per number
zhoupp has left #ocaml []
zhoupp has joined #ocaml
<zhoupp> Does this channel keep logs?
tar_ has joined #ocaml
Jeff_123 has joined #ocaml
Axioplase has joined #ocaml
Philonous1 has joined #ocaml
Philonous has quit [Read error: 113 (No route to host)]
<hcarty> Not really official I don't think
<hcarty> But they are there
<delamarche> hml: you still there?
palomer has joined #ocaml
<delamarche> *shrug*
delamarche has quit []
<hml> yep
<hml> doh
<hml> is there a channel bot I can send message to?
palomer has quit ["Leaving"]
<hcarty> hml: I think people generally use strings or bigarrays when they need to pack bits
<zhoupp> hcarty: thanks, I got them:)
<hcarty> zhoupp: You are quite welcome
<zhoupp> Is there any good open source projects using OCaml? I need to read some source code:)
<hcarty> There are projects on Google Code and Sourceforge as well
<zhoupp> Sourceforge is currently unavailable in my country:(
<hcarty> Then ocamlcore and Google are probably your best bets
<hcarty> http://caml.inria.fr/cgi-bin/hump.cgi -- This is another good list
<hcarty> Libraries and programs written in OCaml
<zhoupp> wow, it seems that I have lots of code to read:)
<tar_> Anyone know how to contact Florent Monnier, author of a few things on the hump (including the Allegro bindings)?
landonf has joined #ocaml
landonf has quit []
tar_ has quit ["byebye"]
Axioplase has quit ["leaving"]
zhoupp has quit []
Snark has joined #ocaml
Snark has quit [Client Quit]
Jeff_123 has quit [Read error: 104 (Connection reset by peer)]
seafood has quit []
GustNG has joined #ocaml
Jeff_123 has joined #ocaml
<pango_> hml: in Caml Hump, Bitv and Bitstring should both be helpful for bits handling (btw this is a memory/CPU performance tradeoff vs. simpler but less packed data representations)
kig has joined #ocaml
hml has left #ocaml []
filp has joined #ocaml
Kopophex has quit [Read error: 110 (Connection timed out)]
Associat0r has joined #ocaml
olgen has joined #ocaml
netx has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has joined #ocaml
Associ8or has joined #ocaml
mishok13 has joined #ocaml
asmanur has joined #ocaml
seafood has joined #ocaml
seafood has quit []
Associat0r has quit [Read error: 110 (Connection timed out)]
bluestorm has joined #ocaml
Adonis125 has joined #ocaml
<Adonis125> hi someone there?¿¿
<GustNG> Nope not me.
<Adonis125> :)
<Yoric[DT]> Nor me.
<Adonis125> have you skills of Jaba (NetBeans??)
<Yoric[DT]> Is the question related to OCaml ?
<Adonis125> yes
<Adonis125> im attempting to do a NetBeans plug-in for Ocaml
<Adonis125> i get a very simple syntax highlighting and .ml file support
<Yoric[DT]> I've seen that there's a NetBeans plug-in, is that you?
<Yoric[DT]> mmhh.... based on the e-mail sender, it probably is you :)
<Adonis125> yes :D
<Yoric[DT]> I'm afraid I have never toyed with NetBeans.
<Adonis125> thats my problem!
<Yoric[DT]> There's a #netbeans channel, though.
<Yoric[DT]> Or are you Adonis on that channel?
<Adonis125> yea but noone there :S
<Yoric[DT]> :/
<Yoric[DT]> Have you tried #nbusers ?
<Yoric[DT]> Sorry, the nbusers mailing-list?
<Adonis125> im gonna eat ,in an hour i'll come, you will be here?
<Yoric[DT]> Probably, but I still won't know anything about NetBeans :)
<Adonis125> yeah but maybe you could help me .. bye
OChameau has joined #ocaml
<Adonis125> im here
<Adonis125> yoric?
<GustNG> Yoric[DT]
guillem has joined #ocaml
<Adonis125> someone interestes about NetBeans Plug-In for Ocaml?¿
Adonis_ has joined #ocaml
Adonis_ has quit [Client Quit]
<Yoric[DT]> Here I am.
<Yoric[DT]> Still not knowledgeable about NetBeans, but here I am.
<flux> adonis125, you may find that many prefer emacs for their ocaml editing sessions. although I can see that netbeans support would provide more people a way to approach ocaml in a less-frightening fashion ;)
<Adonis125> LoL, i get a simple highlighting syntax, keywords, strings between "", comments...
<flux> adonis125, I take it you need to write the plugin in Java?
seafood has joined #ocaml
<flux> but then again there's the project for running ocaml code in a jvm.. ;)
<Adonis125> that's the point flux, im an universitary student, im a fellow on holidays and my boss-teacher told me to develop a plug-on for NetBeans , so that when new course starts, students has it ready
<Adonis125> yea,its write in java-netbeans language, i get .ml files recognise, a highlighting syntax, only have to link NB with ocamlc and ocaml
<Adonis125> sorry about my poor english :S
munga_ has joined #ocaml
<gildor> this is a multi-IDE project to create tool for ocaml
munga_ has quit ["Ex-Chat"]
<Adonis125> thanks gildor im gonna see it
<Adonis125> the problem its that i dont know how to link NetBeans with external tools! (f.e: ocamlc)
<gildor> Adonis125: i think you will have to call an external exec
<Adonis125> i suppose it, but how to REWRITE run button code to link ocaml instead of java compiler..
<gildor> unfortunately i don't know netbeans enough to answer
<Adonis125> dont worry,im on netbeans channel, the problem its that noone speaks.. :s
netx has joined #ocaml
Jeff_124 has joined #ocaml
Jeff_123 has quit [Read error: 110 (Connection timed out)]
mishok13 has quit [Remote closed the connection]
mishok13 has joined #ocaml
filp has quit ["Bye"]
sporkmonger has quit []
Adonis125 has quit [Read error: 104 (Connection reset by peer)]
Adonis has joined #ocaml
redocdam has joined #ocaml
seafood has quit []
ppsmimou has quit [Remote closed the connection]
Adonis has quit [Read error: 104 (Connection reset by peer)]
ppsmimou has joined #ocaml
sporkmonger has joined #ocaml
guillem has quit [Remote closed the connection]
<rwmjones> can someone ping me when Adonis1235 turns up please?
<rwmjones> Adonis125 even
mikezackles has joined #ocaml
<Smerdyakov> rwmjones, most IRC clients will do that for you. I think the IRC protocol even has something for this built in.
<jynxzero> I've implemented most of the IRC protocol, I don't think it does.
asmanur has quit [Remote closed the connection]
<jynxzero> BICBW.
<rwmjones> OK, I've added him to the notify feature in xchat ... let's see what happens :-)
<rwmjones> has anyone written a library like this before: http://hg.et.redhat.com/virt/applications/virt-mem--devel?f=a785bce4ec23;file=lib/virt_mem_mmap.mli ? I feel like I'm reinventing wheels here ...
asmanur has joined #ocaml
sporkmonger_ has joined #ocaml
sporkmonger has quit [Read error: 104 (Connection reset by peer)]
guillem has joined #ocaml
sporkmonger has joined #ocaml
sporkmonger_ has quit [Read error: 110 (Connection timed out)]
marmotine has joined #ocaml
sponge45 has joined #ocaml
Philonous1 is now known as Philonous
olgen has quit []
Associ8or has quit []
Associat0r has joined #ocaml
pango_ has quit [Remote closed the connection]
filp has joined #ocaml
pango_ has joined #ocaml
adonis28850 has joined #ocaml
<adonis28850> hi people
<bluestorm> adonis28850: rwmjones seemed to be interested in your plugin thing
<flux> rwmjones, perhaps parts of the library could be factored out, but I doubt there are many libraries for that purpose..
<bluestorm> well, i guess my ping was slightly less natural :-'
<rwmjones> adonis28850, ping
<adonis28850> hi rwmjones
<rwmjones> adonis28850, so tell me about this netbeans plugin
<rwmjones> adonis28850, as a background, RH are showing some interest in the Eclipse OCaml plugin
landonf has joined #ocaml
<adonis28850> well im developing a netbeans plugin for ocaml, its very simple for the moment, i got a simple syntax highlighting , .ml file recognise, and now im linking NB with ocaml compiler
bluestorm has quit [Remote closed the connection]
<adonis28850> now it colors keywords, strings between "", comments..all basic, based on Schliemann Project , i would like to have a more complex syntax recognisement...
<adonis28850> other point its the possibility of create a new project,i have attempted create a new type, OCaml project,and ok, its easy create the enter on menu file, but i dont know how to do for avoid that when you create a new ocaml project the IDE automatly add Java Sources, Java Libraries , etc...i only want a new folder, and a simple .ml file (the template of that file is made,i got it when you create a new simple .ml file)
mishok13 has quit [Read error: 54 (Connection reset by peer)]
Kopophex has joined #ocaml
guillem has quit [Read error: 104 (Connection reset by peer)]
Linktim has joined #ocaml
asmanur_ has joined #ocaml
landonf has quit []
asmanur has quit [Read error: 110 (Connection timed out)]
adonis28850 has quit [Remote closed the connection]
bluestorm has joined #ocaml
Linktim has quit [Read error: 110 (Connection timed out)]
seafood has joined #ocaml
seafood has quit []
Linktim has joined #ocaml
seafood has joined #ocaml
seafood has quit [Client Quit]
Linktim_ has joined #ocaml
jlouis has quit ["Leaving"]
dublpaws has left #ocaml []
<rwmjones> urgghh adonis has gone again
Snark_ has joined #ocaml
bluestorm has quit [Remote closed the connection]
Linktim has quit [Read error: 110 (Connection timed out)]
OChameau has quit ["Leaving"]
Linktim has joined #ocaml
netx303 has joined #ocaml
jlouis has joined #ocaml
Linktim_ has quit [Read error: 110 (Connection timed out)]
Axioplase_ is now known as Axioplase
netx303 has left #ocaml []
Linktim_ has joined #ocaml
asmanur_ has quit [Remote closed the connection]
Linktim has quit [Read error: 110 (Connection timed out)]
tomh has joined #ocaml
guillem has joined #ocaml
<flux> does someone remember the often-quoted number of cpu instructions an allocation can take in ocaml? 2?
ofaurax has joined #ocaml
Axioplase has quit [Read error: 104 (Connection reset by peer)]
ygrek has joined #ocaml
Axioplase has joined #ocaml
<flux> I'd love to get an URL for that too, but it's not a requirement ;)
ofaurax has quit ["Leaving"]
<rwmjones> flux, in the 'small' case, it's just an add and a cmp
<jlouis> Hmm, if one could capture the page-trap ...
<jlouis> Nah, thats a bad idea
* rwmjones looks for student interns ..
jonafan_ has joined #ocaml
Snark_ has quit ["Ex-Chat"]
jonafan has quit [Read error: 110 (Connection timed out)]
jonafan_ is now known as jonafan
ygrek has quit [Remote closed the connection]
Linktim_ has quit ["Quitte"]
filp has quit ["Bye"]
Jedai has quit [Read error: 104 (Connection reset by peer)]
Jedai has joined #ocaml
sporkmonger has quit []
ofaurax has joined #ocaml
Jedai has quit [Read error: 104 (Connection reset by peer)]
Jedai has joined #ocaml
GustNG has quit [Read error: 104 (Connection reset by peer)]
landonf has joined #ocaml
landonf has quit []
<mfp> flux: I count 3 on x86_64; IIRC it was 5 in x86
<mfp> this is x86_64:
<mfp> subq $16, %r15
<mfp> cmpq caml_young_limit(%rip), %r15
<mfp> jb .L139
<mfp> followed by the code to set the block header & init its fields
<mfp> this is x86:
<mfp> .L106: movl caml_young_ptr, %eax
<mfp> subl $12, %eax
<mfp> movl %eax, caml_young_ptr
<mfp> cmpl caml_young_limit, %eax
<mfp> jb .L107
<mfp> -> x86_64 keeps caml_young_ptr in %r15, saving 2 insns
ofaurax has quit [Read error: 110 (Connection timed out)]
tomh has quit ["http://www.mibbit.com ajax IRC Client"]
jlouis has quit [clarke.freenode.net irc.freenode.net]
redocdam has quit [clarke.freenode.net irc.freenode.net]
Morphous_ has quit [clarke.freenode.net irc.freenode.net]
rwmjones has quit [clarke.freenode.net irc.freenode.net]
shortc|desk has quit [clarke.freenode.net irc.freenode.net]
hcarty has quit [clarke.freenode.net irc.freenode.net]
hcarty has joined #ocaml
shortc|desk has joined #ocaml
rwmjones has joined #ocaml
Morphous_ has joined #ocaml
redocdam has joined #ocaml
jlouis has joined #ocaml
rwmjones has quit ["Closed connection"]
guillem has quit [Remote closed the connection]
Jedai has quit [Read error: 104 (Connection reset by peer)]
Jedai has joined #ocaml
Kopophex has quit [Read error: 110 (Connection timed out)]
seafood has joined #ocaml
Axioplase is now known as Axioplase_
Yoric[DT] has quit ["Ex-Chat"]
bluestorm has joined #ocaml
Jedai has quit [Read error: 110 (Connection timed out)]
seafood has quit []
Kopophex has joined #ocaml
pec1 has quit ["Leaving."]