By EditorDavid from Slashdot's art-of-having-a-happy-birthday department
An anonymous reader writes:
When 24-year-old Donald Knuth began writing The Art of Computer Programming, he had no idea that he'd still be working on it 56 years later. This month he also celebrated his 80th birthday in Sweden with the world premier of Knuth's Fantasia Apocalyptica, a multimedia work for pipe organ and video based on the bible's Book of Revelations, which Knuth describes as "50 years in the making."
But Knuth also points to the recent publication of "one of the most important sections of The Art of Computer Programming" in preliminary paperback form: Volume 4, Fascicle 6: Satisfiability. ("Given a Boolean function, can its variables be set to at least one pattern of 0s and 1 that will make the function true?")
Here's an excerpt from its back cover:
Revolutionary methods for solving such problems emerged at the beginning of the twenty-first century, and they've led to game-changing applications in industry. These so-called "SAT solvers" can now routinely find solutions to practical problems that involve millions of variables and were thought until very recently to be hopelessly difficult.
"in several noteworthy cases, nobody has yet pointed out any errors..." Knuth writes on his site, adding "I fear that the most probable hypothesis is that nobody has been sufficiently motivated to check these things out carefully as yet." He's uncomfortable printing a hardcover edition that hasn't been fully vetted, and "I would like to enter here a plea for some readers to tell me explicitly, 'Dear Don, I have read exercise N and its answer very carefully, and I believe that it is 100% correct,'" where N is one of the exercises listed on his web site.
Elsewhere he writes that two "pre-fascicles" -- 5a and 5B -- are also available for alpha-testing. "I've put them online primarily so that experts in the field can check the contents before I inflict them on a wider audience. But if you want to help debug them, please go right ahead."Read Replies (0)
By EditorDavid from Slashdot's jailbreaking department
An anonymous reader quotes CBS SFBayArea:
On one recent morning, Rick Garcia and his wife Shannon Knuth woke up to a posse of San Francisco police officers at their front door. "I peered through the peephole and I saw a police officer and a battering ram," Garcia said. "We heard 'SFPD' and 'warrant,' and I was like 'what's going on?'" Knuth remembers. It felt like a nightmare yet it was real. Garcia says that within seconds he was dragged into the hallway of his apartment complex, handcuffed, then whisked away to the Taraval Station.... Meanwhile Knuth, who had just got out of the shower, was ordered to sit on the couch... After rifling through the apartment Knuth says the officers finally told her what they were looking for: Her husband's iPhone X.
According to the warrant, it was stolen but Knuth showed them the receipt which proved her husband bought it. Once the officers realized their mistake they called the police station and a squad car brought Garcia home. "They gathered their pry bar and their battering ram and they left," he said. So how could a mistake like that happen? It's still unclear but it turns out Garcia and Knuth bought the iPhone at an Apple store at Stonestown Galleria just a few weeks after 300 iPhone Xs were stolen from a UPS truck in the mall parking lot.
One former police chief says the way it was handled "kind of boggles the mind... "This was clearly an incident that should have just been a knock and talk, a couple detectives come to the door, knock on the door and they would have gathered the same info that they gathered after they put him in handcuffs and hauled him off to jail."Read Replies (0)
By EditorDavid from Slashdot's carrying-the-one department
overheardinpdx quotes HPCwire:
Wednesday a company called Bounded Floating Point announced a "breakthrough patent in processor design, which allows representation of real numbers accurate to the last digit for the first time in computer history. This bounded floating point system is a game changer for the computing industry, particularly for computationally intensive functions such as weather prediction, GPS, and autonomous vehicles," said the inventor, Alan Jorgensen, PhD. "By using this system, it is possible to guarantee that the display of floating point values is accurate to plus or minus one in the last digit..."
The innovative bounded floating point system computes two limits (or bounds) that contain the represented real number. These bounds are carried through successive calculations. When the calculated result is no longer sufficiently accurate the result is so marked, as are all further calculations made using that value. It is fail-safe and performs in real time.
Jorgensen is described as a cyber bounty hunter and part time instructor at the University of Nevada, Las Vegas teaching computer science to non-computer science students. In November he received US Patent number 9,817,662 -- "Apparatus for calculating and retaining a bound on error during floating point operations and methods thereof." But in a followup, HPCwire reports:
After this article was published, a number of readers raised concerns about the originality of Jorgensen's techniques, noting the existence of prior art going back years. Specifically, there is precedent in John Gustafson's work on unums and interval arithmetic both at Sun and in his 2015 book, The End of Error, which was published 19 months before Jorgensen's patent application was filed. We regret the omission of this information from the original article.Read Replies (0)
By EditorDavid from Slashdot's rechargeable-roadsters department
Long-time Slashdot reader Kant shared an article from The Verge:
Ferrari will build a battery-electric supercar in a bid to challenge Tesla for a piece of the high-end, eco-conscious luxury market. CEO Sergio Marchionne, who also heads Fiat Chrysler, said that the Italian racecar company would also make a Ferrari SUV -- after previously dismissing the idea as ridiculous. Speaking at the North American International Auto Show in Detroit, Marchionne didn't offer any specifics on the electric Ferrari, but indicated the company would release it before the Tesla Roadster hits the road in 2020.
"If there is an electric supercar to be built, then Ferrari will be the first," Marchionne said, according to Bloomberg. "People are amazed at what Tesla did with a supercar: I'm not trying to minimize what Elon did but I think it's doable by all of us."
BMW and Porsche also have plans to introduce all-electric supercars, and Marchionne says "I don't know of a [business] that is making money selling electric vehicles unless you are selling them at the very, very high end of the spectrum."
His remarks were also "a significant departure" from comments made in 2016 about the Ferrari SUV: 'You have to shoot me first.'"Read Replies (0)
By EditorDavid from Slashdot's hi-there department
Popular Mechanics reports that "a key U.S. nuclear weapons document confirms that the Russian government is developing the most powerful nuclear weapon in more than a half century...a 'new intercontinental, nuclear-armed undersea autonomous torpedo'" with a range of 6,200 miles.
But what really makes "Kanyon" nightmare fuel is the drone torpedo's payload: a 100-megaton thermonuclear weapon. By way of comparison, the atomic bomb dropped on Hiroshima was 16 kilotons, or the equivalent of 16,000 tons of TNT. Kanyon's nuke would be the equivalent of 100,000,000 tons of TNT. That's twice as powerful as Tsar Bomba, the most powerful thermonuclear weapon ever tested. Dropped on New York City, a 100-megaton bomb would kill 8 million people outright and injure 6 million more.
Kanyon is designed to attack coastal areas, destroying cities, naval bases, and ports. The mega-bomb would also generate an artificial tsunami that would surge inland, spreading radioactive contamination with the advancing water. To make matters worse there are reports the warhead is "salted" with the radioactive isotope Cobalt-60. Contaminated areas would be off-limits to humanity for up to 100 years.
Slashdot reader schwit1 adds that "being sea-based makes it immune to ballistic missile defense."Read Replies (0)
By EditorDavid from Slashdot's bus-errors department
Slashdot reader sqorbit writes:
Apple runs shuttle buses for it's employees in San Francisco. It seems someone who is not happy with Apple has decided to take out their anger on these buses. In an email obtained by Mashable, Apple states "Due to recent incidents of broken windows along the commute route, specifically on highway 280, we're re-routing coaches for the time being. This change in routes could mean an additional 30-45 minutes of commute time in each direction for some riders." It has been reported that at least four buses have had windows broken, some speculating that it might caused by rubber bullets.
"Around four years ago, people started attacking the shuttle buses that took Google employees to and from work, as a way of protesting the tech-company-driven gentrification taking place around San Francisco," remembers Fortune, adding "it seems to be happening again."
At least one Google bus was also attacked, according to the San Francisco Chronicle, which adds that the buses "were not marked with company logos, and the perpetrators are suspected of broadly targeting technology shuttle buses rather than a specific company."Read Replies (0)
By EditorDavid from Slashdot's touching-the-sky department
Long-time Slashdot reader ClarkMills writes:
Rocket Lab has successfully launched its second Electron rocket from New Zealand's Mahia Peninsula, with the rocket reaching orbit for the first time... This follows the company's first launch last May, in which the rocket got to space but did not make it to orbit after range safety officials had to kill the flight.
Just 60 seconds before lift-off yesterday, a "rogue ship" entered their launch-range area, prompting them to postpone the launch until today. GeekWire reports:
This mission was nicknamed "Still Testing," but unlike the first mission, the objective was not merely to test Rocket Lab's hardware. The rocket had the additional task of putting three nanosatellites in orbit: an Earth-imaging Dove satellite for Planet, and two Lemur-2 satellites that the Spire space venture would use for tracking ships and monitoring weather... The price tag for a mission is as low as $5 million, thanks to streamlined hardware production techniques. The Electron makes use of carbon composite materials for its rocket core, and 3-D printing techniques for its Rutherford rocket engines.
90 minutes ago Spire tweeted that they'd experienced a "good clean deployment" of their satellites, adding that they were already receiving images and calling it "a huge win" for commercial space, small satellites, the Electron rocket, and New Zealand.Read Replies (0)
By EditorDavid from Slashdot's T-minus-two-weeks department
Self-taught rocket scientist/daredevil "Mad" Mike Hughes will finally launch his homemade rocket in two weeks -- despite "anonymous online haters questioning his every move." An anonymous reader quotes PhillyVoice:
He's found some private land in the "ghost town" of Amboy, California -- complete with a brand-spanking-new road that'll enable him to get his motor home and rocket gear to the site... "It'll be a vertical launch, me strapped into the rocket with 6,000 pounds of thrust, going up about three-eighths of a mile," he said, noting it's a prologue to a major launch this Fourth of July weekend. "It's the ultimate Wile E. Coyote move."
As with the scrubbed mission, this is in part an event which he hopes will get people to investigate the ideology which holds the earth is flat -- despite quite a bit of evidence to the contrary. He said it would've happened back in November if international publicity hadn't prompted government bureaucrats to "cover their asses" by pointing out that his launch site crept 150 feet into federal land. "I could've been arrested so at that point, I just went home and got back to work," he said... "But guess what? It's about to happen again... I should get more viewers than the Super Bowl," said Hughes, adding the launch will be aired on Noize TV [a video-on-demand service].
Noize TV has already posted video of a new interview with Hughes, touting his upcoming launch at 3 p.m. on Saturday, February 3, the day before the Super Bowl (which Hughes calls "nothing but bullshit.")
Hughes says he's also filing to run for Governor of California.Read Replies (0)
By EditorDavid from Slashdot's hot-water department
schwit1 quotes ScienceAlert:
She was flying home from a holiday in Samoa when she saw it through the airplane window: a "peculiar large mass" floating on the ocean, hundreds of kilometres off the north coast of New Zealand. The Kiwi passenger emailed photos of the strange ocean slick to scientists, who realised what it was -- a raft of floating rock spewed from an underwater volcano, produced in the largest eruption of its kind ever recorded.
"We knew it was a large-scale eruption, approximately equivalent to the biggest eruption we've seen on land in the 20th Century," says volcanologist Rebecca Carey from the University of Tasmania, who's co-led the first close-up investigation of the historic 2012 eruption. The incident, produced by a submarine volcano called the Havre Seamount, initially went unnoticed by scientists, but the floating rock platform it generated was harder to miss. Back in 2012, the raft -- composed of pumice rock -- covered some 400 square kilometres (154 square miles) of the south-west Pacific Ocean, but months later satellites recorded it dispersing over an area twice the size of New Zealand itself... for a sense of scale, think roughly 1.5 times larger than the 1980 eruption of Mount St. Helens -- or 10 times the size of the 2010 Eyjafjallajokull eruption in Iceland.
When an underwater robot first sent back detailed maps, one volcanologist remembers that "I thought the vehicle's sonar was acting up... We saw all these bumps on the seafloor... It turned out that each bump was a giant block of pumice, some of them the size of a van."Read Replies (0)
By EditorDavid from Slashdot's shifting-Swift department
An anonymous reader writes:
Apple's Swift project "has completed the process of migrating to the Swift Forums as the primary method for discussion and communication!" announced a blog post on Friday. "The former mailing lists have been shut down and archived, and all mailing list content has been imported into the new forum system."
While they're still maintaining a few Swift-related mailing lists, they're moving discussions into online forums divided into four main categories: Evolution, Development, Using Swift, and Site Feedback. Forum accounts can be set up using either email registration or GitHub accounts.
It was one year ago that Swift creator Chris Lattner answered questions from Slashdot readers.Read Replies (0)
By EditorDavid from Slashdot's defeating-the-purpose department
An anonymous reader quotes the EFF:
The Electronic Frontier Foundation (EFF) and mobile security company Lookout have uncovered a new malware espionage campaign infecting thousands of people in more than 20 countries. Hundreds of gigabytes of data has been stolen, primarily through mobile devices compromised by fake secure messaging clients. The trojanized apps, including Signal and WhatsApp, function like the legitimate apps and send and receive messages normally. However, the fake apps also allow the attackers to take photos, retrieve location information, capture audio, and more.
The threat, called Dark Caracal by EFF and Lookout researchers, may be a nation-state actor and appears to employ shared infrastructure which has been linked to other nation-state actors. In a new report, EFF and Lookout trace Dark Caracal to a building belonging to the Lebanese General Security Directorate in Beirut. "People in the U.S., Canada, Germany, Lebanon, and France have been hit by Dark Caracal. Targets include military personnel, activists, journalists, and lawyers, and the types of stolen data range from call records and audio recordings to documents and photos," said EFF Director of Cybersecurity Eva Galperin. "This is a very large, global campaign, focused on mobile devices. Mobile is the future of spying, because phones are full of so much data about a person's day-to-day life."
Dark Caracal apparently gets installed through carefully-targeted spearphishing attacks, accoridng to the EFF. "Several types of phishing emails directed people -- including military personnel, activists, journalists, and lawyers -- to go to a fake app store-like page, where fake Android apps waited. There is even evidence that, in some cases, Dark Caracal used physical access to peopleâ(TM)s phones to install the fake apps."Read Replies (0)
By EditorDavid from Slashdot's states-of-mind department
PolygamousRanchKid, Ayano, and an anonymous reader all shared the same story. Tribune Media reports:
A group has launched a campaign to divide California into two states. It isn't the first attempt to split California, but unlike a failed campaign in 2016 to divide California into six states, the campaign to create New California would split the state into one made up of rural counties and another made up of coastal counties.
USA Today provides some context:
Breaking up California remains no easy task: A formal secession means getting approval from both Congress and California's legislature itself. But that hasn't stopped folks from trying. Hundreds of times... Monday's declaration of "the State of New California" marked the latest in more than 200 long-shot efforts to split the Golden State. All so far have failed.Read Replies (0)
By EditorDavid from Slashdot's on-second-thought department
An anonymous reader quotes BleepingComputer:
Red Hat is releasing updates for reverting previous patches for the Spectre vulnerability (Variant 2, aka CVE-2017-5715) after customers complained that some systems were failing to boot. "Red Hat is no longer providing microcode to address Spectre, variant 2, due to instabilities introduced that are causing customer systems to not boot," the company said yesterday. "The latest microcode_ctl and linux-firmware packages are reverting these unstable microprocessor firmware changes to versions that were known to be stable and well tested, released prior to the Spectre/Meltdown embargo lift date on Jan 3rd," Red Had added.
Instead, Red Hat is recommending that each customer contact their OEM hardware provider and inquire about mitigations for CVE-2017-5715 on a per-system basis. Besides Red Hat Enterprise Linux, other RHEL-based distros like CentOS and Scientific Linux are also expected to be affected by Red Hat's decision to revert previous Spectre Variant 2 updates, so these users will also have to contact CPU/OEM vendors.
At least one site "characterized the move as Red Hat washing its hands of the responsibility to provide customers with firmware patches," writes Data Center Knowledge, arguing instead that Red Hat "isn't actually involved in writing the firmware updates. It passes the microcode created by chipmakers to its users 'as a customer convenience.'"
"What I would have said if they'd asked us ahead of time is that microcode is something that CPU vendors develop," Jon Masters, chief ARM architect at Red Hat, told Data Center Knowledge in a phone interview Thursday. "It's actually an encrypted, signed binary image, so we don't have the capability, even if we wanted to produce microcode. It's a binary blob that we cannot generate. The only people who can actually generate that are the CPU vendors."Read Replies (0)
By EditorDavid from Slashdot's num-num-num department
An anonymous reader writes about "a little-known problem plaguing many newer vehicles from the likes of Honda, Toyota, and Kia."
The car makers used soy-insulated wiring to cut costs and "Go Green", but owners in rural areas are finding the local wildlife finds the wiring irresistible; thousands of dollars in damage has been done by rats and other critters eating wiring harnesses. Hackaday is asking their community to brainstorm solutions to this unique problem, as owners of affected vehicles have had to resort to sprinkling their driveway with coyote urine and putting rat traps on the wheels.
Hackaday reports that "It isn't just one or two cases either, it's enough of a problem that some car manufacturers are getting hit with class-action lawsuits." Back in 2010 Slashdot reported that rabbits had already discovered the joys of eating soy-insulated wires, and were turning the parking lot at the Denver International Airport into their own personal buffet.
There's even a web site called HowToPreventRatsFromEatingCarWires.com, which reports that Honda has already manufactured a special wire-wrapping tape that's infused with the active ingredient from chili peppers.Read Replies (0)