Skip to content

Instantly share code, notes, and snippets.

John Bender johnbender

View GitHub Profile
@johnbender
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', [
'#073642',
'#dc322f',
@johnbender
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 *)
View keybase.md

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
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!
VAGRANTFILE_API_VERSION = "2"
Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
config.vm.box = "precise64"
config.vm.provision(:shell, :inline => <<-CMD)
@johnbender
johnbender / foo.sh
Last active Dec 13, 2015
Replace a sed match with file contents.
View foo.sh
replace=foo
replace_with=bar.txt
replace_in=baz.txt
sed -i.bkp "/$replace/{
s/$replace//g
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
johnbender / resolution.md
Last active Dec 10, 2015
New Year's resolutions
View resolution.md

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
View cutycapt-showoff.sh
# Requires that you download and build cutycapt http://cutycapt.sourceforge.net/
# Once that's done all you have to do is reference each of your slides in some fashion or
# another. With Showoff it actually crops right to the slide dimensions (added bonus)
# NOTE replace slide count used to sequence the images, in this case 100
for i in $(seq 1 100); do
$(./path/to/Cuty/Capt/Binary --url=http://example.com/#$i --out=$i.png)
done
View haskell-blah.irc
09:11 < xplat> > map (\x -> if x > 0 then 'o' else 'n') [0..]
09:11 < lambdabot> "nooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo...
09:11 -!- cscorley [~cscorley@0x1f0.net] has joined #haskell-blah
09:11 < tac-tics> > 'n' : fix ('o':)
09:11 < lambdabot> "nooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo...
09:12 < xplat> > 'n':['o','o'..]
09:12 < lambdabot> "nooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo...
09:12 < tac-tics> > 'n' : ['o' ..]
09:12 < lambdabot> "nopqrstuvwxyz{|}~\DEL\128\129\130\131\132\133\134\135\136\137\138\139\140\...
09:12 < tac-tics> :P
You can’t perform that action at this time.