GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — sformisano - Overview

@sformisano sformisano Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
@sformisano
sformisano
Follow
View sformisano's full-sized avatar
🎯
Focusing

Salvatore Formisano sformisano

🎯
Focusing
Follow
Engineering Manager & Rust engineer. Building AI developer platforms for 700+ engineers. Focused on agentic engineering and distributed systems.
32 followers · 16 following
  • Milan, Italy
  • 12:00 (UTC +01:00)

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruck
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
sformisano/README.md

Salvatore Formisano

Engineering Manager · Rust Engineer · Agentic Engineering

I build tools for engineers, and I still write code.

I currently lead DevPlatform AI, working on the platforms and tooling that bring AI agents into engineering workflows across an organization of 700+ engineers.

I conceived and built Skill Catalog, now the company's official platform for managing and sharing reusable AI agent skills across teams and codebases.

Before moving into developer AI, I spent years designing and operating compliance-critical financial infrastructure, including transaction screening, policy enforcement, and distributed systems supporting regulated financial flows.

That experience continues to shape how I approach engineering: explicit guarantees, predictable failure modes, traceability, and systems that can be reasoned about when things go wrong.

Rust remains my primary language. I'm particularly interested in distributed systems, developer tooling, type-driven design, and the engineering challenges behind reliable agentic software development.

I'm exploring how AI changes not just how we write code, but how we design, maintain, and reason about software.

Pinned Loading

  1. json2md json2md Public

    A Rust library that validates JSON with JSON Schema and renders it as Markdown via Jinja templates.

    Rust

  2. redactable redactable Public

    A Rust library that lets you automatically redact sensitive data for safe logging and debugging.

    Rust 8

  3. type-history type-history Public

    A Rust library that lets you evolve structs while preserving support for data written using earlier versions.

    Rust 4

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.