cjfd

11 ms·

181.
by cjfd 2y ago
Typescript looks much, much better than what he ends up with. The typescript is more or less the same thing but with comment tokens removed. How is just removing the comment tokens not an obvious improvement in readability? Honestly, I thin
182.
by cjfd 2y ago
"Imposing an invariant speed of causality to the Lorentz transformations" does not sound quite right. I think it is more like assuming that the Lorentz transformations are the true symmetry of mechanics. If one wants to keep that
183.
by cjfd 2y ago
Well, it is quite well known what you get when taking the speed of light to infinity. It is classical mechanics.
184.
by cjfd 2y ago
Actually, it does. Because of relativity events that occur at the same time in one frame of reference do not occur at the same time in another. A delay of zero between two different points implies that there is a reference frame where the d
185.
by cjfd 2y ago
Well, it depends. Have you ever considered writing a word processor in a Turing machine?
186.
by cjfd 2y ago
'Liking for its own sake' is not quite enough. The first question is whether quantum mechanics would have been invented in the first place if it wasn't for experiments that showed that it was necessary. The second question is
187.
by cjfd 2y ago
He says he affiliates a bit with physics. That is what I studied when I was young. Yes, physics attempts to concern itself with the real world. For instance, nobody in their right mind would have anything to do with quantum mechanics if it
188.
by cjfd 2y ago
This is a complete straw man. It is completely normal for developers to ask all of the listed 'banned' questions to the product owner.
189.
by cjfd 2y ago
Mostly, all of it. People who are not writing that kind of loop probably should not do any of this. Optimize for code clarity, which may involve either inlining or extracting depending on the situation.
190.
by cjfd 2y ago
I think so. People create and/or sell new technologies. Then they try to market them. For instance, by writing articles exaggerating the advantages and/or downplaying the disadvantages. Then this get picked up by other folks who w
191.
by cjfd 2y ago
It is you who starts to talk about 'art' en 'poetry' but these words do not come from what you are reacting to. One thing you seem to assume is that the 'crappy code' works and therefore the concerns about its
192.
by cjfd 2y ago
This is false. Solar panels do not violate the laws of thermodynamics. Generally the sun is quite a bit hotter than the environment in which the solar panels operate, which are the correct temperatures to compare in this case. "harvest
193.
by cjfd 2y ago
This 'empirical research' is highly doubtful. The first question to ask is what the code with summary comments looked like. While summary comments can sometimes be helpful, this is mostly the case in functions that are relatively
194.
by cjfd 2y ago
Yes, completely agree. Also, too many comments make it difficult to see what is in a class/function. If the comments make a class/function that would otherwise fit on one screen no longer fit on one screen there is a readability c
195.
by cjfd 2y ago
I have not really studied this but maybe choosing the guess randomly when the number of possibilities is even is already enough to counter an adversarial opponent. Note that 50 is not the only 'optimal' guess in the beginning. 51
196.
by cjfd 2y ago
All this speak about whether we prefer to have no tests to bad tests is pretty pointless. It is a bit like asking whether you would prefer to be beheaded or hung. The correct answer is neither. If one wants some semblance of quality one nee
197.
by cjfd 2y ago
Drilling vocabulary flashcards is very helpful in learning a language. As is reading, listening, or talking to someone. To learn a language well, you need to do both. Although children ultimately reach the level of being a native speaker, t
198.
by cjfd 2y ago
The statement 'his methodology only works if you have well-defined up-front design' is often repeated but I don't think it is true. Like, at all.
199.
by cjfd 2y ago
I think you read it completely wrongly. I don't think Kent Beck would be against the kind of documentation that you describe as beneficial. The article is very much warranted. The documentation cargo cult is a terrible and disgusting t
200.
Show HN: I wrote a toy proof assistent(github.com)
2 points by cjfd 2y ago|0 comments
201.
by cjfd 2y ago
The article tell us that input validation is okay but argues against input sanitization. I.e., if there is obvious garbage in the input tell the user that the input is wrong and don't store it and also do not try to correct it. That se
202.
by cjfd 2y ago
Well, there is the question of how much quality we want or need. This process is by someone who created a very terse programming language. Indeed, it probably is a way to create such a thing. Most of us are not writing programming languages
203.
by cjfd 2y ago
"How would you change the system" is an above human level question. Winston Churchill said that democracy is the worst form of Government except for all those other forms that have been tried from time to time. The same for capita
204.
by cjfd 2y ago
The documentation example is a clear example of absurdity. This is just a multiplication that might as well be inlined in all places where it is needed and then the 'standard' is applied and it turns into a 21 line hellscape that
205.
by cjfd 2y ago
Hmmmm.... I think the general lesson here is to use concurrency classes the way they are intended as opposed to the way they are not intended. I mean, more or less every code example here is clearly wrong and completely counter to how these
206.
by cjfd 2y ago
One thing of the dutch language is that this statement in echoed by the language itself. The most common way to say 'I am bored' is 'Ik verveel me' which literally means 'I bore myself'.
207.
by cjfd 2y ago
Maybe one could attempt to use a proof assistant to prove that the algorithm is correct?
208.
by cjfd 2y ago
Actually, it is possible to do a high level outline of a proof development and later fill in the details. This is done by starting out with axioms. I.e., don't define the basic types but state that they exist as axioms and also write d
209.
by cjfd 2y ago
"for every conceivable change". That is not what he is arguing at all. He is showing that there are very many highly plausible changes that are problematic with natural keys. And he totally correct about that. Frankly, the fact th
210.
by cjfd 2y ago
If somebody created a complex system of one hundred small unix utilities that all talk to each other over pipes I am sure it would get abd deserve a lot of hate. Unix utilities are nice to do very small, simple things, but there is a limit.

More ›