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.

[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.