gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
EmmanuelOga has quit [Ping timeout: 244 seconds]
avsm has quit [Quit: Leaving.]
sepp2k has quit [Remote host closed the connection]
arubin has joined #ocaml
sebz has joined #ocaml
Boscop has quit [Ping timeout: 245 seconds]
Cyanure has quit [Ping timeout: 244 seconds]
mdelaney has joined #ocaml
mdelaney has quit [Client Quit]
ftrvxmtrx has joined #ocaml
dnolen has joined #ocaml
lamawithonel has joined #ocaml
EmmanuelOga has joined #ocaml
astertronistic has joined #ocaml
dnolen has quit [Quit: dnolen]
jkoppel has joined #ocaml
Associat0r has quit [Read error: Connection reset by peer]
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
lamawithonel has quit [Read error: Connection reset by peer]
lamawithonel has joined #ocaml
lamawithonel has quit [Read error: Connection reset by peer]
ulfdoz has joined #ocaml
jkoppel has quit [Quit: jkoppel]
Associ8or has joined #ocaml
Associ8or has quit [Changing host]
Associ8or has joined #ocaml
Associat0r has quit [Ping timeout: 244 seconds]
EmmanuelOga has quit [Ping timeout: 244 seconds]
lamawithonel has joined #ocaml
astertronistic has quit [Ping timeout: 240 seconds]
arubin has quit [Quit: arubin]
astertronistic has joined #ocaml
lamawithonel has quit [Read error: Connection reset by peer]
lamawithonel has joined #ocaml
lamawithonel has quit [Read error: Connection reset by peer]
lamawithonel has joined #ocaml
ulfdoz has quit [Ping timeout: 248 seconds]
hashar has joined #ocaml
hashar has quit [Changing host]
hashar has joined #ocaml
hashar has quit [Quit: hashar]
Kakadu has joined #ocaml
fschwidom has joined #ocaml
larhat has joined #ocaml
ygrek has joined #ocaml
dnolen has joined #ocaml
ftrvxmtrx has quit [Read error: Connection reset by peer]
<Kakadu> flux: hi!
<Kakadu> flux: You've mentioned a bug with janestreet's core package in debian. Can u help me to find a link?
ikaros has joined #ocaml
dnolen has quit [Quit: dnolen]
ygrek has quit [Ping timeout: 248 seconds]
avsm has joined #ocaml
<flux> kakadu, I resolved the issue for me. the problem might be that apparently the package isn't being maintained currently.
<flux> so it's not your package that has issues
<flux> although, it didn't compile for me :).
<flux> I might perhaps have a too recent Qt?
<flux> or maybe not. in any case my version is 4.7.3
<Kakadu> I use debian testing and 4.7.3
<flux> the first error I get is: QScrollBar_twin.h:13:3: error: expected ‘;’ before ‘camlobj’
<Kakadu> I know
<Kakadu> I have a big problem with architecture
<Kakadu> in lablqt/inher directory
<Kakadu> it crashes
<Kakadu> I can't fix this crash and can't understand why
<Kakadu> It is connected with OCaml objects
<Kakadu> flux: I'm thinking about inheritance and I've created wiki article about my and one more person thoughts about it. https://github.com/Kakadu/lablqt/wiki/Inheritance
ygrek has joined #ocaml
<flux> I could try to investigate it a bit, but I don't have time before weekend
<Kakadu> flux: ok
<flux> kakadu, would it be possible to use solely Qt signal/slot mechanism instead of inheritance?
Drakken has left #ocaml []
<flux> or doesn't qt provide slots for everything interesting?
<Kakadu> flux: no. some things (like QWidget::keyPressEvent) are imlemented with inheritance. Qt developers said if all such think are implemented with slots Qt objects will be very fat.
<Kakadu> (I feel some problems with English grammar in second sentence)
<Kakadu> think <- things
<Kakadu> btw, how often yezariaely appears in this chat?
<flux> I have records of in in my /lastlog from monday and wednesday
<adrien> quite often according to lastlog
raichoo has joined #ocaml
rby has joined #ocaml
avsm has quit [Quit: Leaving.]
edwin has joined #ocaml
avsm has joined #ocaml
beckerb has joined #ocaml
maufred has joined #ocaml
hashar has joined #ocaml
hashar has quit [Changing host]
hashar has joined #ocaml
ikaros_ has joined #ocaml
musically_ut has quit [Read error: Connection reset by peer]
Associ8or has quit [Quit: Associ8or]
_andre has joined #ocaml
musically_ut has joined #ocaml
schme has quit [Ping timeout: 245 seconds]
avsm has quit [Quit: Leaving.]
schme has joined #ocaml
schme has quit [Changing host]
schme has joined #ocaml
ygrek has quit [Ping timeout: 248 seconds]
schme has quit [Ping timeout: 276 seconds]
schme has joined #ocaml
patronus_ has joined #ocaml
patronus has quit [Ping timeout: 258 seconds]
ikaros_ has quit [Quit: Ex-Chat]
ikaros_ has joined #ocaml
destrius has quit [Quit: Leaving.]
Kakadu has quit [Ping timeout: 265 seconds]
Kakadu has joined #ocaml
ikaros_ has quit [Quit: Ex-Chat]
avsm has joined #ocaml
Cyanure has joined #ocaml
dsheets has quit [Ping timeout: 244 seconds]
ikaros has quit [Remote host closed the connection]
hashar has left #ocaml []
avsm has quit [Quit: Leaving.]
ikaros has joined #ocaml
ikaros has quit [Ping timeout: 244 seconds]
ikaros has joined #ocaml
zorun has quit [Read error: Connection reset by peer]
zorun has joined #ocaml
maufred has quit [Read error: Operation timed out]
maufred has joined #ocaml
sepp2k has joined #ocaml
sepp2k has quit [Ping timeout: 248 seconds]
sepp2k has joined #ocaml
<adrien> has anyone used module packing with oasis?
<adrien> NaCl: I'm never able to pull flamel ='(
<adrien> Kakadu: lablqt's aaa.xml is getting quite big :o
sepp2k has quit [Ping timeout: 240 seconds]
<adrien> Kakadu: also, do you think you could have a camlp4 extension instead of moc?
<adrien> Kakadu: also, lablqt's latest git fails with zomg-long error
<adrien> too long for my terminal backlog
hnrgrgr has quit [Remote host closed the connection]
<adrien> Kakadu: and the "regular" compilation process creates object files in the source folders, which make ocamlbuild unhappy ='(
beckerb has quit [Read error: Operation timed out]
<adrien> Kakadu: basically, in "CAMLlocal3(camlobj,_ans,meth);", all variables are undeclared
<adrien> also, "^GET_CAML_OBJECT(this,the_caml_object)$" <- no ending ';'? is it included in the macro? it's more readable not to omit it imho and it makes editors much happier
<Kakadu> oops, Im here
sepp2k has joined #ocaml
<Kakadu> now there are some problems with compilation
<Kakadu> It was because I've written some code, and more code and suddenly I've understanded that I'm make wrong architecture. That I've switched to have fun in /inher folder. now I'm still looking at this crash.
_andre has quit [Quit: Lost terminal]
<Kakadu> about GET_CAML_OBJECT I've not catches
<Kakadu> catched*
_andre has joined #ocaml
<adrien> GET_CAML_OBJECT is fine but most macros look are used like regular functions and regular C syntax (the uppercasing is enough to show they're macros)
beckerb has joined #ocaml
<hcarty> thelema: For what it's worth, PLplot does support multiple plots, both on the same output and separate outputs.
<NaCl> adrien: try it now
<adrien> "Already up-to-date." :P
<adrien> thanks
<adrien> and forge.ocamlcore.org!
maufred has quit [Read error: Operation timed out]
<adrien> it's fun to put more pressure on gildor's shoulders :P
hnrgrgr has joined #ocaml
EmmanuelOga has joined #ocaml
maufred has joined #ocaml
<adrien> NaCl: xD
<adrien> "(* Whoa a closure *)" :P
<adrien> NaCl: also, a library to make progress bars in lablgtk (that are updated automatically) may not be a bad thing
Kakadu has quit [Ping timeout: 265 seconds]
maufred has quit [Ping timeout: 244 seconds]
maufred has joined #ocaml
<NaCl> adrien: perhaps. I don't know if/what/when I'll be working on something else again
Kakadu has joined #ocaml
<adrien> NaCl: btw, according to git blame, there are 25 lines left from my code, including "open Unix/Printf", blank lines, lines with only "in" on them, a bunch of trivial lines and maybe only one or two non-trivial lines
<adrien> NaCl: I might do it
<NaCl> haha
<NaCl> my next project may be a handwriting recognizer. was going to do the algorithms in ocaml, wasn't sure about the UI.
<NaCl> except I'd had to either implement or bind the learning algorithms
maufred_ has joined #ocaml
maufred has quit [Ping timeout: 258 seconds]
<adrien> I don't know if I had made it clear to you: goocanvas isn't very friendly to automatic bindings
<adrien> s/automatic //
<NaCl> yeah, you did. hence the "IDK about UI" part
<adrien> ok, wanted to be sure you weren't believing it was working ;-)
<NaCl> Yeah. I may do it in Qt for all I know.
<NaCl> if I do it
<adrien> well, you can use lablqt now :P
<Kakadu> I think u cant
<adrien> you mean I have to make lablefl/enlightened-caml (enlightenment foundation libraries) instead? :P
Boscop has joined #ocaml
reynir has joined #ocaml
<reynir> I have trouble implementing something in camlp5
<reynir> I have a list of (identifier * expression) pairs that I want to transform into let id_0 = e_0 and id_1 = e_1 and ... and id_k = e_k in ...
sebz has quit [Quit: Computer has gone to sleep.]
maufred_ has quit [Ping timeout: 252 seconds]
maufred has joined #ocaml
<hcarty> adrien: You do. Because that would be Pretty Cool.
<hcarty> adrien: Who knows if anyone would use it...
<hcarty> But it would be cool :-)
<adrien> I'm going to try to get an internship to do precisely that :P
<reynir> good tutorials or documentation for ocamlp5 is also welcome
metasyntax|work has joined #ocaml
<adrien> the advantage of ocaml being that it's so picky about bindings that if you provide enough information for automatic OCaml bindings, there will be enough information for bindings to all other languages :-)
<adrien> reynir: 1- why camlp*5*?
<reynir> adrien: I don't know. It had the better tutorial that I could find, I guess :-)
<adrien> reynir: because camlp5 is mostly ocaml < (<= ?) 3.10's camlp4 that got taken and developped outside of the official ocaml distributions
<adrien> the camlp4 in newer ocaml versions is actually a different one
<reynir> Yes, I read that
<adrien> if you find this confusing, you probably have understood how the versions are
<adrien> NaCl: % git diff origin/master --stat |cat
<reynir> Do you suggest I use camlp4 (the new one)? In that case, do you have links for good tutorials? :-)
<adrien> 2 files changed, 23 insertions(+), 36 deletions(-)
<adrien> reynir: I'm not suggesting anything in particular since I'm not experienced in this field, I mostly wanted to make sure that you were aware of the situation and weren't only using camlp5 because 5 > 4
<adrien> reynir: have you read http://pauillac.inria.fr/~ddr/camlp5/doc/htmlc/ ?
<reynir> Ah, ok. Thanks
<adrien> s/read/seen/
<reynir> No
<reynir> It looks good, thanks
<NaCl> adrien: huh?
<adrien> NaCl: made some (cosmetic) changes to flamel
<adrien> to the code, not the appearance
<adrien> currently it's not adding anything to the UI for new jobs ='(
<NaCl> yeah, I started that but never got around to finishing it
<adrien> how can I start some renderings?
<NaCl> the "go" button doesn't do it?
<adrien> 10 -> "GO!", nothing happens, including in top
<adrien> the corresponding callback is called but that's it
<NaCl> uh
<NaCl> I am in no position to try to debug flamel right now. I would make sure that flam3 isn't dying
<adrien> right, strace :P
<NaCl> The way the process starting is rigged up is soooo mesy
<NaCl> messy
<adrien> I've been trying to stop using it ever since Robby Workman told me I probably was crazy after I strace'd hald =/
<NaCl> haha
<NaCl> adrien: and if it still doesn't work, I'd try reverting to an earlier revision.
<NaCl> if I look at that code again, I'm going to have to spend some time figuring out what I did
<adrien> I've tried earlier ones and had the same issue; I'll do more tries
<NaCl> adrien: I know for a fact that earlier versions worked for me
<NaCl> adrien: try enabling debugging in lwt
<adrien> how do you do that?
<NaCl> it may be some argument to camlp4 that may already be enabled, actually
<adrien> ok, I'll look that up
<NaCl> check the makefile
* NaCl can't use ocaml at work
<adrien> ='(
<NaCl> I could, but then I'd be stuck maintaining stuff indefinitely
Drakken has joined #ocaml
<adrien> hmm, dunno what's going on
<NaCl> unfortunately, console I/O there is really funky
<NaCl> I remember that it took me a while to coerse it to work
<adrien> it's not starting processes
<NaCl> Whenever I had problems with processes, it was always the file descriptors being broken
<adrien> found a good revision
<NaCl> so I couldn't capture I/O
<adrien> hhahahahahahahaha
<adrien> *I* fail
<NaCl> xD
<adrien> and aI failed a *long* time ago
<adrien> when I first made the code
<NaCl> Is it something broken I left there? xD
<adrien> it doesn't create the output folder (named "e") automatically
<NaCl> oh, haha
<adrien> so I mkdir'ed it
<NaCl> yeah
<NaCl> I never got around to that either. xD
<adrien> ah, nice flames =)
<adrien> wallpapers, here I come :P
<adrien> my poor E-350 is going to die :P
<adrien> the CPU might be quite weak, the computer has 3GB of RAM nonetheless =)
<gildor> adrien: what about forge.ocamlcore.org ?
<NaCl> adrien: send me an e-mail and I'll get around to fixing it this weekend
<gildor> adrien: concerning packing module with oasis, there is a patch from JaneStreet to do that, not yet apply
<gildor> (will be applied in v0.3.0)
<adrien> gildor: oh, nothing is wrong about f.o.o, I was only pushing NaCl a bit to put his code on it
<adrien> 100 minutes of rendering for a single flame.......
<adrien> gildor: any chance it is applied earlier in trunk? I'm currently deciding how I'm organizing caravel and I might need it (not sure yet)
<adrien> gildor: or is the patch good enough that I apply it by myself?
<adrien> NaCl: unless I fix it myself first :P
avsm has joined #ocaml
<adrien> NaCl: my other projects got quite serious and therefore less fun (but not less motivating): flamel is less serious for me and therefore more fun =)
<adrien> which is why I'm going to be more eager to hack on it on my free time
<reynir> I found a solution, in case anyone is interested
<adrien> reynir: I'd say that someone is always interesting, especially since the channel has (public) logs
maufred_ has joined #ocaml
<adrien> and I remember why I've been considering flam3-render as the ultimate CPU-stability test: uses a lot of CPU, a lot of memory and no workload had ever made my CPU that hot
mcclurmc has quit [Excess Flood]
mcclurmc has joined #ocaml
maufred has quit [Ping timeout: 248 seconds]
<gildor> adrien: it should be good enough to use it, but you'll need to recompile oasis (and find the patch, it was maybe in the feature request tracker I have deleted accidentally)
astertronistic has quit [Ping timeout: 244 seconds]
ikaros has quit [Quit: Ex-Chat]
<adrien> ok, I think I remember seeing the bug report not long ago
<adrien> and I can always ping the submitters
<adrien> also, I installed my own oasis so it isn't an issue
<adrien> I still have some time before I'm completely set on how I want to organize everything in caravel
<reynir> adrien: I found out that <:expr< let $list: (PATTERN, EXPRESSION) LIST$ in EXPRESSION>> worked
larhat has quit [Quit: Leaving.]
avsm has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
Kakadu has quit [Quit: Page closed]
avsm has quit [Read error: Connection reset by peer]
raichoo has quit [Quit: leaving]
<reynir> I don't know how to preserve comments in the "and ..."s though
avsm has joined #ocaml
ikaros has joined #ocaml
<thelema> reynir: preserving comments isn't something that camlp4 does well
<hcarty> reynir: IIRC, camlp5/only-camlp4 was not able to properly preserve comments. camlp4-new has somewhat better support, but there are a number of bugs.
Cyanure has quit [Remote host closed the connection]
<reynir> I'm using camlp5
<reynir> It works some places
<reynir> It's pretty cool to extend the syntax, I think
<hcarty> reynir: It is a lot of fun
<hcarty> Dangerous at times, but fun
<reynir> Yea :-) The extension I have made will save me from doing a lot of redundant typing
<hcarty> reynir: Keep in mind that camlp5 and camlp4 are not likely to play well together
<hcarty> And most extensions are written in camlp4 at this point
<reynir> Oh, ok
<reynir> Is camlp4 much different?
<thelema> hcarty: not by volume, but the maintained ones are in camlp4
<reynir> I mean, is it hard to learn?
<thelema> reynir: knowing camlp5 gets you most of the way there, from what I understand
<thelema> reynir: there's just different hooks into the grammar
rwmjones has quit [Read error: Operation timed out]
<reynir> Ok, thanks
<hcarty> reynir: As you noticed, the camlp5 documentation is much more thorough.
<hcarty> camlp4 documentation comes down to wikis and reading code, primarily
<reynir> That's a shame
<hcarty> reynir: Truly
<hcarty> thelema: That's fair. Although the volume is likely comparable at this point.
<hcarty> Most of the popular extensions I've seen were ported to the new camlp4.
astertronistic has joined #ocaml
<thelema> yes, but there's tons of code out there that never made it to ocaml 3.10
<NaCl> adrien: wheeeeeeeeeeeeeeeeee
<thelema> I'm often impressed at the quality of the ocaml code that I've never heard of.
<thelema> that I find references to from 8-10 years ago
Cyanure has joined #ocaml
<Drakken> Is there a general-purpose (macro) library somewhere that defines DEFINE and INCLUDE?
<hcarty> Drakken: pa-do has one and I think that camlp4 includes a simple version as well
<thelema> Drakken: yes, iirc it's something built in, let me find which one...
<hcarty> Drakken: Regarding your PLplot question the other day - you can have multiple plot windows open, and you can have multiple plots on a single page.
<thelema> pa_macro.cmo gives IFDEF
rwmjones has joined #ocaml
<Drakken> hcarty I wasn't asking about pages, I was asking about overlapping windows on the monitor
<rixed> thelema: Hi! Is it me, or is batteries's mailling list borken for some days?
<hcarty> Drakken: You can have multiple plot windows
<thelema> rixed: I dunno - are there messages that are supposed to have come through?
<thelema> rixed: I just assumed it was quiet
<rixed> thelema: I send one regarding the link you posted to a msg on recursive mutex. I didn't sae my email so resent it, then still nothing.
<hcarty> Drakken: Multiple pages in one plot (PDF or PS for example), multiple distinct output devices (ex. windows or PNGs) and multiple plots rendered on a single surface (ex. 2x2 arrangement of plots on a single PNG)
<rixed> thelema: ocamlcore seams to have some issues right now (according to Sylvain page on G+)
<thelema> rixed: err, not that one.
<rixed> thelema: This threads, I send another email (two if you count the repost).
<hcarty> Drakken: As long as you switch to the correct plot stream before rendering, you can have as many simultaneous plots as you want
<thelema> rixed: ok, I hope sylvain fixes whatever is wrong with the server; I don't think I can do anything
<rixed> thelema: can you try to send a test msg on the list to see if you get it echoed?
<thelema> rixed: sure.
<rixed> thelema: maybe I was just unsubscribed someway?
<thelema> I'd get an email about non-member post, asking me to approve or reject it
<thelema> rixed: test email sent and not in archives.
<thelema> rixed: so it's not just you.
<gildor> rixed: no issues, I just removed by error a tracker from oasis
<thelema> gildor: then you now have an issue - mailing list emails not going through
<gildor> thelema: errors ?
<adrien> NaCl: flames are awesome :P
<thelema> gildor: rixed and I have both sent emails to the devel list, and they just disappeared.
<thelema> gildor: batteries-devel
<gildor> thelema: I'll have a look tonight, I am at work right now
<gildor> ping me in 4 hours
<thelema> gildor: ok, thanks.
ygrek has joined #ocaml
<NaCl> adrien: :P
<adrien> NaCl: what's the resolution of the images? where is it defined?
<adrien> found it; I guess changing the aspect ratio is a bad idea
<NaCl> I honestly don't remember too much
<adrien> hmmm, no way to render several genomes at once? damn ='(
<adrien> or queue them rather
<NaCl> thought that's what the numbered buttons were for
<NaCl> to queue up genomes
<adrien> they're queued for rendering too?
waern has quit [Read error: Operation timed out]
<adrien> I somehow managed to have two flam3-render processes started, each taking 1GB of memory
<adrien> needless to say that with seamonkey running at the same time...
<NaCl> process management isn't all that well-defined
<adrien> I killed the rendering and then music stuttered for a bit, I lost one shell and I "pkill flam" in another one
<NaCl> I think I need to denice the processes a little in there
waern has joined #ocaml
avsm has quit [Quit: Leaving.]
<adrien> well, that wouldn't have changed anything: the term got OOM'ed
<adrien> ah, and the up/down-scaling is not right, but it's like what I had made before
ulfdoz has joined #ocaml
Kakadu has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
<reynir> off-topic: Have any of you seen reverse Ø used for the empty set?
boulanger has joined #ocaml
beckerb has quit [Ping timeout: 240 seconds]
zorun has quit [Read error: Connection reset by peer]
zorun has joined #ocaml
boulanger has quit [Remote host closed the connection]
<thelema> reynir: reverse \nullset? Maybe a font quirk
Cyanure has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 248 seconds]
ftrvxmtrx has joined #ocaml
_michi_ has joined #ocaml
Cyanure has joined #ocaml
avsm has joined #ocaml
ankit9 has quit [Ping timeout: 248 seconds]
_michi__ has joined #ocaml
ttamttam has joined #ocaml
_michi_ has quit [Ping timeout: 252 seconds]
_michi__ is now known as _michi_
beckerb has joined #ocaml
ftrvxmtrx has quit [Read error: Connection reset by peer]
fabjan has quit [*.net *.split]
Qrntzz has quit [*.net *.split]
shachaf has quit [*.net *.split]
diml has quit [*.net *.split]
zzz_ has quit [*.net *.split]
corecode has quit [*.net *.split]
svenl has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
gildor has quit [*.net *.split]
shachaf has joined #ocaml
Qrntzz has joined #ocaml
fabjan has joined #ocaml
corecode has joined #ocaml
svenl has joined #ocaml
gildor has joined #ocaml
Asmadeus has joined #ocaml
diml has joined #ocaml
zzz_ has joined #ocaml
ygrek has joined #ocaml
scrappy_doo_ has joined #ocaml
raichoo has joined #ocaml
Drakken has quit [Ping timeout: 258 seconds]
<scrappy_doo_> Is there some documentation for archimedes?
ftrvxmtrx has joined #ocaml
_andre has quit [Quit: leaving]
Transformer has joined #ocaml
Transformer has quit [Excess Flood]
_michi_ has quit [Quit: ChatZilla 0.9.87 [SeaMonkey 2.3/20110818081843]]
raichoo has quit [Quit: leaving]
Anarchos has joined #ocaml
<thelema> scrappy_doo_: `Impulses look good for the chart of runtimes, something like [Array.y vp ~style:`Impulse ~const_y:true res.times]
<thelema> [let plot fn res = let vp = Archimedes.init ["Cairo"; "PNG"; fn] in Archimedes.Array.y vp ~style:`Impulse ~const_y:true res.times; Archimedes.close vp]
fschwidom has quit [Ping timeout: 248 seconds]
beckerb has quit [Ping timeout: 248 seconds]
raichoo has joined #ocaml
Qrntzz has quit [Changing host]
Qrntzz has joined #ocaml
Qrntzz has quit [Changing host]
Qrntzz has joined #ocaml
avsm has quit [Quit: Leaving.]
ttamttam has quit [Remote host closed the connection]
Kakadu has quit [Quit: Konversation terminated!]
ftrvxmtrx has quit [Ping timeout: 260 seconds]
beckerb has joined #ocaml
<reynir> thelema: the reason I asked was because the lecturer in the mathematical analysis class I attend claimed that some places they used reverse Ø
<thelema> interesting. Wikipedia doesn't have anything about that, it lists "{}", "\emptyset", a variant of this, "^" and "0"
<reynir> I don't believe him, honestly
<reynir> Ø is also a danish letter (I live in Denmark and the course is in danish)
<thelema> yes, that's noted as the inspiration for \emptyset
<thelema> maybe he's run into people misusing this notation and he was especially sensitive to it because of the character being in his alphabet
avsm has joined #ocaml
<reynir> That sounds reasonable
ftrvxmtrx has joined #ocaml
dsheets has joined #ocaml
<Anarchos> reynir André Weil is the creator of the Ø notation around 1930. He took inspiration in danish
<Anarchos> Anyway Ø and {} are ontologically different : {} reminds to a set thought in comprehension, while Ø stands more from a behavioural definition (for all x, x is not in Ø)
<thelema> gildor: ping
<reynir> I *always* use Ø, and I rarely see anyone use {} here :-)
<thelema> pretty rare for me to see {} here too.
* Anarchos thinks that everybody lives and thinks in a different "here" :)
<gildor> thelema: pong, still at work
<gildor> thelema: will go back RSN
<gildor> ping you when I am at home
<thelema> gildor: isn't it late there?
<thelema> :)
<gildor> something like 10:30 PM
* gildor packing my stuff
ulfdoz has quit [Ping timeout: 276 seconds]
edwin has quit [Remote host closed the connection]
<flux> what a coincidence (?)
hto has quit [Quit: Lost terminal]
<flux> the broken ocaml core package on debian unstable I complained about yesterday has been now fixed, according to the bug tracking
<flux> is there a secret agent on the channel?-)
<Anarchos> flux sure, but not me :)
<flux> ahha, sgnb!
<flux> thank you :)
scrappy_doo_ has quit [Ping timeout: 258 seconds]
ftrvxmtrx has quit [Read error: Connection reset by peer]
raichoo has quit [Quit: Lost terminal]
ftrvxmtrx has joined #ocaml
ftrvxmtrx has quit [Read error: Connection reset by peer]
<gildor> thelema: mailing list up and running
ygrek has quit [Ping timeout: 248 seconds]
<gildor> thelema: your old message seems to be there also
Cyanure has quit [Ping timeout: 245 seconds]
<adrien> NaCl: TODO: save to disk :P
<thelema> gildor: this problem won't happen again?
<gildor> thelema: don't know
<thelema> gildor: no real cause?
<gildor> thelema: the daemon crashed, I just restarted it
<thelema> ok. so probably not.
<gildor> thelema: no obvious cause, probably related to file left due to /tmp being full
<gildor> thelema: but I cannot be 100% sure
<gildor> thelema: e.g. /var/run/mailman/mailman.pid not being deleted
<thelema> Thanks for fixing it.
leoncamel has joined #ocaml
Morphous has quit [Ping timeout: 252 seconds]
superbobry has joined #ocaml
<superbobry> how do i go about adding a new sub command to setup.ml, generated by OASIS? there seems to be no docs available on the subjet :(
<adrien> whenshould the command be executed?
<adrien> configure time, build time, clean time, dist-clean time ?
<superbobry> what do you mean when?
<superbobry> ah, any time i guess, i just want to collect and print all dependencies of an OASIS project
<superbobry> seems like BaseSetup.ml is just what i need
<adrien> only collect them? "grep BuildDepends _oasis"?
<superbobry> afaik oasis also does topological sort on them
<thelema> umm, I don't think oasis knows the relationship between the depends
<thelema> only ocamlfind
<superbobry> hrm, i'm pretty sure I saw it in the code somewhere
<thelema> it depsorts internal dependencies, but not BuildDepends
thelema has quit [Remote host closed the connection]
thelema has joined #ocaml
<superbobry> you're right, it's only for internal code
Morphous has joined #ocaml
<superbobry> but i think it would still be easier to implement as an OASIS command, compared to greping _oasis and then doing quering / sorting
<thelema> superbobry: what's your goal?
<adrien> NaCl: 20 or 21 flames to render in high-quality; ETA for the first one is currently 180 minutes; flamel needs a "pause" button :P
<reynir> adrien: ^Z?
<superbobry> thelema: my goal is to have an easy way of collecting all deps for an oasis project (that can be useful to odb as well)
<adrien> reynir: yes and no: flamel is a GUI front-end and wrapper to flam3-genome and flam3-render; I think that SIGSTOP will work fine but it's not the handiest way to do it
<adrien> and flamel could probably use a more advanced management of flames (sort flames by hand in particular)
<adrien> btw, a screenshot of flamel: http://notk.org/~adrien/flamel_hq_rendering.png
<reynir> that's pretty. What is it?
beckerb has quit [Remote host closed the connection]
<adrien> flam3/electricsheep uses genetic algorithms to make the "space-themed" fractals (there's a paper on electricsheep's website)
<adrien> flam3-genome can create new algorithms and managing everything by hand was tirying
<adrien> especially since you couldn't easily predict the output
<adrien> so flamel first triggers a low-quality rendering and gives a preview
<adrien> you can the weed out what you don't want and start the much longer rendering
<adrien> now, if someone could make flam3 cache-oblivious, it would be great
<gildor> superbobry: there are already code that does that in oasis-db
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
avsm has quit [Quit: Leaving.]
<gildor> superbobry: http://darcs.ocamlcore.org/cgi-bin/darcsweb.cgi?r=oasis/oasis-db;a=headblob;f=/src/lib/ODBDeps.ml
<gildor> superbobry: l68
morolin has joined #ocaml
morolin has quit [Ping timeout: 244 seconds]
morolin has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
ikaros has joined #ocaml
schme has quit [Ping timeout: 260 seconds]
destrius has joined #ocaml
schme has joined #ocaml
schme has quit [Changing host]
schme has joined #ocaml
Associat0r has quit [Ping timeout: 252 seconds]
sepp2k has quit [Read error: Connection reset by peer]
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
schme has quit [Ping timeout: 276 seconds]
Associat0r has quit [Ping timeout: 252 seconds]
ikaros has quit [Quit: Ex-Chat]