Stories by mseri

Ts2ocaml: Generate OCaml bindings from .d.ts files

Verification for Dummies: SMT and Induction

How WhatsApp enables multi-device capability

Multi-device beta: WhatsApp web without the need to keep your phone connected

Onivim2: Status of the Project

Elements of Differential Geometry in Lean: A Report for Mathematicians

Dating first cases of Covid-19 (PLOS pathogens)

Dirsp-exchange: auditable Signal Protocol and ProScript-to-OCaml translator

OCaml-pandoc: a native OCaml library to write filters for pandoc

Docs.ocaml.pro: An OCaml Documentation Hub

Asymptotics and perturbation methods – Prof. Steven Strogatz

Finding Mona Lisa in the Game of Life

What does the perfect tiramisu reveal about chemistry?

The Evolution of a Research Paper

A Complete Guide to LLVM for Programming Language Creators

Multicore OCaml – what is coming in 2021

A taste of OCaml predictable performances

The iOS Covid App Ecosystem Has Become a Privacy Minefield

Reflections on my first completed application in OCaml

OCaml helps uncovering a lock bug in glibc

1
2
3
4