This is an admirably ambitious project. I'm not sure why it needs to be an OS, when the three components don't seem to have much to do with each other. You might get more traction pitching this as 3 separate projects.
ggerules•3m ago
Quick question. Does it use LaTeX or TeX for math input? Or does it use a DSL at the shell to interact with the LLM? Can you swap out LLMs if needed?
ansc•20m ago