From your description, it seems to me that you will be able to recover them.

Try this:

Bitcoin-qt.exe -rescan

Really, 450000? How did you manage to check that many so fast?

BTW, I'm also real good at finding pointless stuff to do instead of studying for exams

Lol - I think that's kind of the point

I will add some interesting reading on how big the keyspace actually is.

And in later releases, there will be additional rewards and quests, making it less boring/pointless...

2^256 Deep Space Vagabond: A gentle, mostly theoretical* attack on Bitcoin...

Newbies wanting to get acquainted with some basic Bitcoin concepts in a fun and risk-free way, and take FREE chances in winning up to 105,611 BTC, can give the 2^256 Deep Space Vagabond a try

How it works

 The basic premise behind DSV is extremely simple:
 1. Generate Address
 2. Check Balance
 3. Grab the key and it's yours! (if you do manage to find a loaded address before the end of the universe)

 There is no actual help file at the moment but the app should be pretty self-explanatory.


How to get started

 Download and run the freeware application for Windows Vista/XP/7 32/64bit:

  Version 1.35c: http://dre.redmartian.org/dsv135c.exe  (stand-alone, 851K)

  SHA256 hash: 94b4164c87934525e702629b5bf5a4624ef4c3fb5b04c5b18df81852c398cd70

 Generate a new batch of addresses and pick some to examine their balance one by one.
 

A word of warning on downloading Windows executables

It's highly recommended not to blindly download random executables from this forum.
I do guarantee that this app does no malicious things, but I do always recommend to either run new executables in a sandbox (such as Sandboxie) or virtual machine or, for the technically-oriented, compile them from the source code when available.

As for DSV, after carefully considering whether to open source it or not, I decided to only make the source code to the initial Python-based (command-line) prototype freely available to all. The full source code to the current version will be made available on donation only (amount TBD).


Coming soon: Special modes!


Official thread

The official thread for this project can be found there


*due to the fact that 2^256 is so huge, this app will probably never
truly harm Bitcoin. And if it does, it will just mean that the basic
premises were flawed.

I hope this app will encourage good, constructive discussion of Bitcoin concepts
as a beneficial side-effect, but if it instead generates too much controversy, I will
consider withdrawing it.

I guess my 2^256 Deep Space Vagabond app/"game" could be viewed as a (very gentle) theoretical attack on Bitcoin

All I can say is I'm real glad BkkCoins is taking strong interest in contributing to Electrum and will quickly become an invaluable asset to the "team"...

What "stealth" means in this context is defined here: www.portablefreeware.com/faq.php

Your wallet is never stored on a server.  Electrum servers run full bitcoind nodes to serve the blockchain. In theory the worst that a malicious server can do is lie to you about your balance or a transaction, but it can never steal any coins as it doesn't have your private keys.

You're in luck, this feature has just been added (check the main Electrum thread)! It is still under testing though, but if you're comfortable enough with github and feel adventurous, you could try it out. 

Wow, 200001 already! Block 200k is now history

And 10,000,150 total BTC.

Yeah! Celebrate

Proud to be part of this right now.

Breaking news: On block 200000, satoshi will come back among us!

Not yet!

Feels like Dec 31, 1999 23:59...

yep, total coins 9,999,850

That's quite a milestone... So I thought it might be worth celebrating!

The beer is on me

Currently we are at block 199988. So, in about 2 hours!

For those interested in using Electrum over Tor:  

 just configure your Electrum proxy settings as follows (and of course, Tor needs to be installed first):
 
  


Note: I haven't had a chance to test this myself yet - can anyone try it out?

Just wondering, what methods did you use with the above 2 purchases? Paypal or something else?

I'm starting to suspect the owner is satoshi himself...

And if there's any truth to the rumors that he's dead,
that would explain the lack of response...

Seems to work fine for me as well, on Win XP. I didn't test everything, though.
If more people could give it a try as well, it would be cool.

Things keep getting better and better!

Great, thanks!

Btw, are there any pre-built windows binaries available?

Approaching this from a different angle (assuming the thief hasn't found and spent the coins already - hopefully your password was strong enough, but check on blockchain.info whether the coins have moved):

try everything you can to recover the stolen laptop. This may be possible with some luck and if the thief isn't too smart.

You mentioned you are a dropbox user. Try the following: log on to the dropbox website and check your access logs - perhaps you'll discover the thief's ip address. Some people have been known to track and recover their stolen laptop thanks to dropbox logs. 

Or perhaps you have some other software running on that laptop allowing you to remotely access it? Teamviewer, remote desktop, ftp, telnet perhaps?