Created
October 13, 2016 17:51
-
-
Save lkuper/902730b0dd9e2ee4e499c1beda748fc1 to your computer and use it in GitHub Desktop.
My .aspell.en.pws file as of October 13, 2016
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 | |
| 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 | |
| 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 | |
| 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