Re: [Caml-list] SQL engine in OCaml with client side cache

2012-01-30 Thread Gabriel Scherer
You don't seem to like SQL much, which is surprising as it is kind of isomorphic to comprehension of sets (of tuples). That's why F# added first class SQL support with comprehension-like syntax http://msdn.microsoft.com/en-us/library/hh225374(v=vs.110).aspx This may be a little off-topic

Re: [Caml-list] Hashtbl and security

2012-01-30 Thread Goswin von Brederlow
Gerd Stolpmann i...@gerd-stolpmann.de writes: Hi, there was recently a security alert for web services that use hash tables to store web form parameters sent via POST (so that millions of such parameters can be sent in a single request). It is possible to keep the web service busy for hours

Re: [Caml-list] Hashtbl and security

2012-01-30 Thread Goswin von Brederlow
Xavier Leroy xavier.le...@inria.fr writes: On 01/01/2012 01:52 PM, Richard W.M. Jones wrote: On Fri, Dec 30, 2011 at 06:06:26PM +0100, Xavier Leroy wrote: Indeed. The optional seed parameter to Hashtbl.create does exactly this in the new implementation of Hashtbl (the one based on Murmur3).

[Caml-list] WING 2012: First Call for Papers

2012-01-30 Thread Gudmund Grov
[Please post - apologies for multiple copies.] WING 2012 - 4th International Workshop on INvariant Generation http://cs.nyu.edu/acsys/wing2012/ June 30, 2012 Manchester, UK (a satellite Workshop of IJCAR 2012)

Re: [Caml-list] OpenGL ES for iPhone Simulator; working example app

2012-01-30 Thread Christophe Papazian
Dear Jeffrey I tried your solution for ocaml on Xcode 4.2 with iOS 5.0 But I can't find a way to get a good binary. I got some weird alignment warnings on compilation and the application just doesn't work on the iPhone. Do you have plan to update your work for the last versions of Xcode and iOS

Re: [Caml-list] OpenGL ES for iPhone Simulator; working example app

2012-01-30 Thread Jeffrey Scofield
Greetings, I tried your solution for ocaml on Xcode 4.2 with iOS 5.0 But I can't find a way to get a good binary. I got some weird alignment warnings on compilation and the application just doesn't work on the iPhone. Do you have plan to update your work for the last versions of Xcode and

Re: [Caml-list] OpenGL ES for iPhone Simulator; working example app

2012-01-30 Thread Jeffrey Scofield
Christophe: I tried your solution for ocaml on Xcode 4.2 with iOS 5.0 But I can't find a way to get a good binary. I got some weird alignment warnings on compilation and the application just doesn't work on the iPhone. One extra comment occurred to me: We're doing development under Xcode

[Caml-list] Semantic Web Journal: Special Call for Surveys on Application Areas of Semantic Technologies

2012-01-30 Thread Pascal Hitzler
Semantic Web journal Special Call for Surveys on Application Areas of Semantic Technologies http://www.semantic-web-journal.net/blog/semantic-web-journal-special-call-surveys-application-areas-semantic-technologies Semantic Web technologies are currently in a transition from research to