Web log of Tom Cerul

Computers Aren't Deterministic!

Thu, 11 Mar 2010 17:14:04 GMT

I've been banging my head on my desk about this for a couple years. It used to be that programs always ran the same way, the behavior was deterministic, you got the same thing every time. But today's computers no longer have that claim. There is ao much going on at the same time that it's very difficult to find some bugs.

There's some new research backing me up: article covering the latest work of Luis Ceze. And I need to read the rest of this paper

Natural Selection 2

Tue, 09 Mar 2010 23:27:43 GMT

I'm excited about the upcoming release of version 2 one of my favorite video games. Natural Selection 2 is in the works by a very small team of developers working for themselves. In support of their efforts, I documented their map making tool on their wiki, Spark Editor. Also, I noticed today that I started the Wikipedia articles on Ladder Logic (proof) and Programmable Logic Controllers (proof).

DC allows more marriages!

Wed, 03 Mar 2010 15:00:49 GMT

Washington DC allows more marriages; line forms; temp workers hired http://news.yahoo.com/s/ap/20100303/ap_on_re_us/us_dc_gay_marriage

Yes, I believe that my lesbian and gay friends should be allowed to marry the people they love too.

Mon, 01 Mar 2010 15:42:13 GMT

I'm down to 202 pounds from 251. Goal one was 210 but I decided to go a little further. Goal two was 200. When I look in the mirror now, I see skin and bones so I decided 202 was plenty far enough. My BMI is just barely outside "normal" and still in the Overweight category but too bad.

I need to do more clothes shopping. My shirts look like hospital gowns on me right now.

Thanks go out again to the folks who wrote Lose It! for the iPhone. I was just experimenting with an app and completely changed my shape with zero emotional cost. Hopefully their website project goes live soon.