Channels ▼

Blogs

September 22, 2014

Going Android Native

I often get asked to write something lean to go into an Android app.

September 19, 2014

Using a Loop Invariant to Help Think About a Program

Last week, I talked about how to write a loop invariant. I would like to continue this discussion by paraphrasing a beautifully elegant example that Dijkstra used in A Discipline of Programming.

September 18, 2014

At Your (Android) Service

To the user, the alien program just happens to contain a screen that looks just like yours.

September 17, 2014

Setting Up a Test Environment for C++14

A little clever work and I was able to quickly set up a test machine with everything I needed on Ubuntu running in a Microsoft Azure VM.

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.




More events



Video