Skip to main content

rtshkmr's digital garden

😌 Welcome #

It’s fresh so please watch this space for a bit as I water it more.

Recent

posts

🐫 Songs of the OCaml Compiler Part I: A Proxy Project

I recently found myself with some time and the chance to finally pick up OCaml. Its use in correctness-first systems is what had first caught my eye back in my University days If I remember right, the earliest glimpse I had of OCaml in industry came from this talk, hosted by the school’s hacker community where an alumni from a prop-trading shop came down to share what they were building. ; I never had the chance to explore it deeply.

··5059 words·24 mins
readings