Date Range
Date Range
Date Range
Forgot Password or Username? I like being a Random Guy. I like being a Random Guy.
Forgot Password or Username? AxcX lies here, Chium is born. AxcX lies here, Chium is born. AxcX lies here, Chium is born. AxcX lies here, Chium is born.
Sunday, April 12, 2009. At your salon, ask for an application of gel overlay, a nail-polish-on-crack painted over an existing, broken nail. Repair with superglue or nail glue.
Random code snippets, projects and musings about software from Eric Kidd, a developer and entrepreneur. Proving sorted lists correct using the Coq proof assistant. About 15 years ago, I was hanging out at the MIT AI Lab, and there was an ongoing seminar on the Coq proof assistant. The idea was that you wouldnt have to guess whether your programs were correct; you could. Is true, and we know.