Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
Erik de Castro Lopo schrieb: The Linux kernel which is the one I am interested in is C only. The kernel I linked to is in C, too (well, 7500 lines of C accompanied by 20 lines of proof that the C actually implements the formal specification automatically generated from the Haskell prototype). And it can more or less run Linux as a personality. - Florian. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
On Tue, Aug 18, 2009 at 08:44:52AM +1000, Erik de Castro Lopo wrote: Matthew Macy wrote: I don't anticipate ever doing functional programming professionally Why ever not? I'm at a small VC funded startup and I use Ocaml and Haskell for production code on a regular basis. We have a small but growing collection of code written in langauges that are a joy to work with and way more robust and debuggable than the larger body of C and C++ code we have. We use OCaml to generate our C code :-) Rich. -- Richard Jones Red Hat ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
Erik de Castro Lopo schrieb: That makes sense. I do quite low level stuff as well, even Linux device drivers and that is not ever going to be done in Ocaml or Haskell :-). People do use Haskell in developing OS kernels, and you can't get more low-level than that: http://ertos.nicta.com.au/research/l4.verified/approach.pml - Florian. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
Florian Hars wrote: Erik de Castro Lopo schrieb: That makes sense. I do quite low level stuff as well, even Linux device drivers and that is not ever going to be done in Ocaml or Haskell :-). People do use Haskell in developing OS kernels, and you can't get more low-level than that: http://ertos.nicta.com.au/research/l4.verified/approach.pml The Linux kernel which is the one I am interested in is C only. For the Linux kernel I very much doubt it is ever going to be possible to write drivers in Ocaml or Haskell even if that is possible for other kernels now. Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
Hi ! Le dimanche 16 août 2009 13:56:40, Yaron Minsky a écrit : I believe it's fairly well established that job announcements are welcome on the caml list, and that the appearance of the ocaml-jobs list does not change that. Here's a thread that asks and answers that very question. Ok, thanks. I must admit I was wrong. Since I'm neither an admin nor the majority (apparently), you're right. However, I am annoyed by those messages. Kind regards, Romain ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
I believe that any OCaml job posting is such a cause to rejoice, that the only event which comes less frequently is a Haskell job posting! :) You have to be pretty heartless, or not planning to work as a functional programmer for money, to not be delighted by those sensible and interesting reminders from Yaron. He also makes them dynamic, keeping adding various cities of the world to the mix! Cheers, Alexy ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
Hi ! Le lundi 17 août 2009 15:02:10, Alexy Khrabrov a écrit : I believe that any OCaml job posting is such a cause to rejoice, that the only event which comes less frequently is a Haskell job posting! :) You have to be pretty heartless, or not planning to work as a functional programmer for money, to not be delighted by those sensible and interesting reminders from Yaron. He also makes them dynamic, keeping adding various cities of the world to the mix! I am very happy to see OCaml being adopted widely, and in particular when it come to reliability which is the case here. Otherwise, I don't see the point in figthing with Haskell, but that's not the topic. Well, you know, not all the people have the same background. A job interest is very different than a technical interest. Hence, when discussing about jobs and this stuff, it can quickly show some huge differences. For instance, I don't think that OCaml's maintainers at INRIA have the same interests about the language than people in Janest. Nor the same income. Even more, some people contribute to OCaml in their spare time, which means they don't get money from it, and probably don't want. More over, although we are all here to discuss about the technical issues in OCaml, we don't all have the same ideas about external concerns, in particular finance in my case. However, even though my first message was probably a bit rude, I did not mean to argue in this topic. I don't believe this is a place for that, and, all in all, I wish all the best to other contributors to OCaml, although I do not necessarily like the application themselves. Hence, I would argue that a seperation in this topic would be a good thing to avoid furstrating people that have different background but would otherwise have very fruitful interactions in the pure field of technical concerns about OCaml. I also think it's been enough on this topic, for the very reasons I've just explained ! All the best, Romain ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
Le lundi 17 août 2009 15:02:10, Alexy Khrabrov a écrit : I believe that any OCaml job posting is such a cause to rejoice, that the only event which comes less frequently is a Haskell job posting! :) You have to be pretty heartless, or not planning to work as a functional programmer for money, to not be delighted by those sensible and interesting reminders from Yaron. He also makes them dynamic, keeping adding various cities of the world to the mix! I don't anticipate ever doing functional programming professionally and I have absolutely no interest in ever living in New York or London. Moving back to Japan would be fun but for the fact that my wife speaks no Japanese and forcing my friends to speak English or having a running translation of the dialog is simply not realistic. Nonetheless, the number of employers using Ocaml is currently sufficiently small in number that periodically hearing about employment opportunities is interesting to me as a reminder that it isn't just a research language. That said, if it were to ever reach even the level of the innumerable niche conference announcements then a push to ocaml-jobs would probably be appropriate. -Kip ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
On Mon, Aug 17, 2009 at 1:26 PM, Romain Beauxisto...@rastageeks.org wrote: Hi ! Le lundi 17 août 2009 15:02:10, Alexy Khrabrov a écrit : I believe that any OCaml job posting is such a cause to rejoice, that the only event which comes less frequently is a Haskell job posting! :) You have to be pretty heartless, or not planning to work as a functional programmer for money, to not be delighted by those sensible and interesting reminders from Yaron. He also makes them dynamic, keeping adding various cities of the world to the mix! I don't anticipate ever doing functional programming professionally and I have absolutely no interest in ever living in New York or London. Moving back to Japan would be fun but for the fact that my wife speaks no Japanese and forcing my friends to speak English or having a running translation of the dialog is simply not realistic. Nonetheless, the number of employers using Ocaml is currently sufficiently small in number that periodically hearing about employment opportunities is interesting to me as a reminder that it isn't just a research language. That said, if it were to ever reach even the level of the innumerable niche conference announcements then a push to ocaml-jobs would probably be appropriate. Cheers ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
Matthew Macy wrote: I don't anticipate ever doing functional programming professionally Why ever not? I'm at a small VC funded startup and I use Ocaml and Haskell for production code on a regular basis. We have a small but growing collection of code written in langauges that are a joy to work with and way more robust and debuggable than the larger body of C and C++ code we have. Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
On Mon, Aug 17, 2009 at 15:44, Erik de Castro Lopomle+oc...@mega-nerd.com wrote: Matthew Macy wrote: I don't anticipate ever doing functional programming professionally Why ever not? I'm at a small VC funded startup and I use Ocaml and Haskell for production code on a regular basis. We have a small but growing collection of code written in langauges that are a joy to work with and way more robust and debuggable than the larger body of C and C++ code we have. When I re-sent the e-mail under my subscribed address I should have further clarified my statement. If my initial e-mail address had been allowed through it would have been self-evident. All of my professional time is spent doing things like lock pushdown in the network stack, identifying and eliminating false sharing between structures, minimizing lock contention in the file system, 10GigE network drivers etc. All of which is done in 'C' and will be for the foreseeable future. Consequently, there is a gap between my areas of expertise and the areas where functional programming comes in to play. Thus, unless I shift my work in to one of those areas or pick up a side project there I don't see how Ocaml could play a large role in my life. My interest is purely out of intellectual curiosity. I apologize for the confusion. I was not slighting functional programming - just pointing out that even though I do not have any use for the job postings I do not find them to be out of place. Cheers -- When harsh accusations depart too far from the truth, they leave bitter consequences. --Tacitus ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
Matthew Macy wrote: All of my professional time is spent doing things like lock pushdown in the network stack, identifying and eliminating false sharing between structures, minimizing lock contention in the file system, 10GigE network drivers etc. All of which is done in 'C' and will be for the foreseeable future. That makes sense. I do quite low level stuff as well, even Linux device drivers and that is not ever going to be done in Ocaml or Haskell :-). I suppose that is where working for really small startups is so great. I get to do everything from device driver hacking through to user space functional programming. Cheers, Erik -- -- Erik de Castro Lopo http://www.mega-nerd.com/ ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
Hi ! Le mardi 11 août 2009 16:50:07, Yaron Minsky a écrit : For someone who cares about functional programming, Jane Street is an interesting place to consider. Jane Street has invested deeply in OCaml, to the point where we now have the largest team of OCaml programmers in any industrial setting, and probably the world's largest OCaml codebase--over a million lines. We really believe in functional programming, and use OCaml for everything from research to systems adminstration to trading systems. Since you wrote a long mail presenting your activity, it would also be nice to present what you actually *do* with ocaml in this presentation. I guess when one seeks for a job, he might also care about this aspect, in particular in the financial world. I believe this message are an abuse of the mailing list. It would be more respectful to use the dedicated mailing list, which is clearly indicated in the same page where this list is documented, see: http://caml.inria.fr/resources/forums.en.html OCaml jobs and internships list ocaml-jobs AT inria.fr This list is for exchanges between people looking for a job or an internship requiring skills in OCaml and people, corporations, universities, ..., offering such jobs or internships. Cheers, Romain ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
On Sun, Aug 16, 2009 at 12:57 PM, Romain Beauxis to...@rastageeks.orgwrote: Le mardi 11 août 2009 16:50:07, Yaron Minsky a écrit : For someone who cares about functional programming, Jane Street is an interesting place to consider. Jane Street has invested deeply in OCaml, to the point where we now have the largest team of OCaml programmers in any industrial setting, and probably the world's largest OCaml codebase--over a million lines. We really believe in functional programming, and use OCaml for everything from research to systems adminstration to trading systems. Since you wrote a long mail presenting your activity, it would also be nice to present what you actually *do* with ocaml in this presentation. I guess when one seeks for a job, he might also care about this aspect, in particular in the financial world. I think the text above does hint at the range of things we work on in OCaml, but if you want to get a better feel, there are a couple of good sources: first, there's an article that Stephen Weeks and I wrote for JFP, which you can find here: http://janestreet.com/technology/articles.php Also, there's video of a talk I gave at CMU: http://ocaml.janestreet.com/?q=node/61 It's hard to be too precise in a short missive about the kind of things we do in OCaml, because our use is so diverse. One of the things that I think speaks well for OCaml is that we have found it to be highly effective for so many different kinds of things --- whether we're writing admin tools or research codes or automated trading systems, it is our tool of choice. I believe this message are an abuse of the mailing list. It would be more respectful to use the dedicated mailing list, which is clearly indicated in the same page where this list is documented, see: http://caml.inria.fr/resources/forums.en.html OCaml jobs and internships list ocaml-jobs AT inria.fr This list is for exchanges between people looking for a job or an internship requiring skills in OCaml and people, corporations, universities, ..., offering such jobs or internships. I believe it's fairly well established that job announcements are welcome on the caml list, and that the appearance of the ocaml-jobs list does not change that. Here's a thread that asks and answers that very question. http://groups.google.com/group/fa.caml/browse_frm/thread/9d3d8d1e38ff6025/91cb814e46e8c414#91cb814e46e8c414 ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Jane Street is hiring (as if you didn't already know)
I believe it's fairly well established that job announcements are welcome on the caml list, and that the appearance of the ocaml-jobs list does not change that. I support Yaron's opinion and do not mind the occasional job announcement. Now if someone could tell me how to receive only those conference announcements that are relevant to me, that would be a different story. Andrej P.S. From what I gather Jane Street uses ocaml to get rich by sending golden coins to itself back in time through tiny short-lived quantum loops in the spacetime continuum. They invest the golden coins that trickle in. When the investments result in profit, they send the profit back in time again, to get even more golden coins in the past. The Ocaml programmers are responsible for computing the telemetry of the coins in real time without numerical errors. ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs