Want to read Slashdot from your mobile device? Point it at m.slashdot.org and keep reading!

 



Forgot your password?
typodupeerror
×

Comment Re:Erasable paper (Score 1) 511

Paperless office is probably never going to happen; paper is just too convenient.

The problem trying to be solved isn't lots of paper though, it's the environmental effects of printing and throwing away lots of paper.

I disagree. I am mostly paperless at work, and environment is not the main reason driving me to that. Paper is just *not* convenient. All the documents keep changing constantly, there's no point in printing them out. Where I work, you can't really leave all the paper lying around, either, for security reasons. Secure disposal of paper is a pain, too. One of the reference manuals is thousands of pages, who'd want to print that? You can't even search in the paper version.

Mostly I'd say it's about old habits that die hard.

Comment Re:How about the even more useless keys? (Score 1) 806

I have physically removed the CapsLock, NumLock and Ins keys from my keyboard at both home and work.

Uh, why? My caps lock key is another ctrl, makes emacs use a bit friendlier for my left hand little finger. You could map the other keys to your liking as well. No need to break your keyboard.

Regarding TFA, it makes me wonder when they'll start removing other keys that are not useful for an average Windows/Office/Outlook user. A middle aged computer scientist using Emacs is becoming an endangered species I guess.

Comment Re:Yes, console gaming is dying. That must be it. (Score 1) 496

all of the consoles have reached the maturity/decline slope in their product life-cycle.

Really? "For years, Sony has argued that its video game consoles have 10-year lifecycles" says this interesting article, which mainly focuses on PS2's 9th birthday. Also, I don't see a big decline in sales in this console hardware sales chart (which, admittedly, might not be too accurate, but gives you a rough idea).

Frankly, I don't think we're nowhere near seeing what can be eventually squeezed out of PS3 or 360 or Wii. Remember the difference between early vs. later PS2 games?

And I don't realistically see what major upgrades in the main units would be beneficial for either the manufacturers or gamers in the near future, apart from cutting manufacturing costs and providing new kinds of controllers and accessories and online gaming modes. The current consoles will be with us for a long time, and they will sell huge numbers for years.

Comment Re:Literate Programming (Score 3, Insightful) 477

Yup. I'd go as far as saying readability is more important than correctness; fixing or improving easy to understand programs is trivial compared to trying to decipher spaghetti code. You write code for other people, and that other people might be you a few years from now.

I'm afraid you can't really force this attitude on people by using coding standards etc. though. I think it's something every coder needs to figure out for themselves. Like Pragmatic Programmer says, "care about your craft".

Comment Re:Do what datacenters do (Score 1) 697

Virtualize.

Virtualize, but go one step further: get your virtual server hosted for you. For example Gandi is pretty sweet. I'm sure there must be similar services in the US. No more worries about that box running in the basement.

If you insist on having the hardware in your house, QNAP offers wonderful NAS boxes with Debian Lenny support.

Comment Re:Too late (Score 1) 517

I was fairly sure the OS running on the MONDEX smartcards was formally proven.

Can't be bothered to look it up in the MONDEX case, but usually only parts of the smart card operating systems are formally proven; it's too costly to cover the whole system. Often it can be (semi-)formally proven that certain security irrelevant parts do not affect the areas being evaluated. (There's a paper on the MONDEX certification for those interested.)

Also, from TFA:

Formal proofs for specific properties have been conducted for smaller kernels, but what we have done is a general, functional correctness proof, which has never before been achieved for real-world, high-performance software of this complexity or size.

Admittedly, smart card kernels can't be referred to as "smaller kernels" if what they have is 7500 lines.

Comment Re:Who in their right mind would want to use Ext3? (Score 1) 272

ehm... you don't need to use FAT for USB mass storage devices or for any other kind of device, you could easily use anything else (actually all my pen drives have Ext3). The problem is that Windows (by default) only supports FAT and NTFS.

Another problem is that USB thumb drives present themselves as block devices, which flash is not. There's a flash translation layer, which on most devices optimizes flash usage for FAT. Due to limited erase/write cycles on flash, using file systems such as ext3 may severely limit the life time of the thumb drive, since the flash translation layer's wear leveling probably doesn't work well with non-FAT filesystems. The situation, I've let myself be told, is especially bad with journaling.

As long as the FTLs are optimized for FAT, I'd stick with it, wrinkles and all.

Comment Re:The first things to do (Score 1) 230

I haven't really followed up on the recent developments of Qt or STL, but I was under the impression that Qt containers implement copy-on-write while STL ones don't. Correct me if I'm wrong.

I don't think it's an exactly clever idea to be unnecessarily copying containers in the first place, but no matter what it makes Qt to STL migration hard if the Qt applications are filled with assumptions on copy-on-write.

Slashdot Top Deals

So you think that money is the root of all evil. Have you ever asked what is the root of money? -- Ayn Rand

Working...