Donald Thompson witt3rd

youtube-dl Recipes

brew install youtube-dl ffmpeg

Download video or playlist

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

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.

Development Environment

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

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.

Idris

Install

macOS

brew install idris

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"

Type-Driven Development with Idris: Reading Group Questions and Challenges

Chapter 3. Interactive development with types

Functions in Idris are defined by collections of pattern-matching equations.
Patterns arise from the constructors of a data type.

Describe "type declaration", "type definition", "equation", "expression"

Are type declarations required? When (not)?

What is referential transparency?

Can pattern matching match a specific value?

nix

Install

macOS

Follow the recommended approach to prepare for the standard Linux install (below).

Linux / WSL

Idris Cookbook

From Haskell

`newtype`

newtype WorldM a = WorldM { asT :: WorldT a }

	module RandomDouble

	import Data.Bits
	import Data.Vect
	import Effects
	import Effect.StdIO
	import Effect.Random

	-- 2^53 as an Integer
	twoTo53 : Integer