404 bio not found
Education
MSc. Artificial Intelligence
Awarded for being a trusted member in 2022.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least four years.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least three years.
For publishing at least one post per week for eight consecutive weeks. The streak continues!
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least two years.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least one year.
Awarded for consistency of writing.
Skills/Languages
Dependent types, 3D algorithms/graphics, high performance computing.
C++, Haskell, Idris, Python, JavaScript... mostly
Currently hacking on
Expressing the WebGL spec only as types
My own holistic purely functional language
Micropayment systems
Create an account to connect with DrBearhands. You can also sign in below to proceed if you already have an account.
We're a place where coders share, stay up-to-date and grow their careers.
Want to connect with DrBearhands?
Create an account to connect with DrBearhands. You can also sign in below to proceed if you already have an account.