Skip to content

Instantly share code, notes, and snippets.

View bar181's full-sized avatar

Bradley Ross bar181

View GitHub Profile
@bar181
bar181 / aisp-paper-in-aisp.md
Created June 5, 2026 16:54
An AISP version of the AISP research paper
```
𝔸5.1.formal-paper@2026-05-17
γ≔paper.aisp.formal.v3
ρ≔⟨inversion,assumptions,protocol,semantics,modalities,empirics,failures,roadmap⟩
⊢ND∧CAT∧ΠΣ∧μ∧Ambig<0.02
;; ── Ω:FOUNDATION ──
⟦Ω:Foundation⟧{
𝔄≜{⊤⊥∧∨¬→↔∀∃∃!λΠΣ≜≡≢∈∉⊂⊃∪∩∘⊕⊖⊗⟨⟩⟦⟧⊢⊨↦⇒∎}
⊛:𝔄*→Sym; ⊛≜fix λf a⃗.a⃗≡ε→ι|hd(a⃗)⊗f(tl(a⃗))
@bar181
bar181 / Fractal-db-a-story.md
Last active June 5, 2026 05:15
The impact of a fractal database on the world - the world after we realize data centers fit on a thumb drive

The Cathedral and the Thumb Drive

On the man who built an empire he knew was hollow, the fifteen million facts that fit in your pocket, and the oldest choice we have ever faced wearing the newest clothes it has ever worn

Written to be spoken. Read it with the pauses left in. This one goes dark before it goes bright. Stay with me through the dark. The bright is worth it.


I want to start tonight by making you uncomfortable, because I think you came here to be comforted, and I respect you too much to do that.

@bar181
bar181 / Aisp-discovery-a-story.md
Created June 5, 2026 04:26
How the lens of math can help with scientific discovery - the ai symbolic protocol origin story

A Tumor Is a River

On the language no one invented, the patterns that wear different clothes in every field, and why every mind that will ever think is going to find the same map

Written to be spoken. Read it with the pauses left in.


I have to begin by giving away the ending, and confessing something it took me years to be able to say out loud.

@bar181
bar181 / My-discovery-process.md
Created June 5, 2026 03:34
What if the best story tellers explained the concepts of leading ai and symbolic languages ?

The Apple Was Never Red

A talk about a mind that could not picture anything, and the machine it built to picture everything

Delivered as written. Read it the way you would say it out loud, with the pauses left in.


I want to start with something I have never been able to do.

@bar181
bar181 / Ai-data-learning-research.md
Created June 5, 2026 03:01
Holographic data and intelligence - a story approach to my advanced ai, aisp, and intelligence research

The Path Was the Point

Fifty Years After the Holographic Turn — How a Fixed Map of Meaning, a Symbolic Alphabet, and a Systems Language Taught Machines to Wander

A retrospective essay, written 2076. Speculative throughout — a thought experiment about where one architecture might lead, not a prediction.


There is a particular kind of mistake that only becomes visible from a distance, and the early 2020s were full of one of them. We believed, almost without noticing we believed it, that intelligence lived inside the model. We measured minds in parameters. We said a system was smarter because it had more weights, the way you might say a library was better because it had more shelves — never mind whether anyone could find a book, never mind whether the books connected to each other, never mind whether the library could think a thought it had not already been shelved to think.

AISP: A Proof-Carrying Symbolic Protocol for AI Cognition

Bradley Ross
Harvard University, ALM in Digital Media Design 2026
Toronto, Ontario, Canada | Cambridge, Mass, USA
bar181@github · linkedin.com/in/bradaross

Version 3.0 (arXiv submission draft) — 2026-05-17

Companion artifacts. Reference implementation, full glossary, replication evidence, and toolchain (aisp-converter, aisp-validator) at github.com/bar181/aisp-open-core. Authoritative protocol source: AI_GUIDE.md (AISP 5.1 Platinum). Canonical AISP-native version of this paper at formal-papers/aisp-protocol.md; the present document is a derived human-readable view per the directional translation principle of §6.7.

@bar181
bar181 / aisp-formal-paper.md
Created June 4, 2026 21:22
AISP academic paper draft

AISP: A Proof-Carrying Symbolic Protocol for AI Cognition

Bradley Ross Harvard Extension School, ALM in Digital Media Design Toronto, Ontario, Canada bar181@github · linkedin.com/in/bradaross

Version 3.0 (arXiv submission draft) — 2026-05-17

Companion artifacts. Reference implementation, full glossary, replication evidence, and toolchain (aisp-converter, aisp-validator) at github.com/bar181/aisp-open-core. Authoritative protocol source: AI_GUIDE.md (AISP 5.1 Platinum). Canonical AISP-native version of this paper at paper/AISP-formal-paper.aisp.md; the present document is a derived human-readable view per the directional translation principle of §6.7.

@bar181
bar181 / aisp-grandmas-cookies.md
Last active January 28, 2026 03:20
Iris benchmark output 1. // Iris is a Cognitive Reasoning Engine compliant with the AISP (AI Symbolic Protocol) // It transforms a probabilistic word generator (LLM) into a logical reasoning entity (Proto-AGI) by enforcing structural constraints on how it processes information

Iris Worked Example 1 — Simple (Grandma's Cookies)

PROSE VERSION (aisp 5.1 format follows)

Iris Worked Example 1 — Simple Case: Grandma's Cookies

Input

"My grandma makes the best chocolate chip cookies. Everyone who tries them says they're amazing. I want to help her sell them online somehow. She's not very tech-savvy but she's willing to learn. We're in Ohio. I don't really know where to start."

AISP + Coherence Engine Integration

Final Specification — Two Orthogonal Complements

Version: 4.0 (Final)
Date: January 22, 2026
Core Insight: AISP and Coherence Engine are orthogonal complements — AISP ensures precise communication (spec-time), Coherence ensures consistent state (run-time)


The Fundamental Distinction