De: Poland
Ubicación: Białystok, PL
En Useme desde 23 diciembre 2023
Sobre mí
I used C++ and Haskell much, but now I use Rust primarily. I also did some computed-checked proofs in Coq. I'm especially interested in prediction models (genomics) and artificial life simulations.