dkypuros

10 ms·

1. 1.▲
   by dkypuros 1y ago

   Thanks for the thoughtful question— and good luck wrapping up the thesis! Here’s the shortest road-map I can give for why the heavier formalism matters once you already have low-power execution nailed down. First, the grammar + proof layer
2. 2.▲
   by dkypuros 1y ago

   We’re working on it. Great feedback
3. 3.▲
   by dkypuros 1y ago

   We’re eventually headed toward completely externalized data that feeds into the system
4. 4.▲
   by dkypuros 1y ago

   We use a deliberately small, hand‑written grammar so that we can prove properties like grammaticality, aⁿbⁿ generation, and bounded memory. The price we pay is that the next‑token distribution is limited to the explicit rules we supplied.