Slashdot Mirror


User: TheSunborn

TheSunborn's activity in the archive.

Stories
0
Comments
991
First seen
Last seen
Profile
(view on slashdot.org)

Comments · 991

  1. Re:What a strange thing from IBM on Java Static Analysis And Custom Bug Detectors · · Score: 2

    Well, java only allow casts that can be legal, and it return null if the cast fails. So if you have public class A { }
    public class B { }
    public void f(B myB) { A myA=(B)myB; }
    This will not compile at all, because there is no way to cast a B to an A.

    If you have
    public class Base { }
    public class Derived extends Base { }
    public void g(Base myBase) { Derived myDerived=(Derived)myBase; }
    The function g is ok, and if myBase is infact an instance of Derived, then all is ok. If it is NOT an instance of Derived, then myDerived vil be null, and any code that use myDerived will cast null pointer exception. You can't cheat the java type system.

    This is unlike c++, which will accept any cast you ask it to do.

  2. Re:What a strange thing from IBM on Java Static Analysis And Custom Bug Detectors · · Score: 1

    Java is a strong typed language, which just mean that if you got a reference to a class A, then you know that the object is of the type A, or of a class that extend A. (And similary for the buildin types)

    But that is far from enough to be bug free. Just a simple example (Yes, a bit silly, but it shows the problem)



    /** Add element 0, and the integer at position index and return the sum */
    public static int myFunction(int[] myArray,int index) {
    return myArray[0]+myArray[index];
    }

    Now the question? Is this function buggy? I would say no, because it does exactly what the documentation say it does, and it does handle all cases where the function is called with correct input.

    So if this function was part of a bigger program, would that program have a bug in calling this funciton. That is: Does there exists input, that will cause this function, to be called with a index=myArray.length.

    And to answer that question automatic is someware between very very diffucult, and imposible. (But for most* programs answering that question is posibly)

    *I will argue that for at least 99.999% of all correct programs that are written to solve a pratical problem, making a static analysis that prove they are correct are in fact posible.

  3. Re:commercial coercion is not easy when its free. on BitTorrent Beefs Up Network Capabilities · · Score: 1

    Can you name a single company, that will host our server, and sell bandwidth at the price of 10 bucks a month for 250GB? Because I have been looking for one for quite some time.

    (The reason webhosting companies might sell at that price, is that they know you can't actuelly use all that bandwidth, when running on there
    hardware, due to limitations in there software,cpu/harddisk and available memory.

  4. Re:The business argument on Interview with IE Lead Program Manager · · Score: 1

    But there is no way to write html directly to support internet explorer, because Microsoft have not documentet what html/css internet explorer actuelly supports, and how it support it. So even when I just had to make a site that supported internet explorer, I still had to write it to the w3c specs, and then debug it using internet exploror.

    I really wish someone (From microsoft, it is there software afterall) would make a "MS html", and "MS css" documention site.
    That would make making webpages so much more easy.

  5. Re:WTF? on Debian DPL Threatens to Leave SPI Over Sun Java · · Score: 1

    The java included with Fedora is not the one from Sun. (And the default javac compiler, is jikes fro IBM, not javac from sun)

  6. Re:What the hell is this? on Google, Submission AdSense and NoFollow Letdown · · Score: 1

    It would be easy to detect anyway, because it always start with downloading robots.txt

  7. Re:Java on Dell Installs Google Software at Factory · · Score: 1

    Well the license up to, and including 1.4 did not allow this. (I don't know about 1.5)

    So the question should be reversed:

    I always wondered why sun prevented Dell and other companies from bundling the java vm.

  8. Re:Balony on Interview With the Father of Java · · Score: 1

    The installer is 16MB, but the size of the jre once installed is ~50M. (The size difference comming from the fact that the installer is compressed)

  9. Re:Balony on Interview With the Father of Java · · Score: 1

    The real problem was that it came so late.

    Java used to have(1.4 did, and I think the first of 1.5 did too) a license that did not permit distribution of changes made to the sources, and what was worse REQUIRED that you distributed all 50+MB of the jre with your application, insted of just bundling the things you actuelly needed.

    That made it really bad to do desktop java applications because even a small application would come with a 50MB jre.

  10. Re:What's in a name? on Ask Apache Software Chairman Greg Stein · · Score: 1

    That question is answered in the FAQ. (And the answer is yes, they have asked)

  11. Re:Requirements on Centrino Duo, Buy or Wait? · · Score: 1

    But the headline is wrong (Again). The question is not whenever the duo chip is fast enough. Obviously it is. The question is: Are the onboard gfx which the chipset includes good enough. And the answer is: Nobody knows -(

    ps: Anybody seen review of a total silent desktop pc based on the duo chip?

  12. Re:Notice its C++ and not Objective-C on Intel Software Development Products for OSX · · Score: 1

    And it will take 5 minuts to rename your struct from class, to something else. (You do have a gui with refactor support right?)

    An other problem, which is a bit more work to fix, is that you have to cast (void *) so

    int *data=malloc(sizeof(int)*100) is not valid c++

  13. Re:More features - is that what C++ really needs? on Bjarne Stroustrup Previews C++0x · · Score: 1

    What problem would adding strings to c++ solve, that can't be solved by a library such as the posix thread library?

  14. Re:Well good on Federal Judge Rules Against Intelligent Design · · Score: 1

    It's not banned from beeing tought. it is beeing banned from beeing tought in biology classes.

  15. Re:Impressive on Sun Releases ZFS · · Score: 1

    How wil the volume thing, differ from just having a single volume called /, and then having /usr and /home
    be normal directories?

  16. Re:AMD Beating The Crap Out Of Intel? on Leaked Pictures of Socket F · · Score: 1

    CIV IV, really does require a really fast computer to be really playable.

    Right now my cpu just match the minimum requirement, and well I can play it, but it often includes more time spend waiting for the computer ai to move, then time spent moving myself.

    But the gfx is much better then expected, even on my lowend ATI Radon 9500. But I think it really takes a Amd 4000+ to play that game well.

    So for civ, cpu are MUCH more importent then gpu.

  17. Re:Go ahead and try it, Sid on Sid Meier Responds · · Score: 1

    Not really. The lemmings version, made in dmtml got in legal trouble. Do a google search on "lemmings dhtml" for the authors analyze of the problems with making clones of existing games, in a new media. Ofcause you could argue that freeciv is not a clone of any other game, because it mix from sereval civ games, and do add new elements.

    But the real reason there newer have been taken legal action against free civ, is that it is not a threat, to the sales of Civilization 4.

  18. Re:Counter arguments on Java Urban Performance Legends · · Score: 1

    We need to do something similary.
    Do you have any documentation on how you stripped it down?

    And how about the legal problems? The license for the jre say that you are not allowed to remove ANY part of the jre, except thoose mentioned in a very short list. -(

  19. Re:Firefox flaws fixable on IE UI Designer On His Switch To FireFox · · Score: 3, Insightful

    But tabs opened by clicking a link, and choosing open in new tab SHOULD inherent the history from the tab with the link.

  20. Re:Blank tabs rule on IE UI Designer On His Switch To FireFox · · Score: 1

    No, I don't think that is what he mean. The point is if you open a link on a page in a new tab, that new tab should inherent the history of the tab that was used to create the new tab.

  21. Re:Been using MySQL, but... on Comparing MySQL and PostgreSQL 2 · · Score: 1

    To do a VACUUM in postgresql mean that all deleted rows are really freed. When dooing VACUMM it also collect sample data(if you do a VACUMM full) about your data distribution, so it better can predict when to use an index. It used to have a bad repitation, because en early versions of postgresql, it required a write lock on the entire table, thus blocking all update/insert. But it does not block anymore, and thus is not really a problem.

  22. Re:this is bullshit on More Students Prefer Interdisciplinary to CS · · Score: 1

    So, you choose the wrong education. The real problem is that there is no real education for people, who just want to write software.

  23. Re:Wow, two superpowers battle it out... on Canada and Denmark using Google as Battleground · · Score: 1

    Not really. We(Denmark) Just scraped our last submarine, after it had been damaged in the Iraq war. (No not damaged by the Iraq military, it just was not build to that kind of weather)

  24. Re:This was inevitable on Sun Steps Back from Linux JDS · · Score: 1

    Did they ever build their non-Sparc that way?

    All their current opteron hardware is oem and use an "normal" bios. (They can support windows, so it is just a normal bios, not the open firmware/forth solution).

  25. Re:'nice 19' to the rescue on Quick, Standard Measurement for CPU Power? · · Score: 1

    No a task at nice 19 will still run even when a task with a nice 0 want to run.

    At least that was the case last time I tested with the linux 2.4 kernal.