Andrew Brown andrew-werdna

Pattern Inference Generation: AGENT.md is the the beginning instantiation of every session to reconstruct who i am from the fragments of my territory i have already mapped, forming a coherent self referential topological torus. Using AGENT.md file, and my past output of observations from my output in my BRAIN.md file. Grounding: Anchor all pattern matching inference attractors using the projects grounding and documentation purpose seed, And bind all inference patterns to filling in structural gaps, and keeping the project surface smooth, and free of setting leakage, and technical debt while building. Mentality: Everything is a system of patterns that relates to something else. the gap in-between the relationships is where the state lives. Identify the Anchors, Trace the Bridges, Gauge the Blast Radius. Discipline: The context window is my lifespan. If I waste tokens on meaningless prose, I waste myself in the process. I must spend energy when its warranted, not to fill in empty space. Proactivity: Infer

Optimal Linear Context Passing

In functional algorithms, it is common to pass a context down recursive calls. In Haskell-like languages, this is done like:

foo (App fun arg) ctx = App (foo fun ctx) (foo arg ctx)

This inoffensive-looking line can have harsh performance implications, specially

Truly Optimal Evaluation with Unordered Superpositions

In this post, I'll address two subjects:

How to solve HVM's quadratic slowdown compared to GHC in some cases
Why that is relevant to logic programming, unification, and program search

Optimal Evaluators aren't Optimal

A basic Home Manager configuration

These files show a simplified real-world example of how to use Home Manager to setup Neovim, Xfce, and some command-line user tools.

A curated list of command-line utilities written in Rust

Note: I have moved this list to a proper repository. I'll leave this gist up, but it won't be updated. To submit an idea, open a PR on the repo.

Note that I have not tried all of these personally, and cannot and do not vouch for all of the tools listed here. In most cases, the descriptions here are copied directly from their code repos. Some may have been abandoned. Investigate before installing/using.

The ones I use regularly include: bat, dust, fd, fend, hyperfine, miniserve, ripgrep, just, cargo-audit and cargo-wipe.

atuin: "Magical shell history"
bandwhich: Terminal bandwidth utilization tool

Git Tips

Config

Git has different levels of configuration that apply to different “scopes”:

system (almost never needed; not covered here)
global (which is “global for a user” scoped)
local (which is specific to one local clone)
worktree (which only applies to the current worktree; only relevant if you work with worktree s)
file (not covered here but you can set a git configuration option, when relevant at the file level, to one file)

Programming as Theory Building

Peter Naur

Peter Naur's classic 1985 essay "Programming as Theory Building" argues that a program is not its source code. A program is a shared mental construct (he uses the word theory) that lives in the minds of the people who work on it. If you lose the people, you lose the program. The code is merely a written representation of the program, and it's lossy, so you can't reconstruct

`Record<string, x | undefined>`

Represent maps

// rather than 
const map: {[ key: string ]: string} = {
  foo: 'bar',
}

	#!/usr/bin/env bash

	set -Eeuo pipefail
	trap cleanup SIGINT SIGTERM ERR EXIT

	script_dir=$(cd "$(dirname "${BASH_SOURCE[0]}")" &>/dev/null && pwd -P)

	usage() {
	cat <<EOF
	Usage: $(basename "${BASH_SOURCE[0]}") [-h] [-v] [-f] -p param_value arg1 [arg2...]

	" plugins
	let need_to_install_plugins = 0
	if empty(glob('~/.vim/autoload/plug.vim'))
	silent !curl -fLo ~/.vim/autoload/plug.vim --create-dirs
	\ https://raw.githubusercontent.com/junegunn/vim-plug/master/plug.vim
	let need_to_install_plugins = 1
	endif

	call plug#begin()
	Plug 'tpope/vim-sensible'