Computer-Science

Alga: Algebraic Text Processing with Fuzzy Matching

A mathematically elegant C++20 library for algebraic text processing and compositional parsing with fuzzy matching capabilities.

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.

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.

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.

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.

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.

Compositional Abstractions for Computing Under Ignorance: Or, What I Learned by Analyzing My Own Research as Data

I asked an AI to brutally analyze my entire body of work—140+ repositories, 50+ papers, a decade and a half of research. The assignment: find the patterns I couldn’t see, the obsessions I didn’t know I had, the unifying thesis underlying …

Bernoulli Types: A New Foundation for Approximate and Oblivious Computing

I’ve been working on a series of papers that develop a unified theoretical framework for approximate and oblivious computing, centered around what I call Bernoulli types. These papers explore how we can build rigorous foundations for systems …

Cipher Maps: When Category Theory Meets Oblivious Computing

What if we could compute on encrypted data while preserving algebraic structure? Not through expensive homomorphic encryption, but through a principled mathematical framework that unifies oblivious computing, Bernoulli types, and categorical …

Rethinking Encrypted Search: From Access Pattern Leakage to Information-Theoretic Privacy

Encrypted search has a fundamental problem: you can’t hide what you’re looking for. Even with the best encryption, search patterns leak information. My recent work develops a new approach using oblivious Bernoulli types to achieve …

DagShell: A Content-Addressable Virtual Filesystem

A virtual POSIX-compliant filesystem implementation using content-addressable DAG storage with SHA256 deduplication.

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.

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 …

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.

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.

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.

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.

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× …

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 …

Accumux: Compositional Online Statistical Reductions in C++

A modern C++20 library for compositional online data reductions with numerically stable algorithms and algebraic composition.

Perfect Hashing: Space Bounds, Entropy, and Cryptographic Security

What if a perfect hash function could simultaneously be: (1) cryptographically secure, (2) space-optimal, and (3) maximum-entropy encoded? This paper proves such a construction exists—and analyzes exactly what you sacrifice to get all three.

The …

Algebraic Hashing: Composable Hash Functions Through XOR

Most hash libraries treat hash functions as black boxes. Algebraic Hashing exposes their mathematical structure, letting you compose hash functions like algebraic expressions—with zero runtime overhead.

The Core Insight

Hash functions form an abelian …

Survey: Accelerating Critical Section Execution with Asymmetric Multi-Core Architectures (2009)

Introduction

In the paper, “Accelerating Critical Section Execution with Asymmetric Multi-Core Architectures,” the authors, Suleman, Mutlu, Qureshi, and Patt, essentially concern themselves with the problem popularly revealed in …