Viewing profile — 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…

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 ga…

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.

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 unnecessa…

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 …

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 s…

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 ruine…

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 …

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 et…

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 e…

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 pi…

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 …

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 indicat…

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 f…

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 ni…

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 …