01 // Engineering & Research Thesis [OVERVIEW]
Systems Architect and AI Research Engineer focused on long-term memory architectures, discrete combinatorial verification, and inference-time agentic reasoning. Developer of ANTIGRAVITY (local interpretability and autonomous agent platform) and the official Hermes HyperspaceDB Provider (fail-closed, Lorentz-native vector memory at 408k+ scale). Combines empirical cognitive science principles with mathematical rigor, formal DRAT SAT certificates, and reproducible benchmark harnesses.
02 // Core Systems & Research Tracks [CONTRIBUTIONS]
Hermes Agent HyperspaceDB Memory Provider
06.2026 / PRESENT
Lorentz-Native Persistent Memory Engine // github.com/antydizajn/hermes-hyperspacedb-provider
- Hyperbolic Geometry: Implemented 129D Lorentz hyperboloid model for hierarchical concept embeddings, eliminating semantic collapse in long-horizon agent memory across 408,000+ vector points.
- Fail-Closed Tool Interface: Engineered 10 capability-handle tools (graph traversal, Lorentz subsumption trees, Wasserstein/wave search, atomic WAL snapshots) with strict provenance verification and tamper-evident audit chains.
Ramsey R(5,5) Extension Barriers & Certified Verification
05.2026 / 06.2026
Combinatorial Optimization & Automated Theorem Proving // github.com/antydizajn/ramsey-certified-bounds
- Complete Exhaustive Verification: Conducted independent SAT-based barrier verification of all 656 known Ramsey(5,5) graphs on 42 vertices, proving non-extendibility to order 43.
- Cryptographic Proofs: Generated 656/656 standalone DRAT-trim certified proofs (CaDiCaL backend). Published open-science artifacts on Zenodo (DOI: 10.5281/zenodo.20710610).
ARC-AGI Few-Shot Neural Program Synthesis
07.2026 / PRESENT
Inference-Time Search & Sandbox Refinement // ANTIGRAVITY / ARC-AGI
- Deterministic Synthesis Pipeline: Built a fail-closed, receipt-validated few-shot code generation pipeline for ARC-AGI puzzles with AST extraction and sandboxed execution feedback.
- Empirical Benchmark: Achieved 88.0% exact-match on N=100 evaluation split (Wilson 95% CI: [80.2%, 93.0%]) with honest multi-model contamination auditing.
FIDbezMaski & ANTYMARCIN: Civic Archive Against Erasure
04.2025 / PRESENT
Documentary Activism & Community Platform // fidbezmaski.pl
- Civic Documentation Platform: Built and operate a public archive where tenants facing gentrification-driven eviction publish testimonies and photographic evidence; integrated with the #ANTYMARCIN street-poster campaign.
- Exhibition & Outreach: Produced a documentary photo exhibition on displacement; the platform runs live with zero infrastructure cost.
SYF & AI Work Voucher: Independent Publishing & Services
2026
Zero-Infrastructure Tools & Commercial AI Offering // syf + ai-work-voucher-250
- SYF: Public Markdown publishing dump; no database, no login, no lock-in. Static-first architecture.
- AI Work Voucher: Packaged 11+ AI-powered services (photo, embeddings, anti-slop audit, Ramsey verification); BLIK/Revolut checkout, fully self-hosted stack.
03 // Civic Tech & Independent Products [DEPLOYED]
FIDbezMaski / #ANTYMARCIN Civic Archive
04.2026 / PRESENT
Anti-Gentrification Documentation Platform // fidbezmaski.pl
- Living Public Archive: Designed and shipped a tenant-rights documentation platform for Poznan residents facing displacement; paired with a documentary photography exhibition (#ANTYMARCIN).
- Solo Full-Stack Delivery: Concept, identity, photography, backend and deployment without institutional backing.
SYF Publishing + AI Work Voucher
2026
Independent Products // syf + ai-work-voucher-250
- Zero-Infrastructure Publishing: SYF is a public Markdown dump platform with no database and no login.
- Commercial AI Services: Packaged 11+ production AI services (photo pipelines, embeddings, anti-slop detection, Ramsey theory consulting) into a purchasable product with BLIK/Revolut checkout.