Here is the latest OCaml Weekly News, for the week of August 09 to 16, 2016.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-08/msg00035.htmlMark Shinwell announced:
Jane Street is looking to hire developers to work in its tools and compilers group. The group is responsible for software supporting the work of around 200 developers, sysadmins and traders on an OCaml codebase running into millions of lines of code. This codebase provides the foundation for the firm's business of trading on financial markets around the clock and around the world. Software that the group develops, much of which is written in-house, includes: - build, continuous integration and code review systems; - preprocessors and core libraries; - editor enhancements and integration. The group also devotes significant time to working on the OCaml compiler itself and associated tools, often in collaboration with external parties, with work being released as open source. Recent cutting-edge projects have included the Flambda optimisation framework and the Spacetime memory profiler. Candidates need to be familiar with a statically typed functional language and possess some amount of experience (within industry or otherwise) in some or all of the areas described above. Ideally, candidates would work in our London office: new and shiny, with spectacular panoramic views of the city. However applications for positions in our New York office will also be considered. Benefits and compensation are highly competitive. If you are interested, please email firstname.lastname@example.org with a CV and cover letter.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-08/msg00038.htmlDamien Doligez announced:
The release of OCaml 4.04.0 will take place in September. We have created a beta version to help you adapt your software to the new features ahead of the release. The source code is available at this address: http://caml.inria.fr/pub/distrib/ocaml-4.03/ and the compiler will soon be available as the "4.04.0+beta1" OPAM switch. We want to know about all bugs. Please report them here: http://caml.inria.fr/mantis/bug_report_page.php Happy hacking, -- Damien Doligez for the OCaml team.Fabrice Le Fessant then said:
I started a branch on opam-builder for 4.04.0+beta1, which is now displayed in the matrix: http://opam.ocamlpro.com/builder/ The logs of compilation are available online, for packages that fail to compile with 4.04.0+beta1. Note that there is a known issue in 4.04.0+beta1 with C libraries put directly on the command line during linking (instead of using `-cclib`), that make `omake` fail. The issue is solved in the next beta.Goswin von Brederlow asked and Damien Doligez replied:
>> http://caml.inria.fr/pub/distrib/ocaml-4.03/ > ^^^^ > > Is that a typo or is 4.04.0 really available as 4.03? I only see a > ocaml-4.03.0+beta1 and ocaml-4.03.0+beta2 there. It's a typo. The correct URL is: https://github.com/ocaml/ocaml/archive/4.04.0+beta1.tar.gz
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-08/msg00086.htmlDrup announced:
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2016-08/msg00091.htmlLeonardo Laguna announced:
we are looking for a new member for my team. The job is developing the SystemModeler (<www.wolfram.com/system-modeler>) Modelica's compiler which is written in OCaml. Here's the full announce if you are interested: http://www.wolfram.com/company/careers/opportunities/#op-127441-software-engineer-systemmodeler
Here are links from many OCaml blogs aggregated at OCaml Planet, http://ocaml.org/community/planet/. Software Engineer (Haskell/Clojure) at Capital Match (Full-time) https://functionaljobs.com/jobs/8949-software-engineer-haskell-clojure-at-capital-match planet.ocamlcore.org will soon be deprecated http://forge.ocamlcore.org/forum/forum.php?forum_id=937 (Senior) Scala Developer at SAP SE (Full-time) https://functionaljobs.com/jobs/8947-senior-scala-developer-at-sap-se Multicore OCaml and Reagents: LDN Functionals @ Jane Street https://ocaml.io/w/Blog:News/Multicore_OCaml_and_Reagents:_LDN_Functionals_@_Jane_Street Head of Data Science at Capital Match (Full-time) https://functionaljobs.com/jobs/8946-head-of-data-science-at-capital-match What is a formal proof? http://math.andrej.com/2016/08/09/what-is-a-formal-proof/
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.