jeremy-w

import Data.Vect
import Data.Fin

-- Start by representing our universe as a product type.
data Ty = TyInt | TyBool | TyFun Ty Ty

interpret : Ty -> Type
interpret TyInt = Int
interpret TyBool = Bool
interpret (TyFun A T) = interpret A -> interpret T

jeremy-w

#import <Foundation/Foundation.h>

@interface RSLRandomValueObject : NSObject<NSCopying, NSCoding>
/* The @property bits are the only code I wrote. */
@property(copy) NSString *name;
@property NSNumber *someNumber;
@property BOOL supYo;

/* Everything else in here and the implementation file
 * was generate by AppCode, either by the New File

jeremy-w

Your Memory

Paragon House 1/e 1993 hardcover

by Higbee

Notes by Jeremy W. Sherman, March 2011.

jeremy-w

set-option -g prefix C-e
unbind-key C-e
bind-key C-e send-prefix

set-window-option -g mode-keys vi

# Fix weirdness with OS X bootstrap namespaces and daemon.
# See https://github.com/ChrisJohnsen/tmux-MacOSX-pasteboard for details.
set-option -g default-command "reattach-to-user-namespace -l zsh"

jeremy-w

Keybase proof

I hereby claim:

• I am jeremy-w on github.
• I am jws (https://keybase.io/jws) on keybase.
• I have a public key whose fingerprint is D160 F4D7 9492 A094 48ED F227 DF87 8DEB 3A74 C49F

To claim this, I am signing this object:

jeremy-w

import Cocoa

var input = "This is a test"
var expected = "Guvf vf n grfg"

/// Advances `i` by `by` through `string`, wrapping to start on hitting
/// end.
/// NOTE: `by` must be non-negative.
func wrappingAdvance(string: String, i: String.Index, by: Int)
    -> String.Index {

jeremy-w

//cc -Weverything -fobjc-arc -framework Foundation bitmask.m -o bitmask
/** @file bitmask.m
 *  @author Jeremy W. Sherman (@jeremy-w on Github)
 *  @license ISC (http://opensource.org/licenses/isc-license.txt)
 *
 *  Provides an example where assignment of the result of a naive bitmask check
 *  to BOOL fails.
 *
 *  Demonstrates 2 ways to avoid this issue.
 *

jeremy-w

What Are OKRs?

Jeremy W. Sherman. January 2013.

OKR = Objectives & Key Results

• 3-5 objectives, or high-level, measurable goals
• 2-3 key results per objective, plus one "stretch" result.
• Should not be able to achieve ALL goals/results; you need to stretch yourself.

7Geese

jeremy-w

import Euterpea.Music.Note.Music
import Euterpea.IO.MIDI.ToMidi

-- Writes |test.mid| in the current directory.
main = test chord
    where chord = foldl1 (:=:) $ map (note 1.0) pitches
          pitches = [(Fs, o), (As, o), (Cs, o + 1), (Fs, o + 1)]
          o = 6::Int

jeremy-w

// ==UserScript==
// @id             com.jeremywsherman.adn-alpha-markdown
// @name           Styled Markdown Text for ADN Alpha
// @version        1.0
// @namespace      com.jeremywsherman
// @author         Jeremy W. Sherman
// @description    Recognizes and fontifies **bold**, *italics*, and `code` in ADN posts.
// @include        https://alpha.app.net/
// @run-at         document-end
// @grant          GM_xpath