Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
My .aspell.en.pws file as of October 13, 2016
lvars
LVar's
LVars
elseif
EuroSys
tuples
Karpinski
Blandy's
multi
Amr
analytics
heterogenous
sptprice
Jiahao
API
rntz
Coursera
worklist
ESOP
unary
GitHub
CFP
trie's
CACM
Apu
Apv
Fischoff
discretize
mmap
Manticore
Marhubi
Kamal
logics
Iain
Praveen
JuliaStyle
subexpressions
parameterize
AST
Strumia
O'Hearn
QuasiDet
der
OOPSLA
dev
decidability
CnC
vectorizing
reproducibility
futureValue
boltzmann
Glew
Fluet
Mozillian
Wunsch
startup
AWS
linearizability
buf
CMU
refactoring
Ebbinghaus
Zhou
timeline
Woohoo
Fogel
Alexey
Shaon's
Petersburg
anonymized
ICFP
Shpeisman
laplace
infeasible
Karapetyan
showeditingmarks
TOPLAS
ceilinged
arXiv
WebCL
Tijs
QuickCheck
doi
Blewer
anonymizer
UCSD
feedly
modularity
Suresh
CSS
DNS
dpi
quiescing
CSV
GCC
Hackage
tikz
workflow
Biboudis
diffstats
sanitization
FFT
Bourgon
Idris
OBTs
restartless
Niko
redex
Klabnik
CVs
DSL
misclassifications
Piponi
grayscale
youtube
morestring
formalisms
runStencil
CRDTs
Huawei
CvRDT
matplotlib's
Redis
GHC
erf
Findler
liveness
specializers
HCI
lvar
LVar
idempotence
Rubyists
abbrvnat
Nabil
Ruderman
Elser
else's
executables
Hadoop
parallelizing
Expr
memcached
idempotency
matplotlib
JuliaCon
esoterica
associativity
importall
Balter
Hochstadt's
Limin
ParallelAccelerator's
Halide
gedit
logterm
employability
IFL
Arntzenius
OptiML
that'd
segfaulted
OPODIS
administrivia
GPU
Goodfellow
JCL
morekeywords
Narayanan's
posets
ASPLOS
Aleksandar
FPGAs
HPC
nitpicky
Prokopec
forall
cgen
CGen
APIs
stateful
Ceptre
parameterizing
nondeterministically
Haswell
Recurser
foldr
LVish
lvish
unsatisfiable
JFP
Rebelsky
img
nondeterministic
ToCS
TODO
sqrt
Valgrind
Noam
ing
multicore
pointwise
prepending
DSLDI
Kurakin
DeLine
Jamey
PCL's
parallelization
JIT
IRC
Accumulo's
administrivial
PaPoC
runtime
CFPs
SyncFree
nondeterminism
wildcard
rustc
Helvetica
Felleisen
GPUs
subcomputations
haskell
invariance
initStrike
radargrams
Pittsburgher
Harchol
Pydron
symposia
async
Birkedal's
datasets
OCaml
ocaml
len
Delite
Stansifer
LogicBlox
Serafini
Sabry
instantiations
lex
transphobia
metadata
Tobin
mvar
MVar
Szegedy
cancelled
Peng
benchmarking
Licata
debuggable
opinionatedly
kpn
codomain
lll
that've
Grigore's
JVM
nat
stopTime
n�e
composable
Kahn
acknowledgements
parallelized
Kozyrakis
scheduler's
trie
typealias
commutativity
tradeoff
parameterized
parsers
retconning
backend
Gothenburg
IMAP
Olle
Bengio
Shaon
Wouter
subtype
typeclasses
Frederickson
parallelizes
Feeney
dataflow
OBT
lub
Swierstra
Scherer
bool
href
boundaryHandling
concat
Rubyist
effectful
Laplacian
Gmail
MPI
ASTs
devectorized
Mor
Sonali
deterministically
mickens
Fournier's
PDE
pdf
Luu
PCL
pseudorandom
Kuper
advisors
advisor's
overcommitted
invariants
radargram
Baquero
ProTip
basicstyle
Grewe
SELFTIMED
MSR
Haslam
TODOs
pluggable
gendered
parallelizable
parallelize
cndf
Catanzaro
Greasemonkey
oob
Lynagh's
PHP
OMP
lossy
Bahram
serializability
SIGGRAPH
retweet
prover
Matsakis
Patus
multithreading
num
Tatiana
impl
Fluet's
Ras
Radu
Turon's
julia
retweets
png
retweeted
codebase
Bailis
anonymization
PLT
parametricity
powterm
Grinnell
lambdaLVar's
Coen
MatlabStyle
Makefiles
rgb
PLDI
Ehsan
Bornholt
algorithmically
JIRA
Piso
Zulip
pre
NYU
semilattices
nonbinary
Kambadur's
Watzman
Koblenz
lookup
Strathclyde
typechecker
SDK
Peyton
PSL
commentstyle
incrementable
harris
SIGPLAN
cartesianmap
blockquote
Lindzey
inclusivity
OpenCL's
Scala
misclassify
implementor
fusability
microarchitecture
Darmstadt
ccall
fizzbuzz
FizzBuzz
DataKinds
Tcl
RNG
EDSL
wifi
lang
FizzBuzzes
Fortran
Haskellers
IVars
Krishnaswami
chieh
mylilas
Amara
ISCA
identifierstyle
Clemmer
constrast
quo
PLMW
PaPoC's
overliteralist
CmRDTs
Hassein
PLOS
anonymize
Lebowski
Hoare
parfors
parfor's
undercounted
CRDT
Operationalizing
alsoother
SPJ
pipelining
src
RTS
Hochstadt
substructural
SQL
Bastiaan
poset
TMI
installable
ICFP's
Schwertly
breaklines
dataset
endfootnotes
Heeren
toq
str
Grigore
CPUs
Haskell's
Erlang
Crista
cissexism
stringstyle
Xeon
requesters
pipelined
Sridhar
untyped
userland
txtt
SWS
Fernick
JPEG
unboxed
disjointness
juliaset
instanceof
GHCi's
ZooKeeper
NofXd
EasyChair
PolyMage
semilattice
Landin
sys
Micha
Sharding
programmability
scalability
autotuner
cornermost
MATLAB's
USD
IVar
ivar
POPL
untrusted
REPL
ImageNet
CmRDT
inlines
nonterminating
parfor
Reddit
arity
Keckler
Sucher
Marlow
roboticist
composability
Feamster
nontermination
ntimes
optimizations
Kirstie
Samy
Riak
Pfeil
Rosser
Yay
Brandauer
Felienne
searchable
ISWIM
Darais
scratcher
Sched
Arduino
libc
dereference
newish
lexing
wishlist
retargeting
Hendershott
thresholding
Venmo
lambdaLVish
centric
lightbulb
Nolen
quiesced
misclassified
interoperability
Booleans
Zach
mygreen
observability
subtyping
immersive
nametag
Sandhya
checksum
tuple
al
Christos
arounds
scheds
retweeting
UndecidableInstances
println
Andreas
gaussian
MNIST
Mirabai
Cutsem
morecomment
subfield
Ricoh
DynamoDB
gc
FFTs
dt
Doppioslash
intrinsics
RICON
Eq
dx
fn
et
repeatability
Nada
unmergeable
ParallelAccelerator
asker
MVars
XPCOM
WoDet
Schoolers
FHPC
Recurse
structs
ADHD
bitwise
there'd
Accumulo
foundational
OPLSS
multithreaded
jl
showstringspaces
scholes
IU
JS
Zot
Aarhus
iy
LK
embeddings
REALTIME
DSLs
DSL's
nd
refactor
Shan
Schunck
NumPy
transactional
metatheory
Ng
GrammaTech
EPFL
typeclass
Hendershott's
lambdaLVar
typechecking
blackscholes
reified
quant
OpenCL
TAPL
captioner
pu
pv
rl
thresholded
th
UC
Agda
monotonicity
enum
SICP
CvRDTs
UI
screenshot
ve
versa
GHCi
Chiang
O'Sullivan
matlab
VM
Smithfield
UW
Adve
GHC's
UX
CentOS
Garnock
bcc'd
keywordstyle
undecidability
acc
EDSLs
macrologist
ACM
XPIDL
Yu
qual
recomputation
SIMD
desugarings
Odersky
vectorized
OpenMP
Sina
Findler's
refactored
Bak
bcc
Neel
LinkedIn
OpenStack
SEJITS
vectorization
monad
Krishnaswami's
LLVM
const
queryable
Dwarkadas
singleCompThread
Atkey
Headley
Sarita
JoinSemiLattice
Wadler
SELFPRIMED
nametags
monads
Flum
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.