• en

OCaml Planet

The OCaml Planet aggregates various blogs from the OCaml community. If you would like to be added, read the Planet syndication HOWTO.

949 blog posts are available. You can read the 30 more recent ones below or view older ones.

Moving from ocaml.io to ocamllabs.io — OCaml Labs, Feb 23, 2017

We are pleased to announce that the new and improved OCaml Labs website is here!

This wiki will remain active while we transition our content to ocamllabs.io, but it will be retired eventually. The new site will have all the recent news and exciting developments from OCaml Labs together with links to related projects and people, so it will be easier than ever to keep up to date with everything we are doing.

We hope you enjoy the new site!

Weekly News — OCaml Weekly News, Feb 21, 2017

  1. OCaml 4.05.0+beta1
  2. ocamlyacc missing from the beta
  3. codept 0.9: an alternative dependency analyzer for ocaml projects
  4. Ocaml Github Pull Requests
  5. Other OCaml News

Conex, establish trust in community repositories — Hannes Mehnert (hannes), Feb 16, 2017

Less than two years after the initial proposal, we're happy to present conex 0.9.2. Pleas note that this is still work in progress, to be deployed with opam 2.0 and the opam repository.

screenshot

Conex is a library to verify and attest release integrity and authenticity of a community repository through the use of cryptographic signatures.

Packages are collected in a community repository to provide an index and allowing cross-references. Authors submit their packages to the repository. which is c…

Read more...

Who maintains package X? — Hannes Mehnert (hannes), Feb 16, 2017

A very important data point for conex, the new opam signing utility, is who is authorised for a given package. We could have written this manually down, or force each author to create a pull request for their packages, but this would be a long process and not easy: the main opam repository has around 1500 unique packages, and 350 contributors. Fortunately, it is a git repository with 5 years of history, and over 6900 pull requests. Each opam file may also contain a maintainers entry, a list…

Read more...

Jane Street Tech Talks: Verifying Puppet Configs — Jane Street (Yaron Minsky), Feb 16, 2017

Our first Jane Street Tech Talk went really well! Thanks to everyone who came and made it a fun event.

Now it's time for another. We're planning for the series to feature a combination of voices from inside and outside Jane Street. This one is of the latter variety: on March 6th, Arjun Guha will be presenting On Verification for System Configuration Languages, which is about using static verification techniques for catching bugs in Puppet configs.

I've known Arjun for years, and he's a both a go…

Read more...

Ezirmin : An easy interface to the Irmin library — KC Sivaramakrishnan, Feb 15, 2017

Ezirmin is an easy interface over the Irmin, a library database for building persistent mergeable data structures based on the principles of Git. In this post, I will primarily discuss the Ezirmin library, but also discuss some of the finer technical details of mergeable data types implemented over Irmin.

Contents

Read more...

ANN: parallpairs — Eray Özkural, Feb 14, 2017

Parallel all-pairs similarity search algorithms in OCaml Sources Git repository ---> https://github.com/examachine/parallpairs The repository contains the 1.0 sources, a release will be made soon. Citation If you use this code, please cite the following paper. It is currently under review

Weekly News — OCaml Weekly News, Feb 14, 2017

  1. 2015 ML & OCaml post-proceedings now available
  2. parallpairs
  3. Opam 2.0.0~beta is out!
  4. Ocsigen Start and Ocsigen Toolkit: Quick Web and mobile app in OCaml
  5. namespace inside object?
  6. first official release of Hoogle for OCaml programmers
  7. release of containers-1.0
  8. BuckleScript 1.4.3 - Link time dead code elimination
  9. Next OUPS meetup, Feb. 21th 2017
  10. Ocaml Github Pull Requests
  11. Other OCaml News

Ocsigen Start and Ocsigen Toolkit reach 1.0! — Ocsigen blog (The Ocsigen Team), Feb 09, 2017

The Ocsigen team is very happy to announce the first release of two major new projects:

  • Ocsigen Start: a Web/mobile application skeleton written with Js_of_ocaml and Eliom. You can use this skeleton as a basis for your own app, or to learn Web/mobile app development in OCaml.

  • Ocsigen Toolkit: a set of responsive widgets for your mobile and Web applications in OCaml.

Both projects are available via OPAM and released under the LGPL.

Before installing, you can try out a dem…

Read more...

opam 2.0 Beta is out! — OCaml Platform (Louis Gesbert), Feb 09, 2017

UPDATE (2017-02-14): A beta2 is online, which fixes issues and performance of the opam build command. Get the new binaries, or recompile the opam-devel package and replace the previous binary.

We are pleased to announce that the beta release of opam 2.0 is now live! You can try it already, bootstrapping from a working 1.2 opam installation, with:

opam update; opam install opam-devel

With about a thousand patches since the last stable release, we took the time to gather feedback after…

Read more...

examachine@github — Eray Özkural, Feb 07, 2017

examachine has 22 repositories available. Follow their code on GitHub. Source: examachine (Eray Özkural)   I just uploaded a bunch of free software projects to github. Some of them were on google code, which was terminated by google. You may

Weekly News — OCaml Weekly News, Feb 07, 2017

  1. visitors
  2. Feedback on cmdliner doc language changes
  3. Memory Usage
  4. omake-0.10.2
  5. cppo, ocamlbuild, and dependencies
  6. where are we on the Hoogle for OCaml front?
  7. llpp v26
  8. Research officer in theoretical foundations of cyber security at Swansea University
  9. Ocaml Github Pull Requests
  10. Other OCaml News

A new blog on the radar! — GaGallium (Jonathan Protzenko), Feb 07, 2017

I am no longer an official member of Gallium, but of course Gallium will always remain dear to my heart. And it is with a mix of sadness and anticipation that I've started writing articles on another blog, namely, the F* blog. If you wish to hear the latest news about F*, and chat about language issues, or just get a sense of what's happening, you can go out there and start lurking in the comments section.

Looking forward to some bikeshedding^W constructive discussions!

Back-end Software Engineer at Maxwell Health (Full-time) — Functional Jobs (FunctionalJobs.com), Feb 06, 2017

At Maxwell, we are inspired by the opportunity to make a difference in society by helping people make better health, wellness and financial decisions. We build web and mobile applications that support a rich set of interactions among consumers, employers, brokers and product vendors. Our domain requires us to consider usability, design, business workflow, self-service and process scalability. We view ourselves as the stewards of change for a very complex industry.

About Our Team:

We passionate…

Read more...

News on the Eliom language — Ocsigen blog (Gabriel `Drup` Radanne), Feb 06, 2017

The Eliom framework is the part of the ocsigen project that aims to provide high level libraries for developing client/server web applications. It contains a language extension of OCaml that allows implementing both the client and the server parts of your application as a single program. It also contains several libraries and utilities to facilitate web programming.

The various Ocsigen libraries have received a lot of care lately. Notably, we have reworked the service API, we have added support…

Read more...

Full Time: Software Developer (Functional Programming) at Jane Street in New York, NY; London, UK; Hong Kong — GitHub Jobs, Feb 03, 2017

Software Developer

Jane Street is a proprietary quantitative trading firm, focusing primarily on trading equities and equity derivatives. We use innovative technology, a scientific approach, and a deep understanding of markets to stay successful in our highly competitive field. We operate around the clock and around the globe, employing over 400 people in offices in New York, London and Hong Kong.

The markets in which we trade change rapidly, but our intellectual approach changes faster still…

Read more...

FUNemployment — Phil Tomson, Feb 03, 2017

I finished up a 16-month LLVM contracting gig at the end of 2016. Got the flu a couple of weeks ago and have been pretty much out of commission until today when I finally had enough mental clarity and energy to get this blog going again.

Since I last posted in 2014 it seems that Octopress has been updated. I had to go back to my old desktop machine and find where all the blog-related files were and transfer them to my current desktop machine. Of course I tried looking at the Octopress documenta…

Read more...

NaBoMaMo 2016 writeup — Etienne Millon, Feb 01, 2017

Hello! It’s 2016, it’s November, and apparently it rhymes with #NaBoMaMo 2016, the National Bot Making Month. I made a bot!.

Full disclosure: it’s actually 2017, but I started writing this in 2016 so it’s OK. Also I’m not actually from the US, but I’ll relax the definition a bit and let’s pretend it means International Bot Making Year. Close enough!

Bots are all the rage - Twitter bots, IRC bots, Telegram bots… I decided to make a Slack bot to get more familiar with that API.

I w…

Read more...

Weekly News — OCaml Weekly News, Jan 31, 2017

  1. mSAT 0.6
  2. visitors
  3. Memory Usage
  4. Celebrating a round number of pull requests for the compiler distribution
  5. Ocaml Github Pull Requests

Jackline, a secure terminal-based XMPP client — Hannes Mehnert (hannes), Jan 30, 2017

screenshot

Back in 2014, when we implemented TLS in OCaml, at some point I was bored with TLS. I usually need at least two projects (but not more than 5) at the same time to procrastinate the one I should do with the other one - it is always more fun to do what you're not supposed to do. I started to implement another security protocol (Off-the-record, resulted in ocaml-otr) on my own, applying what I learned while co-developing TLS with David. I was eager to actually deploy our TLS stack: using …

Read more...

OASIS-DB sub-project is deprecated. — OCamlCore Forge News (Sylvain Le Gall), Jan 29, 2017

The OASIS-DB sub-project was still running but has almost no users for the past 3 years. It is now officially deprecated. OPAM is the best alternative, provides everything in a better way and is actively developed. As of today, the service has been mirrored to a static website and the upload closed, the mirror will stay alive as long as possible: http://oasis.ocamlcore.org/dev The OPAM project: https://opam.ocaml.org/ Thanks to all of the early contributors of this sub-project. Regards Sylva…Read more...

gesticulations 001 — Daniel Bünzli (log), Jan 25, 2017

Weekly News — OCaml Weekly News, Jan 24, 2017

  1. OCaml for windows is abandoned?
  2. Ocaml Github Pull Requests

Sixteenth OCaml compiler hacking evening at Pembroke — OCaml Labs compiler hacking, Jan 24, 2017

Happy New Year! Our first compiler hacking event of 2017 will be at Pembroke College.

If you're planning to come along, it'd be helpful if you could indicate interest via Doodle and sign up to the mailing list to receive updates.

Where: N7 Pembroke College
Cambridge​
CB2 1RF

N7 is through the second arch and on the left.

When: 630pm, Tuesday 7th February

Who: anyone interested in improving OCaml. Knowledge of OCaml programming will obviously be helpful, but prior experience of w…

Read more...

OCaml Developer at Arena (Full-time) — Functional Jobs (FunctionalJobs.com), Jan 20, 2017

We're Hiring Engineers

At Arena, we seek passionate, collaborative, entrepreneurial engineers to help us rethink how people are hired. We’re a small, early-stage, high-growth company that cares about producing a valuable product, growing together and using the right tool for the job. If this sounds like you, check out the openings below. We are hiring at all levels of experience at our New York City and Baltimore offices.

Mission and culture

At Arena our mission is simple: using da…

Read more...

Version 0.8 of the E-ACSL 0.8 plugin is available for download. — Frama-C, Jan 17, 2017

Weekly News — OCaml Weekly News, Jan 17, 2017

  1. Prof. Spacetime 0.1.0
  2. BuckleScript New Year release
  3. Deprecating the Forge in 2017 (forge.ocamlcore.org)
  4. Postdoc position in Applied Semantics for Production Architectures
  5. Beginners Question for js_of_ocaml
  6. BER MetaOCaml N104, for OCaml 4.04.0
  7. A question about Ocaml logging

Docker joins the Caml Consortium — Caml INRIA, Jan 17, 2017

How to Build an Exchange — Jane Street (Yaron Minsky), Jan 12, 2017

UPDATE: We are full up. Tons of people signed up for the talk, and we're now at the limit of what we feel like we can support in the space. Thanks for all the interest, and if you didn't get into this one, don't worry, we have more talks coming!

We're about to do the first of what will hopefully become a series of public tech talks in our NY office.

The first talk is on February 2nd, and is an overview of the architecture of a modern exchange. The talk is being given by Brian Nigito, and is insp…

Read more...

Weekly News — OCaml Weekly News, Jan 10, 2017

  1. Positions available (functional programmer/OCaml/Ocsigen)
  2. ppx_deriving question: deferring code generation?
  3. Lwt 2.7.0 – monadic promises; concurrent I/O
  4. Preparing a project for opam
  5. Portable way to retrieve and unpack tar files from github
  6. Improved type error messages for Ocaml
  7. Ocaml Github Pull Requests
  8. Other OCaml News

View older blog posts.