3-SAT is in NP, so it's solvable by definition in polynomial time – on a non-deterministic turing machine. It's whether it's solvable in polynomial time specifically on a deterministic turing machine that defines whether it's in P.
is to use, of all things, water. One keeps two reservoirs, one higher than the other. While one has power, one pumps water from the lower to the higher. When the power cuts out, one generates hydroelectric power by allowing water through from the higher to the lower.
Basically, libdispatch just creates a thread pool for each separate task, then uses some clever magic involving an inter-process semaphore to keep them blocking so that no more than enough threads (ie: the number of CPUs) are running at any given time. Nifty, because it means little change needed to be made to xnu.
libdispatch is also, theoretically, portable to other platforms, as long as one can provide a blocks runtime and a compiler capable of handling blocks. I noticed a patch on LLVM's mailing list today providing a Linux port of the blocks runtime, and llvm-gcc and clang both are capable of handling blocks and running on Linux.
I note they've also banned such wildly dangerous functions as strlen.
What's even more interesting to me is that _INLINE ASM_ is perfectly acceptable under their guidelines, but not memcpy.
I personally think that a sending out LLVM IR bytecode to be run sandboxed is a much better idea, since that can be JIT'd to the native platform on which the browser is running, or interpreted if JIT is unavailable; almost as fast on x86, much faster on other architectures, and very portable.
'Virus' in latin means venom. Since this is something uncountable, latin has no plural for it. The 'correct' way to pluralise it has to come from English, since we're using a transliteration.
Slashdot Mirror
I'd go with Linux From Scratch, and the TUX web server for a little speed boost.
3-SAT is in NP, so it's solvable by definition in polynomial time – on a non-deterministic turing machine. It's whether it's solvable in polynomial time specifically on a deterministic turing machine that defines whether it's in P.
Strictly speaking, the Geocentrists are correct that the Earth IS the centre of the universe, just like everywhere else in the universe.
For quick reference, here's the page on the repeal of the Digital Economy Act:
http://yourfreedom.hmg.gov.uk/repealing-unnecessary-laws/digital-economy-act
Please add your votes/comments.
Frankly, there are too many of these damn kids around anyway.
is to use, of all things, water. One keeps two reservoirs, one higher than the other. While one has power, one pumps water from the lower to the higher. When the power cuts out, one generates hydroelectric power by allowing water through from the higher to the lower.
Here's the paper which may have started this research: http://eprints.soton.ac.uk/66795/01/thesis.pdf
We're talking about demos which are longer than Portal here.
They're both LGPL.
That got modded 'Informative'?
Well, it is!
Just real-time systems - ones where you have set deadlines :)
3 hours for a 6 minute bit of video is not at all unusual.
My mind, it is blown.
I want a British pirate party now. We need one :/
Not in Russia, you insensitive clod.
As much as programmers do often work hard and produce nifty things, why this rather than, say, surgeons' day, or police officers' day?
Basically, libdispatch just creates a thread pool for each separate task, then uses some clever magic involving an inter-process semaphore to keep them blocking so that no more than enough threads (ie: the number of CPUs) are running at any given time. Nifty, because it means little change needed to be made to xnu. libdispatch is also, theoretically, portable to other platforms, as long as one can provide a blocks runtime and a compiler capable of handling blocks. I noticed a patch on LLVM's mailing list today providing a Linux port of the blocks runtime, and llvm-gcc and clang both are capable of handling blocks and running on Linux.
I asked Google Squared for a list of dead people. One of the first to appear was 'God,' whose date of death was apparently September 2006.
I note they've also banned such wildly dangerous functions as strlen. What's even more interesting to me is that _INLINE ASM_ is perfectly acceptable under their guidelines, but not memcpy.
I *still* think that Bacon Fever is a superior name. Just sayin'.
I personally think that a sending out LLVM IR bytecode to be run sandboxed is a much better idea, since that can be JIT'd to the native platform on which the browser is running, or interpreted if JIT is unavailable; almost as fast on x86, much faster on other architectures, and very portable.
Actually, if you are talking about latin it is
Vira
'Virus' in latin means venom. Since this is something uncountable, latin has no plural for it. The 'correct' way to pluralise it has to come from English, since we're using a transliteration.