Python
|
Spark
|
Linux
|
Docker
|
C
|
![]() Rust
|
About me:
☕︎‧₊˚⏱٠࣪⋆💻₊˚ᵎ For work I research and implement statistical methods for ETL/ELT pipelines.
🌱🐧📦☁️ I am learning DevOps using KodeKloud, GitHub's CI/CD tools and DockerHub.
🔭🧮🤖 I started with Lean in 2018 and hope to do more, especially software verification.
∞✨🍩 I like Hopf Algebras and formal semantics and I try to reconcile the two — recently excited to find this paper.
🧠