A new experiment for FormaK has landed: Superoptimization. Instead of individual peephole optimization, the experiment prototypes using search and a model of the CPU to find the optimal ordering of all operations.
A new feature for FormaK has landed: improved model generation by leveraging a subset of the C++ Abstract Syntax Tree
A new feature for FormaK has landed: generating models with calibrated sensors
It's been a little while since I last wrote about Formak ( FormaK Under The Hood: Optimization for scikit-learn integration , Sat 08 October 2022). Since then, I've been busy adding functionality to FormaK and I've also been improving the tooling for the project, inspired by Boring Python: code quality. The latest piece of functionality is the C++ code generation. The PR is in progress, but the initial experiments have proved out that the generation pipeline is feasible and able to be integrated into bazel.
The second feature for FormaK landed: generating Python models