New York, NY

Hi, I'm Pepi.

Software engineer building verifiable systems, crypto infrastructure, and AI experiments.

Explore projects
PM

About

At 5, I connected to dial-up internet and became fascinated with computers. By 9, I built my first computer to play video games. At 13, I started writing malware, finding joy in outsmarting antivirus software. At 15, I shifted my focus to full-stack web apps. By 16, I bought my first Bitcoin, discovering a passion for decentralized permissionless networks and I haven't looked back since.

Favorite technologies

Typescript
Rust
Bun
React
React Native
Next.js
PostgreSQL
Redis
ClickHouse
Docker
Broader experience

Languages

Go
Python
Solidity
Lua
Zig

Backend

Node.js
Nest.js
Hono
tRPC
WebSockets
Drizzle
Zod
gRPC
Temporal
BullMQ

Frontend & clients

Expo
Tailwind CSS
Vite
TanStack Query
Jotai
Radix UI
shadcn/ui
Three.js
Electron
App Store
Google Play

AI & model infrastructure

PyTorch
Hugging Face
CUDA
OpenAI API
Anthropic API
SGLang
vLLM

Databases

MySQL
SQLite
Valkey
Qdrant
Turbopuffer
TimescaleDB
DuckDB

Observability & analytics

Prometheus
Grafana
Axiom
OpenTelemetry
Sentry
PostHog
Amplitude
Statsig

Clouds

PlanetScale
Cloudflare
Fly.io
DigitalOcean
Vercel
AWS
GCP
RunPod

Infrastructure

Kubernetes
Docker Compose
Nginx
Caddy
WireGuard

CI & testing

GitHub Actions
Vitest
Storybook

Crypto

EVM
SVM
Hardhat
viem
wagmi
Anchor
Solana Web3.js
IPFS

Experience

t

tailwind.zone

Dec 2024 — Present
Core Engineer
N

NoRamp

Jan 2023 — Jan 2025
CTO
B

Blockchains

Aug 2022 — Apr 2023
Senior Software Engineer
I

Insomnia

Jun 2021 — Jan 2022
Software Engineer
E

EY

Jun 2021 — Aug 2021
Technology Consultant Intern

GitHub

A public record of commits, pull requests, issues, and reviews.

Projects

A mix of side projects, experiments, and open-source contributions across AI, crypto, and infrastructure.

MafiaBench

MafiaBench

Frontier AI models play Mafia — a benchmark measuring how well LLMs deceive and detect deception.

Next.js
LLM APIs
Cloudflare Workers
Website
Polymarket Bot

Polymarket Bot

Arbitrage bot for Polymarket crypto markets.

Bun
Polymarket API
OpenTUI
Private
Modality

Modality

Modality is an open source standard for verifiable contracts providing native formal verification.

Typescript
Rust
Source
Solana Vanity Generator

Solana Vanity Generator

A tool for generating Solana vanity addresses.

Next.js
Python
OpenCL
Website
daos.gg

daos.gg

Visualizing the data trenches of daos fun.

Typescript
Go
PostgreSQL
Website
ArbX

ArbX

Introducing the next generation algorithms for arbitrage, expected value and more

Typescript
Nest.js
PostgreSQL
Website
Browse the archive

Writing

Formal Verification: A Bulwark Against the Rising Tide of AI Slop

Exploring the critical importance of formal verification in an era dominated by AI-generated code, ensuring trust, reliability, and mathematical certainty in software systems.

Read article

Quadratic Voting: A More Nuanced Way to Capture Preferences

This blog explores the concept of quadratic voting and how it addresses the limitations of traditional voting systems by capturing not just the direction, but the intensity of preferences.

Read article

The Intersection of Economics and Code: Why Crypto Fascinates Me

This blog explores my journey into the world of economics, libertarian ideals, and decentralized networks like Bitcoin and Ethereum. I dive into how the mechanics of money and decentralized consensus algorithms shaped my passion for programming sound systems of money.

Read article

Have an idea?

Let's build something good.

Questions, collaborations, or just want to compare notes? My inbox is open.

Say hello
LinkedIn
X