HNHacker News
TopNewBestAskShowJobs

darkestkhan

54 karma · joined May 17, 2012

working at Terma A/S ( www.terma.com )
submissionscomments
darkestkhan··on Let the Type System do the Work
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;"
darkestkhan··on Let the Type System do the Work
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.
darkestkhan··on Warp Drive May Be More Feasible Than Thought, Scientists Say
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.
darkestkhan··on F-35's biggest problems: software and bad relationships
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].

darkestkhan··on F-35's biggest problems: software and bad relationships
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 ;)
darkestkhan··on Japan Commits to Eliminating Nuclear Power
There are no such forests in Poland, and Poland is much closer to Chernobyl than Germany.
darkestkhan··on Valve's solution for Steam Greenlight's noise: A $100 donation to Child's Play
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?
darkestkhan··on A Software Entrepreneur On The Madness Of Software Patents and Trolls
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)

darkestkhan··on Some Georgia Schools Make Mandarin Mandatory
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).

darkestkhan··on Some Georgia Schools Make Mandarin Mandatory
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).

darkestkhan··on Some Georgia Schools Make Mandarin Mandatory
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.

darkestkhan··on Some Georgia Schools Make Mandarin Mandatory
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.

darkestkhan··on Former “Seasteaders” Come Ashore To Start Libertarian Utopias In Honduran Jungle
And what about Technocracy ? It is quite cool alternative to Democracy. Probably too radical for current politics.
darkestkhan··on Valve's solution for Steam Greenlight's noise: A $100 donation to Child's Play
It is still open marketplace.
darkestkhan··on Where Have All The Good Managers Gone?
So constructive criticism will cause downvoting...
darkestkhan··on Samsung/Apple Jury Foreman Shows He Doesn't Understand Prior Art
I would prefer set of experts - I don't see how lay person could be deciding in places where even experts can have problems.
darkestkhan··on Where Have All The Good Managers Gone?
Why he was downvoted? It is quite good comment...
darkestkhan··on Jury foreman says Apple patents valid due to different processor architecture
They can also ship on SPARC ;)
darkestkhan··on I'm Doing It Wrong
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.

darkestkhan··on I'm Doing It Wrong
Feature creep - that is what I'm guilty of.
darkestkhan··on Look at yourself objectively
I agree with you but I say we shouldn't depend on intuition - it too often is wrong.
darkestkhan··on Miguel de Icaza on Samsung v Apple
There shouldn't be any patents for algorithms - algorithms are math, and math is not patentable.
darkestkhan··on A Software Entrepreneur On The Madness Of Software Patents and Trolls
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)

darkestkhan··on What Jamie Wong did at Khan Academy
Especially when it happens so that you are working in Space or Defense industry...
darkestkhan··on A Software Entrepreneur On The Madness Of Software Patents and Trolls
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.
darkestkhan··on Collection Of Puzzles For Programmers
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
darkestkhan··on Collection Of Puzzles For Programmers
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)
darkestkhan··on Solving Different Problems
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)
darkestkhan··on Garry Kasparov Arrested By Russian Police
Poland s also depending on Russian natural gas (primary source of natural gas in Poland)
darkestkhan··on Lay off W3Schools
What's wrong in starting programming with recursion? It is more intuitive since you learn about it in school...
Page 1 of 2Next →