About me

I’m Natallie Baikevich, a funatic programmer with financial side-effects who happened to find herself in Zürich. Whether you have any questions, want to chat about the languages/programming/whatever or up for a crazy hike - let me know!

… or email me.

About the blog

This blog is a collections of the pseudo-random thoughts in pseudo-random moments of time, which - I hope - include some useful tips and discoveries… or just something that bothered me enough to write about :)

type nat = x:int{x >= 0}  

type-nat is also an extension of my old blog.