indicates what the author said is true.

The majority of these losses are on the ground.

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?

Comments URL: https://news.ycombinator.com/item?id=46956307

Points: 2

# Comments: 1

I worked at the lab, I wasn't aware of any bug/issue on the fully specified kernel, that is why I am unsure if this counts or not.

I would need to have a look at the source code and proofs to confirm.

Especially since the cheaper plane flights in Europe are absolutely painful, dropping you off 2 hours away from the city centre into some minor airport.

Taking the TGV from Paris to Zuerich in comparison is such a relief.

In a lot of ways, I understand why Deutsche Bahn sucks, a lot of politics ruined the company.

But as I understand, Al Jazeera is run as an means to show Qatar's importance/relevance.

Academic work has costs but nothing like 42k per month, if anything that was the entire budget allocation for one RA's salary for 80% of the year.

The current project I am on now, has only been allocated 250k for multiple people (3 RAs) working on it for the year.

I did have a patch of piracy free media when Netflix was had everything I wanted to watch, now Netflix cancels nearly every show I get excited about after one season. In addition to this there are like 5 or 6 providers now, paying $20 or so per provider for 4k streaming is just too costly.

The anti Elon group grew pretty massively when he laid off people in the way that he did. Anecdotally, I was neutral of Elon before the layoffs but that changed when I saw the way he conducted himself.

I am personally of the opinion that experience isn't a good indicator of programming ability, but it may be an indicator of software engineering capability. See here https://blog.codinghorror.com/skill-disparities-in-programmi... (links to a study and talks about this point more)

I've worked with masters students who were far better programmers than senior engineers I've worked with.

We didn't have this facility in Victoria, it was only for NT. We had to quarantine at home. A lot of Victorians weren't happy about not having a similar facility because the hotel quarantine that Victoria had in place wasn't as effective. We would go to zero cases and then a some staff would get covid from the hotel and spread it.

We quarantined at home. My family got sick and guess what, they weren't "dragged off" by the Gestapo, they just stayed at home for 7 days.

Fox News isn't the best source of information fyi.

Regardless, Australia is a democracy (I am not sure if you knew this), if these were unpopular, the parties involved will be voted out. Australia has preferential voting so there is no reason why an anti lockdown party couldn't win.

I can't be arsed explaining this, look here: https://www.reddit.com/r/OutOfTheLoop/comments/r9zznn/whats_...

Australia has preferential voting so you aren't really throwing away your vote if you vote for these niche parties.