skip to main
|
skip to sidebar
return Array[$];
Thursday, August 13, 2009
Formal proof of correctness for a full kernel
The front page for the project
The write up
a write up of the write up
0 comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
Blog Archive
►
2010
(10)
►
October
(2)
XKCD makes in interesting point, my mistake.
This season on TV...
►
August
(1)
Airport security... Bah!
►
July
(3)
Ice skate dentistry.
A gratuitously cute name.
Another looks at David Weber's world.
►
March
(1)
What are the chances?
►
January
(3)
Bachelor Pad cooking – Meal in a pan.
Bachelor Pad cooking – Shake and Bake Pancakes:
Why I think Netbooks don't suck.
▼
2009
(46)
▼
August
(3)
Formal proof of correctness for a full kernel
MPG for an electric car?
The best kind of vigilante justice
►
July
(5)
Google is funny.
Bayesian statistics in the general media.
Creative Phrasing
The Consequences of Deciding and Timeing
Group size and unity.
►
June
(7)
Beating CAPTCHA can be a good thing.
Stackoverflow Flair widget
Open source; not just for software anymore.
Serialization for D part 6 of n
Looks like the bad guys are winning....
Thank goodness Linux != Probable cause
Static Initialization Check Feature
►
May
(13)
Serialization for D part 5 of N
Oh, Man I want one of these!!
Serialization for D part 4 of N
Serialization for D part 3 of N: with Code!
Serialization for D part 2 of N
Reading between the lines.
Finally, some rational thought in mainstream media...
Serialization for D part 1.1 of N: comments
Serialization for D part 1 of N
Automatic Discretization of a 2D Geometric Obstacl...
Hm... this sounds familiar
Turnabout's fair play
Pilotless airplanes and securety implications.
►
April
(6)
"Unit in the last place" floating point test
Some musings on David Weber's world.
This seems a bit "off" to me.
Another DSL*.NET language idea
The problem with being overly literal minded.
The advantages of O(b^d)
►
March
(12)
How true it is.
Irony: the Alanis Morissette kind
fun with AI's
My AI is working (mostly)
Fun from the code lines.
Why is .NET built as GPLs?
Contributors
BCS
BCSd
Followers
Stakoverflow.com Flare
0 comments:
Post a Comment