cyb0124

I mainly do C++ / systems programming. Interested in PLT & dynamical systems, as well as mathematical foundations & robustness of software.