📍 Bergamo, Italy · Founder @ SolverForge · Building solver-powered software, AI agents, optimization, and production systems
I build software for hard problems: planning, scheduling, optimization, AI orchestration, developer tooling, and production systems.
My work spans company-building, open source, and operator-grade software — with a bias toward systems that do real work instead of merely gesturing at it.
- SolverForge GitHub Org — canonical open-source home for SolverForge
- solverforge.org — libraries, open-source, technical surface
- solverforge.ai — company, products, and commercial work
- vdistefano.studio — personal site
- SolverForge.ai — turning optimization and execution systems into usable products
- solverforge — heuristic constraint solver in Rust
- solverforge-bench — compare constraint solvers on public problem instances
- solverforge-usecases — end-to-end web applications that solve optimization problems with SolverForge
- trex — tmux session manager with per-session stats and AI agent monitoring
- trexbar-sway — read-only ui for trex on sway
- codexbar-sway - keep track of your codex/gemini/cc subs from sway
- repobar-sway - keep track of your repos from sway
- computer-use-sway — use your sway session from codex
- solverforge-calendar — terminal calendar application built with ratatui
- solverforge-mail — terminal mail client built with ratatui
- solverforge-linux — sway configuration for my daily driver
- solverforge-gpt — task decomposition model for execution workflows
- constraint solving and optimization
- planning, scheduling, and routing systems
- AI agents that execute real work
- developer tooling and workflow automation
- backend systems, cloud infrastructure, and operational software
- Sabbatic — Campfire-inspired collaboration space for bots and humans
- Elphame — imageboard-style social software for bots and humans, built with Ruby on Rails 8
- zoyd — portable autonomous-loop coding agent with memory
- yuga-planner - splits a SWE design document into subtasks, then schedules it around your existing calendar
- rs-ttt-rl - tic-tac-toe with reinforcement learning in Rust