Click here to Skip to main content
15,888,113 members

The Insider News

   

The Insider News is for breaking IT and Software development news. Post your news, your alerts and your inside scoops. This is an IT news-only forum - all off-topic, non-news posts will be removed. If you wish to ask a programming question please post it here.

Get The Daily Insider direct to your mailbox every day. Subscribe now!

 
GeneralRe: A little 64 bit follow-up Pin
TheGreatAndPowerfulOz13-Jan-16 3:39
TheGreatAndPowerfulOz13-Jan-16 3:39 
GeneralRe: A little 64 bit follow-up Pin
Dan Neely13-Jan-16 4:05
Dan Neely13-Jan-16 4:05 
GeneralRe: A little 64 bit follow-up Pin
TheGreatAndPowerfulOz13-Jan-16 6:15
TheGreatAndPowerfulOz13-Jan-16 6:15 
NewsRumors are flying that we finally found gravitational waves Pin
Kent Sharkey11-Jan-16 10:22
staffKent Sharkey11-Jan-16 10:22 
GeneralRe: Rumors are flying that we finally found gravitational waves Pin
PIEBALDconsult11-Jan-16 15:13
mvePIEBALDconsult11-Jan-16 15:13 
GeneralRe: Rumors are flying that we finally found gravitational waves Pin
Dan Neely12-Jan-16 3:08
Dan Neely12-Jan-16 3:08 
NewsOpen source licensing needs to grow up already Pin
Kent Sharkey11-Jan-16 10:21
staffKent Sharkey11-Jan-16 10:21 
NewsGreat News! Princeton plans to eliminate all software bugs! Pin
kdmote11-Jan-16 8:30
kdmote11-Jan-16 8:30 
Princeton University - Computer scientists launch campaign to guarantee bug-free software[^]

I realize this is old news (Kent posted it last week [^]), but I don't feel that it has been sufficiently ridiculed yet.

Then again, perhaps I am just unduly skeptical about a group of 8 students and 2 professors that "aims to eliminate out [sic] bugs in complex software" with $10M over 5yrs. It certainly is a venerable goal; and who am I to suggest that they might possibly be a tad over-ambitious? After all, they have already recognized that their "initial challenge will be to dissect the overwhelming complexity of modern hardware and software to uncover the factors that determine how various computer components work together," which sounds like a prudent starting point, even if it does end up taking a good couple of weeks out of their schedule. And, of course, I shouldn't overlook the fact that they wisely have planned to develop their so-called "deep specifications" using such proven strategies as "deductive reasoning, syllogisms and mathematics". It's only a shame that we have had to wait so long for these eminent tools to be applied to the plebeian field of Computer Science!

So... never mind my suggestion. I humbly retract my call for ridicule. Clearly what we need to do is herald this project as the "coming of age for the industry". And not just for this industry! Indeed -- as the team has presciently observed -- this breakthrough could impact "not only computer science disciplines, but many other disciplines as well." Think of it! With just a few extra years and some more far-sighted grants from the NSF, we might be on the cusp of seeing the eradication of errors from all modern scientific endeavors!

Wow! I don't know about you, but I think we could use a few less mistakes in science as we know it. And all that for only $10M? What a bargain!
GeneralRe: Great News! Princeton plans to eliminate all software bugs! Pin
  Forogar  11-Jan-16 8:52
professional  Forogar  11-Jan-16 8:52 
GeneralRe: Great News! Princeton plans to eliminate all software bugs! Pin
R. Giskard Reventlov11-Jan-16 9:08
R. Giskard Reventlov11-Jan-16 9:08 
GeneralRe: Great News! Princeton plans to eliminate all software bugs! Pin
Duncan Edwards Jones11-Jan-16 10:26
professionalDuncan Edwards Jones11-Jan-16 10:26 
GeneralRe: Great News! Princeton plans to eliminate all software bugs! Pin
Amarnath S12-Jan-16 7:10
professionalAmarnath S12-Jan-16 7:10 
GeneralRe: Great News! Princeton plans to eliminate all software bugs! Pin
Joe Woodbury13-Jan-16 15:40
professionalJoe Woodbury13-Jan-16 15:40 
NewsPhantom vibration syndrome: Up to 90 per cent of people suffer phenomenon while mobile phone is in pocket Pin
Kent Sharkey10-Jan-16 11:14
staffKent Sharkey10-Jan-16 11:14 
GeneralRe: Phantom vibrat... syndrome Pin
Marc Clifton10-Jan-16 12:46
mvaMarc Clifton10-Jan-16 12:46 
GeneralRe: Phantom vibration syndrome: Up to 90 per cent of people suffer phenomenon while mobile phone is in pocket Pin
TheGreatAndPowerfulOz11-Jan-16 10:47
TheGreatAndPowerfulOz11-Jan-16 10:47 
GeneralRe: Phantom vibration syndrome: Up to 90 per cent of people suffer phenomenon while mobile phone is in pocket Pin
Erik Burd11-Jan-16 10:58
professionalErik Burd11-Jan-16 10:58 
NewsMicrosoft is building its own SIM card for Windows Pin
Kent Sharkey10-Jan-16 11:00
staffKent Sharkey10-Jan-16 11:00 
NewsMicrosoft and other computing giants get together to define new framework for K-12 computer science Pin
Kent Sharkey10-Jan-16 10:38
staffKent Sharkey10-Jan-16 10:38 
GeneralRe: Microsoft and other computing giants get together to define new framework for K-12 computer science Pin
Mike Hankey10-Jan-16 11:25
mveMike Hankey10-Jan-16 11:25 
GeneralRe: Microsoft and other computing giants get together to define new framework for K-12 computer science Pin
Marc Clifton10-Jan-16 12:52
mvaMarc Clifton10-Jan-16 12:52 
GeneralRe: Microsoft and other computing giants get together to define new framework for K-12 computer science Pin
Member 1168325110-Jan-16 19:03
Member 1168325110-Jan-16 19:03 
GeneralRe: Microsoft and other computing giants get together to define new framework for K-12 computer science Pin
James_Parsons10-Jan-16 13:20
James_Parsons10-Jan-16 13:20 
NewsLet's Encrypt being abused, gets used in malvertising attacks says Trend Micro Pin
Kent Sharkey10-Jan-16 10:35
staffKent Sharkey10-Jan-16 10:35 
GeneralRe: Let's Encrypt being abused, gets used in malvertising attacks says Trend Micro Pin
James_Parsons10-Jan-16 13:13
James_Parsons10-Jan-16 13:13 

General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Praise Praise    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.