Comment Who tagged this DRM? (Score 2, Insightful) 1224
This is more like user permissions.
Towards a Wiki For Formally Verified Mathematics 299
An anonymous reader writes "Cameron Freer, an instructor in pure mathematics at MIT, is working on an intriguing project called vdash.org (video from O'Reilly Ignite Boston 4): a math wiki which only allows true theorems to be added! Based on Isabelle, a free-software theorem prover, the wiki will state all of known mathematics in a machine-readable language and verify all theorems for correctness, thus providing a knowledge base for interactive proof assistants. In addition to its benefits for education and research, such a project could reveal undiscovered connections between fields of mathematics, thus advancing some fields with no further work being necessary."
Revamped WebKit JavaScript Engine Doubles In Speed 270
Shin-LaC writes "In a post on their official blog, WebKit developers introduced the 'next generation' of their JavaScript engine, SquirrelFish Extreme, claimed to be twice as fast as its predecessor. The post lists several changes contributing to the performance improvements, including 'bytecode optimization,' a 'polymorphic inline cache' (which sounds similar to V8's 'hidden class transitions'), and a 'context threaded JIT' compiler which generates native code (currently only for x86 processors), and is also applied to regular expressions. The new JavaScript engine is already available in the latest WebKit nightly builds. According to comparative benchmarks, the new engine is around 35% faster than the V8 engine recently introduced in Google Chrome, and 55% faster than Mozilla's TraceMonkey."
Political Viewpoints Linked To Fear 800
Pentagram writes "Researchers writing in Science report that the political orientation of test subjects who have strong views is linked to how easy they are to startle. They found that subjects who were more fearful were more likely to have right wing views, such as being in favor of capital punishment and higher defense budgets. The researchers suggest that this psychological difference is why it is so difficult to change people's minds in political arguments."
