graydon

#!/usr/bin/python

import fileinput, re, sys

current_file = None
current_exports = []

def fixup(m):
    global current_exports
    if m.group(2) in current_exports:

graydon

Uncovered note on my desk from conversation about rust's state in rustboot era:

"""
Obstacles:

  - bad closures
  - bad object model
  - generics / monomorphization
  - x64 port / x86-isms
  - stack growth (doubling vs. chaining)

graydon

Keybase proof

I hereby claim:

• I am graydon on github.
• I am graydon (https://keybase.io/graydon) on keybase.
• I have a public key whose fingerprint is 99E4 A8F4 DECC 782F CB19 5530 0A04 E2A9 F7B1 3CE1

To claim this, I am signing this object:

graydon

graydon

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

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

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

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

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