isubasinghe

5 ms·

1.
by isubasinghe 3mo ago
I do indeed, how do I send it over? Sorry about the late response!
2.
by isubasinghe 4mo ago
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&#x
3.
by isubasinghe 4mo ago
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 thi
4.
by isubasinghe 5mo ago
Oh hey I worked on this :)
5.
by isubasinghe 5mo ago
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.
6.
Ask HN: Starting my own startup to increase compute density
2 points by isubasinghe 7mo ago|1 comments
7.
by isubasinghe 1y ago
Makes perfect sense, if the excess fuel costs outweigh the commission costs
8.
by isubasinghe 1y ago
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,
9.
by isubasinghe 1y ago
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.
10.
by isubasinghe 2y ago
Was at UNSW recently, can confirm that apple doing special L4 stuff right now.
11.
by isubasinghe 3y ago
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.
12.
by isubasinghe 3y ago
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 Zue
13.
by isubasinghe 3y ago
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.
14.
by isubasinghe 3y ago
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&#x
15.
by isubasinghe 3y ago
That is a huge claim, almost screams red flag.
16.
by isubasinghe 4y ago
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.
17.
by isubasinghe 4y ago
Just email the academic and ask for the paper, it's the journals that are ripping everyone off.
18.
by isubasinghe 4y ago
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
19.
by isubasinghe 4y ago
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 wante
20.
by isubasinghe 4y ago
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 tha
21.
by isubasinghe 4y ago
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 o
22.
by isubasinghe 4y ago
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 Australia
23.
by isubasinghe 4y ago
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.
24.
by isubasinghe 4y ago
oof I had no idea it was that difficult, I am a citizen so never had to go through the process.
25.
by isubasinghe 4y ago
"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 curr
26.
by isubasinghe 4y ago
If you had to quarantine because you traveled overseas and you broke the law by not doing so, that should have been enforced.
27.
by isubasinghe 4y ago
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, sinc
28.
by isubasinghe 4y ago
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 iteratin
29.
by isubasinghe 4y ago
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 inte
30.
by isubasinghe 4y ago
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

More ›