If this was easy, then people would’ve done this a long time ago.

People have done it. It’s called Edge, Opera, Vivaldi etc. And looking at it historically, Safari is a branch from the same tree as well.

Everything you’re describing is further speculation and unfalsifiable statements for events which already have a simpler explanation. That’s a tell-tale sign of a conspiracy theory.

Google buying the company as some kind of plot to get spies into Google requires more assumptions than Google buying the company for the technology (as it has done with plethora of other companies). If Google is somehow complicit in it, they could just hire those people directly. And if it’s all covert operation, Israel is capable of training and coaching their spies to pass Google’s interviews. Google interviews aren’t trivial, but it’s also not some super-elite company which hires only the top 0.01% of software engineers.

If you want to convince me otherwise, you need to demonstrate why your explanation is more likely than the obvious one.

Nothing you wrote contradicts the observation that it’s easier to apply for a job and get it than to construct a full blown company which needs to be acquired. If there are already 99 ‘spies’ at Google, there’s hardly need for such elaborate schemes.

It’s easier to get operatives to apply for a job and get hired than build a company which ends up being bought. This sounds like conspiracy theory to me. Any large US corporation likely has operatives of various countries working for it.

This is too simplistic example to give any meaningful answer. What’s Type? What’s value? If it’s i32 and 42 than they both compile to the exact same thing. But if Type is Drop than the second will call the destructor on each iteration. (I’ve also written previously about similar example with BorrowedBuf¹).