Click here to Skip to main content

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!

 
NewsHow I Write SQL PinstaffTerrence Dorsey1-May-13 11:14 
GeneralRe: How I Write SQL PinprotectorMarc Clifton1-May-13 11:43 
GeneralRe: How I Write SQL Pinmemberlewax001-May-13 12:01 
QuestionRe: How I Write SQL PinmemberIndifferentDisdain1-May-13 12:12 
AnswerRe: How I Write SQL PinprotectorMarc Clifton1-May-13 12:37 
GeneralRe: How I Write SQL PinmemberDan Neely2-May-13 4:15 
NewsAn interview with Hilary Mason, chief scientist at Bitly PinstaffTerrence Dorsey1-May-13 11:13 
NewsComputer Assisted Proofs - still controversial? PinstaffTerrence Dorsey1-May-13 11:13 
A famous computer assisted proof (or perhaps "proof") is the Kepler Conjecture. In 1998 Thomas Hale claims to have proven it. The proof involved rather complex computer calculations. The referees say they are 99% sure its true. Here's hoping an easier proof is found. Computer assisted proofs may become more common. I just hope we still know WHY things are true. Was Appel-Haken the first use of computer assisted proofs? I doubt it, but it was likely the first one to have an impact. It was important to know that this kind of proof could be done.
If you can test the code, you can test the proof.
NewsThe Past, Present and Future of Touch Computing PinstaffTerrence Dorsey1-May-13 11:12 
NewsAnnouncing the release of Windows Azure SDK 2.0 for .NET PinstaffTerrence Dorsey1-May-13 11:12 
NewsMessage Automatically Removed PingroupXoreax Software Ltd.1-May-13 1:51 
NewsWPF for the WinForms coder PinstaffTerrence Dorsey30-Apr-13 13:06 
GeneralMessage Automatically Removed PinmemberRajiv Kumar patel 201130-Apr-13 20:54 
GeneralMessage Automatically Removed PinmemberRajiv Kumar patel 201130-Apr-13 20:56 
GeneralRe: WPF for the WinForms coder PinprotectorMarc Clifton1-May-13 1:44 
GeneralRe: WPF for the WinForms coder PinmemberDan Neely1-May-13 3:46 
GeneralRe: WPF for the WinForms coder PinmemberGeekforChrist1-May-13 4:00 
NewsTrigonometry for Game Programming PinstaffTerrence Dorsey30-Apr-13 13:05 
NewsScaling Viki - a free book detailing the redesign of Viki.com's platform PinstaffTerrence Dorsey30-Apr-13 13:05 
NewsWhere Flat UI fails PinstaffTerrence Dorsey30-Apr-13 13:04 
GeneralRe: Where Flat UI fails PinprofessionalPIEBALDconsult30-Apr-13 17:06 
NewsPONKMORTEM - how to make a game on a C64 PinstaffTerrence Dorsey30-Apr-13 13:04 
GeneralRe: PONKMORTEM - how to make a game on a C64 Pinmembers_mon1-May-13 9:15 
NewsIBM has a new protocol (and a box) for the internet of things PinstaffTerrence Dorsey30-Apr-13 11:15 
NewsMeet IXI-Play, the Dancing Robot Bird Kids Will Love PinstaffTerrence Dorsey30-Apr-13 11:15 

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

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


Advertise | Privacy | Mobile
Web02 | 2.8.1411023.1 | Last Updated 28 Nov 2014
Copyright © CodeProject, 1999-2014
All Rights Reserved. Terms of Service
Layout: fixed | fluid