crypto5

6 ms·

1.
by crypto5 9y ago
> I highly doubt Google/Baidu will get into business of recognizing manufacturing defects in fidget spinners or analyzing sensory data They will build platforms for: - IoT - single robotic KIT/SDK, which allows you to easily in
2.
by crypto5 9y ago
> Good news is that postgres is going to get multi-master replication soon in postgres 10 Where did you read this?..
3.
by crypto5 9y ago
It is a lawyer's fees industry's size, not a legal software industry's size..
4.
by crypto5 9y ago
Do lawyers usually send very detailed itemized bills?
5.
by crypto5 9y ago
Is this project free for commercial usage?
6.
by crypto5 9y ago
They move much less, and have much more fat and maybe something else in them.
7.
by crypto5 9y ago
But "datacenter systems" are only 170B out of 3.5T there..
8.
by crypto5 9y ago
It depends. You can store 4TB on single HDD, but reading and processing it can take many hours, so you may want big data stack to have your task paralleled.
9.
by crypto5 9y ago
In random cloud provider you may not get FS with compression on your machine..
10.
by crypto5 9y ago
Part of ecosystem. See how firebase today is integrated with analytics/ads.
11.
by crypto5 9y ago
> I really want a statically typed Python. Can golang fill this role?
12.
by crypto5 9y ago
And what are the specs for this node? CPU, RAM?
13.
by crypto5 9y ago
How would you compare your product with https://www.blazegraph.com/ , which has similar feature set, but is much longer on market, and has wider adaptation(e.g. powers wikidata)?
14.
by crypto5 9y ago
> What about support at the driver level for Java and .NET applications or heterogeneous database schemas? I guess MariaDB JDBC driver already has two phase commit logic, because MySql has it for decade. It is enough for distributed tran
15.
by crypto5 9y ago
Will this cause double-buffering (one buffer for host FS and another for BTRFS) with doubled RAM consumption?
16.
by crypto5 9y ago
Is this the same like following?: Future<Long> f = executor.execute(() -> myFunc());
17.
by crypto5 9y ago
> Otherwise, Google owns any IP created while you're at the company. Not necessary in California: Any provision in an employment agreement which provides that an employee shall assign, or offer to assign, any of his or her rights in
18.
by crypto5 9y ago
CORBA was superior in terms that it had distributed two phase commit protocol, which gRPC doesn't have, and which is very critical in banking/finance industry.
19.
by crypto5 9y ago
> You need to get your company to 10k USD monthly product revenue within three months. You probably need to add how much you can spend on customers acquisition to your equation.
20.
by crypto5 9y ago
> How many Musk-like or Brin-like individuals have come through TCS or Wipro or Infosys on a H-1B so far? You don't know, these people are forced to be in underpaid H1B slavery for decades and are not be able to use business opportu
21.
by crypto5 9y ago
You can use coding as a kind of meditation to clear your mind from negative emotions.
22.
by crypto5 9y ago
> over systems What kind of systems?
23.
by crypto5 9y ago
> If the supply of axioms and inference rules was infinite, with no finite alternate encoding, it would mean Godel numbering would fail because the process of assigning numbers to each axiom and rule would never complete. I strongly disa
24.
by crypto5 9y ago
> Goedel's Incompleteness Theorem is parametric over formal systems, with first-order Peano Arithmetic being one of the weakest, most standardized systems in which it applies. It is parametric over formal systems described in Princ
25.
by crypto5 9y ago
See my comment about what do I mean: https://news.ycombinator.com/item?id=14039104 > Unless you want your logic to be infinite, of course. In that case, the method would break down. Godel numbering is infinite, because i
26.
by crypto5 9y ago
Let me give you example. At first you have predicate calculus, and Godel completeness Theorem. Now you add new tool: existence predicate, and you got first order logic, which allows you to prove Godel's incompleteness Theorem. What is
27.
by crypto5 9y ago
Proof was made within specific framework, with very specific quantors and type of inference, I still don't understand how it prevents existence of more powerful frameworks with different quantors and inference where incompleteness theo
28.
by crypto5 9y ago
I always was wondering: Godel proved his theorem regarding formal systems described in Principia Mathematics. In my understanding this is some higher level logic with recursive functions. But how this can be extended to the whole universe o
29.
by crypto5 9y ago
Planet Money's story about why is that: http://www.npr.org/sections/money/2014/07/23/334076398/episo...
30.
by crypto5 9y ago
> Did you just say we need a $1.5 trillion dollar fighter to fight goat herders? ISIS doesn't have an air force. ISIS potentially can have/get manpads, and MANPADS can have big advancements in foreseeable future. Also US can fa

More ›