Constant-time List Truncation Implementation in OCaml
March 1, 2017
An example of constant-time implementation for truncating a list in OCaml.
Read More
Embedded real-time safety-critical SW, embedded Linux, OS kernel and hypervisor development, deploying ML models on embedded systems, programming languages and compilers development with LLVM, MLIR.
March 1, 2017
February 23, 2017
February 6, 2017
January 9, 2017
January 2, 2017
December 30, 2016