Ask HN: Starting my own startup to increase compute density

2 pointsisubasinghe1mo ago1 comments

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 solve this through the work done at the lab, and I would like to get funding for me to work on this.

I believe there is already a competitor out there (https://formalstack.com/).

I am 27 and I have zero idea on how I would get the necessary funding for this project as an Australian and I was wondering if anyone here would be able to help?

1 comments

brudgers1mo ago

Curious if you have applied to YC.

j / k navigate · click thread line to collapse

Ask HN: Starting my own startup to increase compute density

2 pointsisubasinghe1mo ago1 comments

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 solve this through the work done at the lab, and I would like to get funding for me to work on this.

I believe there is already a competitor out there (https://formalstack.com/).

I am 27 and I have zero idea on how I would get the necessary funding for this project as an Australian and I was wondering if anyone here would be able to help?