witt3rd

export MY_NAME="MyName"
sudo scutil --set ComputerName "$MY_NAME" && \
sudo scutil --set HostName "$MY_NAME" && \
sudo scutil --set LocalHostName "$MY_NAME" && \
sudo defaults write /Library/Preferences/SystemConfiguration/com.apple.smb.server NetBIOSName -string "$MY_NAME"

witt3rd

Idris

Install

macOS

brew install idris

witt3rd

Neovim

brew install neovim
mkdir ~/.config/nvim
touch ~/.config/nvim/init.vim
cd ~/.config/nvim
curl -fLo ~/.config/nvim/autoload/plug.vim --create-dirs https://raw.githubusercontent.com/junegunn/vim-plug/master/plug.vim

You should now have plug.vim in your autoload directory so it will load of on start.

witt3rd

Haskell

Setup

• Get Haskell Stack
• And [Haskell VS Code Extension)(https://marketplace.visualstudio.com/items?itemName=haskell.haskell)

curl -sSL https://get.haskellstack.org/ | sh

witt3rd

Live Coding Setup

Here is a list of tools and gear I use to make YouTube videos for coding. I will try to keep it up-to-date as I evolve and get better at producing content. Leave a comment, if you have suggestions!

Windows 10

I use both Mac and Windows, but I am currently doing all the capture and production on Windows. For coding, I find the Linux shell much better than PowerShell or the Windows Command Prompt.

• Windows Subsystem for Linux v2 (WSL2)
• Ubuntu 18.04 LTS

Development Environment

witt3rd

youtube-dl Recipes

brew install youtube-dl ffmpeg

Download video or playlist

youtube-dl -f best 'http://www.youtube.com/watch?v=P9pzm5b6FFY'

witt3rd

GraphQL requests to CKG services

// wrap in async function
return (async () => {
  // request graphql
  const data = await input.__requestCkg({
    svcRef: "/service/donald-hello-world",
    query: "query { allFoos { id } }"
  })
  

witt3rd

Maana Q + Semantic Web/Linked Data

At the center of the Maana Q Knowledge Platform is the Computational Knowledge Graph, which consists of a cloud distributed set of GraphQL and RESTful microservices. Each service exposes a set of types and functions. The functions can be evaluated lazily (i.e., streaming) or strict/eager (i.e., batch) and can be marked as having pure (i.e., referential integrity) vs effectful (i.e., causes change or relies on changing externals) semantics.

The purpose of this system is to represent domain knowledge (i.e., concepts, properties, relations, individuals) and perform reasoning (i.e., operations performed on the domain to achieve various goals). This is similar in nature to the goals of the Semantic Web, which aims to unify:

• Linking data
• Organizing data into "ontologies"
• Querying data
• Logical inference (e.g., deduction, induction)

While the goals are similar, the underlying

witt3rd

const fs = require("fs-extra");
const Path = require("path");

//
// String utilities
//

// Ensure initial letter is capitalized
const capitalize = word => word[0].toUpperCase() + word.substr(1);

witt3rd

Meta

Meta is a NodeJS-based shell command that provides a solution to working with many repos across machines/teams without the tradeoffs involved with submodules or monorepos.

Install

npm i -g meta

Create a new meta repo

mkdir my-meta-repo
cd my-meta-repo