Lukasz Stafiniak lukstafi

Prior to 2014, I contributed to Toss: General Game Playing and Hybrid Modelling.
I worked on my Functional Programming lectures (in OCaml) between February 2012 and March 2013. Currently I'm migrating the lectures into a book format, and then I'll rewrite them as a book for OCaml 5.
In 2015, I defended my PhD thesis on inferring the properties of programs. I finished the code in March 2015.
Between 2015-2021 I worked at Google, on knowledge representation and semantic parsing (in C++), then briefly on deep reinforcement learning (Python/JAX).
I used Emacs for two decades. In 2022 I switched to Visual Studio Code. I wrote Navi Parens with what I was missing from Emacs, planning to enhance it with some TeXmacs features. I thought of giving up on TeXmacs too but maybe I'll stick with it.
My main project is OCANNL, a from-scratch deep learning framework fully in OCaml. Since April 2024, my work on OCANNL is sponsored by Ahrefs! Visit the Ahrefs website.

Provide feedback