James Sadler freshtonic

My NYC Recommendations

It is a bit out of date in places (I haven’t lived in NYC since 2007). Make sure you google places to make sure they are still open:

DRINKS

Sunset drinks at the Boom Boom room at the Standard Hotel. It is in the meat packing district. Overpriced cocktails but stupendous view.

The Learning Haskell guide has been moved to a git repo to enable outside contribution

Find it here: https://github.com/bitemyapp/learnhaskell

Disclaimer: as you’ve likely picked up from Twitter, I’m obviously biased. I’m not going to make much of an attempt to avoid that.

Parties, History and Houses

The Australian Federal Election is happening this Saturday. The likely outcome is that our new Prime Minister will be Tony Abbott, a conservative, bible-loving, homophobic misogynist. He’s the leader of the Liberal Party, who aren’t really very good at being liberal. Hence, in Australia, there’s the distinction between big-L Liberal and small-l liberal. The Liberal Party has an ongoing coalition with the National Party, who are also conservatives (perhaps moreso) with a focus on the bush (anywhere that isn’t a city). Together they’re known as the Coalition (yes, I know, it’s imaginative, but they save their creativity for how to best fuck over refugees, women, the poor, and generally anyone whose skin colour isn’t white).

They’re not in power at the moment though – the party running the country currently is the Australian Labor Party (a

	<!DOCTYPE html>
	<html>
	<head>
	<title></title>
	<meta charset="utf-8" />
	<script src="templating.js" type="text/javascript" charset="utf-8"></script>
	</head>
	<body>

	<template id=t>

	# Place in <your-playbook-root>/filter_plugins/decrypt_with.py
	from ansible import errors
	from ansible.utils.vault import VaultLib

	def decrypt_with(data, password):
	vault = VaultLib(password=password)

	if data is None:
	raise errors.AnsibleFilterError("data is missing; cannot decrypt")
	elif len(data) == 0:

	#!/bin/bash

	# Let's deploy...
	echo "Deploying..."
	echo "Deploying as: `whoami`"

	# turn on failing script on any command fail
	set -e
	set -o pipefail

	# Creates a new window to run selecta over list-windows, then selects the result.
	bind-key g new-window -n "__SELECTA__" "tmux list-windows \| grep -v __SELECTA__ \| selecta \| sed s/:.*// \| xargs -I {} tmux select-window -t {}"

	# The same in a split (this is probably better). 21 is how high selecta is by default, 1 line for the prompt, 20 for results
	bind-key g split-window -l 21 "tmux list-windows \| selecta \| sed s/:.*// \| xargs -I {} tmux select-window -t {}"

	module Primes where

	open import Level using (_⊔_)
	open import Coinduction
	open import Function
	open import Data.Empty
	open import Data.Unit
	open import Data.Nat
	open import Data.Nat.Properties
	open import Data.Nat.Divisibility

	# A simple Makefile alternative to using Grunt for your static asset compilation
	#
	## Usage
	#
	# $ npm install
	#
	# And then you can run various commands:
	#
	# $ make # compile files that need compiling
	# $ make clean all # remove target files and recompile from scratch

	record = Post.new(:title => 'Yay', :body => 'This is some insert SQL')

	# easiest way to achieve this is by calling protected #arel_attributes_values (tested in
	# rails 3.2.13). the alternative is to build the entire insert statement using arel >_>
	record.class.arel_table.create_insert \
	.tap { \|im\| im.insert(record.send(:arel_attributes_values, false)) } \
	.to_sql