System languages should include Webapps

I was reading an FAQ today about some subtle C++ point and I came across a comment that explicitly excludes the beginning language-learner. By the way, it confuses most novice C++ programmers that private virtuals can be overridden… However the private virtual approach is now common enough that confusion of novices is less of a concern. This left me frustrated that a language that has been core to my personal success so flippantly brushed aside its future user.

4 Simple Steps to Run D Language in Azure Websites

I shameless stole these steps from 4 Simple Steps to Run Go Language in Azure Websites. This post is simply a transliteration to D. Thank you very much to Wade Wegner for the original post. 4 Simple Steps Create your Azure Website in Azure Portal. Configure FTP deployment 2. Run dub init vibed_hello_world --type=vibe.d and change the default app.d to read the port from an environment variable. Docs import vibe.d; shared static this() { import std.process; import std.conv; immutable port = environment["HTTP_PLATFORM_PORT"]; //Use the port IIS tells us to.

Property Driven Design: MinMax

I wrote an article on Property Testing about a year ago. even linked to it which was pretty cool. Recently, I uncovered a fantastic talk by Jessica Kerr about property testing. Kerr’s talk reinvigorated my languid research effort toward generated testing. Kerr presented the idea (novel to me) that properties aren’t rigid. Properties don’t need to exclude all possible incorrect results for a given function. Properties simply must reduce the size of the incorrect space. This may seem like semantics, but it is easier to exclude a wild-ass-guess that verify it is correct. Additionally, some domains may not have a solidly defined answer,a nd the result my be probabilistic in nature. This post will focus on deterministic problems for the moment, but realize that property testing is vastly more general than mundane example testing. How properties reduce the size of the problem space makes me imagine this Figure.


Following Kerr’s references, I found a set of projects from a predicate-logic course. This course provides 20 separate projects excellently cast for a property-driven-design tutorial. These projects are unique since besides the typical requirements they enumerate the predicate functions each requirement typifies. Predicate functions are to a predicate-logician as properties are to a computer scientist. These enumerated properties (predicates) clarified many points I misunderstood about property testing.

This post will step through the design of the first project minmax using C++. My primary goal for this article is to address a concern raised by a colleague, “Does pulling in more complexity — a fancy test generator — actually increase quality?”

Recasting how I blog

I wrote my first article for codestrokes in February 2011 - right as I was accepted to graduate school. My goal was to improve my writing in preparation for writing a thesis. While through grad school I started with more traditional writing tool. I started to learn to write, and I found my writing style: Simplicity. I started writing with a big fancy word processor. I blogged with a massive database backed blogging engine. By the time I finished my thesis, I was writing in vim. I used a makefile to check spelling and check for simple grammatical rules. The process was much simpler to manage. This motivated me to convert my blog to a static site. This post describes my process on simplifying my writing process.

About Me

Software Engineer interested in clouds, data, and type systems. I love software, and the impact we make on the individuals in our world. My perspective on quality is ever evolving and this blog is intended as breadcrumbs describing that change. If you would like to know more about my opinions try some of my articles, I’d love to hear your comments and discussions. Talks Hosted Script for Games (Link2) Code

Introduction to Pointers

Please see my introduction to pointers at

Property Testing in C++

Currently, I'm on a testing kick. One might say tests are shiny. I don't know if they are really shiny as much as I found another cool use for uniform_int_distribution<>. A use which, as a side effect, might make me appear to be a better software developer. (This assumes a negative bug rate is proportional to better software). I've started playing with Property Testing. Property Testing is a form of unit testing where the programmers defines properties, or invariants about the code. A framework library (ok, seriously its a framework because it calls your code) generates random constrained inputs and calls your test functions. It's pretty cool, and while I was playing around with the framework, I found a real bug, related to my ignorance of C++'s auto type deduction.

What is a Unit Test?

I’m taking a Software Testing and Verification course as part of my Master’s work. Our first assignment was to write a short paper describing a unit test, then implement selection sort and test it under that philosophy. Sarcastically, I commented to my colleagues the triviality of this question. The first response was, “Wow, I don’t think that is such an easy question.” A technical discussion ensued. This is that log. <!– more –> Definition 1: Given a function in the mathematical sense, i.e.

Hello Project Euler, Sorry I doubted you

Project Euler returns with full functionality including new problems! Thank you Project Euler for not giving up on this awesome project.

Goodbye Project Euler

A group of friends and I have been working on project euler for about a year now. I learned a great deal from this fantastic project, and it was the first time I was able to get a real handle on Haskell. Project Euler taught me make. It taught me better performance reporting techniques, honed my octave, and got me over that initial mind bending hump of Haskell. Thank you Project Euler, you will be missed.