Blog

The OCaml Planet RSS

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

Introduction aux RPCs dans Tezos : exemple d’un portefeuille (wallet) simple

Dans cet article technique, nous introduisons brièvement les RPCs dans Tezos à travers un exemple simple montrant comment le client Tezos interagit avec le noeud lors d’une instruction de transfert. Les RPCs de Tezos sont des requêtes HTTP (GET ou POST) auxquelles les noeuds Tezos répondent da...

20 Nov 2018

OCamlPro

Read Article
OCamlPro’s TzScan grant proposal accepted by the Tezos Foundation – joint press release

Tezos Foundation and OCamlPro joint press release - October 17, 2018 We are pleased to announce that the Tezos Foundation has issued a grant to OCamlPro to support its work on TzScan, a block explorer for the Tezos blockchain that will be made open-source. OCamlPro is a French company and R&D lab, f...

17 Oct 2018

OCamlPro

Read Article
Plans for OCaml 4.08

With the external release of OCaml 4.07.0 imminent, we in Jane Street’sTools & Compilers group have been planning what we want to work on forinclusion in...

29 Jun 2018

Jane Street Tech Blog

Read Article
Taskforce on the Tezos Protocol, and TzScan evolution

As we are preparing to work on the Tezos Protocol, we're still actively keeping the pace on the block explorer TZScan.io, adding cool information for baking accounts. We'd like to allow people to see who is contributing to the network and to understand the distribution of rolls, rights, etc. For sta...

13 Apr 2018

OCamlPro

Read Article
OCaml JTRT

This time of the year is, just like Christmas time, a time for laughs and magic... although the magic we are talking about, in the OCaml community, is not exactly nice, nor beautiful. Let's say that we are somehow akin to many religions: we know magic does exist , but that it is satanic and shouldn'...

01 Apr 2018

OCamlPro

Read Article
Proofs (and Refutations) using Z3

People often think of formal methods and theorem provers as forbiddingtools, cool in theory but with a steep learning curve that makes themhard to use in rea...

15 Feb 2018

Jane Street Tech Blog

Read Article
2017 at OCamlPro

Since 2017 is just over, now is probably the best time to review what happened during this hectic year at OCamlPro… Here are our big 2017 achievements, in the world of blockchains (the Liquidity smart contract language, Tezos and the Tezos ICO etc.), of OCaml (with OPAM 2, flambda 2 etc.), and of ...

15 Jan 2018

OCamlPro

Read Article