graydon

Supporting examples               90 words (9 examples @ 10 words each)
Elevator pitch                    50 words
Positioning statement             35 words
Headline benefits                 24 words (3 benefits @ 8 words each)
Mission statement                 20 words
Brand pillars                     15 words (3 pillars @ 5 words each)
Target audience                   15 words
Brand promise                     10 words

graydon

{-# LANGUAGE FlexibleInstances #-}
module MiniToneInference where

import Prelude hiding ((&&))
import Control.Applicative
import Control.Monad
import Data.Map.Strict (Map, (!))
import Data.Maybe (fromJust)
import Data.Monoid ((<>))
import Data.Set (isSubsetOf)

graydon

Delta:

$ cat check-2.sh 
#!/bin/bash

ulimit -t 3; ~/work/llvm/build-release/bin/opt -S $1 | ~/work/llvm/build-release/bin/lli
if ! test "$?" = "0"; then
  exit 1
fi

graydon

open FStar.Char
open FStar.Seq

(* Helper *)
let max a b = if a > b then a else b

(* Definition *)
let leftpad (c:char) (n:nat) (s:seq char) : seq char =
  let pad = max (n - length s) 0 in
  append (create pad c) s

graydon

Target environment platform condition

• Proposal: SE-00XX
• Author(s): Erica Sadun, Graydon Hoare
• Status: TBD
• Review manager: TBD

Introduction

This proposal introduces a platform condition to differentiate device and simulator builds.

graydon

h2. Conduct

* Please be kind and courteous. There's no need to be mean or rude.
* Respect that people have differences of opinion and that every design or implementation choice carries a trade-off and numerous costs. There is seldom a right answer.
* Please keep unstructured critique to a minimum. If you have solid ideas you want to experiment with, follow the language-change process (see below). Noisy debate just impedes progress.
* We will exclude you from interaction if you insult, demean or harass anyone. That is not welcome behaviour.
* Likewise any spamming, trolling, flaming, baiting or other attention-stealing behaviour.

graydon

How to share a folder with a docker container on OSX

Mounting shared folders between OSX and the docker container is tricky due to the intermediate boot2docker VM. You can't use the usual docker -v option as the docker server knows nothing about the OSX filesystem - it can only mount folders from the boot2docker filesystem. Fortunately, you can work around this using SSHFS.

graydon

# extracted from http//www.naturalearthdata.com/download/110m/cultural/ne_110m_admin_0_countries.zip
# under public domain terms

country_bounding_boxes = {
    'AF': ('Afghanistan', (60.5284298033, 29.318572496, 75.1580277851, 38.4862816432)),
    'AO': ('Angola', (11.6400960629, -17.9306364885, 24.0799052263, -4.43802336998)),
    'AL': ('Albania', (19.3044861183, 39.624997667, 21.0200403175, 42.6882473822)),
    'AE': ('United Arab Emirates', (51.5795186705, 22.4969475367, 56.3968473651, 26.055464179)),
    'AR': ('Argentina', (-73.4154357571, -55.25, -53.628348965, -21.8323104794)),
    'AM': ('Armenia', (43.5827458026, 38.7412014837, 46.5057198423, 41.2481285671)),

graydon

graydon