Channels ▼

Blogs

November 24, 2014

Abstractions For Binary Search, Part 6: How On Earth Do You Test It?

We will reduce a substantial part of our problem to calling these two functions repeatedly with suitably chosen test cases and verifying that they return the same results.

November 13, 2014

Abstractions For Binary Search, Part 5: Getting Down to Details

It's hard to imagine how this code could be much simpler. However, we don't actually know whether it works.

November 10, 2014

Invariants for Binary Search, Part 4: Using The Improved Abstractions

We continue our discussion of how to implement our binary search in an n-element sequence.




C/C++

C/C++ Feature Articles RSS

Building Portable Games in C++

The cocos-2d-x open source framework can be used to build games, apps, and other interactive software in C++. Here's a hands-on guide to using it to write and port games.

C# and .NET's Sudden Ubiquity

Microsoft ports .NET to Linux and Macintosh and open-sources the entire stack.

Data Compression with Arithmetic Encoding

Arithmetic encoders are better suited for adaptive models than Huffman coding, but they can be challenging to implement.

Jolt Awards: The Best Books

The best books of the past 12 months.

The C++14 Standard: What You Need to Know

New, useful features that make the language safer and more convenient.

C/C++ News RSS

CoderGears CppDepend 5.0 Arrives

Analyze a codebase and automate code reviews

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

Available now as an Early Access Program build

RemObjects Calls Forth Fire For Oxygene and RemObjects C#

Fire is a new IDE for Oxygene and RemObjects C# that runs on Mac OS X

PC Personality Tool For Settings Transports

UP includes support for C, C++, Java, and C#

Appmethod For C++ Android Apps

New "complimentary subscription plan" for free Android phone targeting

Xamarin Updates Cross-Platform

Release introduces the Xamarin Studio IDE and the Xamarin Component Store

C++-Based Scientific Computing Made Ceemple

Based on C++ integrating a large number of scientific libraries into an IDE

Leroy's Designable Deployment Automation Workflows

New release from Epic Force for application deployment now stable

Typemock Isolator++ Goes 64 Bit

Complete mocking framework for C/C++

Coverity Covers C/C++, Java, and C#

Version 7.0 combines code analysis, change-aware unit test analysis, and policy management

Events of Interest

November 25-26. London, UK. IoT 2014

December 11-12. Washington, D.C. ModevCon

March 2-6, 2015 London, UK. QCon London

March 5-8, 2015. Recife, Brazil. Tropical Ruby

March 17-19, 2015. Boston, MA. O'Reilly Software Architecture Conference

April 8-16, 2015. Montreal, Canada. PyCon 2015

May 4-8, 2015. Chicago, IL. Microsoft Ignite Conference

May 12-14, 2015. Zaragoza, Spain.Protocols Plugfest Europe 2015


Videos of Past Events

September 2014. Atlassian Summit 2014

September 2013. JavaOne

June 2013. JAXConf 2013

May 2013. Google I/O

October 2012. JAXLondon 2012

September 2012. Strangeloop

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



Video