12 stories tagged ocaml, newest first.
79 points by sumnole | 102 comments
OpenAI research publication on improving its models' coding abilities in low-resource programming languages like COBOL, Fortran, OCaml, and Visual Basic.
8 points by stmonty | 3 comments
An HTML tutorial by John Harrison and Juneyoung Lee giving a quick-start, example-driven guide to using the HOL Light theorem prover.
49 points by leonry | 9 comments
Online book teaching quantitative finance with OCaml, covering derivatives pricing, risk, credit modeling, trading algorithms, and financial infrastructure.
370 points by avsm | 117 comments
Blog post by Anil Madhavapeddy on how AI agents can find exploits from just the rumour of a bug, after a cohttp path traversal fix, and how OSS security disclosure must change.
362 points by KolmogorovComp | 148 comments
GitHub repository for Bonsai, Jane Street's OCaml library for building dynamic web apps using Js_of_ocaml.
321 points by handfuloflight | 63 comments
GitHub repository for Jane Street's Incremental, an OCaml library for building self-adjusting incremental computations.
322 points by eatonphil | 99 comments
Jane Street Blog post on formal methods and their role in the future of programming, illustrated with OCaml-style specification code.
379 points by art-w | 270 comments
Personal blog post by Marc Coquand explaining why he loves OCaml, comparing it with Haskell and other languages he has used.
365 points by nukifw | 258 comments
A personal blog post, translated from French, explaining why the author chose OCaml as their primary programming language since 2012.
419 points by bozhidar | 386 comments
Bozhidar Batsov's blog post explaining why he started using F#, the ML-family functional language for .NET, coming from OCaml and Java.
332 points by gaws | 180 comments
Jane Street tech blog post explaining how the company accidentally built a better build system for OCaml (Dune).
420 points by gorenb | 251 comments
GitHub repository for Catala, a programming language for literate programming of law specifications, such as tax and benefits legislation.