Skip to content

Instantly share code, notes, and snippets.

John Bender johnbender

Block or report user

Report or block johnbender

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
johnbender / prefs.js
Created Feb 23, 2013
Set up Chrome Secure Shell to handle solarized terminal colors
View prefs.js
// 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', [
View AsyncServer.js
const net = require('net');
const EventEmitter = require('events');
class AsyncServer extends EventEmitter {
this._connections = [];
this._server = new net.Server();
this._options = options;
View AsyncLineStream.js
class AsyncLineStream {
this._lines = [];
this._readline = require('readline').createInterface({
input: stream
johnbender / LibTactics.v
Last active Jan 10, 2017
Coq 8.6 and Software Foundations Fix
View LibTactics.v
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 *)

Keybase proof

I hereby claim:

  • I am johnbender on github.
  • I am 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 / Vagrantfile.rb
Last active Dec 22, 2015
If you'd rather not install Node.
View Vagrantfile.rb
# -*- mode: ruby -*-
# vi: set ft=ruby :
# Vagrantfile API/syntax version. Don't touch unless you know what you're doing!
Vagrant.configure(VAGRANTFILE_API_VERSION) do |config| = "precise64"
config.vm.provision(:shell, :inline => <<-CMD)
johnbender /
Last active Dec 13, 2015
Replace a sed match with file contents.
sed -i.bkp "/$replace/{
r $replace_with
}" $replace_in
View wod
800m Run/Row
3 Rounds:
12 KB Swings
10 No Push-up Burpee
800m Run/Row
3 Rounds:
5 Pull-ups
johnbender /
Last active Dec 10, 2015
New Year's resolutions

New Year's Resolutions

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


  1. Publish
  2. Pass 281a
  3. Be more patient
You can’t perform that action at this time.