mzl

29 ms·

331.
by mzl 14y ago
Depends on where and how they are created, but in our case lots of heavy futures were created in the same object. YMMV.
332.
by mzl 14y ago
While the Future abstraction in Scala is very nice, it is unfortunately not very good in a multi-threaded context. The implementation of Futures contains a lock that, IIRC, locks the outermost object they are contained in. For us, this led
333.
by mzl 14y ago
Recently I heard a talk by a guy from Oracle designing Sparc CPUs. IIRC, he said that while they could potentially put bigger caches on their CPUs, for their test-cases it wasn't that much of a benefit above their chosen size. Another inter
334.
by mzl 14y ago
While the Intel compiler may be better in some/many cases, it is not universal. In my experience (a couple of years ago, C++ code, high-performance requirements), the Intel compiler was quite a bit worse than GCC for code with a lot of bran
335.
by mzl 14y ago
While a system as complex as ACL2, Coq, or Isabelle most likely will have bugs, the really interesting question is if the proof verifier that is run on the generated proof is too complex or has bugs. In my view, one should preferably have s
336.
Octane minus V8(blog.mozilla.org)
73 points by mzl 14y ago|18 comments
337.
ACM ICPC 2012 Final Results(static.scrool.se)
2 points by mzl 14y ago|0 comments
338.
ACM ICPC (student programming championships) Live broadcast starts 9am CEST.(icpclive.com)
3 points by mzl 14y ago|0 comments
339.
by mzl 14y ago
Just curious, what part of an XOR-linked list is undefined? AFAIK, casting to and from sufficiently wide integers is ok.
340.
by mzl 15y ago
Software is deterministic, so it is not really possible to generate noise. There are non-deterministic parts of software (for example, thread interaction in concurrent systems), but this is just observable behavior of hardware effects. The
341.
by mzl 15y ago
Thanks. I misread the content description as referring to the latter paper only.
342.
by mzl 15y ago
The polymer article was very interesting, really cool stuff. However, I could not find any mention of using a constraint solver for instruction level timings. Is that in another article, or did I just miss it?
343.
by mzl 15y ago
Also note that the answer you refer to doesn't say to learn language X if and only if it will let you keep a job/get you a job. It refers specifically to whether one should learn C++11. It says nothing at all about the myriad of fun and int
344.
by mzl 15y ago
Does sort by magic work for you after the recentish overhaul? For me (and it seems from my searches, for a lot of others) it just ran out of magic pixie dust. When I turn it on, I get a never-ending stream of engadget posts, which is normal
345.
by mzl 15y ago
As an example, Sikhs in Sweden have a religious exemption from the laws against carrying knives. Concerning this particular example, I really don't think that the Kopimism founders are out to get around any laws. Thy are much more intereste
346.
Klarna raises $155 Million to expand globally(klarna.com)
1 points by mzl 15y ago|0 comments
347.
by mzl 15y ago
There is a newer paper than the one described in the linked article available ( http://www.csc.kth.se/~gkreitz/spotify-p2p11/ ) that has some interesting measurements on the network.
348.
by mzl 15y ago
From the "Coders at Work" interview in 2009, JWZ says that he mostly writes Perl scripts for small one-off tasks, and every now and then a new screen-saver in C.
349.
by mzl 15y ago
While I see what you mean with referencing Myers-Briggs, do you really believe that it is useful? Some reference reading: http://www.skepdic.com/myersb.html
350.
by mzl 15y ago
The data linked later on in the thread is the exact data used for the infographic, and it was just tabloid make-belive news. The reason why the numbers are wrong is that Spotify had recently launched at this point, and had essentially no re
351.
by mzl 15y ago
That infographic is just wrong, I wish people could stop linking to it all the time. The data it is based on is some small numbers from the first months after Spotify launched, before the revenue strems had actually started. No hard numbers
352.
by mzl 15y ago
For a lot of people with that use-case the UI might not matter, but it is not the only use case for a streaming service. From http://www.csc.kth.se/~gkreitz/spotify-p2p10/ one can see that almost 40% of tracks played are chosen actively a
353.
by mzl 15y ago
The client does P2P and local caching for offloading the servers. Apart from the technical issues in doing it browser side (for example, opening TCP connections), I seriously doubt that it could be done with the same level of efficiency.
354.
by mzl 15y ago
You can't get the same level of service in a webapp. From technical papers on Spotify, one can see that they get an average of about 250ms to start playing a song, but still their own servers only need to stream about 20% or so IIRC of the
355.
by mzl 15y ago
Sure there is. "just" use the Metadata API :) https://developer.spotify.com/en/metadata-api/overview/ There should be services built using it, but I don't know any offhand.
356.
by mzl 15y ago
While it is hard to believe that 100ms will actually matter, it is precisely what both Amazon and Google found out when they studied latency sensitivity in users. Research is not only about confirming what we already believe, sometimes one
357.
by mzl 15y ago
Saying that potatoes is new is not racist, but it is ethnocentric.
358.
ACM ICPC Final Results(scrool.se)
2 points by mzl 15y ago|0 comments
359.
by mzl 16y ago
AliceML is, AFAIK, more of an experiment in making a statically typed Mozart/Oz like system.
360.
by mzl 16y ago
While I don't know of any specific use-case, it is of course very easy to imagine an architecture with signed memory-address space. One could for example separate protected/kernel memory from user land memory with the signedness.

More ›