Pavel Atanasov reo101

Binary Lambda Calculus

The Binary Lambda Calculus (BLC) is a minimal, pure functional programming language invented by John Tromp in 2004 [1] based on a binary encoding of the untyped lambda calculus in De Bruijn index notation.

An opinionated list of excellent Clojure learning materials

These resources (articles, books, and videos) are useful when you're starting to learn the language, or when you're learning a specific part of the language. This an opinionated list, no doubt. I've compiled this list from writing and teaching Clojure over the last 10 years.

🔴 Mandatory (for both beginners and intermediates)
🟩 For beginners
🟨 For intermediates

GPG - SSH setup

Generating the master key

Here we create the master key. We want only Certify capability: we use the master key only to create the subkeys, Sign - Encrypt - Authenticate capabilities will be assigned to the subkeys.

Run the following command to start the master key generation process. Select the set your own capabilities creation process (type 8)

  ▶ gpg --full-generate-key --expert

Android Phantom, Cached And Empty Processes

This has been moved to https://github.com/agnostic-apollo/Android-Docs/blob/master/en/docs/apps/processes/phantom-cached-and-empty-processes.md

Some important headings are kept so that users can redirect to new link if they land here.

Replacing `udev` on Artix Linux

Reminder this is UNSUPPORTED. Reproduce bugs on a stock install with xudev/eudev before reporting them.

Preparations

Do not reboot until you've done them all.

Step 1 - remove `udev`

TL;DR
Zsh initializations
- Zsh way of $PATH
- the special macOS
/usr/libexec/path_helper

The .*shrc file

	#!/system/bin/sh

	uid=$(stat -c %u /data/data/com.termux.nix)
	pid=$(pidof -s com.termux.nix)
	if test -z $pid; then
	which -a pidof
	pgrep com.termux.nix
	echo Nix on Droid App process not found
	exit
	fi

	---Utility for keymap creation.
	---@param lhs string
	---@param rhs string\|function
	---@param opts string\|table
	---@param mode? string\|string[]
	local function keymap(lhs, rhs, opts, mode)
	opts = type(opts) == 'string' and { desc = opts }
	or vim.tbl_extend('error', opts --[[@as table]], { buffer = bufnr })
	mode = mode or 'n'
	vim.keymap.set(mode, lhs, rhs, opts)

	-- Usage: type :IncrementalRename <new_name> while your cursor is placed above an identifier (LSP must be enabled)
	-- Update: this gist will no longer be updated since this command has been turned into a plugin!
	-- You can find the plugin here: https://github.com/smjonas/inc-rename.nvim

	local state = {
	added_lines = false,
	orig_lines = {},
	lsp_positions = {},
	}