marco_salvatori

9 ms·

1.
by marco_salvatori 7y ago
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 than words in a joint statement, they should fork the FSF.
2.
by marco_salvatori 7y ago
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 performance work, its very helpful to create two variant implemen
3.
by marco_salvatori 7y ago
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 facilitated consumer adoption of their payment service. Everyon
4.
by marco_salvatori 7y ago
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 fingerprint scan which will be either a left and right index finger s
5.
by marco_salvatori 7y ago
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 mentioned "crime, ... social segregation, and destroyed
6.
by marco_salvatori 7y ago
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 the Raspberry Pi and, I think, making the software available
7.
by marco_salvatori 8y ago
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 vendors from years ago. I remember using Borlands terminal b
8.
by marco_salvatori 8y ago
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. Technology choices are an important part of building a techni
9.
by marco_salvatori 8y ago
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 ideas related to, possibly, technical problems. Once problems
10.
by marco_salvatori 8y ago
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 the context of humans it would be like saying the shape of
11.
by marco_salvatori 8y ago
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 ascii characters. Most people will be familiar already with t
12.
by marco_salvatori 8y ago
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 over Rust, that as far as I know is designed s
13.
by marco_salvatori 8y ago
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 understanding of the domain improved and as system requirements chan
14.
by marco_salvatori 8y ago
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 into the US it would own the entire payments market in one
15.
by marco_salvatori 8y ago
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.Google collects massive amounts of citizen data and it has close
16.
by marco_salvatori 8y ago
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 violaations of human rights. The most influential thing one can do
17.
by marco_salvatori 9y ago
The employee reaction is natural. They feel their privacy has been violated
18.
by marco_salvatori 9y ago
> 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 you like your fellow country men to refuse to work for
19.
by marco_salvatori 9y ago
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 those interested in learning I wo
20.
by marco_salvatori 9y ago
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 mathematically interpret experimental responses. That body of wor
21.
by marco_salvatori 9y ago
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 should act in a harmonius manner. If they can do that, then they
22.
by marco_salvatori 9y ago
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,and can be used from the unit test level all the way to ext
23.
by marco_salvatori 10y ago
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 fussy. Regarless, though, Chinese communications controls are c
24.
by marco_salvatori 10y ago
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 potentially more than 10 people out of those 1 billion that could have
25.
by marco_salvatori 10y ago
I generally advise nice, ethical people who want to benefit society to avoid working for morally ambiguous organizations, as it can have a degradating effect on their character. Still, some people find their principles in unexpected places.
26.
by marco_salvatori 10y ago
For those interested in security engineering in the financial industry a good reading source is the banking section of: http://www.cl.cam.ac.uk/~rja14/book.html One interesting and relevant take away (of many) -- The g
27.
by marco_salvatori 11y ago
I didn't feel this article was clearly thought out. If just manufacturing things, whatever things are, were important then possibly replacing (magically) the industrial sectors in the US with those from China would be a good thing. If
28.
by marco_salvatori 12y ago
"Prof. Mazières’s research indicated some risk that consensus could fail, though we were nor certain if the required circumstances for such a failure were realistic." I'm surprised to see the above statement in a pres
29.
by marco_salvatori 12y ago
Any experienced engineer who tackles even a moderately complex coding problem and decides beforehand to think through that problem with a machine checked specification (say with Lamports TLA) will very likely discover that 1. His first 4, 5
30.
by marco_salvatori 13y ago
Has anyone out there used LightTable on production project. What are your impressions of its usability? How has it affected you productivity? How does well does it integrate with other tools for your platform? Other...?

More ›