Projects

Home

Writing

Personal site

CV

This page is a curated map of public GitHub work. It favors active technical threads over a complete archive.

Agents, automation, and review workflows

• topshift-trend - Telegram bot that watches new entries in GitHub monthly trending repositories.
• they-live-agent - local AR-style field-agent scanner experiment inspired by visual overlays.
• llm-source-security-review - Codex skill and playbook for defensive source-code security reviews.

Visual and interactive systems

• deck-lovers - Markdown-to-HTML deck with live audience likes and projector sync.
• collective-canvas-3d - collaborative 3D painting app where phones act as brushes.
• neon-bumper-cars - multiplayer WebSocket party game for live events.
• agility-trainer - mobile-first bodyweight agility trainer.
• lifechess - chess-adjacent experiment mixing game structure and life-state modeling.

Math, computation, and formal experiments

• modular-zeta3-acceleration - SageMath pipeline for Apéry-type zeta(3) acceleration.
• platosdf - genetic evolver for invariant signed-distance-field solids.
• aristowrap - Docker-first CLI around Harmonic Aristotle, Lean 4, and Mathlib.

Infrastructure, security, and operational tools

• python-hosts-checker - AWS Lambda endpoint and certificate monitor with Telegram alerts.
• sa-client-docker - SQL Anywhere client container setup with a Python connectivity test.
• Ubuntu-Hardening - forked Ubuntu 24.04 CIS hardening script reference.

Writing, philosophy, and structured notes

• WIP articles and book PDFs - generated PDFs for the current book and standalone articles.
• StudySheetsOnScientificAtheism - systematic critique notes on religious frameworks.
• minimum-viable-epistemology - notes on the minimum needed to reason about reality.