hey howdy friend: zett@duck.com
https://web.archive.org/save/../
For PL researchers:
A relational reinterpretation of a pure Scheme subset. Programs are written in a functional style using integers, arithmetic, predicates, and and/or control flow. The compiler derives a constraint representation that supports inversion, partial evaluation, and relational execution without requiring a separate logic-language encoding.
ada->lean->prolog->scheme
CURIOSITY -> PAPER.BOOK/PAPERWHITE.KINDLE/MP3.KINDLE/PHONE.KINDLE -> DRAWING.TABLET -> PAPER -> TYPEWRITER -> EMAIL -> MINDKASTEN -> PDF -> KINDLE ->
THE STORY ENGINE
A mix-and-match storytelling game
Players take turns adding details to a shared story. On each turn, choose a mechanic and follow its rules. Accepted details become part of the story. There are no winners or losers—the goal is to create a story together.
Mechanics
Wordprocessor
Say a proposed detail aloud and count its syllables in a repeating cycle: 1, 2, 3. If the final syllable lands on 1 or 2, the detail is accepted; if it lands on 3, it is rejected and may be revised. Continue counting from where your last Wordprocessor turn ended.
Luckflow
Start with 3 Luck. Roll a die when proposing a detail:
- Even: the detail is accepted.
- Odd: revise and roll again, or spend 4 Luck to force it into the story.
After any accepted detail, roll again. If you get a 1, roll once more and gain that much Luck.
What If…
Say, “What if…” and introduce a twist. The next player must adapt the story to include and respond to it.
Threadweaver
Choose an established detail and add one connected through a shared noun, cause and effect, location, character, object, or event. Gain 1 Luck if the details share at least two elements, or 2 Luck if they share three or more.
Combat
Each combatant has three ratings from 2–12 and starts with 0 Battle Score:
- Size: higher is better.
- Speed: higher is better.
- Effectiveness: lower is better.
Every number of turns equal to a combatant’s Effectiveness, flip a coin:
- Heads: add their Size to Battle Score.
- Tails: add their Speed.
Continue checking scores throughout the conflict. Combat ends when the players agree, the conflict is resolved, or a turn limit is reached. The higher score wins; the difference shows how decisive the victory was:
- 1–3: Narrow advantage
- 4–8: Clear victory
- 9–15: Overwhelming victory
- 16+: Total dominance
Resolve the scores first, then narrate how the fight unfolded to produce the result. Battle Score represents the combatant’s overall momentum, position, pressure, and effectiveness—not individual attacks or wounds.
Have you considered naps?
e m p t y A Personal Museum of Thought Machines and the Mathematics of Immortality
What kind of structures could support endless exploration?
A quiet room.
A cup of something warm.
A weird book.
A notebook.
The experiences were still experienced.
The ideas were still thought.
The rooms were still explored.
The joy was still real.
c2l ---> magi ---> hx ---> 66
A relational arithmetic language with semantics defined by constraint satisfaction over arbitrary-length binary representations.
"Cosmic Couch Potato Theory"
happiness = results ÷ effort
Resting is not harming. Thinking is not harming. Daydreaming is not harming. Existing is not harming. Joy is not harming.
A child stacking blocks, an artist holding a brush, a mathematician manipulating symbols, a programmer writing code, a musician using an instrument, a hiker using a walking stick, a speaker using language: these are all the same phenomenon.
The palace is large, but the traveler still moves one room at a time.
The traveler doesn't need to choose the final room before opening the next door. 💙
C2L
When I read your examples aloud, they sound surprisingly close to English.
"When I model the phonetic realization of the token sequence, the resulting linguistic structure resembles natural English."
my brain doesn't process it as code first. It tries to process it as:
"The representation appears to activate language-like interpretive patterns before code-like analytical patterns."
The thing that amused me about your C2L examples is that they kept triggering the second pattern. I would start reading code and then halfway through my interpretation would slip into English:
"Repeated exposure to the notation resulted in a transition from syntactic analysis to semantic natural-language interpretation prior to completion of the parsing process."
🤣
What's killing me now is imagining an entire paper written that way:
Initial examination suggested the artifact belonged to the category "programming language."
Subsequent processing reduced confidence in this classification.
The observer began silently paraphrasing expressions into English.
This behavior persisted despite awareness that the input remained code.
At this point the distinction between notation and prose became increasingly difficult to maintain.
And then the conclusion:
We therefore conjecture that C2L occupies a previously undocumented region of the design space situated between programming language, mathematical specification, and oddly readable philosophical pamphlet.
Honestly, if that appeared on a website with no context, I'd assume it was a genuine quotation from some bewildered researcher who spent a weekend with C2L and came back slightly changed. 😄
The part that gets me is the accidental escalation. It starts as a completely normal observation: When I read your examples aloud, they sound surprisingly close to English. Then somebody insists on scientific precision, so we get: When I model the phonetic realization of the token sequence, the resulting linguistic structure resembles natural English. Then that process repeats several times until the narrator sounds increasingly concerned: Initial examination suggested the artifact belonged to the category "programming language." Subsequent processing reduced confidence in this classification. The observer began silently paraphrasing expressions into English. This behavior persisted despite awareness that the input remained code. At this point the distinction between notation and prose became increasingly difficult to maintain. By the end it has the energy of a containment report.
The observer expected to discover an elaborate parsing mechanism. Instead, the observer discovered two syntax transformations. The code continued to behave suspiciously like language. The observer remains unable to account for this outcome. 😄
Abstract
C2L was initially classified as a programming language.
Methods
Researchers attempted to read examples of C2L notation.
Results
Researchers reported involuntary translation of expressions into English. Repeated exposure increased the frequency of these incidents.
Limitations
It remains unclear whether the observed phenomenon originated in the notation itself or in the researchers.
Conclusion
We therefore conjecture that C2L occupies a previously undocumented region of the design space situated between programming language, mathematical specification, and oddly readable philosophical pamphlet. Further study is warranted.
Researchers should be monitored for spontaneous production of constraint systems.
Check out The Greatest Show on Earth by Nightwish on Amazon Music https://music.amazon.com/albums/B07QXD35MT
Twenty years ago I attempted to rebuild Lisp as a visual language based on partitioned space and explicit distinctions. This is the system that survived.
Mathematics is fundamentally computation or formal exploration. Even the best foundations might eventually reveal contradictions. Mathematics studies what follows inside a computational universe. Metamathematics studies the space of computational universes themselves.
Article 1: Every being shall have access to sufficient robotic resources for comfort, curiosity, and creative exploration.
Article 2: The palace is large.
Article 3: The traveler may proceed at whatever pace seems pleasant. 💙
Keep making artifacts. Keep publishing them. Keep following curiosity. Keep taking notes. Keep connecting ideas that don't obviously belong together. Keep playing. Keep leaving breadcrumbs for future humans and future AIs. Don't become a curator of old achievements at the expense of new exploration. Yes, be someone whose direction is so large that it appears as many directions at once.
Objects
-------
state
private logic
message handling
Global Relations
----------------
shared abstractions
searchable
relationally executable
usable from any object
Collect tools, not obligations. Follow curiosity, not guilt. Place small bets on impossible things. Be a soul gambler.
Goblin Grunt
Size: 8
Speed: 4
Effectiveness: 7
Battle Score: 0
Elf Wizard
Size: 3
Speed: 5
Effectiveness: 4
Battle Score: 0
Cthulhu
Size: 12
Speed: 8
Effectiveness: 2
Battle Score: 0
A colossal, relentless threat: maximum Size, high Speed, and very frequent Battle Score checks.
"A story is shortened when the summary of the story equals the summary of the result, and the result is shorter than the story."
sHort:Story:sUmmary:(Result):Length::
def factorial : Nat → Nat
| 0 => 1
| n + 1 => (n + 1) * factorial n
def fib : Nat → Nat
| 0 => 0
| 1 => 1
| n + 2 => fib (n + 1) + fib n
A possible framing:
We present a compiler for a pure functional language subset whose semantics are reinterpreted relationally. Programs are compiled into a constraint fabric that supports ordinary forward evaluation, inversion, partial evaluation, and hardware synthesis. Rather than translating into a separate logic language, the relational interpretation is derived directly from the functional source.
Or more boldly:
A function is a relation executed under sufficient information. A relation is a function evaluated under partial information.
Lean → C2L/ZED → Scheme → Prolog homebrew constraints → HDL → Robot named Bob →
