Isitha's Home Page

Hey I am Isitha Subasinghe

I love computers and hacking around with them, I have been programming since I was in primary school.

I have knowledge in a wide variety of computer science topics, my aim is to keep adding to this knowledge.

My main interests at the moment are large scale distributed systems and programming language implementation.

Most of the code I hack around with is open source, you can have a look here

This following section is mainly aimed at recruiters so they can develop an understanding of what I am like as a programmer and what values I bring into their engineering organisation.

Programming Languages - Preferred Languages in Bold

I generally prefer languages with strong types, as this makes programming easier for me. Being able to write programs with properties that can be verified at compile time is a huge help. C++ (I should elaborate more here) and C do not exactly fall into this category but I still like these languages for perhaps more sentimental reasons.
  • C++
  • C
  • Haskell
  • OCaml
  • Python
  • Go
  • Java
  • Rust
  • JavaScript
  • TypeScript
  • x86-64 Assembly
  • RISC-V Assembly

Programming languages I am learning

  • Idris - Dependant types for formal verifcation is neat
  • Racket - So much hype including comments such as "god wrote the universe in lisp"


  • TLA+ - Proving distributed systems is important
  • PlusCal - Attempting to learn since TLA+ is difficult
  • Dafny - formal verification