hendler

56 ms·

601.
In defense of the semantic web(whatisprogress.com)
3 points by hendler 17y ago|0 comments
602.
by hendler 17y ago
Some one should write this and apply to YC.
603.
by hendler 17y ago
Vdash executes math using the open source proof theorem prover Isabelle : http://www.cl.cam.ac.uk/research/hvg/Isabelle/ http://en.wikipedia.org/wiki/Isabelle_%28theorem_prover%29
604.
by hendler 17y ago
Thanks for those two links. Verified, versioned math is better, and more sustainable like http://www.vdash.org/ . How does Vdash differ from sagenb and codenode?
605.
by hendler 17y ago
There's also http://www.vdash.org/ . Vdash is verified math with a wiki front end. Hoping the author will comment here. :) See also http://groups.google.com/group/vdash
606.
by hendler 17y ago
From the blog - "I'm a professional freelancer working exclusively in Clojure."
607.
by hendler 17y ago
Seeing Pre's early troubles and Rim's App world ( see review at GigaOm [1]), not sure there is anyone getting app stores right (besides APPL). Between phone companies having to negotiate with platform and phone developers the market is too
608.
by hendler 17y ago
Here's the article in print version (all pages one page) http://www.forbes.com/forbes/2009/1005/technology-baidu-robi...
609.
by hendler 17y ago
yes. Intelligence in any one measure. We'll create an intellegence that can out-do a human. Because if we can define an intelligence and understand it - coding it up might be the easier part. As an integrated whole? - mimicking humans? not
610.
Haiku OS Alpha 1 released today (VMdisk available)(haiku-os.org)
9 points by hendler 17y ago|0 comments
611.
by hendler 17y ago
They are http://www.haiku-os.org/
612.
by hendler 17y ago
Well - there is the "new" OS (BeOS) that's ALL C++, right? GUI oriented OS might as well be C++... Alpha released yesterday - so maybe the C++ bashing is good timing. We'll see what happens. http://www.haiku-os.org/ [edit] Checking my ass
613.
by hendler 17y ago
'''the non-extreme variety has people first, and seeks sustainability for our entire, well fed population.''' I agree partly - starving now or later - is the problem. Isn't humanity just a startup?™ - industrial agriculture has "technologic
614.
by hendler 17y ago
Where Borlaug and organic farming have differences is modeling sustainability. As a scientist, I think (based on very little knowledge of him) , Borlaug was interested in sustainability and open to criticism. The problem of sustainability c
615.
by hendler 17y ago
Many design patterns work perfectly well in Javascript. In web architectures, there is a practical problem with where logic lives, where the data lives, and what generates the "view". It's a non trivial architectural problem, but it's not i
616.
by hendler 17y ago
Congrats on the benchmarks. A couple of questions: How has RethinkDB been affected by the recent changes to SSDs that have an improved firmware for garbage collection? Unrelatedly, does RethinkDB use the same clustering strategies as MySQL?
617.
by hendler 17y ago
Ahhhh, yes. The tubes. I've heard of this internet before.
618.
by hendler 17y ago
My one criticism - I think some of the excuse notes he rejects as lies are true - if they reflect anything similar to my childhood.
619.
by hendler 17y ago
I think it's faster for flow control and packet filtering, not just faster in general. The illustration states that P2P traffic is problem to be solved by this router. Article also states: "How Flow Routing Works Flow managers keep track of
620.
by hendler 17y ago
Microsoft, in the pursuit of rebuilding their image, needs to lie. MS can not be all things to all people. I'm not trying to sound cynical, but Microsoft doesn't need to worry about actually satisfying what people want. MS only needs to mak
621.
by hendler 17y ago
great submission. Thanks. I really like hearing about this kind of hacking vs using something like provigil. My experience has been that I can function with less sleep (4-5 hours with 1/2 hour nap), but less optimally, eventually. The naps
622.
Padmasree Warrior: Cisco CTO: Leadership "Women of Vision Keynote" [vid](youtube.com)
1 points by hendler 17y ago|0 comments
623.
by hendler 17y ago
The other engineer, CCheever has been with Facebook since near the beginning. His blog is pretty interesting too: http://www.ccheever.com/blog/
624.
by hendler 17y ago
Mis-titled article: talk mostly covers real-time and streaming search vs "web search".
625.
Yahoo, Twitter, Google talk BOSS [video](jellytalks.yahoo.com)
2 points by hendler 17y ago|1 comments
626.
by hendler 17y ago
"I don't want to grow up, because if I did..." http://www.youtube.com/watch?v=N8HMSf4O2FM
627.
Live science: "How the Brain Changes as We Grow Up" [VID](livescience.com)
1 points by hendler 17y ago|1 comments
628.
"Children's neural connections are more governed by proximity"(news.yahoo.com)
1 points by hendler 17y ago|0 comments
629.
by hendler 17y ago
Scientifically proven; with no proofs. "The authors take the position that persuasion is a science, not art, hence with the right approach anybody can become the master in the skill of persuasion." My approach is a bit simpler than 50 tacti
630.
by hendler 17y ago
Interesting, didn't know about Whey being filtered out. But 7 grams in a 30 gram (1 oz) serving isn't too bad, right? http://www74.wolframalpha.com/input/?i=cheese&a=*C.chees... 21 grams of protein compared with 23 grams in chicken h

More ›