pacala

91 ms·

841.
by pacala 12y ago
Www.mizar.org Coq.inria.fr
842.
by pacala 12y ago
> How did they conquer without leaving a standing army? If they were so brutal then those left behind would revolt, eventually. Terror does wonders for obedience. Revolt all you want. We'll be here next summer. You better have the t
843.
by pacala 12y ago
I wish I could be as optimistic. But AGIs are physical beings with computational limitations that run on energy. The Sun can produce so much over a given period of time. It's not hard to imagine a competition trap involving AGIs, each
844.
by pacala 12y ago
While commerce and trade are important, the basis of our existence is physical. We are physical beings with physical needs. Physical resources (energy, land, lumber, food, water, etc.) all have owners in the real economy. Joe and Bob are un
845.
by pacala 12y ago
Congratulations! Super-excited to have an open mobile OS making strides forward.
846.
by pacala 12y ago
DI is nothing else than partially applied functions, which is useful to limit the number of values flowing explicitly to the call point. Limiting the data flow diameter is good, as our brains can handle so much information simultaneously. O
847.
by pacala 12y ago
The world is not a zero sum game. But adjusted to a 3% annual growth rate, it _is_ a zero sum game. In other words, the growth rate is not arbitrarily large. On top of that, the finance industry is dedicated to capturing the 3% growth, and
848.
by pacala 12y ago
Actually, the visitor pattern (in Java) is significantly harder to use than pattern matching. Visitors break variable scoping. You have to manually add a lot of classes and instance variables to get the equivalent behavior of a pattern matc
849.
by pacala 12y ago
This video uses the same slide deck: https://www.youtube.com/watch?v=vvK-XOiKXOs
850.
by pacala 12y ago
A very common need is to do an bunch of independent RPCs. Small wish: Allow returning values from a goroutine, along the lines of "results <- go rpc(args)".
851.
by pacala 12y ago
It is quite sad how constructive communication breaks down. Users of open source have to deal with half dead projects and ponder constantly when the pain of not getting issues addressed overcomes the pain of switching or rewriting from scra
852.
by pacala 12y ago
Logically, closed extension and open extension are different things. OO conflates them together for no reason other than having the polymorphic dispatch hammer. FP equivalents for polymorphic dispatch are pattern matching for closed extensi
853.
by pacala 12y ago
Unless I'm missing something, enums are closed, thus overlap with sum types for the use-cases. Subclasses are an implementation detail in this context. Here is an example that uses subclasses to implement generalized enums, aka sum typ
854.
by pacala 12y ago
Out of the myriad new languages the crop out almost daily, Dart stands out as clean, modern, fast and ready to roll with a large standard library. The team is strong and stacked with experts in the field. On the flip side, algebraic data ty
855.
by pacala 12y ago
> Driving adoption is a matter for all products in the market, not specific to operating systems. It's a matter of degree. To simplify, the costs of switching are linear in the complexity of using the product. I apologize that I don
856.
by pacala 12y ago
> Could you explain how an operating system is a natural monopoly? The cost of providing and OS and an entire ecosystem of device drivers and an an entire ecosystem of apps is very high. But even if you manage to build that, the cost
857.
by pacala 12y ago
I am refuting the statement "A monopoly should be defined by barriers to entry, not just market share." made by sfrank2147, specifically interpreted as "barriers of entry for search market", which are surprisingly high.
858.
by pacala 12y ago
There are serious logistic/economic barriers to enter the search space. Building a competitive search engine is very expensive. Ask the Bing people. Yahoo Search is actually powered by Bing since 2009 according to Wikipedia. Their own
859.
by pacala 12y ago
We are on the cusp of solving natural language understanding, which will enable natural language for humans and relational databases for computers. There will be no "Semantic Web", there will the "Web" and the machines t
860.
by pacala 12y ago
> NO organization is suppose to have market power. This is naive wishful thinking. It's popular to create simplistic models to explain basic economic principles, models that assume perfect markets. However, reality does not (have to
861.
by pacala 12y ago
> that the ultimate feat of existence is getting married to someone of the opposite gender. Close enough. Life is about reproducing, or else we would not be here. +1 for impressionable young girls.
862.
by pacala 12y ago
This is a very fine line to walk, but I hope they manage to walk it successfully. The product is the pay option. Ads are a way to get a discount. Up to the customer if he wants to go through the trouble of watching ads. A form of price segm
863.
by pacala 12y ago
I'm scratching my head a bit on what "actor framework" really means. The only mildly interesting feature I see in BeeHive examples is the Channel, which looks like an asynchronous RPC, perhaps with ordering. Can someone pleas
864.
by pacala 12y ago
There are droughts and droughts. Some suspect a 150 years drought led to the collapse of Maya civilization. > Our results show rather modest rainfall reductions between times when the Classic Maya Civilization flourished and its collapse
865.
by pacala 12y ago
Google has Google Compute Engine for their IAAS layer. https://cloud.google.com/products/compute-engine/
866.
by pacala 12y ago
I'm not hacking Haskell very often, but I get now and then vibe from the community that: a. Avoid typeclasses until strictly necessary, http://www.reddit.com/r/haskell/comments/1j0awq/definitive_g...
867.
by pacala 12y ago
Great comment, provides good food for thought. The core FP idea is to focus on immutable data and data transformations. This is the minimal set of concepts one needs to juggle to get computations going. When modules communicate, they ne
868.
by pacala 12y ago
The ownership idioms are very similar to idiomatic C++11 and std::unique_ptr. Which is to say that Rush has got an industrial strength safe memory management system. But Rust stands out because the rest of the language is such a joy to use,
869.
by pacala 12y ago
Snack suggestion: peeled carrots.
870.
by pacala 12y ago
There will be a bright future for our capital owning population. There is a weak correlation between old people and capital ownership and easy to mistake the two if inferring from the age axis, e.g. person X owns more capital at 50 than at

More ›