I'm actually surprised that people learn about this only now... It is quite standard (and very common) thing to do in Ada. But then we can "subtype Strength is Natural range Natural'First .. 32;" since 80s (numeric type…
Oh, there is runtime type checking, though usually it is optimized out at compile time: it is for subtypes (which is mostly range checks) and checks of tags for tagged types (usually in class wide subprograms). Though…
Someone did persuade them to shelve Ada... and then they get into this mess ;) They are unlucky - there is no better alternative in writing this kind of software than Ada [well, there is SPARK but it is subset of Ada…
You forgot about commercialization of fusion ;) and hyperloop... and in his case we would additionally have permanent space colony, on Moon, Mars, deep space and one to be created in Venus ;)
There are no such forests in Poland, and Poland is much closer to Chernobyl than Germany.
In many marketplaces you have to pay for place in order to open stand yet we still call them open marketplaces (as long as price is affordable, but I would consider 100$ to be such) so why when you apply the same…
In many countries (India for example) medication itself is not patentable - but means of its production are. There are many mathematical functions that have to satisfy non-trivial constraints and none of them are…
The average student in the World encounters far more written English than average American student of any other language (in written form). And people outside of countries with English used on day to day basis don't…
I did stop and thought about the tone. There were more comments (quite) similar to yours, so it was more at random that reply was to your comment. Usefulness? Ability to communicate with more than 1.7 * 10^9 people is…
And what about Technocracy ? It is quite cool alternative to Democracy. Probably too radical for current politics.
It is still open marketplace.
So constructive criticism will cause downvoting...
I would prefer set of experts - I don't see how lay person could be deciding in places where even experts can have problems.
Why he was downvoted? It is quite good comment...
They can also ship on SPARC ;)
I don't have problem with debugging and testing - since I'm programming in Ada most of the things that compile are already working properly (modulo errors in logic of program, but nothing in reality can help with this).…
Feature creep - that is what I'm guilty of.
I agree with you but I say we shouldn't depend on intuition - it too often is wrong.
There shouldn't be any patents for algorithms - algorithms are math, and math is not patentable.
I suppose you never learned about monads and monoids. But seriously: what is patentable in video codecs? Isn't it just math function? Give input in the domain of function and you get output. Beside side-effects are only…
Especially when it happens so that you are working in Space or Defense industry...
The thing is that people start using those libraries w/o thinking before - and theirs' solutions end up doing much more work than is needed
Can't you all think for a bit? All of These solutions are O (n) in both time and space... there is solution that will take O (1) time and space - and I think that you learned it in math class at (latest) high school…
Yes, I'm on Linux - but it still doesn't explain why flash is consuming so much CPU (I'm using VESA drivers for graphics)
What's wrong in starting programming with recursion? It is more intuitive since you learn about it in school...
I'm actually surprised that people learn about this only now... It is quite standard (and very common) thing to do in Ada. But then we can "subtype Strength is Natural range Natural'First .. 32;" since 80s (numeric type…
Oh, there is runtime type checking, though usually it is optimized out at compile time: it is for subtypes (which is mostly range checks) and checks of tags for tagged types (usually in class wide subprograms). Though…
Someone did persuade them to shelve Ada... and then they get into this mess ;) They are unlucky - there is no better alternative in writing this kind of software than Ada [well, there is SPARK but it is subset of Ada…
You forgot about commercialization of fusion ;) and hyperloop... and in his case we would additionally have permanent space colony, on Moon, Mars, deep space and one to be created in Venus ;)
There are no such forests in Poland, and Poland is much closer to Chernobyl than Germany.
In many marketplaces you have to pay for place in order to open stand yet we still call them open marketplaces (as long as price is affordable, but I would consider 100$ to be such) so why when you apply the same…
In many countries (India for example) medication itself is not patentable - but means of its production are. There are many mathematical functions that have to satisfy non-trivial constraints and none of them are…
The average student in the World encounters far more written English than average American student of any other language (in written form). And people outside of countries with English used on day to day basis don't…
I did stop and thought about the tone. There were more comments (quite) similar to yours, so it was more at random that reply was to your comment. Usefulness? Ability to communicate with more than 1.7 * 10^9 people is…
And what about Technocracy ? It is quite cool alternative to Democracy. Probably too radical for current politics.
It is still open marketplace.
So constructive criticism will cause downvoting...
I would prefer set of experts - I don't see how lay person could be deciding in places where even experts can have problems.
Why he was downvoted? It is quite good comment...
They can also ship on SPARC ;)
I don't have problem with debugging and testing - since I'm programming in Ada most of the things that compile are already working properly (modulo errors in logic of program, but nothing in reality can help with this).…
Feature creep - that is what I'm guilty of.
I agree with you but I say we shouldn't depend on intuition - it too often is wrong.
There shouldn't be any patents for algorithms - algorithms are math, and math is not patentable.
I suppose you never learned about monads and monoids. But seriously: what is patentable in video codecs? Isn't it just math function? Give input in the domain of function and you get output. Beside side-effects are only…
Especially when it happens so that you are working in Space or Defense industry...
The thing is that people start using those libraries w/o thinking before - and theirs' solutions end up doing much more work than is needed
Can't you all think for a bit? All of These solutions are O (n) in both time and space... there is solution that will take O (1) time and space - and I think that you learned it in math class at (latest) high school…
Yes, I'm on Linux - but it still doesn't explain why flash is consuming so much CPU (I'm using VESA drivers for graphics)
What's wrong in starting programming with recursion? It is more intuitive since you learn about it in school...