Architecture reframe: rename triad/Stoa/Logos/Agora → Passepartout
- Renamed ideas/stoa/ → ideas/passepartout/, all stage files prefixed passepartout- - Renamed triad-index/overview/systemic-effects → passepartout-* under passepartout/ - Renamed ideas/agora/ → ideas/passepartout-social-protocol/, stripped agora- prefixes - Merged overview and environment pages into architecture; deleted 3 redundant files - Renamed growth-strategy → enterprise-growth-strategy - Renamed alternative-growth-social-first → social-growth-strategy - Removed all Greek names: Stoa, Logos, Agora as product names - Updated 50+ files of cross-references to new naming - Kept org-id UUIDs intact throughout
This commit is contained in:
@@ -5,7 +5,7 @@
|
||||
#+title: The Self-Driving Lisp Machine
|
||||
#+filetags: :passepartout:lisp-machine:hardware:riscv:tenstorrent:
|
||||
|
||||
A Tenstorrent P150 (~72 RISC-V Tensix cores) running [[id:28c46769-c14b-42aa-ac7a-69d310157f8f][Passepartout]]: 72 RISC-V cores running Lisp microcode, one core dedicated to ACL2, one to Screamer, the rest to gate verification and fact store operations.
|
||||
A Tenstorrent P150 (~72 RISC-V Tensix cores) running Passepartout: 72 RISC-V cores running Lisp microcode, one core dedicated to ACL2, one to Screamer, the rest to gate verification and fact store operations.
|
||||
|
||||
The self-driving threshold: the system can synthesize and load its own FPGA microcode or Tensix dispatch programs from within the running Lisp image. The system profiles its own gate verification latency, proposes a new microcoded instruction for the hot path, compiles RISC-V assembly from ACL2-verified specifications, loads it via PCIe DMA from within SBCL, benchmarks it — and rolls back if slower.
|
||||
|
||||
|
||||
Reference in New Issue
Block a user