Hi, I am Nicholas. I studied computer science at NTNU and I am currently working as a software engineer in the electronic signature and identification space.
This is my personal website where I write blog posts sometimes and keep a tab of all the interesting projects I've worked on.
I've been programming since 2016 or so and I try to keep all my projects public for others to see. My main interests are functional programming, web programming, programming languages, dependent type theory and proofs. Over the years I've programmed in a plethora of languages including mainstream languages like Java, Kotlin, Python and Javascript to more functional oriented languages like Haskell, Idris and Clojure.
Posts
I try and write blog posts whenever I'm working on an interesting project or explanatory posts about different computer science or technology related domains.
Projects
In my spare time I sometimes like working on side-projects. These either come in the form of proof of concepts prototypes or larger projects like applications or APIs. I also have a catalogue of gists that I upload to GitHub. I usually make these when exploring different concepts or feel like I've solved a problem in an elegant way.