mzl

61 ms·

421.
by mzl 16y ago
While it is very common to use C as the canonical fast language, it has some warts that really hinders the compiler from doing optimizations. The main one is of course pointer aliasing. This, for example, stops the compiler from unrolling l
422.
by mzl 16y ago
More of a complexity result than an algorithm, but it is a really fun result anyway. In complexity class we were given the problem to simulate an n-tape non-deterministic Turing machine with a 2-tape non-deterministic Turing machine with ju
423.
by mzl 16y ago
PCPs are true magic. I once learned how to construct a PCP-proof with verification using just 7 bits, but it still feels like magic to me. The 3-bit variants are just crazy.
424.
by mzl 16y ago
You could also use google translate from latin, although this particular phrase is somewhat special :)
425.
by mzl 16y ago
It still needs to keep track of it for purposes of stopping double voting.
426.
by mzl 16y ago
I was actually surprised that it could compile our stuff at all, and that it runs mostly all right. We do use a lot of the language, and we need at least gcc version 4.2 for example.
427.
by mzl 16y ago
That looks like an interesting tool, I'll have to try it out. The program is deterministic given a fixed seed. The bug depends on whether or not optimization is on, so it might be in the backend. What I've heard is that the C++ FE in partic
428.
by mzl 16y ago
I hope to do so, I really like the project and want it to succeed. Unfortunately, I'm not yet sure how to reduce the 100000 lines to something manageable with the problem clear :)
429.
by mzl 16y ago
With regards to urls.py, I would greatly recommend using surlex. It makes it much nicer and much more readable.
430.
by mzl 16y ago
Unfortunately, Clang is still a bit shaky at times. In our (C++) project, we get a miscompilation in Clang that we don't get with gcc, the visual studio compiler, nor the intel compiler. It will be great when it is more stable: clang cuts t
431.
by mzl 16y ago
Thanks for the info. Maybe I'll try something a bit more mechanical for my next keyboard. I'll definetly remeber to try and stop bottoming out if I get one :)
432.
by mzl 16y ago
Essentially anything with more travel-distance than a laptop keyboard. I've tried a lot of different models. Currently, I'm using a Logitech diNovo as my main keyboard, but I'm looking for a replacement since it is starting to break.
433.
by mzl 16y ago
If you have some heavy computation parts that you could implement in some lower-level language like C, then you might want to check out Erlang again. Erlang is really good at making the coordination layer efficient (the message passing and
434.
by mzl 16y ago
As ohers said, it is a very subjective qestion. Personally, my hands start to hurt after about 15 minutes typing on a "real" keyboard. That being said, the ergonomics of using a laptop-style keyboard is usually much better when it is extern
435.
by mzl 16y ago
Nice to know. Last time I tried (about one and a half years ago) it didn't.
436.
by mzl 16y ago
Microsoft has had small download managers for their software when delivered from MSDN Academic Alliance for quite some time. Unfortunately, I could never get a copy of Windows to use, since I only had access to Linux and Mac computers. If i
437.
by mzl 16y ago
The fun alternative language example is of course Fortran, where at least early versions disregarded whitespace.
438.
by mzl 16y ago
I quite like the approach taken in MetaLua ( http://metalua.luaforge.net/ ) for allowing more advanced cases of meta-level programming. After some exposure, moving up and down levels using +{} and -{} becomes about as readable as meta-progr
439.
by mzl 16y ago
Well, not to be too pedantic, but the name is Mongrel2, not Mongrel 2. I agree that it can be a little odd though. Namingwise, I personally find m2sh somewhat hard to parse, because I read it as "m to sh" and not as "mongrel2 shell".
440.
by mzl 16y ago
Ok, you've got a point there about separating the things that are measured.
441.
by mzl 16y ago
Because the start-up time of the interpreter will affect you every time you run one of those utilities.
442.
by mzl 16y ago
On the other hand, there are a lot of small scripts and utilities that are written in Python, so it is a useful metric for quite a lot of use-cases.
443.
by mzl 16y ago
I was in the original beta-trials of Spotify (started second half of 2007), and the info then seemed to indicate that the intended model was ad-financed. A lot of people apparently asked about paying to get rid of the ads. As for smaller ar
444.
by mzl 16y ago
As far as I remember it (it was something a STIM representative said in an interview, can't find it just now), it was about how the revenues from Spotify had increased significantly. Also, one should remember that, AFAIK, the initial idea w
445.
by mzl 16y ago
I agree that they are very tight-lipped about actual revenue streams, but I don't think that is their fault. I would guess that it is the record companies that want to keep such numbers secret. One of the guys who started Spotify previously
446.
by mzl 16y ago
Even though the most recent numbers from Spotify indicate something on the order of 10 million users, I agree that Apple still has larger innate audience. However, Spotify uses filesharing to further decrease the load on their own servers,
447.
by mzl 16y ago
Just curious, why do you believe that Spotify doesn't make any money for anyone?
448.
by mzl 16y ago
Remember, copyright-issues by definition do not apply to clean-room implementations. For there to be a breach of copyright, one has to show that the copyrightable material (i.e., the source code) actually derives from the corresponding copy
449.
by mzl 16y ago
I would say that the scope of music offered by Spotify is not so narrow. They have more than 10 million songs now, compared to about 2.5 when they launched late 2008 and 11 million in the iTunes store. AFAIK, music goes up more or less as s
450.
by mzl 16y ago
This is all true, assuming one uses a standard model for the integers. Non-standard models[1] are more interesting, but I'm not sure if one could say anything about the number of digits of a non-standard number. [1] http://en.wikipedia.org

More ›