Skip to content
View blackopsrepl's full-sized avatar

Block or report blackopsrepl

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
blackopsrepl/README.md

Vittorio Distefano

Software Engineer | AI Automation & Optimization
Python · Rust · Constraint Programming · Cloud Systems

Website SolverForge LinkedIn X Hugging Face


🛠️ Production-Ready Systems

I build things that solve hard problems. My sweet spot is taking powerful but complex technologies - constraint solvers, AI runtimes, optimization engines - and turning them into systems that actually work in production. Python and Rust are my tools of choice.

  • PlanningAI: Optimization, Constraint solving (SolverForge, Timefold), Agents (LLamaIndex)
  • Backend Systems: Rust, Python, some Java and some Go
  • Cloud Automation: AWS serverless architectures

🚀 Highlighted Projects

Lead Maintainer for SolverForge

Constraint Solving Open Source

Developing a heuristic constraint solver in Rust

📬 Let's Collaborate

Reach out if you need:

  • Optimization puzzles (scheduling/routing)
  • Unclogging data/API bottlenecks
  • AI systems and agents that do (not just chat)

Pinned Loading

  1. SolverForge/solverforge SolverForge/solverforge Public

    SolverForge is a constraint programming framework and solver written in Rust. It allows you to solve planning problems such as Vehicle Routing, Employee Scheduling, Bin Packing etc.

    Rust

  2. SolverForge/solverforge-quickstarts SolverForge/solverforge-quickstarts Public

    Quickstarts for SolverForge

    Python 6 1

  3. trex trex Public

    A fast, minimal tmux session manager with fuzzy finding and an interactive TUI

    Rust

  4. rdedupe rdedupe Public

    Forked from noahgift/rdedupe

    A Rust based deduplication tool

    Rust

  5. emacs-copilot emacs-copilot Public

    Forked from jart/emacs-copilot

    Local LLM code completion for Emacs with Ollama

    Emacs Lisp