HN Explorer

isubasinghe

↗ HN profile [ 88.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Ask HN: Starting my own startup to increase compute density

    I am an ex-researcher at Trustworthy Systems (the people behind seL4). Something I've noticed from my operating systems hacking days is that current datacentre compute is unnecessarily expensive. I believe I know how to…

    2 points 1
  2. A programming language most of declarative and imperative programming (github.com)
    3 points 2
  3. Data61 dismantles research group behind seL4 secure OS (itnews.com.au)
    16 points 3