Channels ▼


September 11, 2014

Loop Invariants Abbreviate Induction Proofs

It is often possible to avoid difficulties by proving the desired properties of our program by induction.

September 08, 2014

An Android's Life

It is tempting to imagine that if you know Linux and Java, you know Android. Almost.

September 04, 2014

Mathematical Induction Makes Extrapolation Accurate

Mathematical induction is a technique for using the properties of natural numbers to prove claims about every natural number.

News                                     RSS

JetBrains CLion: A New Cross Platform C/C++ IDE

September 13, 2014

Available now as an Early Access Program build - Tools

Splunk SDK C# v2 Shows Asynchronous Love

September 12, 2014

Opens up to .NET's enhanced async capabilities and better portability - .NET

Swagger 2.0 Connects APIs and Cloud Services

September 11, 2014

Huge open standards API workgroup comes together - Cloud

MonkeyLearn Artificial Intelligence For Text-Mining

September 11, 2014

Create and incorporate text-mining capabilities into applications and websites - Design

Qualcomm Internet of Everything Development Kit

September 11, 2014

Love them or hate them, Internet of Every-Thing development kits are here - Web Development

How To Build Interactive Educational "Gadgets"

September 09, 2014

An open API platform for developers from Versal - Mobile Reloads Inside "Illusion of Control" Vortex

September 09, 2014

Open, distributed, real-time communication between devices, services, and people - Tools

Watson Discovery Advisor Cloud Service

September 08, 2014

IBM's Watson Discovery Advisor is being used by researchers to rapidly analyze and test hypotheses using data in millions of scientific papers. - Cloud

JScrambler Now Compliant with Node.js

September 08, 2014

Adds Node.js support and does now full stack JavaScript protection - JVM Languages

Free and Open Source Cloud Tools Proliferate

September 08, 2014 simplifies document storage services - Open Source

Events of Interest

September 17. St. Louis, MO. Powered by JavaScript

September 17-19. St. Louis, MO. Strangeloop

September 23-24. San Francisco, CA. Designers of Things Conference

October 1-3. Santa Clara, CA. Software Developer's Workshop at ARM TechCon (Dr. Dobb's bloggers Al Williams and Eric Bruno will be presenting.)

October 9-10. Palo Alto, CA. Code Stars Summit

October 11-12. Los Altos Hills, CA. Silicon Valley Code Camp

October 17-18. Austin, TX. CITCON (Continuous Integration and Testing Conference)

November 3-5. San Francisco, CA. QCon

November 4-5. London, England. Code Mesh Conference

November 17-21. Budapest, Hungary. ApacheCon Europe

Videos of Past Events

September 2013. JavaOne

September 2013. SpringOne 2GX

June 2013. JAXConf 2013

June 2013. Chicago Algorithmic Trading Conference

May 2013. Google I/O

March 2013. GPU Technology Conference

October 2012. JAXLondon 2012

September 2012. Strangeloop

September 2012. Intel Developer Forum

August 2012. VMWorld

July 2012. Java Language Summit

June 2012. Google I/O 2012

May 2012. Atlassian Summit

May 2012 (paid). Fluent Conference

March 2012. Multicore World

July 2011. JVM Language Summit