Follow Slashdot blog updates by subscribing to our blog RSS feed

 



Forgot your password?
typodupeerror
×

Comment Re:Slashvertisement (Score 3, Informative) 234

Another vote here for Sage. On the open-source side of things, nothing comes close, because everything else that's any good (Maxima for example) is included within Sage, in a fairly transparent way. (I.e., the user doesn't need to know she's using Maxima.) Secondly, the (free) support is awesome. If you spend a little while learning Python and the basics of Sage, and you still have questions, the response time at sage-support at googlegroups is incredible.
Math

Wolfram Research Releases Mathematica 7 234

mblase writes "Wolfram Research has released the seventh version of Mathematica, and it does a lot more than symbolic algebra. New features range from things as simple as cut-and-paste integration with Microsoft Word's Equation Editor to instant 3D models of mathematical objects to the most expensive clone of Photoshop ever. Full suites of genome, chemical, weather, astronomical, financial, and geodesic data (or support for same) is designed to make Mathematica as invaluable for scientific research as it is for mathematics."
Education

Duke Demands Proof of Infringement From RIAA 159

NewYorkCountryLawyer writes "According to a report at p2pnet, Duke University has told the RIAA that it will no longer forward the RIAA's 'early settlement' letters to its students unless the RIAA submits 'evidence that someone actually downloaded from that student,' and said that 'if the RIAA can't prove that actual illegal behavior occurred, then we're not going to comply.' While it is good news that a university is requiring the RIAA to put up or shut up, the forwarding — or not forwarding — of letters is pretty insignificant. What I want to know is this: 'When the RIAA comes knocking with its Star Chamber, ex parte, 'John Doe' litigation to get the students' identities, is the University going to go to bat for the students and fight the litigation on the ground that it's based on zero evidence, and on the ground that the students weren't given prior notice and an opportunity to be heard?' Over 1,000 infringement notices were sent to Duke students in the last year."
Security

The Trap Set By the FBI For Half Life 2 Hacker 637

eldavojohn writes "You might remember the tiny news that Half Life 2 source code was leaked in 2003 ... it is the 6th most visited Slashdot story with over one kilocomment. Well, did anything happen to the source of the leak, the German hacker Axel 'Ago' Gembe? Wired is reporting he was offered a job interview so that Valve could get him into the US and bag him for charges. It's not the first time the FBI tried this trick: 'The same Seattle FBI office had successfully used an identical gambit in 2001, when they created a fake startup company called Invita, and lured two known Russian hackers to the US for a job interview, where they were arrested.'"

Where Have All the Pagers Gone? 584

oddRaisin writes "After recently sleeping through a page for work, I decided to change my paging device from my BlackBerry (which is quiet and has a pathetic vibrate mode) to an actual pager. After looking at the websites of Cingular, Verizon, T-Mobile, and Sprint, I'm left scratching my head and wondering where all the pagers went. I can't find them or any mention of them. Pagers of yore offered some great features that reflected the serious nature of being paged. They were loud. They had good vibrate modes. They continued to alert after a page until you acknowledged them. I didn't have to differentiate between a text from a friend and a page from work. Now that pagers seem to have become passé, what are other people doing to fill this niche? Are some phones better pagers than others? Are there still paging service providers out there?"

Comment Re:The exact opposite is true (Score 2, Insightful) 209

If it's possible to enumerate all valid proofs I propose the following proving algorithm: Run through all valid proofs; once you get to a proof whose conclusion is the theorem you want to prove, return that proof.

[if you don't know whether your theorem is true or not, run the above algorithm on its negation as well].

What's wrong with my algorithm?

The problem is that some propositions P have the following two properties:

1: P has no proof
2: (not P) has no proof.

So your algorithm searches forever and you don't know if it just hasn't found anything yet, or if there is nothing to be found.

Image

The Walking House Screenshot-sm 304

What is 10' tall, has six hydraulic legs, and is powered by the wind and solar panels? The prototype pod house built by art collective N55 in Copenhagen, Denmark. With the help of MIT, N55 built the pod over a two-year period at a cost of £30,000. Designers say it provides a solution to the problem of rising water levels as the house can simply walk away from floods. One of the designers says, "This house is not just for travellers but also for anyone interested in a more general way of nomadic living." It won't be long now until the Japanese make Howl's Moving Castle.
The Almighty Buck

The Rise of the (Financial) Machines 403

BartlebyScrivener writes "A New York Times Op-Ed quoting Freeman and George Dyson wonders if Wall Street geeks and 'quants' outsmarted themselves with computer algorithms to create the current financial debacle: 'Somehow the genius quants — the best and brightest geeks Wall Street firms could buy — fed $1 trillion in subprime mortgage debt into their supercomputers, added some derivatives, massaged the arrangements with computer algorithms and — poof! — created $62 trillion in imaginary wealth. It's not much of a stretch to imagine that all of that imaginary wealth is locked up somewhere inside the computers, and that we humans, led by the silverback males of the financial world, Ben Bernanke and Henry Paulson, are frantically beseeching the monolith for answers.'" The quoted essay from George Dyson is available at Edge.
The Courts

Palin E-mail Hacker Indicted 846

doomsdaywire writes "A University of Tennessee student who is the son of a Memphis legislator has been indicted by a federal grand jury on charges of hacking Republican vice presidential candidate Sarah Palin's personal e-mail. [...] If convicted, [David C.] Kernell faces a maximum of five years in prison, a $250,000 fine and a three-year term of supervised release. A trial date has not been set."
Security

Hackers Clone Elvis' Passport 164

Barence writes "Hackers have released source code that allows the 'backup' of RFID-protected passports, although the tool can potentially be used to create fake or cloned documents. The Hacker's Choice, a non-commercial group of computer security experts, has released a video showing a cloned passport being approved by a security scanner at a Dutch airport. When the reader scans the passport, it is revealed to belong to one Elvis Aaron Presley, complete with picture. Reports of the hackers serenading security staff with 'Are You Clonesome Tonight' are unconfirmed."
The Almighty Buck

Trading the Markets With FOSS Software? 417

Robert writes "Along with many other techies, I share an interest in the world of finance (bubble-era stock options pulled me in). Unfortunately, as someone with a strong preference for GNU/Linux as my operating system of choice, I have found that software in this area seems quite sparse. For awhile I have made do with Python, R, Gnumeric, Gnucash and a telephone, along with some small utilities I have written myself. What I would like to know is: what FOSS software do you use for financial analysis, trading, system development, and testing in a Un*x environment? Are there programs you would like to see written or ported? Do any brokerages, data providers, or other services provide good support for we the few? And finally, what commercial entities do you know of that are using FOSS software in their operation?"
Software

Software Spots Spin In Political Speeches 438

T.S. Ackerman writes "According to an article in NewScientist Tech, there is now software that can identify the amount of spin in a politician or candidate's speech. From the article, 'Blink and you would have missed it. The expression of disgust on former US president Bill Clinton's face during his speech to the Democratic National Convention as he says "Obama" lasts for just a fraction of a second. But to Paul Ekman it was glaringly obvious. "Given that he probably feels jilted that his wife Hillary didn't get the nomination, I would have to say that the entire speech was actually given very gracefully," says Ekman, who has studied people's facial expressions and how they relate to what they are thinking for over 40 years.' The article goes on to analyze the amount of spin in each of the candidates running for president, and the results are that Obama spins the most."
Books

Colfer Asked To Write Sixth HHGTTG Book 338

clickety6 writes "Eoin Colfer, the Irish author of a number of books (including the popular children's book series 'Artemis Fowl'), has been directly approached by Douglas Adam's widow, Jane Belson, to write a sixth book to continue the (even more) increasingly inaccurately named Hitchhiker's Guide to the Galaxy trilogy."
Earth

Estimated World Population to Pass 6,666,666,666 Today 645

suso writes ""The estimated population of the world will pass 6,666,666,666 today. No doubt an interesting number for people everywhere (not referring to any religion connotations). 5,555,555,555 was passed about 14 years ago. You may not realize that only 80 years ago, the population of the Earth was only around 2 billion. This shows how the population of the world has increased at an alarming rate in recent times, although the growth rate is almost half what it was at its peak in 1963, when it was 2.2%. Unrelated but also an interesting coincidence, the estimated number of available IPv4 addresses is getting very close to 666,666,666. It should cross over today as well.""
Data Storage

Retrieving Data From Old Amstrad Floppies? 323

Jeppe Utzon writes "Back in 1987, when I was a teenager in high school still, I spent most evenings, nights and weekends writing small programs in BASIC on my Amstrad CPC 6128. Some of these programs were simple games, some drew graphics, some could help me with math or train me in French — and most were utterly pointless. But I never had as much satisfying fun as when writing those programs — even if no one in my family understood any of it when I proudly displayed the fruits of three sleepless nights of labor. Now, 20 years later, I still have a sealed pack of about 15 disks with all my work on them (along with a few of my favorite games) and I was wondering if it was possible to get the data out somehow so that I could run it in emulation on my Mac. I know of the emulators, but have no clue what would be needed to extract the data — or if it is even extractable after all these years. I realize the chances of the data still being intact are quite low, but I'd like to give it a shot. So if anyone has any pointers it would be greatly appreciated." A large hurdle will be finding a drive to read the Amstrad disks at all.

Slashdot Top Deals

What is research but a blind date with knowledge? -- Will Harvey

Working...