๐ Mathematician | ๐ฅ๏ธ Systems Engineer | ๐ฃ๏ธ Polyglot Enthusiast | ๐ญ Theoretical Innovator | ๐ฆ Rustacean | ๐ฎ Pokรฉmon Fanatic | ๐ Card Game Lover
I blend deep theoretical mathematics ๐ with practical systems engineering โ๏ธ, creating advanced computational tools and custom operating systems. My passion for languages ๐ and reading ๐ drives innovative software solutions that grow with human knowledge.
Category | Skills & Technologies |
---|---|
๐งโ๐ป Programming Languages | ๐ฆ Rust, ๐ Python, ๐ Haskell, ๐ Scala, ๐ TypeScript, ๐ง V lang |
๐ฝ Systems & OS Engineering | ๐ง Linux Kernel (Rust, DKMS), ๐ฆ NixOS, ๐ณ Docker Compose, โธ๏ธ Kubernetes, Theseus OS |
๐ค AI & Knowledge Systems | ๐ง LLM fineโtuning, ๐ Retrieval-Augmented Generation, ๐ Semantic embeddings |
๐ก Infrastructure & Observability | ๐ Grafana, ๐ Prometheus, ๐ Loki, ๐ฐ๏ธ CoreDNS, ๐ฆ Varnish Cache, ๐ ExpressVPN, ๐ GPU Acceleration |
I believe languages unlock deeper understanding ๐ and creativity ๐จ.
- ๐๏ธ Duolingo: Japanese ๐ฏ๐ต, Indonesian ๐ฎ๐ฉ, ASL ๐ค, and more.
- ๐ฌ Fluent: English ๐บ๐ธ, Spanish ๐ฒ๐ฝ (Native)
- ๐ Readable: French ๐ซ๐ท, German ๐ฉ๐ช, Dutch ๐ณ๐ฑ, Italian ๐ฎ๐น, Portuguese ๐ต๐น
- ๐ Learning: Japanese ๐ฏ๐ต, ASL ๐ค, Indonesian ๐ฎ๐ฉ, Egyptian Arabic ๐ช๐ฌ, Russian ๐ท๐บ, Chinese ๐จ๐ณ, Hebrew ๐ฎ๐ฑ
- ๐๏ธ Projects: Phonological mnemonics, SubtitleโAnki pipelines, Ontological glossaries
Exploring the edges of mathematics and theoretical frameworks:
- ๐งฉ Symbolic Compression (SKI combinators, Church numerals)
- ๐ Operator Theory & Curvature (Geometry meets computation)
- โ๏ธ Runtime Algebra (Process semantics and OS reproducibility)
- ๐ Topology & Homotopy (Function iteration and spatial analysis)
- ๐๏ธ Mathematical UI metaphors (Interactive visualization tools)
Deep dives into complex theoretical domains:
- ๐ข Convolution & Integral Transforms (Gaussian kernels, novel analysis)
- ๐ Curvature as computation (Geometric-semantic link)
- ๐ Operator Theory & Collatz dynamics (Fixed-point analysis)
- ๐ Fractional & Holomorphic Functions (Function decomposition)
- ๐ Alternative Geometry (Dot-product systems, algebraic spatial encodings)
- ๐ Topological Dynamics & Homotopy (Connectivity and turbulence)
- ๐ฆ Rust OS Kernel Modules: HID drivers, microkernel experiments
- ๐งฎ Haskell SKI Library: Combinatory logic implementation
- ๐ Semantic Knowledge Graph: RDF/Wikidata automated ingestion
- ๐จ Interactive Math UI: React + D3 visualizations
๐ Goodreads: 50+ books/year across diverse fields.
๐ Focus Areas:
- ๐๏ธ Economic & Political History
- ๐ Mathematics & Theory
- ๐ Philosophy & Ethics
๐ Influential Reads:
- ๐ธ Capital in the Twenty-First Century โ Thomas Piketty
- โ๏ธ The Wealth of Nations โ Adam Smith
- ๐บ๏ธ Why Nations Fail โ Acemoglu & Robinson
- ๐ Sapiens โ Yuval Noah Harari
- ๐ Guns, Germs, and Steel โ Jared Diamond
- ๐ Open Source Contributor (Rust, Linux kernel, combinatory logic)
- ๐ค Talks on Rust OS design, symbolic computation, language strategies
- โ๏ธ Publications on computational operator theory, mathematical UIs
Letโs innovate together! ๐โจ
- ๐ง Email:
...
- ๐ Portfolio:
...
- ๐ Blog: Prose and Con Men
- ๐ LinkedIn:
...
๐ My Research Repositories:
- ๐ Math Notes
- ๐ป Computer Science
- ๐ To Research
- ๐ก Ideas to Develop
๐ Thank you for visiting! Letโs push knowledge boundaries together! ๐๐