Xerz xerz-one

The PostMail Protocol Thing

PostMail is an HTTP-based email protocol I'm implementing because I'm sick of how stuck in the 90s email servers feel. I use HTTP POST and a little bit of DNS shenanigans to get compatibility and am working on a demo.

The Configuration

Any domain has a DNS record, a TXT record called POSTMAIL if PostMail is supposed to be supported. It should be set to the prefix of the current domain.

For example, example.com is configured to receive PostMail at postmail-sys.example.com. The TXT record should be set to postmail-sys

We did it! We broke gist.github.com ;) So head over to the new home! Thank you all!
2021.10.20: https://github.com/AveYo/MediaCreationTool.bat now open for interaction

Not just an Universal MediaCreationTool wrapper script with ingenious support for business editions,

A powerful yet simple windows 10 / 11 deployment automation tool as well!

discuss on MDL

Half-baked thoughts exploring a different way of implementing a fully-validating BCH node.

The idea is to shift the storage of full transaction data to wallets, and explore how little data a fully validating node could store. This isn't a problem today (the UTXO set easily fits in the RAM of an inexpensive server-class machine), but might eventually be at very large transaction volumes.

Initial block download is a problem today (it is annoying to have to wait several hours or days to sync up a new node), and this scheme could make it orders of magnitude faster by shifting the time when full transaction data is broadcast from initial block download to new transaction announcement.

How to set the theme of a Ttk application on Linux

Ttk applications like git-gui and gitk look ugly by default on Linux because the default Ttk tries to emulate Motif. Here is how to make them less ugly.

Choose a Ttk theme. A partial list is provided by the official wiki of TCL.
If the chosen a theme that is not built-in:
1. If not already done, create a directory dedicated to Ttk themes. Example: mkdir ~/.local/share/tk-themes
2. Put the theme’s directory (there should be a pkgIndex.tcl file at its root) in it. For example, if we want the Clearlooks theme, we copy the content of the themes/clearlooks directory of the “Ttk themes” project (see the link above) in ~/.local/share/tk-themes/clearlooks
3. If not already done, add the line export TCLLIBPATH= (where `` is the path to the directory where you put your Ttk themes) to your ~/.profile file (or whatever the script that e

Nix String and Path Concatenation

From Bas van Dijk:

To understand these things I would recommend using nix-repl:

$ nix-repl
Welcome to Nix version 1.11.2. Type :? for help.

	/*
	* To the extent possible under law, the author has dedicated all copyright
	* and related and neighboring rights to this software to the public domain
	* worldwide. This software is distributed without any warranty.
	*
	* See <http://creativecommons.org/publicdomain/zero/1.0/>
	*/

	package com.unascribed.random;

	WAYLAND_PROTOCOLS=/usr/share/wayland-protocols

	# wayland-scanner is a tool which generates C headers and rigging for Wayland
	# protocols, which are specified in XML. wlroots requires you to rig these up
	# to your build system yourself and provide them in the include path.
	xdg-shell-protocol.h:
	wayland-scanner server-header \
	$(WAYLAND_PROTOCOLS)/stable/xdg-shell/xdg-shell.xml $@

	xdg-shell-protocol.c: xdg-shell-protocol.h

	pub trait Running<B: StateTy>: ProgramTy {
	type Output: StateTy;
	}

	pub type Run<A: ProgramTy, B: StateTy> = <A as Running<B>>::Output;


	// [(Left P), (St Nil C R)] => (# P (St Nil F (Cons C R)))
	impl<P: ProgramTy, C: Bit, R: List> Running<St<Nil, C, R>> for Left<P>
	where P: Running<St<Nil, F, Cons<C, R>>>

	// `Bit` trait and `T` and `F` types.

	pub trait Bit {
	fn reify() -> bool;
	}


	pub struct F;
	pub struct T;

	#!/bin/bash

	# Save this file as /usr/bin/apt-pac and chmod +x it.

	case "$1" in

	autoremove)
	pacman -Rns $(pacman -Qdtq);
	;;