isubasinghe

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

Oh hey I worked on this :)

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.