Query Graph AI
GhostA personal technical newsletter about building AI-driven projects, such as news embedded as eigenvectors and people-centric graphs, alongside formally verified math programs. It mixes first-person stories with implementation detail, including Lean proofs and Rust versus OxCaml performance comparisons.