🙋♀️ 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 2811 repositories
- system-manager Public Forked from numtide/system-manager
Manage system config using nix on any distro
- general-divisor-theorem-2 Public Forked from pCwOrM/general-divisor-theorem
Lean 4 Formalization of the General Divisor Theorem (GDT): Exact Density Correction under Residue Conditioning (by thinkthoughts)
- integer-multiplication-illustrated Public Forked from rohanarun/integer-multiplication-illustrated
Illustrated reading guide and annotated edition of the OpenAI integer multiplication paper, with figures, worked examples, and editable sources.
- kant-zk-pastebin Public
- alternating-analytic-counterexample Public Forked from Deicyde/alternating-analytic-counterexample
Precomposition on continuous alternating maps is not analytic in characteristic 2: the paper and its Lean 4 / Mathlib formalization
- hoermander-rothschild-stein Public Forked from amelieloher/hoermander-rothschild-stein
Lean 4 formalization of Hörmander's hypoellipticity theorem and the Rothschild–Stein theory: lifting to homogeneous groups, fundamental solutions, and sharp Sobolev and Hölder estimates for sums of squares of vector fields, with Baker-Campbell-Hausdorff, Chow-Rashevskii and the Nagel-Stein-Wainger ball-box theorem.
- lean-workers-union Public
A registry and coordination layer for Lean workers and Choir members, enabling role-based membership and formal verification of agent state.
Top languages
Loading…
Most used topics
Loading…