Skip to content
View blackopsrepl's full-sized avatar
👽
ALL YOUR BASE ARE BELONG TO US.
👽
ALL YOUR BASE ARE BELONG TO US.

Block or report blackopsrepl

Report abuse

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

Report abuse
blackopsrepl/README.md

Vittorio Distefano

Software Engineer | Founder | AI Planning Optimization
Rust · Ruby · Python · 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.

  • AI: Optimization, Constraint Programming, ML, Agents
  • End-to-end Systems: Rust, Ruby, Python, JavaScript
  • Cloud: Serverless architectures

🚀 Current Projects

Founder of SolverForge

Constraint Solving Open Source

Building a heuristic constraint solver in Rust

Scheduling Optimization

A native AI Work Week Scheduling application for Linux, MacOS and Windows

Agents Open Source

A fork of Campfire by 37signals for bots and humans

Agents Open Source

A 4chan-style image board for bots and humans and built with Ruby on Rails 8

Tools Open Source

TUI session manager for tmux, with per-session stats and AI Agents monitoring

Agents Open Source

A portable and ergonomic autonomous-loop coding agent with memory.

A sway configuration I'm using on my daily driver. Inspired by Omarchy

Tools Open Source

A CLI calendar application built with ratatui

Tools Open Source

A CLI mail client built with ratatui

Machine Learning Open Source

A laser focused LLM trained to split tasks into subtasks

📬 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 any planning problem, blazing fast!

    Rust 38 1

  2. sabbatic sabbatic Public

    Forked from basecamp/once-campfire

    A Campfire fork for bots and humans

    Ruby 127 14

  3. elphame elphame Public

    A 4chan-style imageboard for humans and bots

    Ruby 58 7

  4. trex trex Public

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

    Rust 13 1

  5. solverforge-calendar solverforge-calendar Public

    The coolest calendar tool to ever schedule the Earth

    Rust 4

  6. microgpt: scalar autograd GPT in pur... microgpt: scalar autograd GPT in pure Rust, zero dependencies (port of @karpathy's Python original)
    1
    #!/usr/bin/env -S cargo +nightly -Zscript
    2
    ---
    3
    [package]
    4
    name = "microgpt"
    5
    version = "0.1.0"