Notes from the Library

Sun, 01 Mar 2015

Text-based YouTube client

Wed, 11 Feb 2015

I’ve been using the Propellor configuration management system for the past month or so for my laptop and desktop, for three reasons:

  1. It’s elegant and cool for a lot of use cases, although some stuff (e.g. a whole Postfix config file) seems awkward.
  2. It’s a chance to learn some Haskell by having a real project to try to hack on, and just general syntax practice.
  3. I want a formal description of how my machine should be set-up, rather than scribbled instructions that I make for myself on how to get it to that point.

(3) is much more important to me than (1). I reinstall my machines roughly once every 18 months to two years, so there’s inevitably drift between (a) what my instructions say I need to do to set things up; (b) how Debian is to be set up; (c) the actual state my machine is in as I make small tweaks and forget to document them. Propellor doesn’t fix any of this, so it only saves me a very little effort in between machine reinstalls by being elegant and cool per (1). But the work involved in reinstalling a machine is much easier thanks to (3).

When I am better at Haskell I hope to extend Propellor to work as a non-superuser to provision shell accounts for me.

Fri, 15 Mar 2013

usb0 $ scp firmware-ralink_0.36+wheezy.1_all.deb zephyr.local:/media/floppy0

flash drive->laptop->across Sheffield as peer-to-peer VPN not pairing properly->to desktop->to desktop floppy drive ready for Debian reinstall because I don't have enough USB ports.

Sat, 01 Dec 2012

I introduced my 5-year-old and 2-year-old to startx and xmonad. They’re DELIGHTED! | The Changelog

Sun, 02 Sep 2012

…such as those obtained from online video sites using a tool like this.

1 method #1: extract audio stream to AAC

Though according to this thread this may produce a corrupt file.

$ ffmpeg -i input.flv -vn -acodec copy output.aac

2 method #2: V0 MP3

Though of course this involves evil transcoding.

$ ffmpeg -i input.flv -vn output.wav
$ lame -V0 output.wav output.mp3


Page 1 of 8  older entries

RSS feed, Atom feed

RSS and Atom feeds limited to pieces of writing

< August 2015
      1 2
3 4 5 6 7 8 9