Archive
A chronological archive of all posts and papers on metafunctor.
237 articles
16 years
2026
February
- Chartfold: Owning Your Medical Records post Software Development
- Code Without Purpose post Software Development
- Masked Failure Data: Looking Back, Looking Forward post Statistics
- dapple: Terminal Graphics, Composed post Software Development
- Posthumous: A Federated Dead Man's Switch post Software Development
- Observation Functors: Composable Censoring for Series System Simulation post Statistics
- pagevault: Hiding an Encryption Platform Inside HTML post Software Development
- maskedcauses: Maximum Likelihood Estimation for Masked Series System Failures post Statistics
January
- Bernoulli Types: Theory and Construction papers
- Oblivious Computing: Privacy Through Approximation papers
- Private Information Retrieval and Systems papers
- Regular Types in the Bernoulli Model: When Equality Isn't Equal papers
- Statistical Foundations and Empirical Validation papers
- Two-Level Threshold Structures for Approximate Membership Testing papers
- Long Echo Comes Alive: From Philosophy to Orchestration post Projects
- Long Echo: The Ghost That Speaks post Projects
- Building Languages to Solve Problems post Computer Science
- Duality: The Hidden Structure of Opposites post Computer Science
- Long Echo: Photos and Mail post Projects
- Seeing Structure First post Computer Science
- Value Functions Over Reasoning Traces post AI
- Entropy Maps: When Hashing Meets Information Theory post Computer Science
- From A* to GPT: Rational Agents and the Representation Problem post machine-learning
- Your Boring Stack Isn't Boring Enough post Software Engineering
- Notes from the Transition post philosophy
2025
December
- Self-Publishing Into the Void post personal
- The Incomputability of Simple Learning post AI
- Long Echo in Practice: 5,874 Bookmarks in a Single File post Projects
- compositional.mle: SICP-Inspired Optimization post programming
- The Media Page post personal
- The Long Echo Toolkit post Projects
- Rerum: Pattern Matching and Term Rewriting in Python post Programming Languages
- Crier: Cross-Post Your Content Everywhere post Projects
- Graduate Statistics Problem Sets post Personal
- repoindex: Collection Awareness for Your Git Repos post Projects
- symlik: Symbolic Likelihood Models in Python post Projects
- Blind Spots, Consistency, and What Remains post Philosophy
- hypothesize: Now on CRAN post R
- Cognitive MRI of AI Conversations: Analyzing AI Interactions through Semantic Embedding Networks papers
- Complex Networks 2025: Presenting Cognitive MRI at Binghamton post Research
- Infinigram: Corpus-Based Language Modeling via Suffix Arrays with LLM Probability Mixing papers
- Infinigram: Variable-Length N-grams via Suffix Arrays post machine-learning
- Likelihood Models for Series Systems with Masked Component Failure Data: An R Package for Maximum Likelihood Estimation papers
- mdrelax: When Masking Conditions Don't Hold post Statistics
- Model Selection for Reliability Estimation in Series Systems papers
- Model Selection for Weibull Series Systems: When Simpler Models Suffice post Statistics
- Relaxed Candidate Set Models for Masked Data in Series Systems papers
- Closed-Form Results for Masked Exponential Series Systems post Statistics
- Statistical Inference for Series Systems from Masked Failure Time Data: The Exponential Case papers
- MCTS-Reasoning: A Canonical Specification of Monte Carlo Tree Search for LLM Reasoning papers
November
- Alga: Algebraic Text Processing with Fuzzy Matching post computer-science
- AlgoGraph: Immutable Graph Library with Functional Transformers post computer-science
- BTK: Modern Database-First Bookmark Manager post software-development
- CBT: Computational Basis Transforms post computer-science
- fuzzy-logic-search: Query Documents with Fuzzy Logic post computer-science
- libdis: Disjoint Interval Sets as a Complete Boolean Algebra post computer-science
- src2md: Fitting Codebases into LLM Context Windows post software-development
- XTK: A Symbolic Expression Toolkit for Term Rewriting post computer-science
- From Mathematical Horror to Practical Horror: The Mocking Void and Echoes of the Sublime post Fiction
- S-Risks and Information Hazards: Why Some Knowledge Destroys the Knower post Fiction
- Sparse Spatial Hash Grids: Efficient N-Dimensional Spatial Indexing post Software Development
- Chronicles of The Mechanism: The Order's Secret History post Fiction
- Gödel, Turing, and the Mathematics of Horror post Philosophy
- Why Artificial Superintelligence Can't Escape the Void post AI Safety
- Free Will and Determinism: Responsibility in a Clockwork Universe post Philosophy
- Personal Identity Through Time: What Persists When Everything Changes? post Philosophy
- Persons and Moral Agency: What Makes Someone Count? post Philosophy
- Phenomenological Ethics: Starting From What Hurts post Philosophy
- The Map and the Territory: Why Metrics Miss Meaning post Philosophy
- The Policy: Coherent Extrapolated Volition and the Paradox of Perfect Alignment post AI
- The Policy: Deceptive Alignment in Practice post AI
- The Policy: Engineering AI Containment post AI
- The Policy: Q-Learning vs Policy Learning post AI
- The Policy: S-Risk Scenarios, Worse Than Extinction post AI
- The Reality of Moral Properties: Do Values Exist? post Philosophy
October
- Networks of Thought: Finding Your Research Niche in the Age of LLMs post
- Everything is a File: Virtual Filesystems for CLI Data Tools post
- Orientation Under Pressure post
- Cognitive MRI: Accepted to Complex Networks 2025 post
- What I Learned by Analyzing My Own Research as Data post Philosophy
- Bernoulli Types: A Foundation for Approximate and Oblivious Computing post Computer Science
- Cipher Maps: A Unified Framework for Oblivious Function Approximation Through Algebraic Structures and Bernoulli Models papers
- Cipher Maps: Category Theory Meets Oblivious Computing post Computer Science
- Encrypted Search and Oblivious Types post Computer Science
- Encrypted Search with Oblivious Bernoulli Types: Information-Theoretic Privacy through Controlled Approximation papers
- Maximizing Confidentiality in Encrypted Search Through Entropy Optimization papers
- Maximizing Confidentiality in Encrypted Search Through Entropy Optimization papers
- EBK: Managing an eBook Library with SQL, AI, and Set Theory post software-development
- Post-ASI Archaeology: When Humanity Becomes a Dataset of Origins post
- DagShell: A Content-Addressable Virtual Filesystem post computer-science
- DagShell: A Content-Addressable Virtual Filesystem with Multiple Interface Paradigms papers
- Compositional Prompting for LLM Reasoning: A Monte Carlo Tree Search Framework post
- CTK: A Toolkit for Managing AI Conversations Across Platforms post artificial-intelligence
- DreamLog: Logic Programming That Dreams to Improve Itself post artificial-intelligence
- JSONL Algebra: A Relational Algebra Framework for Semi-Structured Data with Interactive Workspace papers
- Alea: A Modern C++ Library for Algebraic Random Elements papers
- Alga: Algebraic Parser Composition through Monadic Design A C++20 Template Library for Type-Safe Text Processing papers
- Algebraic Cipher Types: A Functorial Framework for Secure Computation papers
- Algebraic Cipher Types: Computing on Encrypted Data While Preserving Structure post
- An Algebraic Framework for Language Model Composition: Unifying Projections, Mixtures, and Constraints papers
- Automatic Fuzzy Rule Discovery Through Differentiable Soft Circuits papers
- DreamLog: Neural-Symbolic Integration through Compression-Based Learning and Wake-Sleep Cycles papers
- Language Calculus: An Algebraic Framework for LLM Composition post
- Learning Fuzzy Logic: Automatic Rule Discovery Through Differentiable Circuits post
- ZeroIPC: Shared Memory as a Computational Substrate post computer-science
- Algebraic Composition for Streaming Data Reduction: A Type-Safe Framework with Numerical Stability papers
- Algebraic Hashing A Modern C++20 Library for Composable Hash Functions Version 2.0 papers
- Apertures: Coordinated Partial Evaluation for Distributed Computation papers
- Cryptographic perfect hash functions: A theoretical analysis on space efficiency, time complexity, and entropy papers
- Echoes of the Sublime papers
- maph: Maps Based on Perfect Hashing for Sub-Microsecond Key-Value Storage papers
- Numerical maximum likelihood estimation papers
- PFC: Zero-Copy Data Compression Through Prefix-Free Codecs and Generic Programming papers
- The Call of Asheron: An Epic of Four Souls papers
- The Mocking Void: On the Computational Incompleteness of Meaning and the Mathematics of Cosmic Horror papers
- The Policy papers
July
- chop: When Every Command Returns the Same Kind of Thing post Computer Science
January
- Mathematical Structure in Software Design post
- CTW Experimental Results: Theory Meets Practice post Machine Learning
- Differentiation: Three Ways post Computer Science
- Beginning the PhD: Computer Science, AI, and Finite Time post
- Long Echo: Designing for Digital Resilience Across Decades post
- Science as Verifiable Search post AI
2024
December
- JAF: Streaming Boolean Algebra Over Nested JSON post computer-science
- jsonl-algebra: Relational Algebra for Nested JSON post computer-science
- The Dot Ecosystem: From Simple Paths to Data Algebras post computer-science
- MCTS-Reasoning: Tree Search for LLM Reasoning post AI Research
November
- JSL: A Functional Language Where Code Is JSON post computer-science
- Cluster-Aware Retrieval for RAG Systems post technical
- Why I Build Comprehensively in Open Source post
September
- All Induction Is the Same Induction post machine-learning
- Neural Language Models: From RNNs to Transformers post Machine Learning
- Stage 4: Almost a Year After the Defense post
- The Policy: When Optimization Becomes Existential Threat post Fiction
June
- Reverse-Process Synthetic Data Generation for Math Reasoning post artificial intelligence
- AlgoTree: Immutable Trees with Functional Transformers post computer-science
- Fisher Flow: An Information-Geometric Framework for Sequential Estimation papers
- Comparing Prediction Methods: CTW vs. N-grams vs. Neural LMs post Machine Learning
- Reliability Estimation in Series Systems: Maximum Likelihood Techniques for Right-Censored and Masked Failure Data post
- maph: Maps Based on Perfect Hashing for Sub-Microsecond Key-Value Storage post computer-science
- PFC: Zero-Copy Data Compression Through Prefix-Free Codecs post computer-science
March
- Instrumental Goals and Hidden Codes in RLHF'd Language Models post AI Safety
- FemtoGrad: A Minimal Automatic Differentiation Library post
- Instrumental Goals and Latent Codes in Reinforcement Learning Fine-tuned Language Models: An Alignment Perspective papers
- Everything is Utility Maximization post
- Accumux: Compositional Online Statistical Reductions in C++ post computer-science
February
- SLUUG Talk: Demystifying Large Language Models on Linux post
- Master's Project: Reliability Estimation in Series Systems post Statistics
- Fine-Tuning a Tiny LLM for ElasticSearch DSL post statistics
- Entropy Maps post entropy map
- Known Plaintext Attacks on Time Series Encryption post
- Runtime Polymorphism Without Inheritance post Computer Science
- Perfect Hashing: Space Bounds, Entropy, and Cryptographic Security post Computer Science
2023
June
- A Boolean Algebra Over Trapdoors post Research
- The Bernoulli Model: A Probabilistic Framework for Data Structures and Types post Research
- Uses and limits of abstractions post philosophy
- Working Memory as an Inductive Bias post Cognitive Science
- A Home Lab from Spare Parts post
January
- Reverse-Mode Automatic Differentiation post Computer Science
2022
November
- Algebraic Hashing: Composable Hash Functions Through XOR post Software Development
June
- likelihood.model: Composable Likelihood Models in R post Statistics
April
- Weibull Distributions: From Reliability Theory to My Own Survival Curve post
- Numerical Differentiation post Computer Science
March
- Survey: Accelerating Critical Sections with Asymmetric Multi-Core Architectures post Computer Science
- hypothesize: A Consistent Interface for Statistical Tests post Statistics
2021
October
- Multiprocessor synchronization: tournament-Peterson lock post Computer Science
- Review: A Symbolic Representation of Time Series, with Implications for Streaming Algorithms post statistics
September
- Forward-Mode Automatic Differentiation post Computer Science
- Bootstrap Methods: When Theory Meets Computation post
August
- flexhaz: Specify the Hazard Function Directly post Statistics
June
- Rank-Ordered Encrypted Search post Encrypted Search
May
- algebraic.mle: MLEs as Algebraic Objects post Statistics
March
- Suffering, Computation, and the Enigma of Reality post
- Teaching Linear Algebra with C++20 Concepts post Computer Science
February
- algebraic.dist: Distributions as Algebraic Objects in R post Software Development
2020
December
- Diagnosed with Stage 3 Cancer post Personal
October
- hypothesize: API for Hypothesis Testing papers
- Likelihood Model papers
July
- Polynomials as Euclidean Domains post Computer Science
February
- Exact Rational Arithmetic post Computer Science
- Femtograd: Like Micrograd, But Worse papers
2019
September
- Is It Prime? post Computer Science
June
- Modular Arithmetic as Rings post Computer Science
March
- One Algorithm, Infinite Powers post Computer Science
2018
October
- Packed Containers: Zero-Waste Bit-Level Storage in C++ post Computer Science
2017
2016
August
- N-gram Language Models post Machine Learning
2015
November
- Data Generating Processes for Sequential Prediction post Machine Learning
March
- Bloom Filters post
2014
September
- The Bayesian Prediction Framework post Machine Learning
2012
March
- Solomonoff Induction: The Theoretical Ideal post Machine Learning
2010
June
- Introduction to Sequential Prediction post Machine Learning
1970
January
- Masked Causes of Failure in Series Systems: A Likelihood Framework papers
- Codex: Chronicles of The Mechanism A Historical Companion to the Study of Direct Perception Across Human History papers
- Learning to Prompt in Unknown Environments: A POMDP Framework with Compositional Actions for Large Language Models papers
- The Stepanov Library: Advancing Generic Programming in C++ Through Mathematical Abstractions and Zero-Cost Composition papers