jmitchell

<% for place in @places %>
  <%= link_to place.name, place %>
<% end %>

jmitchell

class MatrixChar {
  final int STREAK_LENGTH = 100;
  final color COLOR = color(0, 255, 0);
  final PFont FONT = createFont("Monospace", 12);
  final int DEFAULT_CHAR_SIZE = 100;
  final int DEFAULT_SPEED = 5;

  int x, y;
  char chr;
  float distanceAway;

jmitchell

setInsert : Eq a => Vect n a -> a -> Either (Vect n a) (Vect (S n) a)
setInsert xs x = if elem x xs
                 then Left xs
                 else Right (x :: xs)

jmitchell

module Main

import Effect.Random
import Effect.StdIO
import Effect.System

getSeed : { [SYSTEM] } Eff Integer
getSeed = do case index' 1 !getArgs of
                  Nothing => pure $ cast !time
                  Just t => pure $ cast t

jmitchell

# Monoids
Basic description of Monoid; Types with an associative binary operation and an identity element; typeclass-doc monoid

Monoid typeclass methods?; "mempty :: a
mappend :: a -> a -> a
mconcat :: [a] -> a"; typeclass-methods monoid

Monoid inherits from?; Nothing; typeclass-inherits-from monoid

typeclass of mempty?; Monoid; method-type monoid

jmitchell

Require Import Vector.
Import VectorNotations.
Set Implicit Arguments.

Inductive tuple : forall {n : nat}, Vector.t Set n -> Type :=
| unit : tuple []
| push : forall {T : Set} (x : T)
           {n : nat} {ts : Vector.t Set n},
           tuple ts -> tuple (T :: ts).

jmitchell

jmitchell

Keybase proof

I hereby claim:

• I am jmitchell on github.
• I am jmitchell (https://keybase.io/jmitchell) on keybase.
• I have a public key whose fingerprint is BA46 498D 8842 D2D4 0CD4 3C60 15ED 7FD0 CA4A 70DB

To claim this, I am signing this object:

jmitchell

#!/usr/bin/env python
import xml.etree.ElementTree as ET

tree = ET.parse("senators_cfm.xml")
root = tree.getroot()
for member in root.findall("member"):
    first_name = member.find("first_name").text
    last_name = member.find("last_name").text
    state = member.find("state").text
    phone = member.find("phone").text

jmitchell

#!/usr/bin/env python

import csv
from collections import namedtuple

PriceRecord = namedtuple("PriceRecord", "date open high low close volume adjusted_close")

def parse_date(ymd):
    return map(int, ymd.split('-'))