December 9, 2025
Complex Networks 2025: Presenting Cognitive MRI at Binghamton
Presenting our paper on analyzing AI conversations through network science at Complex Networks 2025, Binghamton University.
Research
Browse posts by category
October 15, 2025
What I Learned by Analyzing My Own Research as Data
I asked an AI to analyze 140+ repos and 50+ papers as a dataset. The unifying thesis it found: compositional abstractions for computing under ignorance.
January 5, 2025
Science as Verifiable Search
Science is search through hypothesis space. Intelligence prunes; testing provides signal. Synthetic worlds could accelerate the loop.
October 1, 2024
Fuzzy Soft Circuits: Learning Fuzzy Rules from Data
What if fuzzy logic systems could discover their own rules? An interactive demo of differentiable fuzzy circuits that learn membership functions, rule structure, and rule existence, all via gradient descent.
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 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 17, 2023
The Bernoulli Model: A Probabilistic Framework for Data Structures and Types
The Bernoulli Model is a framework for reasoning about probabilistic data structures by treating noisy outputs as Bernoulli-distributed approximations of latent values, from Booleans to set-indicator functions.
June 17, 2023
The Bernoulli Model: A Probabilistic Framework for Data Structures and Types
The Bernoulli Model is a framework for reasoning about probabilistic data structures by treating noisy outputs as Bernoulli-distributed approximations of latent values, from Booleans to set-indicator functions.