📍 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.
As a hobby, I maintain some gaming related / restoration projects that allow me to go pretty low level and have fun!
- SolverForge GitHub Org — canonical open-source home for SolverForge
- solverforge.org — libraries, open-source, technical surface
- vdistefano.studio — personal site
- solverforge — heuristic constraint solver in Rust
- solverforge-py — full dynamic Python bindings for SolverForge
- solverforge-bench — compare constraint solvers on public problem instances
- solverforge-usecases — end-to-end web applications that solve optimization problems with SolverForge
- Planner123 — AI-scheduler-powered terminal calendar application built with ratatui and SolverForge
- Franking — terminal mail client with an app-owned IMAP/SMTP engine, built with ratatui
- lumen — single-binary session service: isolated Chromium, Qt, Quickshell, and terminal sessions for agents, with a live, controllable viewer for humans
- computer-use-sway — MCP server that allows any agent harness to use your Sway session
- seshat — MCP server that records a screen and narrates the take, anchored to the events other tool servers publish
- gitnaga — native Git history and diff viewer for Linux, built with C++23 and Qt 6 QML
- nisaba — tiny append-only temporal/provenance key-value database in C, where conflicts surface instead of silently overwriting
- trex — fast, minimal tmux session manager with fuzzy finding and an interactive TUI
- trexbar-sway — read-only UI for trex on Sway
- TokenMaxx — Linux-first quota bar for Codex, Claude, Gemini, OpenCode Go, Z.ai, and Ollama Cloud
- repobar — track your GitHub/Forgejo repos, and triage issues and PRs, on any Wayland compositor
- cronbar — cron and anacron inspector for Waybar and QuickShell, with deliberate manual runs for active and commented-out jobs
- backupbar-sway — read-only backup telemetry for Waybar and QuickShell
- solverforge-bench-bar-sway — read-only Sway/Waybar and QuickShell monitor for running solverforge-bench workloads
- solverforge-linux — configuration layer for Sway inspired by Omarchy
- solverforge-gpt — local microGPT implementation that splits tasks into subtasks
- rs-ttt-rl — tic-tac-toe with reinforcement learning in Rust
- aitdtnn-pc-overhaul — independent preservation and compatibility overhaul for Alone in the Dark: The New Nightmare PC
- grim-delver — compact top-down action RPG dungeon slice built with Godot 4.7 and Rust
- Heimdall2Native — native Windows modernization layer for Heimdall 2 (1994)
- ThemePark2Native — unofficial Windows 11 modernization and compatibility host for the 1994 PC CD release of Theme Park
- meridian — offline classical septenary astrology desktop workbench
- glyphfx — terminal text effects as a single C17 binary; a byte-exact C port of ttfx
- 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