Here is the latest OCaml Weekly News, for the week of February 25 to March 04, 2014.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2014-02/msg00169.htmlAndy Ray announced:
> It might even run on Windows....(I haven't tried but why not?!). Why not indeed. Get IPython from here; https://www.enthought.com/products/epd/free/ Chrome or Firefox would be best - IE does work but the notebook isn't looking totally right.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2014-02/msg00171.htmlAnil Madhavapeddy announced:
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2014-02/msg00173.htmlTiphaine Turpin announced:
MathWorks is opening two positions in Grenoble, France: * an expert in static analysis of code using formal methods (model checking, abstract interpretation or theorem proving...), especially on concurrent embedded programs, with working knowledge of functional programming languages * an expert in C/C++ compiler architecture and framework (like LLVM). Polyspace tools find bugs and prove their absence in C/C++ applications and Simulink models, using state-of-the-art static analysis. It is used to verify embedded software and especially safety-critical systems in planes, trains, and automobiles. Please refer to the full job descriptions for application: Static Analysis and Formal Methods Senior Developer http://www.mathworks.com/company/jobs/opportunities/Static-Analysis-and-Formal-Methods-Senior-Developer-11754 C/C++ Compiler Architect http://www.mathworks.com/company/jobs/opportunities/c-c-compiler-architect-11755
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2014-02/msg00178.htmlYaron Minsky announced:
Jane Street is looking to hire functional programmers for our offices in New York, London and Hong Kong. Right now we're especially looking for interns for this upcoming summer. Interning at Jane Street is a challenging and varied experience. Here are some of the projects our interns have completed. - Developing an FRP-style toolkit for building sophisticated text-mode UIs - Rewriting and generalizing our RPC messaging library using session types - Prototyping optimizations to the OCaml compiler - Working on the internals of Async, our monadic concurrency library Many of our intern projects make their way out as open-source projects. Interns also learn about Jane Street's trading business through lectures and more interactive training sessions. Plus, there are a lot of fun social activities throughtout the summer. If you're interested in an internship, or know someone who might be, applications can be submitted here. http://janestreet.com/apply And as usual, we're also hiring developers for fulltime positions in NYC, Hong Kong and London as well!
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2014-03/msg00002.htmlAshish Agarwal announced:
Thanks to Alp Mestan, we now include in the OCaml Weekly News the links to the recent posts from the ocamlcore planet blog at http://planet.ocaml.org/. ICFP 2014 - a call for sponsorship and how you can help: http://anil.recoil.org/2014/03/03/icfp-call-for-sponsorships.html A much shorter proof of a recent result on a conjecture by Erd?s: http://gallium.inria.fr/blog/large-proofs Full Time: Platform Engineer at Gawker Media in New York, NY: http://jobs.github.com/positions/e9503ae8-a009-11e3-9f6d-5364aaa5c47e Ocsigen 2013/2014: http://ocsigen.org/ MirageOS is in Google Summer of Code 2014: http://openmirage.org/blog/applying-for-gsoc2014
If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.
If you also wish to receive it every week by mail, you may subscribe online.