Skip to content

Instantly share code, notes, and snippets.

View graydon's full-sized avatar
💭
objecting to features

Graydon Hoare graydon

💭
objecting to features
View GitHub Profile
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)

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 / map.geojson
Created April 21, 2014 21:21 — forked from anonymous/map.geojson
cell LACs in USA
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@graydon
graydon / map.geojson
Created April 21, 2014 21:24 — forked from anonymous/map.geojson
cell LACs in germany
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
#!/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:

Target environment platform condition

Introduction

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

@graydon
graydon / reducing
Created April 23, 2018 22:39 — forked from dcci/reducing
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
graydon / devanagari.txt
Created April 6, 2019 05:28 — forked from Manishearth/devanagari.txt
devanagari breakdown
common stuff
-----------
Basic consonants(32):
कखगघङचछजझटठडढणतथदधनपफबभमयरलवशषसह
Weirdo that only is used in ligatures, but necessary(1)
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
{-# 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)