Steinar Hugi Sigurðarson steinar

To get Bazel command and target auto-completion in zsh with oh-my-zsh, the offical zsh script as plugin:

mkdir -p ~/.oh-my-zsh/plugins/bazel
wget -P ~/.oh-my-zsh/plugins https://raw.githubusercontent.com/bazelbuild/bazel/master/scripts/zsh_completion/_bazel
Add bazel to the plugins list in your ~/.zshrc

plugins=(git autojump colored-man-pages bazel)

I hereby claim:

To claim this, I am signing this object:

This PR improves the feed ranking algorithm

Main changes

Shorter time decay factor in 2nd phase, 12h instead of 24h.
"Fresh" stories (new since last feed generation) receive a modest boost of 1.2.
- Date stored in redis_stream
Adding manual "boost" for individual events.
Posts created for player are massively boosted for 120 seconds.
Hotness part updated.

	# Practical config with DVD resolution
	HandBrakeCLI -i /mnt/dvd --preset "HQ 576p25 Surround" --main-feature --all-audio --all-subtitles --subtitle-burned=none -o output.mp4

	# Faster encoding at the cost of picture quality
	#HandBrakeCLI -i /mnt/dvd --preset "Fast 576p25" --main-feature --all-audio --all-subtitles --subtitle-burned=none -o output.mp4

	1.464 HBC 366
	1.4015 DOG D
	1.107 HBC 369
	0.8915 HELLO MY NAME IS VLADIMIR
	0.76 HELLO MY NAME IS LITTLE INGRID
	0.7501 AB:02
	0.725 RUSSIAN DOLL - BARLEY WINE
	0.6535 HELLO MY NAME IS PAIVI
	0.6125 SHAREHOLDER BLACK IPA 2011
	0.575 SHIPWRECKER CIRCUS (W/OSKAR BLUES)

	#!/usr/bin/python
	import sys
	from datetime import datetime

	when = datetime.now().isoformat(' ').split('.')[0]
	what = " ".join(sys.argv[1:])
	line = "%s \| %s\n" % (when, what)

	f = open("/Users/steinar/doing.log", "a")
	f.writelines([line])

	#!/bin/sh
	# Convert modified PGF (pgf/tikz) files to PDF

	pgfTemplate="template.pgs";

	echo "Updating modified PGF files:"
	for path in $(find . -iname "*.pgf")
	do
	pgfPath=`dirname $path`/`basename $path pgf`pdf;
	if [ ! -e $pgfPath ] \|\| [ $path -nt $pgfPath ]; then