isubasinghe

I do indeed, how do I send it over? Sorry about the late response!

This sounds fun, I haven't actually got any experience in static analysis, but very familiar with compilers and also formal verification (I also worked with abstract interpretation).

This is me: https://scholar.google.com/citations?user=Rfq4QEoAAAAJ&hl=en...

I would love to work there (in Bristol not Paris), I am eligible for the youth visa because I am an Australian under age 35.

Creusot works on functionalisation if I recall correctly. It translates to coma (https://coma.paulpatault.fr/language/program.html).

Verus encodes directly to SMT.

Creusot may gain some more automation perhaps from this approach.

Oh hey I worked on this :)

Hmm, this: https://en.wikipedia.org/wiki/List_of_aviation_shootdowns_an...

indicates what the author said is true.

The majority of these losses are on the ground.

Makes perfect sense, if the excess fuel costs outweigh the commission costs

There is always a specification, the question is "was this issue found against a version of seL4 that had been fully specified or not?".

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.

I believe only certain versions and on certain architectures is seL4 verified for. There are no bugs found at the C source code level for these builds of seL4.

Was at UNSW recently, can confirm that apple doing special L4 stuff right now.

This is silly, it assumes people will purchase instead. I pirate stuff because I am bored and just want to watch something, my order of priorities are: Pirate, not watch, purchase.

Nah trains >>> planes, not even a comparison.

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.

meh apart from the Deutsche Bahn, I never had to wait around in Europe and I lived there for a year.

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

Al Jazeera (international) itself doesn't have any incentive to be biased, bias may obviously occur via journalist's opinions etc that creep in.

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

That is a huge claim, almost screams red flag.

sigh this is just straight up wrong, I was an RA that worked on a real time social media analytics software. We were able to pick up on things like likely covid infections sites etc.

Just email the academic and ask for the paper, it's the journals that are ripping everyone off.

Well I guarantee you the research project I worked on is now gonna get shut down because of this.

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.

This doesn't surprise me, I pirate stuff because I am bored and want something to watch. The price tag to buy movies at $20 or so dollars is just too much.

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.

Elon was just unnecessarily cruel with the layoffs imo, if he had been more professional and less political I think people would have had a different reaction.

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.

because recruitment for software eng roles is lazy imo. The least effort is to look for someone with experience.

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.

Firstly your "quarantine camp" is actually a quarantine facility. These were setup because people wanted an alternative to hotel quarantine (because these were ineffective). This facility was for travelers not for random Australians.

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_...

Not really there were anti lockdown parties, but they didn't get much votes.

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

oof I had no idea it was that difficult, I am a citizen so never had to go through the process.

"freedom" is entirely subjective though, ultimately the majority of Australians were okay with quarantine (including myself), when it became useless and unpopular in Victoria, all those rules were taken away. I'd bet the current Victorian government gets reelected in November.

May I ask what freedom do you think Australia lacks at the moment?

If you had to quarantine because you traveled overseas and you broke the law by not doing so, that should have been enforced.

Come down to Australia. The tech scene is just CRUD apps but quality of life is pretty amazing. Comparable to Switzerland for median income people imo, Switzerland is still better if you are poor but don't think that applies here, since you alone on a Software Eng would put your family to above average income.

Relatively low tax (caps off at 30% for most people if/when the new tax legislation goes through, perhaps not for a Software Engineer though).

Winter in Melbourne hits 0 at the coldest, mostly above 4 degrees though. Summer can get quite hot, high 30s and the occasional 40.

But yeah, I am in Switzerland atm and I find the quality of life similar, really made me appreciate home (Australia) more as well because I thought this was the norm before coming to Europe.

Don't get me wrong we still have selfish self serving politicians but quality of life for most Australian's is high.

Cost of living will probably be higher than Berlin though, Melbourne/Sydney is comparable to Zürich in expense as well, but taxes will likely be lower.

Yes but leetcode test beyond the performance implications of data structures. They require you to practice those kind of problems.

Counter point: Performance is mostly irrelevant for like 90% of companies in this day and age. Even iterating through a million items is quite fast.

I don't want to work with someone who doesn't know basic DS&A too.

But why care about this stuff for basic JSON shifting positions? Accenture asked me to solve a leetcode hard, I closed the web page.

On top of that, these interviews don't really represent what your actual problem solving skills are. I know plenty of smart people who chose not to interview for big n simply because of the interview process.

I think Australia is very easy to have a good life in thanks to the laid-back culture and government support (healthcare, benefits etc), imo it is a mix of Europe + America.

The problem also is the laid-back culture which creates mediocrity in my opinion, the tech scene in Europe, America, Singapore is much better as a result.

Depending on priorities its a great place to live, but if you are super passionate about whatever you are doing, it may not be the best place to advance career wise.

What is wrong with public transport? I understand in America it's not great, but having frequent, reliable, fast, clean & safe public transport is amazing. Public Transport in a lot of Western European countries are like that with the exception of the DeutscheBahn (DB is hell).