I incant formal specifications into executable reality. My compiler flags are
-Wall -Wextra -Werror -Wpedantic -Wshadow... ...and my proofs are constructive.
The Craft
- Spellcasting Paradigms: Primarily functional (Haskell, Agda, Idris), with strategic impure rituals in C++ and Rust for systems incantations.
- Cryptographic Grimoires: Specializing in zero-knowledge proofs, secure multiparty computation, and the formal verification of cryptographic protocols.
- Type Theory Alchemy: Turning human intuition into ironclad logical guarantees via dependent types and category-theoretic abstractions.
- Conjuring Digital Ghosts: Designing, analyzing, and formally verifying distributed systems that are provably correct under Byzantine conditions.
Active Conjurations
- A formally verified implementation of a privacy-preserving consensus protocol.
- A DSL for specifying and enforcing complex data flow policies with composable, compile-time guarantees.
- Mechanized proofs of core cryptographic primitives in a proof assistant.
Licensing: A mix of Apache 2.0 (for practical tools) and AGPLv3 (for foundational research).
Contact: Preferably via a well-formed pull request.
[ES] Mi filosofía se valida en el barro del c��digo productivo. Vengo de una formación fuerte en calle, hackatones y código roto a las 3 a.m. Construyo para resolver, no para impresionar.
Systems in Production
- Software Architecture & Microservices: Docker, Kubernetes.
- Web Development Stacks: Python (Flask, Django), PHP (when it's the pragmatic choice).
- Infrastructure as Code: Server automation, security-by-design principles.
- Productivity Engineering: Chatbots and tools for small teams that measurably save time.
🔹 OctoMatrix —
Proof-of-concept pipeline for OWASP traffic detection using regex + ML (Random Forest + XGBoost).
Focus: Threat modeling, feature extraction, and dataset hygiene. Currently refining model confidence calibration.
🔹 PiTec —
Modular invoicing chatbot built with Flask + PHP logic bridge.
Focus: Secure automation and minimal, auditable API structure. Early alpha prototype.
🔹 SpiderStock (DeFi Prototype) —
Auditable data layer for open financial ecosystems on Avalanche.
Focus: Smart-contract governance, verifiable transactions, and AI-assisted audits. Architectural backbone complete, expansion in progress.
Project Portfolio
- PiTec: Modular invoicing chatbot with logic separated in PHP and Flask (Hackathon implementation).
- OctoMatrix: Ensuring resilience on free-tier infrastructure.
- PotesDev PiChat: Practical, offline-first communication tools.
- The Minimum Time Management: Foundational systems built from necessity.
Collaboration Goals
- Real Projects over Demos: Applied AI, no more black boxes.
- Adaptability over Credentials: I believe in shipping, not just diplomas.
- Knowledge Sharing & Launching: Initiatives where we learn, share, and deploy functional systems.
I am seeking those who need the Arch-Enhanced Standard Library.
Contact: potesdev@gmail.com | GitHub: SPotes22
`This profile exists to prove that you can learn, build, and share useful code without a Silicon Valley pedigree. Here, there is no pose, only code.