Forgot your password?
typodupeerror
Security

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

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.

Comment line breaks help... (Score 5, Funny) 93

Boing Boing: Crocheted replica of subway map cracks DRM on collection of old video games.

FARK: Drunk frat boy in Florida has sex with underage donkey, sues Strong Bad for negligence. Still no cure for overused in-jokes.

Slashdot: AMD, SCO patent MP3 over TCP/IP, sue ATI, EA. Microsoft probably responsible somehow.

Kottke: Elwin Festerator is the unsung inventor of the curly telephone cord. "I looked at a straight telephone cord, and I asked myself, Elwin, why can't that be curly? So I went out and got my brand-new curling gun, and I curled the hell out of it." Related link: New Yorker article on the Olympic curling team.

Engadget: Samsung releases new cell phone/mp3 player/camera/web browser/GPS/game player/wireless hub. Now in gray!

Joystiq: Will Wright to design first-person Warcraft shooter for the Wii. Jack Thompson responds with aneurysm.

Groklaw: Transcript of SCO deposition on previous court order concerning applicability of evidence to last year's motion to review earlier statements. Seriously, we love this stuff.

Daily Kos: Bush caught in three-way with Ann Coulter and Rush Limbaugh.

Little Green Footballs: Bush enjoys triumphant three-way with Ann Coulter and Rush Limbaugh.

Gawker: Paris Hilton does pretty much anything.

Cute Overload: A kitten licks a puppy while the puppy licks a bunny.

Fleshbot: Same as Cute Overload, only with coeds.

MacRumors: Apple is going to sue us for revealing that Apple is going to sue us.

MAKE blog: How to create a nuclear accelerator using a Flash drive, a Commodore 64 and a guy named Roger.

Metafilter: Unhelpful link text. Extra links added for padding that have little to do with the main topic of the entry. Are extremely loaded rhetorical questions the only thing that can save us now?

Digg: Hey, cool, someone wrote an article about Digg!

Comment Re:I can't believe this crap got modded up (Score 1) 590

I'm an agnostic libertarian who votes Republican, does that make me a "fundy" as well? I hate to sound like an asshole, but I think in a sense it does - you've become a "Functional Fundy". Your votes are going to power civil programs working directly against your stated political direction. The republicanism of smaller governments and improved personal responsibility has been cast to the winds in the wake of Reagans courtship of the religious right. Although, he at least had the sense to keep the governments size under control to a point. If giving money to terrorist organisations such as the Tamil Tigers, Hamas or Al'Queda is considered to be effectively engaging in terrorism, your (vote) funding of the Republican Party can only be considered to be effectively engaging in its current social aims. If you think the current Republicans can best serve the America you see for the future, then I think you should definitely vote for them - but perhaps you should rethink the labels you use to categorise yourself. And, for gods sake, if you don't see them building the America you want, you had better go and get your like minded republicans out of bed and to the voting booths, because you are rapidly becoming at risk of being marginalised and left without representation. -- YLFI

Comment Re:Hmm (Score 1) 211

Not only has Opera been available for Series 60 phones for ages, as other commenters have pointed out, it really sucks. I've got a Nokia 6600 (bad, bad phone), it runs Opera, and the browser is terrible for anything other than basic text rendering.

Opera used to be great, but it's way behind the curve nowadays.

The only reason they get away with it is because I hardly ever use the Web browser on the phone, since traffic is so expensive here.
User Journal

Journal Journal: The Eels, Enmore Theater, Saturday the 13th 1

The eels played the enmore, and they rocked it like a magickist. MC Honky was great. Even the little Imbruglia put on a great show ( they had your mic turned down too low though ). E was in good spirits and totally rocked his ass off like a Ninja.

At the risk of dread heresy, this concert beat out the time I saw Bob Dylan at Centennial Park, or for that matter Jamiroquai at the Entertainment Center.

YLFI

Star Wars Prequels

Journal Journal: The Brak Show! 1

Song: "I'm Gonna Kick Your Ass" by Zorak

I wanna kick your ass until your head falls off
Then I'll kick your head and kick your ass again
Why, I don't think it got the message
Open the door sucker, it's Zorak
Here to kick your ass
(your ass)

Slashdot.org

Journal Journal: Lame .sig filtering

Why do the inane subject line rules apply to signatures here as well? Sure, some of the crapflooding ones are welcome, but why the minimum length ( and why does it still say 'subject line is too short' or whatever - sloppy! )

All I wanted was to have

$

as my sig... preferably without having to hack around some braindead filter.

YLFI

Anime

Journal Journal: Space Channel 5 OST

I am listening to Dr. Pris and Dr. Rachels OST for Space Channel 5 at work. Could this be the greatest game soundtrack of all time? [1]

Got my password mailed out to me again yesterday. Will get back to FAILing people on the weekend, once I get my new Mac ( yay ) and voting at the state elections.

Your pal,
You Likewise Fail It

[1] I guess the only competition would be Activision / Bullmarks score for 'Interstate 76'.

Slashdot Top Deals

I have a very small mind and must live with it. -- E. Dijkstra

Working...