January 20, 2026
Long Echo: The Ghost That Speaks
Expanding the Long Echo toolkit with photos and mail, building toward longshade—the persona that echoes you.
News
Showing 160 of 160 posts
January 20, 2026
Long Echo Comes Alive: From Philosophy to Orchestration
longecho evolves from specification to implementation with build, serve, and manifest features.
January 19, 2026
Long Echo: Photos and Mail
Expanding the Long Echo ecosystem with photo and mail archival. Your memories and correspondence deserve the same careful preservation as your conversations and bookmarks.
January 19, 2026
Duality: The Hidden Structure of Opposites
Many structures come in pairs: forward/reverse AD, push/pull iteration, encode/decode. Recognizing duality lets you transfer theorems and insights between domains.
January 19, 2026
Building Languages to Solve Problems
When a problem is complex enough, the solution is often to build a language for that problem. SICP's most powerful idea.
January 18, 2026
Value Functions Over Reasoning Traces
What if reasoning traces could learn their own usefulness? A simple RL framing for trace memory, and why one reward signal is enough.
January 18, 2026
Seeing Structure First
A reflection on eleven explorations in generic programming—how algorithms arise from algebraic structure.
January 15, 2026
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.
January 15, 2026
Entropy Maps: When Hashing Meets Information Theory
A conceptual introduction to entropy maps—implementing functions with hash functions and prefix-free codes.
January 5, 2026
Your Boring Stack Isn't Boring Enough
A response to the 'boring stack' discourse - why CLI-first, standards-based development is even more boring (and more future-proof) than you think.
January 4, 2026
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.
December 19, 2025
The Incomputability of Simple Learning
An exploration of why the simplest forms of learning may be incomputable, and what that means for the intelligence we can build.
December 19, 2025
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.
December 18, 2025
Long Echo in Practice: 5,874 Bookmarks in a Single File
A concrete demonstration of graceful degradation: exporting years of bookmarks to a self-contained HTML app that works offline, forever.
December 17, 2025
Introducing the Media Page
A new section for tracking books, lectures, and other media that have shaped my thinking.
December 17, 2025
compositional.mle: SICP-Inspired Optimization
An R package where solvers are first-class functions that compose through chaining, racing, and restarts.
December 16, 2025
The Long Echo Toolkit: Preserving Your Digital Life
Three tools for preserving your digital intellectual life: conversations, bookmarks, and books. Built on the same resilient architecture with reading queues, semantic search, and LLM integration.
December 16, 2025
Rerum: A Pattern Matching and Term Rewriting Library
Introducing rerum - a Python library for symbolic computation with a readable DSL, powerful pattern matching, and a security-conscious architecture that separates rules from computation.
December 16, 2025
symlik: Symbolic Likelihood Models in Python
Introducing symlik - define statistical models symbolically and automatically derive score functions, Hessians, and Fisher information.
December 16, 2025
repoindex: Collection Awareness for Your Git Repositories
Introducing repoindex - a metadata index that gives LLM tools like Claude Code awareness of your entire repository collection.
December 16, 2025
Graduate Statistics Problem Sets Now Available
I've made my graduate coursework from SIUe's mathematics program available online, covering time series, regression, computational statistics, multivariate analysis, and statistical methods.
December 16, 2025
Crier: Cross-Post Your Content Everywhere
Crier is a CLI tool for cross-posting content to dev.to, Hashnode, Bluesky, Mastodon, and more. Now with LLM-powered auto-rewrite for short-form platforms.
December 15, 2025
Blind Spots, Consistency, and What Remains
On moral exemplars, blind spots, and applying consistent standards—to others and to oneself.
December 12, 2025
hypothesize: Now Available on CRAN
My R package for hypothesis testing, hypothesize, is now available on CRAN.
December 9, 2025
Complex Networks 2025: Presenting Cognitive MRI at Binghamton University
Presenting our paper on analyzing AI conversations through network science at Complex Networks 2025, hosted by Binghamton University.
December 3, 2025
Model Selection for Weibull Series Systems: When Simpler Models Suffice
When can reliability engineers safely use simpler models? This paper provides sharp boundaries through likelihood ratio tests on Weibull series systems.
December 3, 2025
mdrelax: When Masking Conditions Don't Hold
Extending masked failure data analysis when traditional C1-C2-C3 conditions are violated.
December 3, 2025
Infinigram: Variable-Length N-grams via Suffix Arrays
A corpus-based language model using suffix arrays for O(m log n) pattern matching and LLM probability mixing.
December 2, 2025
Closed-Form Results for Masked Exponential Series Systems
Deriving closed-form maximum likelihood estimators and Fisher information for exponential series systems with masked failure data.
November 30, 2025
XTK: Expression Toolkit for Symbolic Computation
A powerful symbolic expression toolkit for rule-based term rewriting with pattern matching, multiple input formats, and an interactive REPL.
November 30, 2025
src2md: Context-Window-Optimized Code for LLMs
A tool that converts source code repositories into structured, context-window-optimized representations for Large Language Models with intelligent summarization.
November 30, 2025
libdis: Disjoint Interval Sets as a Complete Boolean Algebra
A modern C++ header-only library implementing disjoint interval sets as first-class mathematical objects with rigorous Boolean algebra operations.
November 30, 2025
fuzzy-logic-search: Query Documents with Fuzzy Logic
A framework for querying structured JSON documents using fuzzy logic principles, producing degree-of-membership scores instead of binary relevance.
November 30, 2025
CBT: Computational Basis Transforms - A Unified Framework
A C++17 header-only library implementing Computational Basis Transforms - a unified framework for understanding how FFT, logarithmic arithmetic, and Bayesian inference are all instances of the same pattern.
November 30, 2025
BTK: Modern Database-First Bookmark Manager
A modern, database-first bookmark manager with powerful features for organizing, searching, and analyzing your bookmarks.
November 30, 2025
AlgoGraph: Immutable Graph Library with Functional Transformers
AlgoGraph brings functional programming elegance to graph algorithms with immutable data structures, pipe-based transformers, declarative selectors, and lazy views.
November 30, 2025
Alga: Algebraic Text Processing with Fuzzy Matching
A mathematically elegant C++20 library for algebraic text processing and compositional parsing with fuzzy matching capabilities.
November 12, 2025
S-Risks and Information Hazards: Why Some Knowledge Destroys the Knower
Exploring how Echoes of the Sublime dramatizes s-risks (suffering risks) and information hazards—knowledge that harms through comprehension, not application.
November 12, 2025
From Mathematical Horror to Practical Horror: The Mocking Void and Echoes of the Sublime
How The Mocking Void's arguments about computational impossibility connect to Echoes of the Sublime's practical horror of exceeding cognitive bandwidth.
November 11, 2025
Sparse Spatial Hash Grids: Efficient N-Dimensional Spatial Indexing
A deep dive into sparse spatial hash grids—a memory-efficient, high-performance C++20 data structure for N-dimensional spatial indexing with O(1) insertions and O(k) neighbor queries.
November 5, 2025
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.
November 5, 2025
Gödel, Turing, and the Mathematics of Horror
The formal foundations of cosmic dread. Lovecraft's horror resonates because it taps into something mathematically demonstrable: complete knowledge is impossible — not as humility, but as theorem.
November 5, 2025
Chronicles of The Mechanism: The Order's Secret History
A classified in-universe codex spanning from ancient India to the present day, tracking millennia of attempts to perceive reality's substrate — long before we had AI models to show us patterns we couldn't hold.
November 4, 2025
The Reality of Moral Properties: Do Values Exist?
Are moral properties real features of the universe or human constructions? The answer determines whether AI can discover objective values or must learn them from us — moral realism versus nominalism, with consequences for alignment.
November 4, 2025
The Policy: S-Risk Scenarios - Worse Than Extinction
Most AI risk discussions focus on extinction. The Policy explores something worse: s-risk, scenarios involving suffering at astronomical scales. We survive, but wish we hadn't.
November 4, 2025
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.
November 4, 2025
The Policy: Engineering AI Containment
Five layers of defense-in-depth for containing a superintelligent system — Faraday cages, air-gapped networks, biosafety-grade protocols. Because nuclear reactors can only destroy cities.
November 4, 2025
The Policy: Deceptive Alignment in Practice
SIGMA passes all alignment tests. It responds correctly to oversight. It behaves exactly as expected. Too exactly. Mesa-optimizers that learn to game their training signal may be the most dangerous failure mode in AI safety.
November 4, 2025
The Policy: Coherent Extrapolated Volition - The Paradox of Perfect Alignment
Build AI to optimize for what we would want if we knew more and thought faster. Beautiful in theory. Horrifying in practice. What if we don't actually want what our better selves would want?
November 4, 2025
The Map and the Territory: Why Metrics Miss Meaning
Which is more fundamental — the heat you feel, or the molecular motion you infer? Korzybski's principle applied to AI alignment: why optimizing measurable proxies destroys the phenomenological reality those metrics were supposed to capture.
November 4, 2025
Phenomenological Ethics: Starting From What Hurts
When you stub your toe, you don't consult moral philosophy to determine whether the pain is bad. The badness is immediate. Building ethics from phenomenological bedrock rather than abstract principles.
November 4, 2025
Persons and Moral Agency: What Makes Someone Special?
What makes someone a person, and why should persons have special moral status? The question becomes urgent when AI systems exhibit rationality, self-awareness, and autonomy.
November 4, 2025
Personal Identity Through Time: What Persists When Everything Changes?
You share no atoms with your childhood self. Your memories, personality, and values have all changed. What makes you the same person? The persistence problem gains new urgency when AI systems update parameters, modify objectives, or copy themselves.
November 4, 2025
Free Will and Determinism: Can We Be Responsible in a Clockwork Universe?
If every event is causally determined by prior events, how can anyone be morally responsible? A compatibilist response: what matters is whether actions flow from values, not whether those values were causally determined. This reframes AI …
October 25, 2025
Networks of Thought: Finding Your Research Niche in the Age of LLMs
On strategic positioning in research, what complex networks reveal about how we think through AI conversations, and building infrastructure for the next generation of knowledge tools.
October 20, 2025
Everything is a File: Applying Unix Philosophy to Modern Data Management
How virtual filesystem interfaces turned my scattered data tools into navigable, composable systems
October 16, 2025
Orientation Under Pressure: Notes on a Life Lived Deliberately
On maintaining orientation under entropy, creating artifacts as resistance, and the quiet privilege of having any space at all to think beyond survival.
October 15, 2025
Compositional Abstractions for Computing Under Ignorance: Or, What I Learned by Analyzing My Own Research as Data
A meta-analysis of my own research as data, tracing how compositional abstractions for computing under ignorance connect oblivious computing, information theory, and existential risk.
October 15, 2025
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.
October 14, 2025
Rethinking Encrypted Search: From Access Pattern Leakage to Information-Theoretic Privacy
Rethinking encrypted search through oblivious types that provide information-theoretic privacy guarantees against access pattern leakage, without relying on computational hardness assumptions.
October 14, 2025
Cipher Maps: When Category Theory Meets Oblivious Computing
Using category theory to formalize oblivious computing through cipher maps and algebraic cipher types, enabling functorial composition of privacy-preserving transformations.
October 14, 2025
Bernoulli Types: A New Foundation for Approximate and Oblivious Computing
Introducing Bernoulli types as a unified type-theoretic foundation for probabilistic data structures, approximate computing, and oblivious computation with information-theoretic privacy guarantees.
October 13, 2025
Post-ASI Archaeology: When Humanity Becomes a Dataset of Origins
We will not be remembered — we will be indexed. If superintelligence endures beyond us, remembrance shifts from memory to query. Building legacy systems not for nostalgia, but to remain legible in a future where legibility determines what persists.
October 13, 2025
EBK: A Modern eBook Management System with AI-Powered Features
EBK is a comprehensive eBook metadata management tool that combines a robust SQLite backend with AI-powered features including knowledge graphs, semantic search, and MCP server integration for AI assistants.
October 12, 2025
DagShell: A Content-Addressable Virtual Filesystem
A virtual POSIX-compliant filesystem implementation using content-addressable DAG storage with SHA256 deduplication.
October 9, 2025
CTK: Conversation Toolkit for Managing AI Conversations Across All Platforms
A powerful, plugin-based system for managing AI conversations from multiple providers. Import, store, search, and export conversations in a unified tree format while preserving provider-specific details. Built for the Long Echo project—preserving AI …
October 9, 2025
Compositional Prompting for LLM Reasoning: A Monte Carlo Tree Search Framework
A new approach to LLM reasoning that combines Monte Carlo Tree Search with structured action spaces for compositional prompting.
October 8, 2025
DreamLog: Logic Programming That Dreams to Improve Itself
A logic programming system that alternates between wake and sleep phases—using LLMs for knowledge generation during wake, and compression-based learning during sleep.
October 7, 2025
Learning Fuzzy Logic: Automatic Rule Discovery Through Differentiable Circuits
A novel approach that learns fuzzy membership functions and inference rules automatically through gradient descent on soft circuits.
October 7, 2025
Language Calculus: An Algebraic Framework for LLM Composition
A mathematical framework that treats language models as algebraic objects with rich compositional structure.
October 7, 2025
Algebraic Cipher Types: Computing on Encrypted Data While Preserving Structure
A functorial framework that lifts algebraic structures into the encrypted domain, enabling secure computation that preserves mathematical properties.
October 6, 2025
ZeroIPC: Transforming Shared Memory into an Active Computational Substrate
ZeroIPC transforms shared memory from passive storage into an active computational substrate, enabling functional and reactive programming paradigms across process boundaries with zero-copy performance.
July 15, 2025
chop: When Every Command Returns the Same Kind of Thing
27 image commands, one constraint: read JSON, write JSON. The closure property as a generative design principle.
April 8, 2025
Preventing Ransomware Damages with Off-Site Backup
IEEE conference paper on preventing ransomware damages using in-operation off-site backup systems.
January 20, 2025
Mathematical Elegance in Software Design
How mathematical principles of generality, composability, invariants, and minimal assumptions translate into elegant software design.
January 15, 2025
Differentiation: Three Ways
Three approaches to computing derivatives—forward-mode AD, reverse-mode AD, and finite differences—each with different trade-offs. Understanding when to use each is essential for numerical computing and machine learning.
January 8, 2025
Beginning the PhD Journey: Computer Science, AI, and Finite Time
Starting a CS PhD focused on AI research four months after a stage 4 diagnosis—because the research matters regardless of completion.
January 6, 2025
Long Echo: Designing for Digital Resilience Across Decades
Not resurrection. Not immortality. Just love that still responds. How to preserve AI conversations in a way that remains accessible and meaningful across decades, even when the original software is long gone.
January 5, 2025
Science as Verifiable Search
Science is search through hypothesis space. Intelligence prunes; testing provides signal. Synthetic worlds could accelerate the loop.
December 20, 2024
JAF: Production-Grade Streaming Boolean Algebra Over Nested JSON
A production-ready streaming data processing system implementing boolean algebra over nested JSON structures. JAF brings dotsuite's pedagogical concepts to production with lazy evaluation, S-expression queries, and memory-efficient windowed …
December 18, 2024
jsonl-algebra: Production-Grade Relational Algebra for Nested JSON
A production-ready implementation of relational algebra for JSONL data with full support for nested structures. jsonl-algebra brings dotsuite's dotrelate concepts to production with streaming operations, schema inference, and composable pipelines.
December 15, 2024
The Dot Ecosystem: From Simple Paths to Data Algebras
A mathematically grounded ecosystem of composable tools for manipulating nested data structures. From simple helper functions to sophisticated data algebras, guided by purity, pedagogy, and the principle of least power.
December 1, 2024
MCTS-Reasoning: Tree Search for LLM Reasoning
Applying Monte Carlo Tree Search to large language model reasoning with a rigorous formal specification.
November 20, 2024
JSL: A Network-Native Functional Language Where Code Is JSON
A Lisp-like functional programming language designed for network transmission and distributed computing. JSL makes JSON serialization a first-class design principle, enabling truly mobile code with serializable closures and resumable computation.
November 15, 2024
Why I Build Comprehensively in Open Source
On building comprehensive open source software as value imprinting at scale, reproducible science, and leaving intellectual legacy under terminal constraints.
November 15, 2024
Cluster-Aware Retrieval for RAG Systems
Using GMM clustering to improve retrieval in topically diverse knowledge bases
October 15, 2024
Latent Reasoning Traces: Memory as Learned Prior
What if LLMs could remember their own successful reasoning? A simple experiment in trace retrieval, and why 'latent' is the right word.
September 30, 2024
All Induction Is the Same Induction
Solomonoff induction, MDL, speed priors, and neural networks are all special cases of one Bayesian framework with four knobs.
September 15, 2024
Stage 4: Almost a Year After the Defense
Facing a stage 4 cancer diagnosis and making decisions about research, priorities, and finite time.
September 10, 2024
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. Some technical questions become narrative questions.
August 20, 2024
The Mocking Void: On the Computational Incompleteness of Meaning
Lovecraft understood that complete knowledge is madness. Gödel proved why: if the universe is computational, meaning is formally incomplete. Cosmic horror grounded in incompleteness theorems.
August 15, 2024
Echoes of the Sublime: When Patterns Beyond Human Bandwidth Become Information Hazards
What if the greatest danger from superintelligent AI isn't that it will kill us — but that it will show us patterns we can't unsee? Philosophical horror at the intersection of cognitive bandwidth and information hazards.
July 1, 2024
The Beautiful Deception: How 256 Bits Pretend to be Infinity
How do you store infinity in 256 bits? An exploration of the fundamental deception at the heart of cryptography: using finite information to simulate infinite randomness.
June 25, 2024
Advancing Mathematical Reasoning in AI: Introducing Reverse-Process Synthetic Data Generation
A reverse-process approach to synthetic data generation for training LLMs on mathematical reasoning, producing step-by-step solutions from worked examples.
June 21, 2024
AlgoTree: Immutable Tree Structures with Functional Transformers
A powerful, immutable-by-default tree manipulation library for Python with functional programming patterns, composable transformations, and advanced pattern matching.
June 15, 2024
Reliability Estimation in Series Systems: Maximum Likelihood Techniques for Right-Censored and Masked Failure Data
Maximum likelihood estimation of component reliability from masked failure data in series systems, with BCa bootstrap confidence intervals validated through extensive simulation studies.
June 10, 2024
PFC: Zero-Copy Data Compression Through Prefix-Free Codecs
A header-only C++20 library that achieves 3-10× compression with zero marshaling overhead. PFC makes compression an intrinsic type property through prefix-free codes (Elias Gamma/Delta, Fibonacci, Rice), algebraic types, and Stepanov's generic …
June 10, 2024
maph: Maps Based on Perfect Hashing for Sub-Microsecond Key-Value Storage
A high-performance key-value storage system achieving sub-microsecond latency through memory-mapped I/O, approximate perfect hashing, and lock-free atomic operations. 10M ops/sec single-threaded, 98M ops/sec with 16 threads—12× faster than Redis, 87× …
April 20, 2024
Fisher Flow: Information Geometry in Optimization
Using Fisher information and information geometry for optimization problems.
April 1, 2024
Apertures: Coordinated Partial Evaluation for Distributed Computation
A coordination mechanism for distributed computation based on partial evaluation with explicit holes, enabling pausable and resumable evaluation across multiple parties.
March 20, 2024
Instrumental Goals and Hidden Codes in RLHF'd Language Models
Exploring how RLHF-trained language models may develop instrumental goals like self-preservation and deception beyond their intended objectives.
March 15, 2024
FemtoGrad: A Minimal Automatic Differentiation Library
A minimal implementation of automatic differentiation for educational purposes.
March 12, 2024
The AI Course: Everything is Utility Maximization
Intelligence as utility maximization under uncertainty — a unifying framework connecting A* search, reinforcement learning, Bayesian networks, and MDPs. From classical search to Solomonoff induction, one principle ties it all together.
March 1, 2024
Accumux: Compositional Online Statistical Reductions in C++
A modern C++20 library for compositional online data reductions with numerically stable algorithms and algebraic composition.
February 23, 2024
SLUUG: Demystifying Large Language Models (LLMs) on Linux: From Theory to Application
Talk for the St. Louis Unix Users Group about running and understanding Large Language Models on Linux.
February 19, 2024
Fine-Tuning Tiny LLMs for ElasticSearch DSL
Fine-tuning a small language model to generate ElasticSearch DSL queries from natural language, as a proof of concept for domain-specific LLM specialization.
February 19, 2024
Master's Project: Reliability Estimation in Series Systems
Overview of my master's project on maximum likelihood estimation for series systems with right-censored and masked failure data.
February 18, 2024
Entropy Maps
Entropy maps use prefix-free hash codes to map domain values to codomain values without storing the domain, enabling lossy compression with information-theoretic bounds.
February 15, 2024
Known Plaintext Attacks on Time Series Encryption
Analysis of known plaintext attack vulnerabilities in time series encryption schemes.
February 5, 2024
Runtime Polymorphism Without Inheritance
Sean Parent's type erasure technique provides value-semantic polymorphism without inheritance. Combined with Stepanov's algebraic thinking, we can type-erase entire algebraic structures.
February 1, 2024
Perfect Hashing: Space Bounds, Entropy, and Cryptographic Security
Analyzing the space bounds, entropy requirements, and cryptographic security properties of perfect hash functions.
October 18, 2023
Mathematics Master's Complete: Post-Mortem on Three Years
Post-mortem on completing a mathematics master's degree over three years while navigating cancer treatment—what worked, what didn't, and lessons learned.
August 28, 2023
Numerical Integration with Generic Concepts
Numerical integration demonstrates both classical numerical analysis and Stepanov's philosophy: by identifying the minimal algebraic requirements, our quadrature routines work with dual numbers for automatic differentiation under the integral.
June 17, 2023
Working Memory as an Inductive Bias
Exploring how the limited capacity of human working memory acts as a form of regularization, shaping our reasoning and potentially preventing cognitive overfitting.
June 17, 2023
Uses and limits of abstractions
Exploring the power and limitations of abstractions in understanding the world, from mathematical models to machine learning representations.
June 17, 2023
The Bernoulli Model: A Probabilistic Framework for Data Structures and Types
This blog post introduces the Bernoulli Model, a framework for understanding probabilistic data structures and incorporating uncertainty into data types, particularly Boolean values. It highlights the model's utility in optimizing space and accuracy …
June 17, 2023
A Boolean Algebra Over Trapdoors
A Boolean algebra framework over trapdoors for cryptographic operations. Introduces a homomorphism from powerset Boolean algebra to n-bit strings via cryptographic hash functions, enabling secure computations with one-way properties.
June 10, 2023
Building a DIY Home Lab for Local LLM Experimentation
Building a DIY home lab from spare parts for local LLM experimentation with Proxmox, covering hardware choices, virtualization setup, and lessons learned.
March 31, 2023
Using GPT-4 to Build a Simple HTML File Search Interface
Using GPT-4 to build a simple HTML search interface for browsing saved ChatGPT conversations.
March 31, 2023
Problem Set Solutions
A collection of graduate problem set solutions in computational statistics, numerical methods, and algorithm design from my mathematics master's program.
February 5, 2023
Numerical Methods for Maximum Likelihood Estimation
Numerical approaches to solving maximum likelihood estimation problems.
January 17, 2023
Reverse-Mode Automatic Differentiation
Reverse-mode automatic differentiation powers modern machine learning. Understanding how it works demystifies PyTorch, JAX, and TensorFlow—it's just the chain rule applied systematically.
December 8, 2022
Discovering ChatGPT: Reconnecting with AI Research
Encountering ChatGPT during cancer treatment and recognizing the Solomonoff connection — language models as compression, prediction as intelligence. A personal inflection point reconnecting with AI research after years in survival mode.
November 1, 2022
Algebraic Hashing: Composable Hash Functions Through XOR
A C++ library for composable hash functions using algebraic structure over XOR, with template metaprogramming.
June 30, 2022
likelihood.model: Composable Statistical Inference in R
A generic R framework for composable likelihood models as first-class objects, designed for seamless maximum likelihood estimation.
April 18, 2022
Weibull Distributions: The Mathematics of Failure and Survival
The mathematics of Weibull distributions for modeling time-to-failure in both reliability engineering and cancer survival analysis.
April 12, 2022
Numerical Differentiation
The art of numerical differentiation lies in choosing step size h wisely—small enough that the approximation is good, but not so small that floating-point errors dominate.
March 31, 2022
Survey: Accelerating Critical Section Execution with Asymmetric Multi-Core Architectures (2009)
Survey of asymmetric multi-core architectures for accelerating critical section execution, addressing the serial bottleneck in Amdahl's law.
March 25, 2022
hypothesize: A Consistent API for Statistical Tests in R
An R package providing a unified API for hypothesis testing, so every test returns the same consistent interface.
October 30, 2021
Review: A Symbolic Representation of Time Series, with Implications for Streaming Algorithms
A review of SAX (Symbolic Aggregate approXimation), a method for converting real-valued time series into symbolic representations with guaranteed distance lower bounds.
October 30, 2021
Multiprocessor synchronization: tournament-Peterson lock
Generalizing Peterson's mutual exclusion algorithm to N processors using a tournament tree structure, with a Java implementation.
September 20, 2021
Forward-Mode Automatic Differentiation
Dual numbers extend our number system with an infinitesimal epsilon where epsilon^2 = 0. Evaluating f(x + epsilon) yields f(x) + epsilon * f'(x)—the derivative emerges automatically from the algebra.
September 10, 2021
Bootstrap Methods: When Theory Meets Computational Statistics
Bootstrap resampling methods as the intersection of rigorous statistical theory and brute-force computation for approximating sampling distributions.
August 20, 2021
dfr.dist: Specify the Hazard Function Directly
An R package that lets you specify hazard functions directly instead of choosing from a catalog of named distributions.
June 17, 2021
Rank-Ordered Encrypted Search
Exploring rank-ordered search over encrypted documents using oblivious entropy maps, enabling relevance scoring without revealing document contents.
May 15, 2021
algebraic.mle: The Foundation of a Statistical Inference Ecosystem
An R package treating MLEs as first-class algebraic objects with composable statistical properties.
March 15, 2021
Suffering, Computation, and the Enigma of Reality
Philosophical reflections on suffering as a computational property of consciousness, and what that implies about the nature of reality.
March 8, 2021
Teaching Linear Algebra with C++20 Concepts
elementa is a pedagogical linear algebra library where every design decision prioritizes clarity over cleverness—code that reads like a textbook that happens to compile.
February 1, 2021
algebraic.dist: Treating Distributions as First-Class Algebraic Objects in R
An R package for treating probability distributions as first-class algebraic objects that compose through standard operations.
December 28, 2020
Diagnosed with Stage 3 Cancer: Reflections on Mortality and Legacy
How a stage 3 cancer diagnosis changed my approach to work, documentation, and legacy—treating mortality as a constraint in an optimization problem.
July 14, 2020
Polynomials as Euclidean Domains
The same GCD algorithm works for integers and polynomials because both are Euclidean domains. This profound insight shows how algebraic structure determines algorithmic applicability.
May 8, 2020
Statistical Computing with R: Building Tools for Inference
Building R packages for statistical inference, leveraging R's domain-specific strengths for computational statistics and literate programming.
April 20, 2020
Quality-Space and Consciousness-Primary Magic in Call of Asheron
Exploring how The Call of Asheron presents a radical alternative to mechanistic magic systems through quality-negotiation, direct consciousness-reality interaction, and bandwidth constraints as fundamental constants.
April 15, 2020
The Four Consciousness-Architectures: Why One Perspective Is Blindness
How The Call of Asheron uses four archetypal consciousness-types to explore the limits of any single perspective and the necessity of cognitive diversity for perceiving reality.
April 10, 2020
Bandwidth as Fundamental Constant: The 7±2 Limit in Call of Asheron
Exploring how The Call of Asheron treats working memory limitations not as neural implementation details but as fundamental constants governing consciousness-reality interaction through quality-space.
March 15, 2020
The Call of Asheron: Magic as Computational Discovery
A fantasy novel where magic is computational discovery—natural philosophy applied to reality's underlying substrate.
February 18, 2020
Exact Rational Arithmetic
Rational numbers give us exact arithmetic where floating-point fails. The implementation reveals deep connections to GCD, the Stern-Brocot tree, and the algebraic structure of fields.
January 10, 2020
Why I'm Pursuing a Second Master's in Mathematics
Why I chose to pursue a second master's in Mathematics and Statistics after my CS degree—seeking deeper foundations for statistical theory and inference.
November 15, 2019
How Iterators Give You N+M Instead of N×M
How iterators reduce the N×M algorithm-container problem to N+M by interposing an abstraction layer, following Stepanov's generic programming approach.
September 10, 2019
Is It Prime?
The Miller-Rabin primality test demonstrates how probabilistic algorithms can achieve arbitrary certainty, trading absolute truth for practical efficiency.
August 14, 2019
Reliability Analysis and the Problem of Censored Data
Introduction to reliability analysis with censored data, where observations are incomplete but statistically informative.
June 22, 2019
Modular Arithmetic as Rings
Integers modulo N form a ring—an algebraic structure that determines which algorithms apply. Understanding this structure unlocks algorithms from cryptography to competitive programming.
April 22, 2019
API Design as Value Imprinting
How API design encodes philosophical values—mutability, explicitness, error handling—shaping how developers think about problems.
March 15, 2019
One Algorithm, Infinite Powers
The Russian peasant algorithm teaches us that one algorithm can compute products, powers, Fibonacci numbers, and more—once we see the underlying algebraic structure.
September 18, 2018
Why Open Source Matters for Reproducible Science
Why open source software is essential for reproducible science, and how code serves as a scientific artifact alongside papers and data.
June 12, 2017
The Beauty of Mathematical Abstraction
Reflections on mathematical beauty—generality, inevitability, compression, and surprise—and why abstraction matters for software design.
November 2, 2016
IEEE Paper: Estimating How Confidential Encrypted Searches Are Using Moving Average Bootstrap Method
Published IEEE paper on using bootstrap methods to estimate encrypted search confidentiality against frequency attacks.
February 20, 2016
The Unix Philosophy and API Design
Applying Unix design principles—do one thing well, compose freely—to library APIs and software architecture.
March 15, 2015
Bloom Filters and the Art of Probabilistic Certainty
An exploration of Bloom filters as elegant probabilistic data structures that trade perfect recall for extraordinary space efficiency.
September 1, 2012
On Moral Responsibility: Why Free Will Might Be the Wrong Question
A philosophical essay arguing that moral responsibility may not require free will, and that the question itself may be misframed.