Skip to content

Instantly share code, notes, and snippets.

View witt3rd's full-sized avatar
⌨️
coding

Donald Thompson witt3rd

⌨️
coding
16 followers · 25 following
View GitHub Profile
@witt3rd
witt3rd / nix.md
Last active July 12, 2018 14:26
@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 {
@witt3rd
witt3rd / rust.md
Created November 21, 2018 17:13

Rust

Install

curl https://sh.rustup.rs -sSf | sh
@witt3rd
witt3rd / Hask(Cat).md
Last active December 4, 2018 11:46
Categories in Haskell

Hask(Cat)

{-# LANGUAGE TypeOperators #-}
 
infix 9 ∘
class Category k where
  ident :: a `k` a
  (∘) :: (b `k` c) -> (a `k` b) -> (a `k` c)