johnbender

// Disable bold. 
term_.prefs_.set('enable-bold', false) 

// Use this for Solarized Dark 
term_.prefs_.set('background-color', "#002b36");
term_.prefs_.set('foreground-color', "#839496");

term_.prefs_.set('color-palette-overrides', [
  '#073642', 
  '#dc322f', 

johnbender

const net = require('net');
const EventEmitter = require('events');

class AsyncServer extends EventEmitter {
  constructor(options){
    super();
    this._connections = [];
    this._server = new net.Server();
    this._options = options;
  }

johnbender

class AsyncLineStream {
  constructor(stream){
    this._lines = [];
    this._readline = require('readline').createInterface({
	    input: stream
    });

    this._updateReadLinePromise();
  }

johnbender

var x = 1; function(){ return x }

johnbender

(*
The error while running `make` is:

File "./LibTactics.v", line 3238, characters 17-18:
Syntax error: ')' expected after [constr:lconstr] (in [tactic:tactic_arg]).

The fix to line 3238 is below.
*)

Ltac branch_tactic K N := (* Line 3237 *)

johnbender

Keybase proof

I hereby claim:

• I am johnbender on github.
• I am johnbender (https://keybase.io/johnbender) on keybase.
• I have a public key whose fingerprint is 61FA 972A F856 C432 2573 D4AD C9B0 1EF5 DE6A 1098

To claim this, I am signing this object:

johnbender

# -*- mode: ruby -*-
# vi: set ft=ruby :

# Vagrantfile API/syntax version. Don't touch unless you know what you're doing!
VAGRANTFILE_API_VERSION = "2"

Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
  config.vm.box = "precise64"

  config.vm.provision(:shell, :inline => <<-CMD)

johnbender

replace=foo
replace_with=bar.txt
replace_in=baz.txt

sed -i.bkp "/$replace/{
  s/$replace//g
  r $replace_with
}" $replace_in

johnbender

800m Run/Row
 
3 Rounds:
12 KB Swings
10 No Push-up Burpee
 
800m Run/Row
 
3 Rounds:
5 Pull-ups

johnbender

New Year's Resolutions

A list of nest years resolutions and an accounting of this years success/failures

2014

1. Publish
2. Pass 281a
3. Be more patient