Help me choose my laptop please.

I am a computer science major and I am going to spend $1000 dollars on a laptop for school. I am really interested in buying a Lenovo of some sort. I was thinking about getting one of the following:(or if you have a better choice, please let me know.)

Lenovo Yoga 13.3 from Best Buy:

Intel® 3rd Generation Core™ i5 1.7 GHZ

Display Type High-definition IPS LED touch screen (1600 x 900)

Ram 4 GB

128 GB SSD

Intel HD 4000 Graphics

HDMI out


ThinkPad T430 - 1 Year Depot Topseller Warranty
Processor: Intel Core i5-3210M Processor (3M Cache, up to 3.10 GHz)

Display Type: 14.0" HD+ (1600 x 900) LED Backlit AntiGlare Display, Mobile Broadband Ready
System Graphics: NVIDIA NVS 5400M Graphics with Optimus Technology, 1GB DDR3 Memory
Total Memory: 8 GB DDR3 - 1600MHz (2 DIMM)
Keyboard: Keyboard (Backlit) US English
Pointing Device: UltraNav with Fingerprint Reader
Camera: 720p HD Camera with Microphone
Hard Drive: 500GB Hard Disk Drive, 7200rpm
Ultrabay: DVD Recordable 8x Max, Dual Layer, Ultrabay Enhanced w/ SW Royalty for Windows 8
System Expansion Slots: Express Card Slot & 4-in-1 Card Reader

IdeaPad Y580 Laptop - 59359513 - Dawn Gray: Weekly Deal
Processor: 3rd Generation Intel Core i7-3630QM Processor( 2.40GHz 1600MHz 6MB)
Operating system: Windows 8 64
Graphics: NVIDIA GeForce GTX660M 2GB
Memory: 8.0GB PC3-12800 DDR3 SDRAM 1600 MHz
Display: 15.6" FHD LED Glare Wedge 1920x1080
Pointing device: Industry Standard Multi-touch 2 button touchpad
Hard Drive: 1TB 5400 rpm
Optical Drive: Blu-ray/DVD-RW
Battery: 6 Cell Li-Polymer
Network Card: Intel Centrino Wireless-N 2200BGN
Bluetooth: Bluetooth Version 4.0
Warranty: One year
Form Factor: Notebook
Camera: Integrated HD Camera