Sat 20 October 2018
Thu 18 October 2018
In the distant past, the functions of author, editor and page designer were separated. The author wrote things; the editor fixed errors (both objectively and subjectively) and selected choice bits to highlight; the page designer made things look the way they should. The editorial intermediary didn't consult the author much …
Wed 10 October 2018
All email disclaimers are utterly useless -- except, possibly, one that a lawyer sends you that, on that particular message, reminds you that you are not in a privileged relationship.
Here's the proof:
This message (including any attachment(s) hereto) is confidential and may also be privileged. It is intended solely …
Fri 21 September 2018
One problem: we have built an immense network of supercomputers that is essentially a Commons. An abuse of this Commons that would be ridiculously unprofitable if it had to be carried out by humans -- say, an expected return of one one-hundredth cent per attempt -- is highly attractive to unscrupulous actors …
Tue 28 August 2018
Sun 19 August 2018
"Move fast and break stuff" is a decent philosophy if and only if the consequences of breaking stuff are survivable.
If breaking stuff means that your website looks weird, that's survivable.
If breaking stuff means that performance sucks for a while, that's survivable.
If breaking stuff causes unavailability during a …
Sun 19 August 2018
Sat 04 August 2018
Sun 29 July 2018
The Amazon Kindle Fire HD10 (2017) is the high-end tablet of their line. The hardware is mediocre and the software is quite bad. I do not recommend you purchase this or any other Fire tablet... unless you have some very specific requirements.
Let's consider the negatives, first.
Bootloader is locked …
Thu 26 July 2018
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:.*firstname.lastname@example.org/:h) to "| /usr/local/bin/deliver-to-maildir seen $HOME/Maildir/.school/"
can now be handled like this:
FLAGS="S" if (/^To:.*email@example.com/: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
Thu 12 July 2018
The new office is further away from my house but a shorter commute in time.
For the last fourteen or so years, my commute has been one of these variations:
- Walk to a bus stop, catch a bus for an hour, walk to work. Elapsed time 1:25.
- Walk to a bus stop, catch a bus for an hour, take the Red Line, walk to work. Elapsed time 1:30. * Be dropped off at a trolley stop, catch a trolley, change to Red Line, walk to work. Elapsed time 1:05.
- Be dropped off at a Red Line stop, take the Red Line, walk to work. 0:55.
I can still do the last three of those, adding about 5 minutes for a further stop on the Red Line. But I now have a new option:
- Be dropped off at the commuter rail stop, take a train to North Station, walk to work. 0:43.
In addition to being the shortest overall time, it has the benefit of being the most predictable: a bus or a subway comes when it will, but the commuter rail trains are scheduled.
Mon 09 July 2018
Someone on the
debian-user list just discovered that
gpt partitioning allows you to put 128 partitions on a disk. They got really excited at the granularity that would allow. They weren't thinking about the exciting maintenance procedures that would inevitably follow -- not enough space here, too much space there, backups …
Thu 28 June 2018
Thu 24 May 2018
This is a personal blog. I run it myself. I own the hardware, I select the software, it is all properly (open source) licensed. If you read things here, peachy. If you don't read, how are you going to complain?
If you send me comments, I may publish them, unless you tell me not to.
If you subscribe via RSS, presumably you know how to unsubscribe, too.
There are no forms, so you can't submit personal information unless you email it to me. Oh, what about the search box? That doesn't send anything to my machines. That executes a DuckDuckGo search, so deal with DuckDuckGo if you need to complain about it.
There, that was fun. If you have a complaint, send it to me. I like to pretend that I am a reasonable human being.