[Caml-list] ML 2009: Deadline Extension!

2009-05-12 Thread Andreas Rossberg
3rd CALL FOR PAPERS The 2009 ACM SIGPLAN Workshop on ML To be held in conjunction with ICFP 2009 on Sunday, August 30, 2009 in Edinburgh, Scotland, UK http://www.mpi-sws.org/~rossberg/

[Caml-list] huge low-latency ocaml cluster?

2009-05-12 Thread Joel Reymont
Does anyone have an API for Amazon EC2, S3 or SimpleDB? I need to write an app to push content to hundreds of thousands of users, connected to a bunch of servers. Think liveblogging. You push a button and your post needs to be in front of eager readers within a couple of seconds. The client-faci

[Caml-list] International Summer School on Advances in Programming Languages (precedes ICFP'09)

2009-05-12 Thread Matthew Fluet (ICFP Publicity Chair)
International Summer School on Advances in Programming Languages 25th-28th August, 2009 Heriot-Watt University, Edinburgh, Scotland http://www.macs.hw.ac.uk/~greg/ISS-AiPL Overview This four-day residential International Summer Scho

[Caml-list] Job Announcement in Paris (CDuce and Ocsigen)

2009-05-12 Thread Vincent Balat
[Version française de l'annonce à la fin] Position available: research engineer The PPS laboratory (http://pps.jussieu.fr) is recruiting an Research Engineer for 2 years (22 months) possessing a good skill in (Ca)ML programming. The position will be available in fall 2009. Keywords: CDuce, Ocsig

Re: [Caml-list] Ocamlopt x86-32 and SSE2

2009-05-12 Thread Richard Jones
On Tue, May 12, 2009 at 11:37:17AM +0200, Xavier Leroy wrote: > Richard Jones: > >AMD Geode then ... > > Apparently, recent versions of the Geode support SSE2 as well. > Low-power people love vector instruction sets, because it lets them do > common tasks like audio and video decoding more efficie

Re: [Caml-list] Call for translators of the Unix system programming course

2009-05-12 Thread Mihamina Rakotomandimby (R12y)
On 05/12/2009 01:56 AM, Daniel Bünzli wrote: We are looking for one translator and one proofreader for each of the seven main chapters. To facilitate the task of proof readers and get the best translation preference will be given to native english speaking contributors. If you are interested in p

[Caml-list] Re: Ocamlopt x86-32 and SSE2

2009-05-12 Thread Sylvain Le Gall
On 12-05-2009, Xavier Leroy wrote: > > Sylvain Le Gall: >> If INRIA choose to switch to SSE2 there should be at least still a way >> to compile on older architecture. Doesn't mean that INRIA need to keep >> the old code generator, but should provide a simple emulation for it. In >> this case, we w

Re: [Caml-list] Ocamlopt x86-32 and SSE2

2009-05-12 Thread Xavier Leroy
This is an interesting discussion with many relevant points being made. Some comments: Matteo Frigo: Do you guys have any sort of empirical evidence that scalar SSE2 math is faster than plain old x87? I ask because every time I tried compiling FFTW with gcc -m32 -mfpmath=sse, the result has bee