witt3rd

#!/bin/bash

# Sync Homebrew installations between Macs via Dropbox
#

BREW="/usr/local/bin/brew"

# first get local settings
echo "Reading local settings ..."
rm -f /tmp/brew-sync.*

witt3rd

Python

Setup

pyenv

• Use the pyenv-installer
• Update .bashrc:

export PYENV_ROOT="$HOME/.pyenv"

witt3rd

witt3rd

Unity

Setup

• Install the Unity Hub
• Use the hub to install the latest LTS (long-term support) editor (e.g., 2020.3.6f1 LTS)
• No additional modules are needed during the editor install, so accept the defaults

Projects

witt3rd

Scala

Install

Installers

These CLI utilities are used to fetch things we need.

• SDKMan
• Coursier

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

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.

1. Describe "type declaration", "type definition", "equation", "expression"
2. Are type declarations required? When (not)?
3. What is referential transparency?
4. Can pattern matching match a specific value?

witt3rd

Linux

Apt

Repair

sudo apt-get -o Dpkg::Options::="--force-overwrite" install --fix-broken

witt3rd

Pluto.jl

Watch this

Setup

Get Julia

macOS

witt3rd

### A Pluto.jl notebook ###
# v0.12.3

using Markdown
using InteractiveUtils

# This Pluto notebook uses @bind for interactivity. When running this notebook outside of Pluto, the following 'mock version' of @bind gives bound variables a default value (instead of an error).
macro bind(def, element)
    quote
        local el = $(esc(element))