Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
cjfd
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
44 ms
·
541.
▲
by
cjfd
6y ago
In various places on the web one can find the quote that 'Dependency injection is a 25-dollar term for a 5-cent concept'. I feel it is the same with monads including all the false suggestions that one might need to understand cate
542.
▲
by
cjfd
6y ago
I completely get where this person is coming from. The distinction between maintenance and producing new features on one side and paying down technical is so strange. It does not make very much sense to start working on a piece of the code
543.
▲
by
cjfd
6y ago
I think most disenchantment with TDD comes from the second point that you notice. If one attempts to test every method of every class one ends up testing implementation details that are very much subject to change. Also, one can easily end
544.
▲
by
cjfd
6y ago
It is an improvement over the current situation but the question remains what these journals are good for besides gobbling up money that should go to research instead. There are preprint servers. If they can create a comment system where sc
545.
▲
by
cjfd
6y ago
This is one thing to try to find out when one applies for a job. What kind of stupid requirements are there and is this company prone to senseless prescriptions? Even if one thinks that a particular senseless prescription is not very burden
546.
▲
by
cjfd
6y ago
Hmmmm.... I think the main problem with git submodules is that if you google 'git submodule' you don't find anything useful. When you somehow discover how they actually work they are... uhm... let us say... 'usable'
547.
▲
by
cjfd
6y ago
100% correct article. The compiler/runtime does not care if all of your variables are global and all functions modify all of them. Almost all program structure is there for humans and not for computers.
548.
▲
by
cjfd
6y ago
I think there actually are bad styles. The google style guide is such a bad style guide. The combination of 2 spaces indent and not putting { and } on top of each other makes it difficult to see at a glance where a block begin and ends.
549.
▲
by
cjfd
6y ago
Well if vector<SomeType> is used in many cpp files it is compiled separately for each and every one of them and then the linker throws away these gigantic amounts of code duplication between the various object files. Also vector<sh
550.
▲
by
cjfd
6y ago
It is very easy to prove. Note first that ~P is an abbreviation for P -> False. So we can rewrite this as (~ ~ P -> False) -> P -> False. This is tautologically true by modes ponens if P -> ~ ~ P. But that is a well known fac
551.
▲
by
cjfd
6y ago
Actually, the thing that is excluded in constructive mathematics is ~ ~ P -> P. ~ ~ ~ P -> ~ P is a theorem also in constructive mathematics.
552.
▲
by
cjfd
6y ago
I think it is pretty obvious. An ideology is something that has a very narrow set of answers to every problem. It can easily preempt much or even any actual thinking. On a forum one can easily end up in a screaming battle between ideologies
553.
▲
by
cjfd
6y ago
Regarding the use of the 'aggressively conventional minded'. When I was younger I would think that these kind of people were mostly just detrimental to society but I have come to see that they sometimes have a use. It is this kind
554.
▲
by
cjfd
6y ago
It can also help a lot if you log all incoming/outgoing packets in a format that allows replaying the session.
555.
▲
by
cjfd
6y ago
The ludic fallacy could apply here as well. If you calculate that on average you will make a profit but in actuality this profit fluctuates so wildly that you will almost certainly go bankrupt in the process the ludic fallacy could apply. A
556.
▲
by
cjfd
6y ago
C.G. Jung once wrote that the moral capabilities of a group of people is 'obviously' inversely proportional to the size of the group. C.G. Jung was a funny guy. He would write a controversial statement and prefix it with something
557.
▲
by
cjfd
6y ago
This may be the case for you but these kind of things are very much dependent on the person. One thing is to accept that not all items on various lists will be finished. The book explicitly says this is the case and recommends to remove ite
558.
▲
by
cjfd
6y ago
I like 'getting things done'.
559.
▲
by
cjfd
6y ago
This seems to be assuming that the neutrinos are massless, or at least have a mass quite a bit smaller than the Z particle. It could be that there is a fourth generation where both lepton and neutrino are heavier than the Z particle, no?
560.
▲
by
cjfd
6y ago
No, it is not overrated. The author is just using a not-so-handy definition of 'unit'. When a 'unit' is a single method/class/function 'unit' testing is not in general a very wise thing to do. In most
561.
▲
by
cjfd
6y ago
Identifying the good developer with the frequent job hopper and the expert beginner with the developer who stays at the same place seems rather unfounded. I have also seen the job hopper who left just before it became clear that his archite
562.
▲
by
cjfd
6y ago
Clear code needs some comments. Not many, though. If you write a numerical algorithm it probably needs an explanation or a reference to where it came from or something like that. Generally, one needs a comment when it is difficult to figure
563.
▲
by
cjfd
6y ago
Actually, I have in fact seen this. I worked at a place where this copy and paste programming actually lead to functions that are many thousands of lines long and are full of duplication and very deeply nested. At some point a file was spli
564.
▲
by
cjfd
6y ago
If there is one single article about programming that I hate it is this one. It is completely the wrong message. One should instead be very eager to eliminate duplication. To avoid the pitfalls that the article notes one should create abstr
565.
▲
by
cjfd
6y ago
Things like lisp, forth and also lambda calculus are conceptually clean. In theory one can write anything in them in a conceptually clean way. However, doing so one has also puts programming and/or computers in a straight jacket which
566.
▲
by
cjfd
6y ago
"But it is not a study of it! Mathematics is a tool, not the thing being studied." Who knows? Mathematics turns out to such an acute tool for understanding physics. One might be inclined to say that we live in a mathematical reali
567.
▲
by
cjfd
6y ago
The only thing that somewhat makes sense is that during exploration TDD may not always be the most practical. It immediately starts to be extremely practical once the exploratory phase is over. I kind of feel you live in some kind of altern
568.
▲
by
cjfd
6y ago
This is clearly wrong. If you put your pinky finger inside the hand of a baby s/he will grab it and hold it. This can be seen very early.
569.
▲
by
cjfd
6y ago
You should immediately stop designing for future use cases. Use TDD and only write only just enough code for the currently known required functionality. When you get to know more required functionality the tests protect you from breaking ex
570.
▲
by
cjfd
6y ago
Kind of agree and also kind of disagree. For some things there actually are recipes. For instance, I greatly benefited from learning GTD (getting things done) at some point. Not having any sort of overview of all the things going on in my l
More ›