isubasinghe

120 karmajoined May 28, 2019On HN

I am Isitha, I like Distributed Systems, Programming Languages / Compilers and I have some interests in verifiable systems as well.

I used to be a researcher at the Trustworthy Systems group at UNSW, you might've heard of seL4.

I now write code at Pipekit.

https://isub.dev

Recent submissions

Ask HN: Starting my own startup to increase compute density
2isubasinghe7mo1 comment
A programming language most of declarative and imperative programming github.com/pschachte
3isubasinghe4y2 comments
Data61 dismantles research group behind seL4 secure OS itnews.com.au
16isubasinghe5y3 comments

All submissions and comments on Hacker News.