Viewing profile — marco_salvatori

I cant speak for any of the people on that list either. But if they are committed to the core values of free software and empowerment for all, then its plausible to me that, rather…

Additionally, but on a slightly different note, I can think of two other common situations where these equivalence validation techniques are useful. When refactoring or doing perfo…

People who are unfamiliar with WeChat Pay in China, are underestimating the potential for the FB cryptocurrency. The integration of social media and payments by WeChat strongly fac…

Traveling extensively the past year I have noticed the following which are probably all coming into our lives soon. (a) In many countries border entry is accompanied by a fingerpri…

Little in this article meshes with my experience living in large Chinese cities: Beijing, Shanghai, Guangzhou, and Shenzhen. Specifically, I have not observed the social problems m…

Since a full version Mathematica is available on the Raspberry Pi, anyone who is interested has a very inexpensive route to getting a free copy. Mathematica is very functional on t…

Throughout my career, I have never met anyone who used MS tools that did not find them excellent and productivity enhancing. In fact I could probably add to MS any of the language …

Yes. When a client hires a developer, he cares that he receives a proper delivery and he cares that all of the decisions related to that delivery were made in his best interests. T…

Just building on the who and why idea ... as a technical manager an important aspect of your job is use your technical aptitude to help your non technical peers clarify business id…

My take away was that researchers produced evidence that the shape of bird eggs is optimized, around physical characteristics of the parent. I am open to the idea and sceptical. In…

At the risk of being too opinionated, PlusCal is a needless and unproductive diversion. The TLA language and source file structure is mostly standard mathematical notation, using a…

Doing the comparison TLA vs Rust as programming languages is a misunderstanding. It's exactly equivalent to the misunderstanding in a comparison like "what's the advantage of SQL o…

You might create a TLA model during the initial specification process to assist you in thinking through your problem. You would then update the model going forward as your understa…

Yes, strict separation will probably be the norm where there are sovereignty issues. And it will be enforced both ways. So for example,I will make the claim that if Alipay expanded…

My suspicion is that its very unlikely that Google and FB are going to be able to establish the government relationships that would allow them to operate successfully in China.Goog…

On a more general note, where ones work violates ones values either because one feels ones work can enable unwarrented agression, transgressions against human liberties, or violaat…

The employee reaction is natural. They feel their privacy has been violated

> if the NSA is going to spy on us, wouldn't you like that to be as secure as possible? If I was an American, I would deny the premis. If the NSA is going to spy on you, wouldnt yo…

One can also download the TLA+ book and the TLA+ hyperbook from Leslie Lamport' TLA home page https://lamport.azurewebsites.net/tla/tla.html Both are very useful resources and for …

Though this work may seem exciting, there is an existing, respected body of work available on how to mathematically structure a search over a large parameter space and how to mathe…

The police state that is China doesnt care about summit attendees, it cares about social harmony. Summit attendees should have a passport and a visa if needed. Otherwise they shoul…

For testing comparison testing should probably be the preferred means of testing (solves the oracle problem). A combinatoric tester of the quickcheck variety can be invaluable here…

Last time I played a bit with Signal, about a year ago, the app was a bit fussy but functioned without extra measures. And I believe it was the sign up procedure that was a bit fus…

The are 1 billion people in China who have easy access to Android phones which do not have Google Play Services installed and provide no access the Play store. There are potentiall…