PolyfdoS World

Think Bigger
Than the
Universe.

Welcome to PolyfdoS World.

POLY→ Polymath — learning across many fields
FD→ Hafdi — the name behind the world
OS→ Open Systems & open thinking
Scroll to explore

Worlds inside PolyfdoS
01
Research
& Papers

Open-access research on topology, knowledge representation, and post-vector data systems. Every paper ships with an interactive animated explainer.

Live
02
Systems
& OS

Deep explorations in operating systems, low-level architecture, and systems design. Coming soon.

Coming soon
03
The
Polymath

Cross-disciplinary thinking across mathematics, physics, philosophy, and computation. Coming soon.

Coming soon
Published Research
CKX
001
New NoVectDB
Ahmed Hafdi · CookiX Project · February 2026

A topological–relational paradigm for post-vector data management. Replaces embedding similarity with sheaf-theoretic composition on dynamic graph manifolds — exact retrieval, no approximation.

topology sheaf-theory knowledge-graphs persistent-homology
CKX
003
New The Realistic Type
Ahmed Hafdi · Matyos Language Project · January 2025

Introducing realistic, a native type in the Matyos language implementing Kleene's three-valued logic. Extends Boolean logic with a third truth value ⊙ for uncertainty — with formal semantics, benchmarks, and applications in AI, quantum simulation, and paradox resolution.

three-valued-logic programming-languages kleene-k3 type-systems
CKX
002
New Hafdi Conjecture
Ahmed Hafdi · Independent Research · October 2025

A conjecture on the asymptotic bounds of half-prime gaps. Introduces the normalized half-gap sequence {rₙ} and proposes an exponential upper bound connecting gap growth to prime index — refining classical bounds on prime gaps.

number-theory prime-gaps analytic-number-theory conjecture