Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

2009-08-19 Thread Florian Hars
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

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

2009-08-18 Thread Richard Jones
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

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

2009-08-18 Thread Florian Hars
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:

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

2009-08-18 Thread Erik de Castro Lopo
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:

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

2009-08-17 Thread Romain Beauxis
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.

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

2009-08-17 Thread Alexy Khrabrov
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

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

2009-08-17 Thread Romain Beauxis
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

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

2009-08-17 Thread Kip Macy
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

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

2009-08-17 Thread Matthew Macy
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

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

2009-08-17 Thread Erik de Castro Lopo
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

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

2009-08-17 Thread Matthew Macy
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

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

2009-08-17 Thread Erik de Castro Lopo
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

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

2009-08-16 Thread Romain Beauxis
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

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

2009-08-16 Thread Yaron Minsky
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

Re: [Caml-list] Jane Street is hiring (as if you didn't already know)

2009-08-16 Thread Andrej Bauer
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

[Caml-list] Jane Street is hiring (as if you didn't already know)

2009-08-11 Thread Yaron Minsky
This is my periodic reminder to the FP world that Jane Street is looking to hire functional programmers. I've started getting the occasional inquiry coming in from people who are clearly unsure if our previous hiring announcements still apply, and I wanted to make it clear that they do. So, at