fendrak

14 ms·

121.
by fendrak 16y ago
J Moore has been working on computer proof systems for some time, and has built one that he used to prove the AMD K12 architecture correct: http://userweb.cs.utexas.edu/users/moore/acl2/acl2-doc.html As a side note, he teaches a good intr
122.
by fendrak 16y ago
This would be beautiful. I have an ASUS EEE 901, and Chrome runs far better on it than Firefox ever could. It takes up less screen space, launches faster, and runs faster. For running a full-featured web browser with constrained resource
123.
by fendrak 16y ago
The part of the article I want to know more about is the post mortem organ harvest. How long after death did they wait before harvesting the heart?
124.
by fendrak 16y ago
Ha, I'm glad I'm not the only one who's mind wanders during those things! I've come to believe that it's more a function of having an extremely active mind that prefers to interact over simply receiving information passively. Same thing h
125.
by fendrak 17y ago
Mmm, coding with mere hours (nay, minutes!) left has caused me to produce simultaneously some of the msot awful and cleverest code I've ever written. But you know what they say about clever code...
126.
by fendrak 17y ago
I think he's referring to python object's use of "self" in class methods. What exactly he's talking about, I'm not entirely sure.
127.
by fendrak 17y ago
Imagine the possiblities the future holds! What if we could use a 3D printer to build collagen (or similar) base strucutre, then simply deposite the raw cells onto it and expect it to grow into a new organ? Organ donors would be obsolete!
128.
FCC unveils National Broadband Plan(news.cnet.com)
1 points by fendrak 17y ago|0 comments
129.
by fendrak 17y ago
Ben Franklin's essential liberty/temporary safety quote comes to mind here. Sure, it's in place for noble reasons (protecting children), but what happens when "feature creep" starts to set in? "Just one more site can't hurt, can it?"...
130.
by fendrak 17y ago
It's all well and good to say that it's just for filtering the One Thing, but once the door's open, there's no shutting it. Hillary Clinton's recent suggestion that the US view freedom of information as an essential human right and impose
131.
by fendrak 17y ago
True; nobody can be an expert in every field. Our job in that case is to make the tools/resources necessary to be proficient easier to access (done, thanks internet!) and to spread the knowledge that computers are really hard to break perm
132.
by fendrak 17y ago
Well, that saves me a bit of work!
133.
by fendrak 17y ago
I can sympathize with the author's lack of understanding of people's fear of breaking things, especially of those that are tech-related. Take computers for instance. It seems that to the average Joe, they're magical black boxes; they
134.
by fendrak 17y ago
You know, I thought the exact same thing about a third of the way into the document, and noticed that he used most of the common symbols you'd need, even a capital Z and exclamation point. Maybe I'll make a spring break project out of it a
135.
by fendrak 17y ago
My software engineering professor always used Code2HTML for the code samples he posted online: http://www.palfrader.org/code2html/ While I never used it myself, it produced nicely formatted results.
136.
by fendrak 17y ago
The art is very cool, but the demo is entirely too easy. The "shooting" feature's kickback allows you to fly, bypassing any obstacles. Unless this is a feature, in which case the obstacles need to be designed with that in mind. Other tha