🙋♀️ The meta introspector is a continuation of a long term research project that started with the idea of using the gcc compiler to extract knowledge about your code as it is being compiled. It has morphed into a meta meme. Currently we are working on zero knowledge proofs of introspection, self modifying build systems, and using grants and tokens to implement win win partnerships with other projects.
meta-introspector
Pinned Loading
Repositories
Showing 10 of 2546 repositories
- openpaths-mirror Public
- galois-fields Public
- enchanter Public Forked from andrewthecodertx/enchanter
A focused AI agent harness. Single Rust binary, any OpenAI-compatible provider.
- formal-conjectures-lean-zos Public Forked from google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean for zos
Top languages
Loading…
Most used topics
Loading…