lou1306

73 ms·

871.
by lou1306 9y ago
Maybe this "not intelligence" stuff is way more useful than strong ai. And sure, each solution tackles a limited range of problem, but a lot of problems can be solved or made easier by this approach. The results are already abov
872.
by lou1306 9y ago
I went a little further and ran a simulation [^1] with random payments in the range from $1 to a fixed percentage of the payer's wealth. When this percentage is in the range 2-10%, the wealth inequality is significantly smaller than in
873.
by lou1306 9y ago
True, but typically he will spend more than _one_ single person with a dollar. I created a gist ( https://gist.github.com/lou1306/1041ed6cd4eed433cfabf45f666b... ) to try and prove my point a little better: when people a
874.
by lou1306 9y ago
Except that, in the real-world, wealthy people will spend more money than the poor. I wonder what we outcume would be if each agent spends a random amount of money that depends on their current wealth (say, anything between $1 and 5% of the
875.
by lou1306 9y ago
Lots of very smart, very hard-working people in most other fields are not famous at all. Why should science be any different?
876.
by lou1306 9y ago
Sorry, could anyone enlighten me on the "Avoid ElGamal" part? I thought it was pretty secure. Is it due to bad efficiency?
877.
by lou1306 9y ago
Well, Whatsapp servers have always been Erlang-based (well before the acquisition by Facebook) but your point stands.
878.
by lou1306 9y ago
Hah, the tidbit about Lamport having a different view from Hoare/Milner about revealing the control state is really spot-on. Coming from a mostly process-algebra-oriented background (CSP, CCS and the like), TLA+ can sound both familia
879.
by lou1306 9y ago
Not in Python (yet), but I recently built a tiny Bash script to extract some useful information from Java Flight Recorder logs (by essentially converting them to XML and doing some XPath queries). However, covering all corner cases in Bash
880.
by lou1306 9y ago
And when the IDE exploits Python 3 type annotation, the "static vs. dynamic" gap is much less painful.
881.
by lou1306 10y ago
By the way, the author of the original Paxos paper is Leslie Lamport, who currently works at Microsoft Research.
882.
by lou1306 10y ago
That was an interesting read :) There are lots of similarities between what you describe and the Model-Driven approach I was talking about, except that the latter aims to be much more generic. Indeed, if you go ahead with the implementation
883.
by lou1306 10y ago
To generalize this beyond programming languages parsing. That's basically what Model-Driven Engineering boils down to. You take a model, transform to another model (if you need to), then use it to generate stuff (basically reports and&
884.
by lou1306 10y ago
I hope technological progress in avionics is grounded in something a little more solid than "Facebook googly-eyes work good enough".
885.
by lou1306 10y ago
They're not ads. They just invite their partners to be our guest and share their tales.
886.
by lou1306 10y ago
What about "The Imitation Game"? I suppose that movie made Turing a quite well known figure, especially viz. Church.
887.
by lou1306 10y ago
I would have used the "up tack" [^1] (or \bot for LaTeX users) to signify "null". Empty set could lead to ambiguities imho. [^1]: https://en.wikipedia.org/wiki/Up_tack
888.
by lou1306 10y ago
Can you code (and teach how to code) on an iPad in an efficient and effortless way? The "terrible teacher" didn't just bash on the device, they listed some use cases for which it is clearly not the best tool around.
889.
by lou1306 11y ago
> uses == vs = So does Python. On the other hand, Smalltalk is way older than 20 and some of its features are innovative even today. I think finding the sweet spot between novelty and familiarity often beats innovation for its own sake.