dj_johnsonMid
- Karma
- 0
- Created
- ()
- Submissions
- 0
- Show HN: A hash-chained ledger for AI reasoning you can verify yourself (sdi-protocol.org)
SDI protocol defines a reasoning computer for AI. The computer runs an LLM one turn at a time, guiding it through a reasoning grammar; the grammar, which is both natural language and algebraic, allows it to be checked…