Click here to Skip to main content
13,662,263 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!

 
NewsAcoustic attacks on HDDs can sabotage PCs, CCTV systems, ATMs, more Pin
Kent Sharkey27-Dec-17 8:16
staffKent Sharkey27-Dec-17 8:16 
GeneralRe: Acoustic attacks on HDDs can sabotage PCs, CCTV systems, ATMs, more Pin
Tim Carmichael27-Dec-17 8:29
memberTim Carmichael27-Dec-17 8:29 
GeneralRe: Acoustic attacks on HDDs can sabotage PCs, CCTV systems, ATMs, more Pin
A_Griffin27-Dec-17 8:46
memberA_Griffin27-Dec-17 8:46 
NewsApple’s Lisa operating system to be released for free as Open Source iIn 2018 Pin
Kent Sharkey27-Dec-17 8:01
staffKent Sharkey27-Dec-17 8:01 
GeneralRe: Apple’s Lisa operating system to be released for free as Open Source iIn 2018 Pin
Rick York27-Dec-17 10:11
memberRick York27-Dec-17 10:11 
NewsBitcoin 'Is just like the Dot-Com Bubble' Pin
Kent Sharkey27-Dec-17 8:01
staffKent Sharkey27-Dec-17 8:01 
NewsWorld's coolest chip runs at near absolute zero Pin
Kent Sharkey27-Dec-17 7:46
staffKent Sharkey27-Dec-17 7:46 
NewsFormal verification: The gap between perfect code and reality Pin
Kent Sharkey26-Dec-17 18:01
staffKent Sharkey26-Dec-17 18:01 
In this post, I’ll discuss why I think formal verification has a long way to go — and why it just doesn’t work right now.
Prove it!
GeneralRe: Formal verification: The gap between perfect code and reality Pin
Marc Clifton27-Dec-17 6:38
protectorMarc Clifton27-Dec-17 6:38 
GeneralRe: Formal verification: The gap between perfect code and reality Pin
Kent Sharkey27-Dec-17 6:42
staffKent Sharkey27-Dec-17 6:42 
GeneralRe: Formal verification: The gap between perfect code and reality Pin
Marc Clifton27-Dec-17 6:49
protectorMarc Clifton27-Dec-17 6:49 
JokeRe: Formal verification: The gap between perfect code and reality Pin
Nelek29-Dec-17 11:28
protectorNelek29-Dec-17 11:28 
NewsComputer latency: 1977-2017 Pin
Kent Sharkey26-Dec-17 18:01
staffKent Sharkey26-Dec-17 18:01 
GeneralRe: Computer latency: 1977-2017 Pin
Marc Clifton27-Dec-17 6:54
protectorMarc Clifton27-Dec-17 6:54 
GeneralRe: Computer latency: 1977-2017 Pin
Kent Sharkey27-Dec-17 7:08
staffKent Sharkey27-Dec-17 7:08 
GeneralRe: Computer latency: 1977-2017 Pin
Nathan Minier27-Dec-17 9:52
professionalNathan Minier27-Dec-17 9:52 
NewsProof of randomness builds future of digital security Pin
Kent Sharkey26-Dec-17 18:01
staffKent Sharkey26-Dec-17 18:01 
GeneralRe: Proof of randomness builds future of digital security Pin
Marc Clifton27-Dec-17 7:00
protectorMarc Clifton27-Dec-17 7:00 
GeneralRe: Proof of randomness builds future of digital security Pin
BillWoodruff27-Dec-17 19:55
mvpBillWoodruff27-Dec-17 19:55 
NewsDARPA funds unhackable computer project to replace ‘patch-and-pray’ solutions Pin
Kent Sharkey26-Dec-17 18:01
staffKent Sharkey26-Dec-17 18:01 
GeneralRe: DARPA funds unhackable computer project to replace ‘patch-and-pray’ solutions Pin
Marc Clifton27-Dec-17 7:03
protectorMarc Clifton27-Dec-17 7:03 
NewsNvidia to cease producing new drivers for 32-bit systems Pin
Kent Sharkey26-Dec-17 18:01
staffKent Sharkey26-Dec-17 18:01 
NewsNew message in Paint warns of its removal from Windows Pin
Kent Sharkey26-Dec-17 18:01
staffKent Sharkey26-Dec-17 18:01 
GeneralRe: New message in Paint warns of its removal from Windows Pin
Marc Clifton27-Dec-17 6:42
protectorMarc Clifton27-Dec-17 6:42 
NewsThings we can learn from Microsoft Pin
Kent Sharkey26-Dec-17 18:01
staffKent Sharkey26-Dec-17 18:01 

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.


Advertise | Privacy | Cookies | Terms of Service
Web05-2016 | 2.8.180810.1 | Last Updated 16 Aug 2018
Copyright © CodeProject, 1999-2018
All Rights Reserved.
Layout: fixed | fluid