Comment Re:2 thoughts (Score 1, Interesting) 251
Submission + - World's first fully formally proven OS (theengineer.co.uk) 2
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
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
Comment Re:Hmm (Score 1) 211
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.
Journal Journal: P.S.
I now have an iPod. Lick my boots, mortal scum.
Journal Journal: Happy 24th Birthday to me!
\ `|
) (
| |
| | (/ `\ } )
Journal Journal: Powerbook finally ships!
Yes, 34 or so days after ordering it, my new Powerbook shipped today.
slaver slaver drool
YLFI
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
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)
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
Journal Journal: I bought an eMac
For the curious: 700mhz G4 eMac Rev 2.1, Combo Drive, 512Mb of Ram.
Journal Journal: Space Channel 5 OST
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'.