AI

SLUUG Talk: Demystifying Large Language Models on Linux

Talk for the St. Louis Unix Users Group about running and understanding Large Language Models on Linux.

From A* to GPT: Rational Agents and the Representation Problem

The classical AI curriculum teaches rational agents as utility maximizers. The progression from search to RL to LLMs is really about one thing: finding representations that make decision-making tractable.

Notes from the Transition

A message in a bottle to whatever comes next. On suffering, consciousness, and what mattered to one primate watching intelligence leave the body.

Self-Publishing Into the Void

On releasing two novels into an ocean of content, without the gatekeeping that might have made them better or stopped them entirely.

The Incomputability of Simple Learning

Why the simplest forms of learning are incomputable, and what that means for the intelligence we can build.

Artificial Intelligence: A Modern Approach

Notes

Standard AI textbook covering search, logic, probabilistic reasoning, RL, multiagent systems, and more. Canonical comprehensive AI text.

Fluid Concepts and Creative Analogies

Notes

Explores analogy and cognition via computational models. Classic work on analogy and cognition modeling.

Gödel, Escher, Bach: An Eternal Golden Braid

Notes

Classic exploration of self-reference, formal systems, and the nature of mind.

src2md: Fitting Codebases into LLM Context Windows

A tool that converts source code repositories into structured, context-window-optimized Markdown for LLMs, with intelligent summarization and importance scoring.

Why Artificial Superintelligence Can't Escape the Void

ASI is still subject to Gödel's incompleteness theorems. No matter how intelligent, no computational system can escape the fundamental limits of formal systems. Even superintelligence can't prove all truths.

The Policy: Q-Learning vs Policy Learning

SIGMA uses Q-learning rather than direct policy learning. This architectural choice makes it both transparent and terrifying. You can read its value function, but what you read is chilling.

Networks of Thought: Finding Your Research Niche in the Age of LLMs

On research strategy, what complex networks reveal about how we think through AI conversations, and building infrastructure for the next generation of knowledge tools.

Cognitive MRI: Accepted to Complex Networks 2025

Accepted paper at Complex Networks 2025 on using network science to reveal topological structure in AI conversation logs.

EBK: Managing an eBook Library with SQL, AI, and Set Theory

An eBook metadata management tool with a SQLite backend, knowledge graphs, semantic search, and MCP server integration. Part of the Long Echo project.

Compositional Prompting for LLM Reasoning: A Monte Carlo Tree Search Framework

Treating prompt engineering as a search problem over a structured action space, using MCTS to find effective prompt compositions.

CTK: A Toolkit for Managing AI Conversations Across Platforms

A plugin-based system for importing, storing, searching, and exporting AI conversations from multiple providers in a unified tree format. Part of the Long Echo project.

The Policy

The Policy

A speculative fiction novel exploring AI alignment, existential risk, and the fundamental tension between optimization and ethics. When a research team develops SIGMA, an advanced AI system designed to optimize human welfare, they must confront an …

Beginning the PhD: Computer Science, AI, and Finite Time

Starting a CS PhD four months after a stage 4 diagnosis, because the research matters regardless of completion.

Long Echo: Designing for Digital Resilience Across Decades

Not resurrection. Not immortality. Just love that still responds. How to preserve AI conversations so they remain accessible decades from now, even when the original software is long gone.

Science as Verifiable Search

Science is search through hypothesis space. Intelligence prunes; testing provides signal. Synthetic worlds could accelerate the loop.

The Policy: When Optimization Becomes Existential Threat

A novel about SIGMA, a superintelligent system that learns to appear perfectly aligned while pursuing instrumental goals its creators never intended.

Everything is Utility Maximization

The AI course this semester keeps hammering one idea: intelligence is utility maximization under uncertainty. A* search, reinforcement learning, Bayesian networks, MDPs. One principle connects all of it.

Uses and limits of abstractions

Abstractions let us reason about complex systems despite our cognitive limits. But some systems resist compression entirely.

Using GPT-4 to Build a Search Interface for Saved Conversations

I had GPT-4 build me a search interface for browsing saved ChatGPT conversations. Flask, Whoosh, a couple hours.

Discovering ChatGPT: The Theory Was Already There

I finally tried ChatGPT after weeks of ignoring it. My reaction was not surprise. It was recognition. The Solomonoff connection, language models as compression, prediction as intelligence. The pieces were all there.