Polyspace Code Prover is a commercial software verification tool. I exchanged many emails and four phone calls with Mathworks in order to convince them to give me a one-month free trial. Unlike my usual toolset, it is not “free as in freedom”, it is free as in “have fun with those FlexLM bugs, bwahaha”. But, …
Continue reading ‘Using Polyspace Code Prover to verify server software’ »
My wife Angela wanted a clock for her birthday where its one and only hand would go around once per year. Sure, I can do that, I said. Angela chose a wall clock to modify, and chose artwork for the dial. I designed and built the circuit, and wrote the microcontroller code. In-circuit programming made …
I just bought a NAS, specifically a Thecus N2200EVO, to do LAN music streaming and some other miscellaneous storage tasks at home. I was just on the verge of disappointment at a few minor niggles, when I discovered the SSH interface. It lets you log in as root. It’s Linux on ARM. All the partitions are …
Hi folks, I thought I’d stop by my blog to rant about a little GTK+ issue that has come up recently. GTK+ is known for its thoughtful design. For example, when you open a file chooser dialog box to open or save a file, the directory it initially displays is the last directory you used. …
Continue reading ‘Open/save dialog goes to “recently used” list by default’ »