Skip to content

Instantly share code, notes, and snippets.

View witt3rd's full-sized avatar
⌨️
crafting

Donald Thompson witt3rd

⌨️
crafting
32 followers · 27 following
View GitHub Profile
@witt3rd
witt3rd / macOS.md
Last active June 18, 2018 14:12

Homebrew

Minimal packages

brew install git bash

Remove everything

brew remove --force --ignore-dependencies $(brew list)
@witt3rd
witt3rd / docker.md
Created June 18, 2018 13:55

Docker

Swarm init

PUBLICNAME=127.0.0.1 docker stack deploy --with-registry-auth -c docker-compose.yml foo
@witt3rd
witt3rd / synergy.md
Created June 18, 2018 13:56
@witt3rd
witt3rd / prodigy.md
Last active July 16, 2018 13:59
Explosion AI's Prodigy

Explosion AI's Prodigy

Install

# Linux
pip install prodigy-1.5.1-cp35.cp36-cp35m.cp36m-linux_x86_64.whl
conda install spacy
@witt3rd
witt3rd / neo4j.md
Created July 16, 2018 16:55
neo4j

neo4j

GraphQL

Copy the latest plugin jar into $NEO4J_HOME/plugins and edit $NEO4J_HOME/config/neo4j.conf and add this line dbms.unmanaged_extension_classes=org.neo4j.graphql=/graphql

@witt3rd
witt3rd / homotopy_type_theory.md
Created August 19, 2018 10:23

Homotopy Type Theory

Intersection of:

  • dependent type theory
  • higher category theory
  • homotopy theory
type DependentTypeTheory {
@witt3rd
witt3rd / purescript.md
Created August 25, 2018 20:48

PureScript

Install

Ubuntu

sudo npm install -g purescript --unsafe-perm=true
@witt3rd
witt3rd / category_theory.md
Last active August 26, 2018 17:24

Category Theory

Data

  • Objects
  • Arrows
    • Source object
    • Target object
  • Rules
    • Identity
  • Arrow where source = target
@witt3rd
witt3rd / haskell.md
Created August 27, 2018 00:44
@witt3rd
witt3rd / digraph.ts
Created September 27, 2018 11:05
(async () => {
// -- Generic collection helpers
// get the (arbitrary) first element of an (unordered) set
function carSet<T>(set: Set<T>): T | undefined {
return set.entries().next().value[0]
}
// a Hash Set is a mapping from keys to sets
function consHSet<K, V>(hset: Map<K, Set<V>>, k: K, v: V): void {