News for hackers. Stuff that matters.

darkestkhan

Re:Let the Type System do the Work on Tuesday April 22, 2014 @09:59AM (#7627639)
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 with all operators defined with permitted range of values from 0 to 32; range checks are performed at runtime by compiler - but most of them are optimized out anyway so penalty for them is in single digit percents of performance). Or if you prefer example from that site: "type First_Name is new String;"
Re:Let the Type System do the Work on Tuesday April 22, 2014 @06:18AM (#7626761)
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 both of them are often optimized out.
Re:Warp Drive May Be More Feasible Than Thought, Scientists Say on Wednesday September 19, 2012 @02:16AM (#4542378)
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. Everything is still happening in proper order.
Re:F-35's biggest problems: software and bad relationships on Wednesday September 19, 2012 @12:05AM (#4542007)
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 with annotations].

Re:F-35's biggest problems: software and bad relationships on Tuesday September 18, 2012 @11:56PM (#4541972)
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 ;)
Re:Japan Commits to Eliminating Nuclear Power on Saturday September 15, 2012 @04:48AM (#4525715)
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 mechanisms for "virtual stand" it suddenly ceases to be open?
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 patentable. Why is it so that when you change the domain of use for function from one branch of math to another (CS is branch of math too) you suddenly can patent it?

I'm NOT for totally abolishing IP protection but there are things that shouldn't be patented, especially in very innovating areas of industry (i.e. what is patented today in CS in next 5 years will be obvious thing... while protection will last for 20, thus stifling innovation)

Re:Some Georgia Schools Make Mandarin Mandatory on Monday September 10, 2012 @01:59AM (#4498511)
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 in its written form (and situation is far worse when it comes to spoken form).

Re:Some Georgia Schools Make Mandarin Mandatory on Monday September 10, 2012 @01:52AM (#4498490)
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 encounter enough English to properly use it in spoken form.

I'm not too busy just learning Japanese (as a matter of fact I'm also learning German and Russian and I still have some free time).

Re:Some Georgia Schools Make Mandarin Mandatory on Monday September 10, 2012 @01:40AM (#4498466)
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 not enough for you? Also once you know Mandarin learning Japanese is much simpler.

... for simplicity I will assume 364 days/year 0.5 * 364 * 13 = 182 * 13 = 2356, which is more than those 2200.

It is generally advised to learn language in place where it is being used on day to day basis, no matter what language you are using.

Re:Some Georgia Schools Make Mandarin Mandatory on Sunday September 09, 2012 @02:04AM (#4495080)
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 opportunities to interact with [language]" is poor's man excuse to not learn it at all.

And what about Technocracy ? It is quite cool alternative to Democracy. Probably too radical for current politics.
It is still open marketplace.
Re:Where Have All The Good Managers Gone? on Monday September 03, 2012 @02:25PM (#4471307)
So constructive criticism will cause downvoting...
Re:Samsung/Apple Jury Foreman Shows He Doesn't Understand Prior Art on Saturday September 01, 2012 @02:10AM (#4462821)
I would prefer set of experts - I don't see how lay person could be deciding in places where even experts can have problems.
Re:Where Have All The Good Managers Gone? on Saturday September 01, 2012 @02:06AM (#4462815)
Why he was downvoted? It is quite good comment...
They can also ship on SPARC ;)
Re:I'm Doing It Wrong on Tuesday August 28, 2012 @01:10PM (#4444745)
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). In fact the only place where I just need to do serious testing is in UI and input reading (who knows with what someone may try to feed your program).

But this demands some designing before programming - and then you are seeing what additional features would be nice to have... and you get my version of feature creep, where you have so many features you "have" to write that you don't have time to release version alpha.

Re:I'm Doing It Wrong on Tuesday August 28, 2012 @03:01AM (#4442477)
Feature creep - that is what I'm guilty of.
Re:Look at yourself objectively on Tuesday August 28, 2012 @02:40AM (#4442439)
I agree with you but I say we shouldn't depend on intuition - it too often is wrong.
Re:Miguel de Icaza on Samsung v Apple on Saturday August 25, 2012 @04:36AM (#4431485)
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 reading input and writing output - nothing else is side-effect. We already figured I/O almost 50 years ago - nothing novel here (the moment you get touchscreens is the moment kbd on touchscreen is created as it is obvious)

Re:What Jamie Wong did at Khan Academy on Friday August 24, 2012 @12:42AM (#4426244)
Especially when it happens so that you are working in Space or Defense industry...
And that is why there are no software patents in Poland - software is math. In fact every software ever created could be written as math formula in lambda calculus.
Re:Collection Of Puzzles For Programmers on Sunday August 19, 2012 @03:57AM (#4403522)
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
Re:Collection Of Puzzles For Programmers on Sunday August 19, 2012 @03:34AM (#4403496)
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 (hint: arithmetic progression)
Re:Solving Different Problems on Saturday August 18, 2012 @04:12AM (#4400562)
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)
Re:Garry Kasparov Arrested By Russian Police on Saturday August 18, 2012 @03:03AM (#4400472)
Poland s also depending on Russian natural gas (primary source of natural gas in Poland)
Re:Lay off W3Schools on Thursday August 09, 2012 @03:30AM (#4359988)
What's wrong in starting programming with recursion? It is more intuitive since you learn about it in school...

Older »