cjfd

32 ms·

391.
by cjfd 5y ago
No, it sounds like a completely valid thing to make such analogies. Whether it is true is another thing, but it certainly is a point of view. This sounds a lot like 'I don't like your conclusion so I am going to attack the perfect
392.
by cjfd 5y ago
I don't think we can conclude something about maintenance windows in general from these examples. Instead we can draw the conclusion that unreasonably long maintenance windows are a mistake. Not that anyone actually needs an article to
393.
by cjfd 5y ago
What exactly are the foundations of this? The rules on the page suggest that it is basically the calculus of constructions but the example involving the list suggests that there are inductive types too. Are the inductive types part of the f
394.
by cjfd 5y ago
Yes, but would I like to have a word with JS? I am quite certain the answer is 'no'..... On a more serious note: JS is in the background also keeping track of types, obviously.
395.
by cjfd 5y ago
Well, the article does not actually answer 'where do type systems come from?' (as in the type systems of programming languages) but 'where do type theories come from?' (as in the foundations of mathematics). I think type
396.
by cjfd 5y ago
And the somewhat okay is the enemy of the very bad?
397.
Git Flow Is a Bad Idea(youtube.com)
3 points by cjfd 5y ago|0 comments
398.
by cjfd 5y ago
I am just getting boxes with hex codes in them if I type ascii letters so that is not so very nice. Even if you have all of the required fonts I am not sure it is that great to get characters from a completely foreign language. Also, I supp
399.
by cjfd 5y ago
Very good article. I have seen several modernization programs taking way too long because of a much too large scope. Making it smaller gives one the ability to adjust goals while one is going and, most importantly, one can keep delivering s
400.
by cjfd 5y ago
I don't know man.... it actually seem rather smart to me.... Like the smartness of an organism trying to cope as well as it can with disruptions in the environment. What would you like to do it better without causing huge waste of reso
401.
by cjfd 5y ago
That you have never heard of things does not mean they do not exist.... https://cppcon.org/
402.
by cjfd 5y ago
These pitfalls really aren't that bad. An extra copy here and there only matters in the tight loops. Some of the examples in the talk are really contrived. Am I going to insert the empty string many times as a string in a hash map? No,
403.
by cjfd 5y ago
I am not sure it should be formulated as market vs. government. The general public can be quite short sighted too. Also, marketing can be used on the general public. What I think would be improvements are protections to free speech. More sp
404.
by cjfd 5y ago
If not being robbed is so important that it justifies buying locks we might actually decide that robbing should be illegal and punishable by jailtime....
405.
by cjfd 5y ago
I am not a haskell pogrammer but reading about monads it seems much ado about nothing. It seems that one does not need to understand category theory to understands monads. Basically, I would say, in very basic language, that a monad is a th
406.
by cjfd 5y ago
I think if there is a spectrum in interactions between the two forces joined by this spectrum would be considered one force. Of course, there is a history of forces that once appeared to be distinct turning out not to be distinct but one an
407.
by cjfd 5y ago
This is true. The most important way in which TDD can turn into a cargo cult practice is to test every class and every method separately. This then turns into the testing of implementation details that are very much subject to change. It ca
408.
by cjfd 5y ago
It really is not. TDD is for highly competent programmers.
409.
by cjfd 5y ago
I disagree. Among the things that I listed was TDD. If one practices that consistently one can create highly reliable software. In fact one might argue that using TDD for the new landing page for the company website might be overkill. Maybe
410.
by cjfd 5y ago
Not much planning. Direct contact with the people who use the software. Good coding practices, preferably TDD. No time pressure. This is pretty much agile how it should be in theory but not in practice. Agile in theory is actually a very go
411.
by cjfd 5y ago
Actually, I am a big fan of C++ code. Smart code may cause problems and I agree with that. You know what else causes problems? Tool churn and language churn. At any time of the night and day I very much prefer figuring out somebody elses sm
412.
by cjfd 5y ago
This is cart before horse stuff. As noticed by other commenters some people need to rent. I am blaming 'quantitative easing'. If the central bank buys a whole lot of assets where do other investors go?
413.
by cjfd 5y ago
It probably is the pillar of christianity just because it is what happened. It is rather shocking if the founder is executed in such a brutal way so you need to make a story around that. It is in fact so shocking that the story pretty much
414.
by cjfd 5y ago
For instance that these teachings are racist and racism is a despicable ideology that deserves no serious consideration or even consideration in any form or shape.
415.
by cjfd 5y ago
Maybe the tone is fully representative. One could start to wonder what kind of people would be attracted to working on linters. 'Now I get to tell everybody what is good or bad'.
416.
by cjfd 5y ago
Well, Joel first talks about 'great thinkers' and then about 'smart thinkers'. The latter kind seems to me a failed instance of the former kind. The architecture astronaut is a failed kind of thinker who is now inflictin
417.
by cjfd 5y ago
Quite the examples you name.... Google has come under quite a bit of public scrutiny for their general practice of espionage performed on the general public and I think we should notice that Chrome is part of that. I have never worked with
418.
by cjfd 5y ago
I think the famous article 'Things you should never do' from Joel Spolsky is closely related to this. I have seen blatently ignoring the lessons from either article and reaping the predictable results from this in multiple jobs th
419.
by cjfd 5y ago
Yes, a TCP stack certainly is complex enough to warrant serious automated testing and/or TDD. The idea of putting the TCP stack in user space is interesting. If one actually could map the memory of the whole device into user space one
420.
by cjfd 5y ago
Stop calling opinions and projection of a possible future 'disinformation and conspiracy theories'. That you disagree with something does not make it disinformation. Nor a conspiracy theory.

More ›