Mathematician and systems programmer focused on Rust, Linux, knowledge infrastructure, and mathematical computing.
I build research-oriented software, developer tools, and systems experiments. My work spans low-level Linux development, knowledge extraction pipelines, mathematical modeling, and technical tooling for complex ideas.
My interests sit at the boundary of theory and implementation: systems programming, mathematical computing, knowledge representation, and research tooling. I enjoy building software that is rigorous, exploratory, and useful for understanding complex ideas.
- Languages: Rust, Python, Haskell, TypeScript, Scala
- Systems: Linux, NixOS, Docker Compose, kernel-adjacent development, DKMS
- Knowledge systems: retrieval-augmented systems, embeddings, RDF, Wikidata workflows
- Infrastructure: observability, DNS and networking, caching, GPU-oriented workflows
- Symbolic computation and combinatory logic
- Mathematical visualization and interactive tools
- Knowledge extraction and ontology-based systems
- Geometry, operator theory, and computational models
- Runtime structure, reproducibility, and programming language expressiveness
- Systems programming: Linux-facing tools, device integration, and low-level experiments
- Mathematical software: symbolic systems, visualization, and computational prototypes
- Knowledge infrastructure: RDF and Wikidata ingestion, research pipelines, and structured note systems
- Research tooling: software for organizing, querying, and extending technical and intellectual work
- braizen - Experimental Rust browser exploring AI-native workflows, MCP tooling, and deep tab/DOM introspection for advanced user control.
- caliberate - Rust port of Calibre aimed at faster, more flexible ebook library management with a systems-programming approach.
- chunkr - End-to-end ingestion pipeline for transforming raw text into normalized, chunked data ready for Quickwit or Qdrant.
- mathematica-mcp - Rust integration layer bringing Mathematica into MCP-style tool ecosystems for programmable symbolic workflows.
- num-chrunchr - Research-oriented number analysis project focused on factorization, compression ideas, and structural properties of large integers.
- lantern-leaf - Rust-based document reader and textualization pipeline with integrated Piper TTS support for machine-assisted reading workflows.
I also write and read extensively in mathematics, history, philosophy, and political economy.
- Blog: Marginalia
- Reading log: Goodreads
- Math notes: [...]
- Computer science notes: [...]
- Research backlog: [...]
- Ideas to develop: [...]
- Blog: Marginalia
- LinkedIn: salvguzman
- Email: guzmansalv@gmail.com