About Vélimir

Hi! I'm a CS student doing programming language development (type theory in particular), assisted theorem proving and computer art as hobbies :)

I spend a significant part my free time overthinking how computing could be better, in terms of reliability, composability and transparence to the user.

I'm still a beginner when it comes to type theory, so I'll probably be asking lots of questions that may be ill-constructed. Please be gentle!

Lists

Timeline

vchakhno has no activity yet