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