In 2008 I was getting paid to work on my creation, Apache CouchDB. IBM had hired me early that year to put it into the Apache Incubator and by then it was a top level project. I was living in Asheville NC with my wife and kids, in the house 23hrs a day wo... (more…)

After working at Data61 with the verification team, and many conversations with Gerwin Klein, I have a good plan on how I think I want to achieve the goal of Trustworthy Rust.

Many ailing cities like Flint, Michigan, already have universities. Making them bigger and better would help the local economy. (more…)

An asynchronous GUI Rust library, based on GTK+ and futures/tokio... (more…)

Let me preface this by saying that I am a novice in the world of rust (though I'm liking things so far!), so if I make technical mistakes please let me know and I will try to correct them. With that out of the way, lets get started. My real... (more…)