I won a copy of the book Hacker's Delight from John Regehr for my entry in his nibble sort contest earlier this year.
In that thread I had heard about the CBMC Bounded Model Checking software, and it gave me the idea to combine the two: a project to take implementations of the algorithms from Hacker's Delight and prove the algorithms' properties with CBMC.
I have a modest start on github, which I am calling "Proven Delights":
Like many people over the age of 30, I remember when the Humble Bundle consistently offered Linux versions of almost everything in their bundles.
Those days are long gone, and now it's necessary to scrub over the "DRM FREE!" button of every title to find out whether it's on Linux.
But with this userscript (tested only on firefox with greasemonkey), titles that are not available on Linux are automatically greyed out and need trouble you no more.
If you're like me, and the number of times you boot a Windows machine to play video games is way under twice a year, remember to vote with your wallet: before checking out, open "choose where your money goes" and "developers", then slide the slider for all non-linux titles right down to zero.
This weekend I made good on my threats to try my hand at a homemade hazelnut butter and hazelnut coffee. I've only had one cup of coffee and a few spoonfuls of the butter, but I like how both turned out.
Toast 1½ cups hazelnuts in a cast iron skillet. Roll in a pillowcase or dishtowel to remove most of the dark skin (if the skin is stubborn, you didn't roast enough—return to the skillet). Place in food processor.
Process until hazelnut pieces are coffee-ground sized but still powdery. Remove ½ cup or so for hazelnut coffee; store in airtight container in refrigerator.
Add 1½ cups toasted sunflower seeds, 1 cup dark chocolate chips and ½ tsp salt to food processor. Process until it forms into a ball. Store in airtight container. I expect this to keep as long as any other preservative-free nut butter. Originally I stored my nut butter in the fridge, but the next morning it was too stiff to spread well. It's clearly much better to store it at room temperature, as long as it's used up quickly.
This butter is not as smooth, oily, or sweet as the commercial product you may be thinking of; it's more like Justin's Chocolate Hazelnut Butter.
Hazelnut coffeeCombine 1 part hazelnut powder with 5 parts coffee grounds and then follow normal coffee-making process (I use an aeropress and then add a liberal splash of heavy cream). I assume that it will work to store this combined with ground coffee for at least a few days depending how picky you are about the freshness of your coffee beans.
Both recipes will benefit from some tweaking to your own personal preference, but as a proof of concept both of these ideas are obvious winners.
So I was happy to learn enough about angularjs to cheat at my favorite incremental game of the moment, Swarm Simulator.
var sc = angular.element(document.querySelector('.ng-scope')).scope() sc.env.isDebugEnabled = 1 sc.game._units.byName.nexus.prodByName.energy.val = new Decimal(1000) sc.game.unit('mutagen')._addCount(new Decimal(1e100))
We got our 2013 Prius just about a year ago, and I ran TRIP A without resetting it for that whole first year. Here are the final numbers:
For everyone not still suffering under the tyrrany of imperial measures, 44.4mpg is around 5.3l/100km and the distance driven is about 12000km.
That means ...
- 260 hours total driving time
- 43 minutes driving time per day
- 21 average miles a day (33km)
- 170 gallons of fuel (640l)
- 2/3 gallon per hour of driving (2.4l/hour)
Getting at 44.4mpg instead of the EPA combined fuel economy of 50mpg means using 20 extra gallons of fuel over the course of the year, 13% more than predicted.
Overall we're happy with the Prius. It's much roomier than the car it replaced and it has better fuel economy. However, I'm a bit sad we didn't get closer to the EPA fuel economy.
The main thing lowering the fuel economy is short winter drives. My drive to and from work is just 2.5 miles per direction, and I often drive a similar distance to and from lunch. In winter, that's too little distance for the car to warm up to the point that it enters the fuel-saving EV mode while stopped at lights. (this kind of driving is even classified as "severe operating conditions" by Toyota: "Repeated trips of less than 5 miles in temperatures below 32 degrees Fahrenheit")
Our summertime fuel economy (also the time of year when we make long driving trips on the highway) is closer to 48mpg.
Windsong B&B where we stayed on the east coast of Tasmania.
I decided it was time to reboot my digitalocean machine after installing a new kernel. Its uptime was:
17:14:28 up 368 days, 19:55, 3 users, load average: 0.29, 0.10, 0.07Since that's a year I suppose that in that time it's cost me about $60, minus some for the referrals I've gotten for posting about them on my blog.
.. I actually had to reboot it twice because I didn't know you had to change the kernel version via the control panel(!) but no harm done.
Anyway, in that time I never noticed any blips in functionality or connectivity, though on a couple of occasions they credited me a few cents for a service interruption.
All in all, it's quite a solid service!
All older entries
Website Copyright © 2004-2014 Jeff Epler