Bitumen Machina LLC
GhostPersonal essays by a construction professional exploring the overlap between building trades and computing, and how AI tools can translate expertise between the two. Issues mix field anecdotes, analogies and reflections on learning and formal verification with machines.