jules

88 ms·

901.
by jules 11y ago
The problem isn't things that we know how to visualize but do not fit the 2D model, the problem is the things that we do not know how to visualize well (which is most of the data in our programs). Visualizing the output of a program
902.
by jules 11y ago
I think most of the amazement came from the time they were in. In that time this was truly revolutionary. Having a whole OS based on it is still arguably revolutionary, but from a programming/IDE perspective I don't think they are
903.
by jules 11y ago
Is there a real trade off between intuitive and easy to compute, versus sound and satisfies the ordering constraints, or can you just compute the most precise sound solution?
904.
by jules 11y ago
ARC is reference counting so it doesn't collect cycles, and it isn't real time either.
905.
by jules 11y ago
Does it really though? The netflix stats show that at most it's a 2x saving: http://3.bp.blogspot.com/-72J2TkcP4j0/TxcdvDk58VI/AAAAAAAABA... And EC2 is more than 2x as expensive as dedicated... Don't get
906.
by jules 11y ago
Is elasticity really an advantage of EC2? Dedicated is so much cheaper that you can just overprovision massively and still come out cheaper than EC2.
907.
by jules 11y ago
I didn't say optimizing Erlang is irrelevant, just that for me a book about optimizing Erlang is less relevant than a book about writing distributed systems in Erlang.
908.
by jules 11y ago
When they built 7km of the A4 highway in the Netherlands it ended up costing about 900 million euros, so that's what I based the numbers on. Not sure what's causing the massive difference. Maybe the 4 million dollars is per lane?
909.
by jules 11y ago
I guess, but in my experience optimization buys you maybe 2x if the code was written reasonably well. By using Erlang you leave 3x-30x on the table vs reasonably well written C, and it's often easier to write that C code than to optimi
910.
by jules 11y ago
Could you list the features that Arc pioneered?
911.
by jules 11y ago
Basically he said that they got a €60k subsidy from the Belgian government, and that this was a huge waste of taxpayer money for a couple of hand drawn sketches and 3d models.
912.
by jules 11y ago
Isn't that what I said? That was what I tried to convey in any case.
913.
by jules 11y ago
I would not write performance sensitive code in Erlang, so no. I'd be more interested in a book about distributed programming than a book about optimization.
914.
by jules 11y ago
Do you realize that while it wasn't successful, they did actually make a game? http://store.steampowered.com/app/281940/ For comparison, €60000 buys about 40cm = 0.0004km of highway.
915.
by jules 11y ago
Funding the content suffers from a tragedy of the commons problem.
916.
by jules 11y ago
I think I don't understand your question. My remark was about his type Tree[T] of syntax trees annotated with values of type T. For syntax trees annotated with types he uses Tree[Type], which makes sense. Then for untyped syntax trees
917.
by jules 11y ago
People have done something like this for pointer analysis (statically determining to which memory locations a pointer can point, which is a prerequisite for many optimizations), e.g. http://yanniss.github.io/doop-datalog2.0.
918.
by jules 11y ago
I don't understand the part about the variance of the tree type. Couldn't he just use the unit/top type as a type parameter for untyped trees, rather than the nothing/bottom type? Not only does that seem more intuitively
919.
by jules 11y ago
In most cases the ad is not what they are looking for.
920.
by jules 11y ago
Sadly my parents don't know that the top yellow box is an ad, they think it's the top search result. I expect most people are the same.
921.
by jules 11y ago
The guy has run multiple successful businesses, so maybe he paid for it himself. If only the US had a sane legal system (i.e. loser pays), then the poor could get justice too, rather than inevitably losing a battle of attrition.
922.
by jules 11y ago
The function type A -> B corresponds to A => B in logic. This is a subtle but important difference between logic and type theory. In logic a statement is true or false, but that's it. In type theory a statement (= type) has evide
923.
by jules 11y ago
Companies are governed by market forces. The whole point of a forest supervisor is to protect the public good against, among other things, market forces. That's why it's a conflict of interest when people in government positions o
924.
by jules 11y ago
Maybe you want your software to be used? I wish people could be a bit less religious and moralistic about licenses, especially the GPL camp.
925.
by jules 11y ago
Anything sysadminy like building third party libraries or configuring tools and getting them to work. I just want to write code, not fight with installation and configuration. Editors and dev tools are all fine after they are installed and
926.
by jules 11y ago
It's the same in Europe. You can pay everywhere with any debit card. These cards have both a magnetic strip and a chip. The readers have a slot for reading with the strip and reading with the chip. Most shops have taped the magnetic st
927.
by jules 11y ago
Branching or not is somewhat of a red herring. If you are working on a commit then while you haven't pushed that commit, you're effectively working on a branch. If somebody else works on the same code at the same time, then those
928.
by jules 11y ago
I tried polyphasic sleep where you sleep 10 minutes every 3 hours, except I couldn't fall asleep quickly enough so I didn't sleep at all for >72 hours. The strange thing is that I got the idea that I was somehow more awake, mor
929.
by jules 11y ago
The banks counted on other countries to bail out any other in the eurozone, so they provided as much risky debt as they could. Maybe I'm cynical, but however this ends, it will probably end up being a wealth transfer from the european
930.
by jules 11y ago
Yes, that's pretty much it. Doing this systematically for all types including dependent types that quantify over Bool, as well as for user defined higher inductive types is another matter.

More ›