ShakiirNvar - Slashdot User

Submission + - eBay sells Skype to Netscape founder

Submitted by

Julefrokost

on Tuesday September 01, 2009 @05:45AM

Julefrokost writes: "Computerworld has a story about eBay selling Skype. Marc Andreessen, co-founder of Netscape along with a group of investors, are reported to have paid $2 Billion for Skype. According to New York Times, Google was also a potential buyer. Also the original founders of Skype are said to have placed a bid, but Marc Andressen & Co was the highest bidder."

Submission + - SPAM: Space Shuttle replaced by SpaceX for ISS re-supply 1

Submitted by

destinyland

on Monday August 31, 2009 @07:01PM

destinyland writes: "Next year SpaceX will perform resupply missions for the International Space Station after the Space Shuttle is grounded, as part of a $3.5 billion NASA resupply contract. "The fledgling space industry is reminiscent of the early days of the personal computer," notes one technology reporter, "when a number of established vendors and startups reversed-engineered Microsoft's DOS and manufactured PCs using the Intel 8080 chip set. We're likely to see a similar industry shakeout in the private space vehicle market segment in the coming decades.""
Link to Original Source

Submission + - World's first fully formally proven OS (theengineer.co.uk) 2

Submitted by Anonymous Coward on Wednesday August 12, 2009 @07:41PM

An anonymous reader writes: Operating systems usually have bugs — the `blue screen of death', the amiga Hand, etc., are known by almost everyone. NICTA's team of researchers has managed to produce an OS kernel that can NEVER crash, and is guaranteed to meet its specification. It is fully formally verified — as such it exceeds the Common Criteria's highest level of assurance.

The researchers used an executable specification written in Haskell, C code that mapped to the Haskell, and the Isabelle theorem prover to generate a machine-checked proof that the C code in the kernel matches the executable and the formal specification of the system.

Feed Engadget: SolidAlliance's USB RC Mini: finally, something we want (engadget.com)

From feed by engfeed on Tuesday August 21, 2007 @04:52AM

Filed under: Misc. Gadgets

Could it be... why yes, something we'd actually purchase from none other than SolidAlliance. The USB RC Car takes on a charge while parked in the garage. Flip open the door and turn the Mini loose on the mean cubicle circuits of your beige-soaked accounting dreams. Bad news: Win2k or XP PC, only. Good news: just ¥3,480 or about 30 bucks.

Gallery: SolidAlliance's USB RC Mini: finally, something we want

[Via Impress]

Read | Permalink | Email this | Comments

Office Depot Featured Gadget: Xbox 360 Platinum System Packs the power to bring games to life!

Comment Re:Except on the really bright ones. (Score 1) 729

by ShakiirNvar on Monday May 14, 2007 @09:02PM (#19124289) Attached to: A "Bill of Lights" to Restrict LEDs on Gadgets?

I've always used BluTack to block unwanted LEDs. If I didn't, I'd have my room lit up like a fine summer's day at noon, even if it was the middle of the night and all room lights were off.

Slashdot Top Deals