<Camarade_Tux>
and measuring the size of anything with the size of an IRC channel is definitely pointless
<Camarade_Tux>
(try ##mingw on freenode, compare to #mingw-w64 on oftc, and also compare the relative "helpfulness" of both channels...)
<Camarade_Tux>
now, I agree something more interactive/visible/shiny would be nice
<rwmjones>
dons may be a researcher, but he's also a known haskell troll on proggit ... it gets tiresome modding down all his postings (he seems to have way more spare time than me)
<Camarade_Tux>
definitely, he may submit and comment more than the sum of python, c, c++, asm, ocaml, ruby, d, perl, ... people
struktured has joined #ocaml
struktured_ has joined #ocaml
struktured_ has quit [Client Quit]
struktured has quit [Remote host closed the connection]
struktured has joined #ocaml
<alpounet>
he has an automated tool for submission
<alpounet>
otoh, he is not wrong
<alpounet>
#ocaml isn't that much active
<alpounet>
the community isn't comparable
<alpounet>
(which doesn't mean OCaml sucks, it just means the Haskell community is much more active)
<Camarade_Tux>
but I find these comparisons really meaningless: #webkit-gtk is far less active than it used to but more and more people are using it (think it's the default rendering engine in gnome's epiphany now), #tukaani is almost dead but xz/lzma are being used in almost all major distributions now, #openbox isn't much active either but its use is quite widespread too
<alpounet>
Camarade_Tux, I'm not only talking about IRC channels
<Camarade_Tux>
and on all these channels, you get useful answers pretty quickly ( #webkit-gtk is actually quite slow)
<alpounet>
here, they just are an evidence of a more general fact
<Camarade_Tux>
think the same applies to other sort of communities
<alpounet>
oh, come on...
fschwidom has joined #ocaml
<Camarade_Tux>
I'm the first to say ocaml has less visibility, that it would be good to be seen more, but it's not *that* much less active overall
ikaros has joined #ocaml
sepp2k has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
Nepomuk has joined #ocaml
jimmyb2187 has left #ocaml []
yakischloba has joined #ocaml
<mfp>
Camarade_Tux: haha @ conspiracy, was told by reddit admins to ask the #programming moderators. Guess who's become one ;)
<gildor>
Camarade_Tux, alpounet, mfp: What's the equivalent story for Caml Hump and is there a "cabal install" equivalent? How many Lisp packages are there?
<mfp>
flux: bmosv is the one linking to groups.google.com; the ocamlcore one is bmncj, which should be around #15 on /new, see also http://www.reddit.com/user/mfp/submitted/
<flux>
what do you guys think, should link to the intro doc/book go to ocaml-tutorial org's General tutorials or Books & Magazines?
<flux>
or possibly even Official :)
Mr_Awesome has quit [Ping timeout: 245 seconds]
<flux>
well, it's by inria, goes to Official
Mr_Awesome has joined #ocaml
<mfp>
official, with a note explaining that it assumes familiarity with conventional languages
jonafan_ is now known as jonafan
<flux>
I didn't remember how nifty that editing system was
fschwidom has quit [Remote host closed the connection]
ftrvxmtrx has joined #ocaml
bzzbzz has joined #ocaml
philtor has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
philtor has quit [Ping timeout: 264 seconds]
fschwidom has joined #ocaml
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
bzzbzz has quit [Quit: leaving]
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
Snark_ has joined #ocaml
ftrvxmtrx has joined #ocaml
Associat0r has joined #ocaml
dark has quit [Quit: Leaving]
ulfdoz has joined #ocaml
<flux>
soo, who's going to write this easy hosting solution for ocaml? http://heroku.com/ :-)
<orbitz>
you plaeyd with ocamljs?
Submarine has quit [Remote host closed the connection]
komar_ has joined #ocaml
komar_ has quit [Client Quit]
<flux>
nope
<flux>
I wonder how much overhead it has, though..
<flux>
and if it's feasible to use it with existing popular js frameworks like jQuery
<flux>
(or if it makes any sense for that matter)
<orbitz>
are the haskell ocmpilers that use JS as a backend usable in taht way?
mutewit has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
<flux>
I don't know
ygrek has joined #ocaml
pimmhogeling has joined #ocaml
derdon has joined #ocaml
mutewit has quit [Ping timeout: 246 seconds]
<derdon>
flux: what does "concentional" mean? dict.leo.org and translate.google.com don't know it
<flux>
I'd imagine it is a typoed form of conventional?
_unK has joined #ocaml
<flux>
how would you ask me about that?
<derdon>
flux: you used this term recently in the ocaml wiki ;)
<derdon>
"assumes familiarity with concentional languages"
<flux>
noooo, that's not what I wrote.. look it up if you don't believe me!
<flux>
;-)
<derdon>
wasn't that fast :P
Snark_ has quit [Quit: Ex-Chat]
ftrvxmtrx has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
Anarchos has joined #ocaml
krankkatze has joined #ocaml
brooksbp has joined #ocaml
brooksbp has quit [Remote host closed the connection]
brooksbp has joined #ocaml
<brooksbp>
Can someone here help me with a search? I'm trying to find interesting research related to abstract machines (like the SECD machine); particularly using abstract machines to understand memory usage of programs. Does anyone have suggestions, directions, or links?
<Anarchos>
i don't understand : if your machine is abstract why bother of memory usage ?
<flux>
anarchos, well, there exists a mapping from abstract machines to real machines, and in general memory usage is interesting?
<brooksbp>
Anarchos: Maybe I mean analyzing environments instead of memory usage.
<Anarchos>
i read an interesting research paper from our dear X. Leroy about list machine
<Anarchos>
wam
<Anarchos>
"A list machine benchmark for mechanized metatheory", A. Appel, R. Dockins and X. Leroy
<Anarchos>
in Journal of automated reasoning
<Anarchos>
maybe related to what you are looking for but not sure
enthymeme has joined #ocaml
komar_ has joined #ocaml
<Anarchos>
brooksbp let me know about it
_andre has quit [Quit: leaving]
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
mutewit has joined #ocaml
Mr_Awesome has quit [Ping timeout: 265 seconds]
jeddhaberstro has joined #ocaml
maskd has joined #ocaml
ulfdoz has quit [Ping timeout: 276 seconds]
linus5 has joined #ocaml
Nepomuk has quit [Quit: Leaving]
sepp2k has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
valross has joined #ocaml
mutewit has quit [Quit: Lost terminal]
Anarchos has quit [Quit: time to go to sleep]
thieusoai has joined #ocaml
thieusoai has quit [Quit: Leaving]
thieusoai has joined #ocaml
ccasin has quit [Quit: Leaving]
brooksbp has quit [Quit: Leaving...]
fschwidom has quit [Remote host closed the connection]
fschwidom has joined #ocaml
fschwidom has quit [Remote host closed the connection]
komar_ has quit [Quit: WeeChat 0.2.6]
thieusoai has quit [Remote host closed the connection]
seafood has joined #ocaml
Mr_Awesome has joined #ocaml
seafood has quit [Quit: seafood]
krankkatze has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
sepp2k has quit [Quit: Leaving.]
thieusoai has joined #ocaml
thieusoai has quit [Remote host closed the connection]