29 Nov 2022 - Tarides
OCaml Blog
The OCaml Planet
OCaml 5 Beta2 Release
Just about a month after the OCaml 5 Beta release, the OCaml 5 Beta2 version has been released, taking us one step closer to the full OCaml…
Solve the 2022 Advent of Code Puzzles with OCaml
Too many programmers only know OCaml through a functional programming language overview course at university. They erroneously believe OCaml…
24 Nov 2022 - Tarides
Visualizing information propagation in markets
The Dojima rice market, established around 1716, is widely considered tobe the world’s first organized futures exchange. Instead of directlyexchanging money ...
23 Nov 2022 - Jane Street Tech Blog
Six Surprising Reasons the OCaml Programming Language is Good for Business
Functional programming languages have been around since the 1950's, when the first high-level languages were used to program early computers…
22 Nov 2022 - Tarides
Computations that differentiate, debug, and document themselves
One of the problems we wrestle with at Jane Street is how tounderstand and manage the costs associated with the positions we hold:things like margin, financi...
17 Nov 2022 - Jane Street Tech Blog
Alt-Ergo: the SMT solver with model generation
The Alt-Ergo automatic theorem prover developed at OCamlPro has just been released with a major update : counterexample model can now be generated. This is now available on the next branch, and will officially be part of the 2.5.0 release, coming this year ! Alt-Ergo at a Glance Alt-Ergo is an open ...
16 Nov 2022 - OCamlPro
OCaml 5 at Open Source India 2022
Open Source India 2022 With OCaml 5 just around the corner, it's been a really exciting year to attend conferences all over the world. Just…
16 Nov 2022 - Tarides
News
If you want to contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.