cjfd

51 ms·

571.
by cjfd 6y ago
Once upon a time the idea of a computer was that it is a universal machine that can do any computation for you. As soon as the people producing the computer are the same people controlling what software can run on it this idea is out of the
572.
by cjfd 6y ago
Well, I did a PhD in quantum field theory and as part of that published a paper on renormalization..... Of course the infinite sets involved can be approximated using finite sets if one does not mind losing important symmetries. Still, thes
573.
by cjfd 6y ago
Well, if one assumes finiteness all of these paradoxes go away and this discussion is not about anything anymore. I studied physics and am quite attached to infinities. That one constrains oneself to a finite state system mostly does not me
574.
by cjfd 6y ago
I don't really think so. I am arguing that whatever axiom of choice one uses is basically an implementation detail of the banach-tarski paradox and that because of the similarity to the hilbert hotel paradox the cause of the paradox sh
575.
by cjfd 6y ago
Yes, but I think the basic cause of both is that one assumes there are infinite sets. The Banach-Tarski paradox to me seem to be little more than a three dimensional variation of the hilbert hotel. Therefore, if one wants to implicate any b
576.
by cjfd 6y ago
I do not really understand why the Banach-Tarski paradox is such a big deal. It does not seem any different from the paradoxes of the Hilbert hotel. If one has two filled hilbert hotels one can fit all hotel guests in one single hilbert hot
577.
by cjfd 6y ago
I don't think FOSS is the problem either. I think much complexity is required because everything is expected to live on the web and also/thereby is expected to be client/server. As soon as one wants to do more than just displ
578.
by cjfd 6y ago
1 - 10 pages? In what font size? Are powers of 10 in the point size of a font a thing? Seriously, though, I have seen these 'just code the solution top to bottom' go horribly awry. Like when it produces a multi-thousands of lines
579.
by cjfd 6y ago
Sometimes I get they feeling that they should indeed just listen to me. When one needs an argument to convince a colleague that one really should not be using == to compare two floats because of rounding errors or when working in a place cu
580.
by cjfd 6y ago
Well, John Carmack is in game programming. That is quite a different field where performance is of supreme importance. I might imagine that things are different there, although I cannot claim to know because I do not work in game programmin
581.
by cjfd 6y ago
By working at a place where people listen to you and are not (too) crazy.
582.
by cjfd 6y ago
The general point the author is making sounds true but I am sceptical regarding any criticism against make. Building and/or handling dependencies was basically a solved problem as soon as make was invented and all of the new stuff in t
583.
by cjfd 6y ago
One thing that one usually does with make is that one also figures out on what header file helloworld.c depends during the make run. Is the above code fragment hand coded or generated? I also am wondering if this also works if one only want
584.
by cjfd 6y ago
Your standards are very reasonable. You should keep pushing for higher standards. Preferably these also should be enforced technically. I.e., it should just not be possible to push something to development without code review. At first you
585.
by cjfd 6y ago
Fear is just a source of information. The emotions we have we have because they provide information in one way or another. Much like the senses. One cannot let oneself be paralyzed by it, though. If one doesn't dare to refactor anythin
586.
by cjfd 6y ago
I would find it a bit hard to argue that the nature of free software has anything to do with this. Why couldn't all of this surveillance and the selling of user data have been based on proprietary software? You could maybe say it would
587.
by cjfd 6y ago
Well, to obtain integer spin one actually does not need any physics knowledge. All of the possible integer spins map one-to-one on the group representations of the rotation group. It is pure mathematics. One thing with half-integer spin is
588.
by cjfd 6y ago
Sure, one can speculate that. There is quite a lot of devil in the details, though. One thing that is a bit unclear when it is 'all curved space' is how one would ever get spin 1/2 particles, i.e., non-integer spin particles.
589.
by cjfd 6y ago
Yes, especially where he goes completely overboard creating extremely small functions. Most of them are, like, 2 lines.... The general point that code should be clean is a good point to make. Writing a whole book about it seems a bit much.
590.
by cjfd 6y ago
I think the SKI combinators are quite a bit simpler than lambda calculus. In lambda calculus the renaming of dummy variables is quite tricky. E.g., these lecture notes actually get substitution wrong: https://www21.in.tum.de&#x2F
591.
by cjfd 6y ago
femtobarn
592.
by cjfd 6y ago
I completely agree with the KISS principle and do indeed have to note that it is very often not followed. Much of the software out there could be simpler. But even if it were simpler one would not arrive at the point where the software is s
593.
by cjfd 6y ago
Such a tired saying. Software that is 'simple enough that there are obviously no bugs' can not have much more functionality than 'Hello world'. Once upon a time when software development was still a young field there was
594.
by cjfd 6y ago
Well, considerations like these are typical for more or less any kind of software you will ever write. Because of this all but the very simplest software needs automated tests. But one may also note that your particular usage of CSV may be
595.
by cjfd 6y ago
I think one should start with whatever extension in the API between front and back is needed. That is the point to make the compromise between the two. On the one hand one wants to make exactly the data that the front end needs available bu
596.
by cjfd 6y ago
It would seem to make more sense to let the selection functional be a lambda. Neither the original code nor the resulting code are really all that great... It merely exchanges one form of code duplication for another. Nor is the Open Closed
597.
by cjfd 6y ago
No, it is not.
598.
by cjfd 6y ago
Yes, I do this sometimes. I feel proud of most of the things that I wrote but not about stuff that was written by multiple people and where I just added some things.
599.
by cjfd 6y ago
Ultimately this is more the definition of R than that it is a theorem. One can also work with sets of numbers in which the completeness axiom does not hold. E.g., sets of numbers in which one also has infinitesimals.
600.
by cjfd 7y ago
In my country in places where there are fewer corona patients the hospitals used to be taking over IC patients from places where there are more. And now the total number of corona patients admitted to the hospital has been declining for abo

More ›