innomatics

=reduce(false, <range>, lambda(acc, curr, OR(acc, ISFORMULA(curr))))

innomatics

CRDTs

Conflict-free Resolution Data Types

https://jakelazaroff.com/words/an-interactive-intro-to-crdts/

innomatics

#!/bin/bash

# Period should be half of buffer
export BUFFER="--buffer-size=32 --period-size=16"


# See arecord -D hw:CARD=U192k,DEV=0 --dump-hw-params
export UMC404HD="-D hw:CARD=U192k,DEV=0 -f S32_LE -c4 -r44100"

arecord $UMC404HD -t raw $BUFFER | aplay $UMC404HD $BUFFER

innomatics

#!/bin/bash

set -e

apt update
apt install -y lsb-release curl gpg
curl -fsSL https://packages.redis.io/gpg | gpg --dearmor -o /usr/share/keyrings/redis-archive-keyring.gpg
echo "deb [signed-by=/usr/share/keyrings/redis-archive-keyring.gpg] https://packages.redis.io/deb $(lsb_release -cs) main" | tee /etc/apt/sources.list.d/redis.list
apt update
apt install -y redis-tools

innomatics

sudo apt install \
  build-essential \
  cmake \
  make \
  qtbase5-dev \
  qtdeclarative5-dev \
  qttools5-dev  \
  qttools5-dev-tools \
  libqt5svg5-dev  \
  ladspa-sdk \

innomatics

#!/bin/bash

set -e

account_prefix=agrinous
accounts="master dev stg etc"

format_bytes() {
        echo $1 | numfmt --to=iec-i
}

innomatics

```shell
sudo apt-get update
sudo apt-get install ca-certificates curl gnupg

sudo apt-get install docker-ce docker-ce-cli containerd.io docker-buildx-plugin docker-compose-plugin

sudo usermod -aG docker ${USER}

# Avoid logout / login
newgrp docker 

innomatics

export XAUTHORITY=$HOME/.Xauthority

innomatics

OS Ventura 13.4

Make bash default shell

chsh -s /bin/bash
touch ~/.bash_profile && echo "export BASH_SILENCE_DEPRECATION_WARNING=1" >> ~/.bash_profile

CLI dev tools

innomatics

#!/bin/bash

# Every folder in the script path should be a git repository.
# Update each folder/repo with a remote pull (if they are on the default branch).

set -e
REMOTE=origin

for folder in $(find .. -mindepth 1 -maxdepth 1 -type d); do
  if [ -d $folder/.git ]; then