Software
Tools, experiments, and notes on how software gets made — from AI research notes to operating systems.
AI & knowledge
- The Platonic Representation Hypothesis Notes on the idea that neural networks converge toward a shared representation of reality.
- AI Context Files A framework for externalizing LLM agent knowledge into persistent, reusable context files.
Systems & languages
- GABROS A custom operating system with a graph-based filesystem, native versioning, and its own orchestration language.
- System Specification Compiler A DSL compiler that turns system specifications into end-to-end tests.
- CodexPM A formal specification language for automated verification and standards compliance.
- Decentralized Payment & Logistics Open-source payments with digital identity and fair supply-chain economics.
Apps & games
- FitMe (Lift-Pal) Workout planning and progress tracking for coaches and athletes.
- Exit-Style Puzzle Game A cross-platform escape-room puzzle game built in Unity.