cjfd

9 ms·

61.
by cjfd 11mo ago
It runs automatically in the cloud.
62.
by cjfd 1y ago
Maybe history teaches us that planning and design do not work very well.... I think one of the problems is that if someone uses a word, one still does not know what it means. A person can say 'design patterns' and what he is actua
63.
by cjfd 1y ago
This is not correct. Very many laws live much longer than the term of a politician. They are as much upstream to politics as downstream to it. A correct way of talking about this is as co-equal branches of government. Also 'politics&#x
64.
by cjfd 1y ago
To me it means that one attempts to use the machine well. I.e., avoid introducing overheads that have nothing to do with the problem one is trying to solve. As an example of something that is very far from the machine imagine wanting to add
65.
by cjfd 1y ago
I googled a bit on how common lisp is compiled. Apparently it is possible to add some sort of type hints and ensure that parameters/variables have a certain type. If one uses that for most code, it would potentially be enough to qualif
66.
by cjfd 1y ago
One thing I note is that all of the languages you name are very far from the machine. Also Forth is not close to the modern machine. Note that it only has two integer types and the larger one can be aligned either way you make sure it is no
67.
by cjfd 1y ago
I once hear 'freedom' explained as having the ability to do what only you can do. I think that is better food for thought than this entire article.
68.
by cjfd 1y ago
I am not sure this comment it is in any way related to the article it is commentating on. To name one example the comment complains about the absence of PV calculations while the article actually specifically describes this.
69.
by cjfd 1y ago
Style can conventions are very superficial properties of code. The more relevant property is how many bugs are lurking below the surface.
70.
by cjfd 1y ago
I think this is true. I am a big fan of TDD but it remains important to also do a manual test. Often things just don't work out exactly as one would think. This is especially true with things that relate to user friendliness but also w
71.
by cjfd 1y ago
That could be true. What it makes me think about is the danger of things that magically just work. Things that magically just work also may stop working for some reason and then you do not have an idea how to fix them.
72.
by cjfd 1y ago
I don't think anyone wants warts. It is a fact that every technology has them, though. And also that every attempt to get rid of warts seems to introduce new, perhaps yet unknown warts. There is a kind of law of conservation of misery
73.
by cjfd 1y ago
Yes, reverting has happened. extern templates have been removed.
74.
by cjfd 1y ago
I read one or maybe some (don't remember anymore) of her books about 15 or 20 years ago. Clearly a great person.
75.
by cjfd 1y ago
I have a personal coq/rocq project regarding the verification of software so for that purpose it is highly useful. I also wrote a proof assistent myself ( https://github.com/chrisd1977/system ).
76.
by cjfd 1y ago
Sure, why not. It seems to be a pretty good exposition of the material. When I got interested in this stuff many years ago I worked my way through the 'typing rules' in the coq (nowadays rocq) manual. That is a 'slightly&#x27
77.
by cjfd 1y ago
Well, now you name something. Java is the most bureaucratic language only a matching personality or a programmer who is not very good would tolerate it.
78.
by cjfd 1y ago
Good for them. I like C++. It is a language that supports both being close to the computer and abstraction. I studied Rust a bit but it seems that their rules exclude some perfectly good software designs. If two classes need to work togethe
79.
by cjfd 1y ago
I think it is true. Also as a hiring criterion. Does this person know how to say 'it depends'?
80.
by cjfd 1y ago
Well, I kind of agree with this. Also in type theory there are axioms/assumptions hidden in the implementation. I myself made an implementation of the Calculus of Constructions ( https://github.com/chrisd1977/system
81.
by cjfd 1y ago
Both approaches have their advantages and disadvantages. Personally, I am interested in doing proofs on a computer. Type theory does seem the most convenient way to do this. The issue with the equality of proofs is a minor inconvenience in
82.
by cjfd 1y ago
I would suggest just adding proof irrelevance as an axiom to the theory. This also makes subtypes more convenient. I.e., if one has a set S and a property P: S -> Prop, the subset of S where the property is satisfied, in coq notation,
83.
by cjfd 1y ago
I would say the answer is 'yes'. Mainly because organisms are reproducing and developing. However, if we just consider the adult form of an organism apart from reproduction, it is mainly focused on maintaining its state, which is
84.
by cjfd 1y ago
One can argue whether 20 times more is too much or too little but I would say that it is correct that a doctor gets paid quite a bit more than unskilled labor. Some people who become doctors might still go through with it if it were not but
85.
by cjfd 1y ago
This is nonsense. Most/all democracies have laws that only certified doctors can practice medicine. This makes doctors unequal from other people. Is this incompatible with democracy?
86.
by cjfd 1y ago
This analysis is highly muddled. "making things equal" != democracy. Capitalism can both create and break hierarchies. The concepts of democracy and capitalism have a far greater reach than the current US political climate where b
87.
by cjfd 1y ago
"Benefit the US". Nonsense. Trade barriers hurt both sides. And if the US wants to lower its trade deficit and/or bring back manufacturing some things that actually make economic sense are: stop being the reserve currency of
88.
by cjfd 1y ago
I think the word you were looking for was 'cow orker'.
89.
by cjfd 1y ago
Mandatory this can also be a major hit in readability. What if you have a class that implements the abc-formula. You get (- this->b + sqrt(this->b * this->b - 4 this->a * this->c))/(2 * this->a) and (- this
90.
by cjfd 1y ago
This is incorrect. https://en.wikipedia.org/wiki/Money_creation . A bubble bursting is the inverse process of money creation. Money isn't paper bills or metal coins. It is mostly numbers in a computer.

More ›