Forgot your password?
typodupeerror

Comment: Re:SAT is not a brute force loop (Score 5, Interesting) 189

by Kufat (#46279963) Attached to: A Mathematical Proof Too Long To Check

Yeah, I'm familiar with SAT solvers and the fact that they aren't REALLY full brute force; I oversimplified it a bit for the Slashdot crowd. Might have gone a little too far on the "lies to children" scale, mea culpa.

My point was that anyone with high school level math experience can understand the basic problem of boolean satisfiability; I was trying to draw a distinction between problems that are beyond human comprehension and those that are merely beyond human time and ability, with huge SAT instances falling into the latter category. Shouldn't have glossed over the details quite as badly as I did.

Earth

New Species of Legless Lizard Discovered Near LAX Runway 103

Posted by timothy
from the creepy-looking dept.
From an article at Discovery News: "A bustling airport would hardly seem the place to find a new species of reclusive animal, but a team of California biologists recently found a shy new species of legless lizard living at the end of a runway at Los Angeles International Airport. What’s more, the same team discovered three additional new species of these distinctive, snake-like lizards that are also living in some inhospitable-sounding places for wildlife: at a vacant lot in downtown Bakersfield, among oil derricks in the lower San Joaquin Valley and on the margins of the Mojave desert." Here's some more information in the form of a press release from Cal State Fullerton, home to James Parham, one of the discoverers.

Comment: Re:No root = developer headaches (Score 1) 240

by Kufat (#44408941) Attached to: Steve "CyanogenMod" Kondik Contemplates The Death of Root On Android

"Root" is something you have or do not have within Android. ROMs aren't flashed from within Android, they're flashed from either recovery or the bootloader. (Usually recovery.)
GP is correct, you're misunderstanding either the terminology or the roles played by the OS/bootloader/recovery.

Comment: Re:Recurring fee gap between flip phone and iPhone (Score 1) 298

by Kufat (#42583575) Attached to: The Strange Math of Apple's Alleged Massive iPhone 5 Order Cuts

For example, dumbphone plans on Virgin Mobile (a Sprint MVNO) start at $5 per month

Virgin Mobile's $5 plan seems to be gone. The cheapest payLo plan I see is $20/mo.

Ting is one of the better Sprint MVNO choices for light users and especially families of light users; they have a $6/line/month charge and buckets based on usage. You can share buckets on multiple lines on the same account, bring your own devices (subject to restrictions), and there are no surcharges for smartphones. They also have voice and text (but not data) roaming to VZW, unlike the Sprint-owned VM USA and Boost.

Comment: Re:Incremental updates? (Score 1) 50

by Kufat (#40945101) Attached to: Custom Android ROM Developers Get OTA Update Capabilities Like Carriers

You really don't need to wipe and reinstall as often as they say you do. I recently upgraded from CM7 to a CM9 kang without wiping anything except cache and only had to reinstall a few apps. (That said, sometimes you'll end up with a non-working mess and will have to wipe anyway...but it's very rarely necessary for point release or nightly upgrades.)

It is clear that the individual who persecutes a man, his brother, because he is not of the same opinion, is a monster. - Voltaire

Working...