more_original

15 ms·

121.
by more_original 14y ago
Is the X32 ABI meant so that one can run X32 programs on an x64 kernel as well, or does one have to decide to use X32 once and for all and then compile everything with this ABI?
122.
by more_original 15y ago
RUN
123.
by more_original 15y ago
Yes, printf is easy in F#. The following example works in F# and OCaml: let rec fact n = Printf.printf "%i\n" n; if n = 0 then 1 else n * (fact (n-1))
124.
by more_original 15y ago
It's true that sometimes people need to get paid. The point of the boycot is that in fields like Mathematics these people already work for free. The only thing Elsevier does is archival and distribution. Editing and typesetting is don
125.
by more_original 15y ago
They ought to have known. German reunification and the associated monetary union had a much similar effect. One can make a rough analogy: West Germany then ~ Germany now; East Germany then ~ Greece now.
126.
by more_original 15y ago
Nooooo!
127.
by more_original 15y ago
Hm, in vim one can do :map J jjjj But I guess using existion elisp functions might be useful.
128.
by more_original 15y ago
Maybe it's because people don't know that it's now more or less ready to use? I didn't know until just now. I signed up and it looks quite good, only a little undercrowded.
129.
by more_original 15y ago
> F# besides having all features of OCaml. Some important features, such as modules, are missing in F#. I suppose the intention is to replace them by interfaces and classes, but modules in particular are an important omission that makes
130.
by more_original 15y ago
Category theory more than just a language for classifying and organizing existing results. It is the mathematical theory of universal properties ( http://en.wikipedia.org/wiki/Universal_property ). In category theory one studies what struct
131.
by more_original 15y ago
That's funny! In the German version the arrow points to "+Ich", meaning "+I" instead of "+You".
132.
by more_original 15y ago
s/Function/Runnable/g
133.
by more_original 15y ago
> Smalltalk (presumably) has a form of logical branching in it somewhere. To finish the if, just pick one. It uses dynamic binding. In Java it would look like something this (but it's less useful without proper closures): abstract c
134.
by more_original 15y ago
Hm, so it looks like there won't be any windows in Windows anymore.
135.
by more_original 15y ago
> Math is precise. No, this statement is too strong. There are many examples in mathematics where one cannot exactly calculate a result (e.g. because one doesn't know all inputs), but one can give an estimation and prove that it is good
136.
by more_original 15y ago
I think using maths isn't about applying equations that one has learned, or something like that. Learning maths changes the way one thinks. But the benefit of this is very hard to explain to someone who doesn't know.
137.
by more_original 16y ago
You're right, that's what I meant to say with "or would be about to be shut down". Three of the seven would have been shut down this year, another one in 2012 and the final three in 2013 (source: http://de.wikipedia.org/wiki/Liste_der_Kern
138.
by more_original 16y ago
Context: The previous government had decided to phase out nuclear power by 2020. After the last election the current revoked that decision and even allowed old power plants that were due to be shut down to operate longer. So, if they hadn't
139.
by more_original 16y ago
I had almost exactly the same experience. I had a Mac (Powerbook) for almost 3 years and could get work done, but development was sometimes a hassle where it shouldn't have been (just to upgrade gcc one had to download 2gigs of XCode; insta
140.
by more_original 16y ago
Practise! But others have said that already. I'd like to add that George Orwell's essay "Politics and the English Language" makes a few good points that may help improve your writing: http://wikilivres.info/wiki/Politics_and_the_English_La
141.
by more_original 16y ago
Nearly All Binary Searches and Mergesorts are Broken: http://googleresearch.blogspot.com/2006/06/extra-extra-read-...
142.
by more_original 17y ago
I moved to a Thinkpad (from a Powerbook) two years ago and couldn't be happier. Ubuntu just works and the hardware feels more solid that the Powerbook did.
143.
by more_original 17y ago
It looks like the certificate can easily be deleted manually: Preferences > Advanced > View Certificates.
144.
by more_original 17y ago
Tinkerable or not, a platform where Apple decides which applications can be distributed stinks!
145.
by more_original 17y ago
It looks like there are also points where C-- is higher-level than LLVM. As far as I can tell, C-- does not require code to be in SSA form, which LLVM does.
146.
by more_original 17y ago
Programming Language theory, I think.