davidkellis

20 ms·

181.
by davidkellis 17y ago
My master's thesis advisor ( http://www.cs.ttu.edu/~rushton/ ) is interested in formal verification. This is the most practical and informative introduction to formal verification that I've seen yet. All the talks about formal verification
182.
SequenceL - Automatic Parallelization(lambda-the-ultimate.org)
1 points by davidkellis 17y ago|0 comments
183.
by davidkellis 17y ago
I'll jokingly point out that any 4 year old that's scared of the the monster under the bed, the scary man in the corner of the room (coatrack), or the noises that those monsters make (creaking floor/ceiling, etc.) is well aware of this disc
184.
by davidkellis 18y ago
I'm quite certain that this isn't a recent discovery.
185.
by davidkellis 18y ago
A Masters degree in CS at Texas Tech.
186.
by davidkellis 18y ago
Thank you for the link! Two days ago my Intelligent Systems professor said he used to teach the class with an emphasis on Bayesian Networks, but this semester he is teaching about probability, statistics, rule based expert systems, and gene
187.
by davidkellis 18y ago
CS Grad. Student/Part time PL/SQL guy - With side-project.
188.
by davidkellis 18y ago
From the article: "What we really need is a persistence-aware programming environment" This really hits home with me. I've been working on a data model for one of my projects. I'm trying to model time series data so that I can perform analy
189.
We Don't Need a "Database"(rashkovskii.com)
15 points by davidkellis 18y ago|10 comments
190.
by davidkellis 19y ago
Looking through the tutorial ( http://ycombinator.com/arc/tut.txt ), I think it's beautiful.