Tag: blog | Atom Feed

replace procmail with maildrop

Thu 26 July 2018

a nice improvement in maildrop

Thu 26 July 2018

Way back in 2014, I wrote about my two stage mail filter system. At the time, I had to use a helper program called deliver-to-maildir in order to get my read messages correctly delivered as seen, rather than new.

In the intervening time, Sam Varshavchik, the primary programmer of Courier and maildrop, made some improvements. The really useful one is this:

   if (/^To:.*school@domain.edu/:h)
   to "| /usr/local/bin/deliver-to-maildir seen $HOME/Maildir/.school/"

can now be handled like this:

   if (/^To:.*school@domain.edu/:h)
   to $HOME/Maildir/.school/

Much cleaner, and you can either set FLAGS once at the top of your mailfilter or inside a scope just before your to delivery.

commutes are worth money

Thu 12 July 2018

zfs is pretty good

Mon 09 July 2018


Thu 28 June 2018

GDPR thingy

Thu 24 May 2018

lies, revisited

Thu 17 May 2018

In ‘Lies, Damned Lies and Benchmarks’ (2014) I wrote about varying measures of CPU power versus perception of speed, and concluded that there were no order-of-magnitude differences in affordable CPUs. Three and a half years later, there ought to be some change in the market. What’s the best bang-for-the-buck these days?

I characterized an AMD Athlon 5150 as the low end: x86-64, 4 cores, 2GHz, and for a cost of $50 or so, a single-thread performance index of 804. For the top of the reasonable range, I selected the i3-4470, 2 cores producing a benchmark of 2240 each for …

taking names

Tue 15 May 2018

the game of competing hypotheses

Sun 29 April 2018

on the spontaneous use of statistics

Sat 14 April 2018

engineering management advice

Sat 07 April 2018

zfs internal error

Wed 28 March 2018

quote of the day n+1th

Wed 14 March 2018

the cost of GPL is not in dollars

Wed 28 February 2018

revisiting Google Fi

Wed 21 February 2018

This is the end of my second year as a Google Fi subscriber.

TL;DR: I’m keeping this service and I recommend it for people who are happy with the limited phone selection.

About a year ago, I wrote about Fi. This is the update.

Average price per month, exclusive of the phone: $30.24. This includes unlimited voice calls and texts, and data paid for at the rate of $10 per GB, accounted for at the megabyte level - one cent per megabyte.

I have not paid for a new phone in that time, but when I complained about …

© -dsr-. Send feedback or comments via email — by continuing to use this site you agree to certain terms and conditions.

Built using Pelican. Derived from the svbhack theme by Giulio Fidente on github.