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 security/audio watermarking/web development analytics



Video