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…
Wake up. Quantum entanglement is at least 10000 x c, and somehow it doesn't brake causality. And information first leaves the origin and gets to you before you know that it left its origin. But no causality is broken.…
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…
You're right. Note taken. English is pretty much compulsory in entire world. And the same can be said in Poland - almost everyone learns English in school (often for 9 years) and only 30-50% of those people can use it…
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…
Stop whining. Start learning. Do you think that they (Chinese) don't have similar barrier when learning English? Do I have enough opportunities to interact with Japanese? No. But I'm still learning it. "Not enough…
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...
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…
Wake up. Quantum entanglement is at least 10000 x c, and somehow it doesn't brake causality. And information first leaves the origin and gets to you before you know that it left its origin. But no causality is broken.…
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…
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…
You're right. Note taken. English is pretty much compulsory in entire world. And the same can be said in Poland - almost everyone learns English in school (often for 9 years) and only 30-50% of those people can use it…
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…
Stop whining. Start learning. Do you think that they (Chinese) don't have similar barrier when learning English? Do I have enough opportunities to interact with Japanese? No. But I'm still learning it. "Not enough…
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...