Model checkers get Turing Prize
652093
Medals and money... The Association of Computing Machinery has awarded the $250,000 A.M Turing Prize to three men who created an automated way to find design errors in hardware or software.â¦
155431
Le tracce dell'esame di matematica su skuola.net
760340
Daphne Koller is pushing the limits of building computer programs that learn efficiently and reason intelligently. Third in a series profiling this year's MacArthur 'genius award' winners. By Kari Lynn Dean.
424204
Blog: RoboCup's use of Wikipedia for results leave some wondering who the winners are
244057
Science & environment: Scientists develop technique which improves the success rate of computer face-recognition systems
49126
A lot of things are happening in the Ruby world right now, and I wanted to highlight a few of them here:  At FOSCon this year, Amy Hoy has asked people to start writing more instructive articles about parts of Ruby or Rails so that newbies would have more "fine manuals" to read.  I've tried to do my part with two short series (so far), one on RubyInline and the other on ruby-prof.  The RubyInline articles are: RubyInline, making making things faster easier, and RubyInline: Going a bit Further.  The ruby-prof articles are:  Profile and ruby-prof, ruby-prof and call graphs, and Profile and ruby-prof:  getting specific. Another blog related event is the current blogging contest being run by Ruby Inside.  They're offering $100 US to their favorite informativ, ruby related blog post this week (Aug 14-20).  There have been a lot of interesting entries so far.  It would be pretty cool to see more contests like this crop up. We're getting close to a couple of Ruby conferences, I wrote about RubyConf*MI in my last post.  RailsConfEurope is also comingu up quickly.  If you're reasonable close to either of these, you should consider registering. O'Reilly has released the Ruby Cookbook.  It's a massive tome, chock-full of Ruby goodness.  I haven't had time to read the whole thing yet, but what I've read looks good, and I'm hearing good things from folks I trust.  Looks like another good book to add to your Ruby bookshelf. APress is getting ready to jump into Ruby and Rails in a big way.  They've got ten titles listed on their 'Rails Roadmap', and have lined up some well known Ruby names to write for them.  They're still looking for some Ruby authors according to this blog post. No Starch Press is also starting to make some Ruby related noises.  I can't be specific yet, but there's a good looking Ruby book on its way into their catalog.  If the book is half as good as what they've talked to me about, it's going to be another 'must have'. The Pragmatic Programmers also look like they're set to add some more titles to their Facets of Ruby line.  James Gray has said that he's writing a book for them that should be announced soon, Ezra Zygmuntowicz also has a book on the way, and I've recently signed a contract with them for a Ruby related book.  It looks like the PragProgs aren't going to be content to sit on their Ruby laurels. Finally, Developerdotstar is close to announcing a couple of books about programming.  Neither of these is Ruby specific, but from everything I've heard I think they're going to be solid, language independant books about becoming a better programmer.  Just the kind of thing you'd expect from these guys.
172270
After decades of research and development, speech recognition is finally moving toward mainstream use. Advances in statistical modeling, pattern matching algorithms and processing power have
494704
Factor 15 protection Two team of boffins have independently set up quantum computers running proof of concept versions of an algorithm for factorisation.â¦
349207
As previously mentioned, Nick Halstead will be revealing the top three places in the results from the programming competition he was hosting. Today starts the top three list with third place - an entry from Karol Grecki:   I was really impressed with Karol's entry and if it was not for the fact that it did not 'run out of the box' it would have been a close cut thing to be the winner. The fact is that because it was a pain to get running the two other judges only gave it 1 point each.   The post includes Karol's solution - a method that involved using the Zend Framework as a backdrop. You can see the application in action on Karol's website or just download the code and play along at home.
279869
A computer program called Alice has won a prestigious prize for human-like talk for the third time.
581606
There's a hidden promise in these results.
171501
Computational biologists at IBM develop an anti-spam filter that works in the same way scientists analyse DNA.
509655
(InfoWorld) - Coverity on Wednesday is announcing a software analysis engine based on the concept of "Boolean satisfiability," or SAT. Featured in the Coverity Prevent SQS (Software Quality System) product, the SAT engine uses a representation of software, or a "software DNA map," to identify complex defects in source code. This helps software development teams eliminate potentially costly defects. The technology allows Coverity to be more precise and to report a higher percentage of false defects, said Ben Chelf, Coverity's CTO. "We're the first people to actually take the technology that can solve these types of problems and put it into a static analysis engine for the purpose of finding defects before you already run the program," Chelf said. The Boolean satisfiability technique, which features patented technology from Coverity, creates a bit-accurate representation of a software system, with software questions translated into Boolean values of true or false and Boolean operators such as "and," "not," and "or." This enables source code to be analyzed by SAT-based Solvers. The first Solver to be released is the False Pruning Solver, to lower false positive test results in static code analysis. Two more Solvers are planned in early 2008 to check code assertions and detect critical bug categories, including integer overflows. The Solvers also will expand Coverity dataflow analysis capabilities to uncover greater numbers of buffer overflows while maintaining a low false positive rate. Prevent SQS is available Wednesday for C, C++, and Java software projects. Pricing starts at $35,000 a year for the enterprise-level product.
578973
IBM (NYSE: IBM) today announced a first of its kind programming contest for college and university students in 25 different countries, offering cash prizes and awards for the most innovative applications of the breakthrough Cell Broadband Engine(TM) (Cell/B.E.).
347638
In a new post on his blog, Kore Nordmann takes a look at a feature that's been around a long time (first introduced in a message board application) - BBCodes.   The discussion on my blog post "Do not use regular expressions for parsing" ended in a discussion about BBcodes in general. I just used them as an example to demonstrate why it it is impossible to parse such a language with regular expressions - and mentioned in a subclause, that I don't see any sense in using them at all.   He looks at some of the myths surrounding them and their use (more secure, easier to use, safer than HTML) and gives some reasons for making teh choice of HTML over them.
579637
Because anyone can edit Wikipedia, the Web encyclopedia's reliability varies wildly. Now a computer science professor hopes to give users a better baloney detector: software that flags questionable lines in Wikipedia entries.
123531
Nick Halstead has started up another programming competition today - this time it's a bit broader in scope and doesn't focus so much on just PHP.   I have a couple of licenses for Zend Studio Professional that I have been holding back to give away for a competition. So after writing yesterdays programming 'tips' I thought perhaps I should get my readers to submit their own tips and then give away one copy for what I think is the best 'tip' and then I will also hold a online vote for the second copy.   The basic process is to submit your favorite tip to Nick and he'll pick his favorite of the day. This happens each day and at the end of the week, there'll be a drawing for the licenses from each day's top tips.   Submit your entries via his contact form.