RSSAmplifier

Blog

Alexander Thiemann

(functional) programming and more

athiemann.netRSS feed ↗10 posts

Latest posts

tmux

Safe tmux via ssh, usage: tssh <host> <session> tssh() { local host="$1"; shift local session="${1:-main}" [ $# -gt 0 ] && shift command ssh "$host" -t "exec zsh -lc 'tmux new -A -s \"$session\"'" local code=$? printf '\e[?1000l\e[?1002l\e[?1003l\e[?1006l' stty sane 2>/dev/null stty echo 2>/dev/null return $code }

Ghostty

term = "xterm-256color" theme = "iTerm2 Solarized Light" # macos-titlebar-style = hidden minimum-contrast=1.05 font-size=13 font-family = "JetBrains Mono" font-thicken=true font-thicken-strength=1 adjust-cell-height=1 cursor-style=block window-padding-x=5 window-padding-y=5 # Fast startup w/ good defaults confirm-close-surface=false shell-integration=detect copy-on-select=true # Scrolling…

Using Temporal with Python

My recent side-project vindex is a semantic video indexing platform. Users upload videos that then run through a multi-step processing pipeline to prepare and index them. Finally, users can search specific locations in the video using natural language. The processing pipeline involves extracting frames, extracting audio, transcribing audio and computing various embeddings for the index. I’m using…

Python

Using Pipenv with Visual Studio Code (VS Code) Run pipenv --venv in the root directory of your pipenv project. It will return something like /Users/[username]/.local/share/virtualenvs/[project]-[random_string] on Mac. Put this path into the .vscode/settings.json file of your project: { "python.defaultInterpreterPath": "[PATH_GOES_HERE]", }

Haskell

GHC9.x Install on M1 mac Preqs: brew install llvm@13 Add to path export PATH="/opt/homebrew/opt/llvm@13/bin:$PATH" Install via GHCup Fix ffitarget_arm64.h not found on M1 Mac fatal error: 'ffitarget_arm64.h' file not found Fix: C_INCLUDE_PATH="`xcrun --show-sdk-path`/usr/include/ffi" stack build --fast --pedantic See also issue 20592

iOS Development

Sharing files between app and app extension Need to enable App Groups (see the Capabilities of the app) and add a group extension. let groupDocumentPath = FileManager . default . containerURL ( forSecurityApplicationGroupIdentifier : "group.your.group" ) ! // ...

HTTP Cookies

Localhost cookies not working? Omit domain and sameSite when setting localhost cookies during development – the browser will ignore the cookie entirely if set.

PostgreSQL

Create user & database Depending on your setup, might need to run sudo su -u postgres first. createuser <user> createdb <db> psql -c "grant all privileges on database <db> to <user>;"

XCode

xcrun: error If running into xcrun: error: invalid active developer path (/Library/Developer/CommandLineTools), missing xcrun at: /Library/Developer/CommandLineTools/usr/bin/xcrun while doing e.g. git status (especially after a MacOS update), re-run xcode-select --install or sudo xcode-select --reset . changing the name of an app After changing the display name of an app, the app might no longer…

Ubuntu

Enable autorun on boot (Ubuntu) sudo update-rc.d supervisor defaults