Vikram Saraph
banner
vikramsaraph.com
Vikram Saraph
@vikramsaraph.com
Software engineer, AI/ML researcher, and mathematician at Johns Hopkins APL.

Former New Englander, current Marylander.
Brown CS PhD and Notre Dame math alum.
Nerd of sorts (computers, math, language, puzzles, games, books, music).

Opinions are my own.
I can’t quote post my repost below, but my wife’s reaction (who is a horse fan) when sharing with her was “what the hell is this?”
February 10, 2026 at 1:42 AM
Reposted by Vikram Saraph
omg everybody go draw a horse this is what the internet was made for

gradient.horse
gradient.horse
Draw a horse, watch it run!
gradient.horse
February 9, 2026 at 11:11 PM
One thing I really like about Bluesky is how posts like this hit custom feeds of the topic discussed in the post. People who care about that topic see it.
I passed the ham radio (technician) exam on Saturday and paid the FCC the registration fee this morning. Waiting to get my call sign. I’ll be looking for recommendations for entry-level VHF/UHF stuff at some point.
February 10, 2026 at 1:03 AM
I passed the ham radio (technician) exam on Saturday and paid the FCC the registration fee this morning. Waiting to get my call sign. I’ll be looking for recommendations for entry-level VHF/UHF stuff at some point.
February 9, 2026 at 10:52 PM
We left the Super Bowl watch party we were at when it was 19-0, and got home when it was 29-7. Seems that we missed an interesting half hour of the game.
February 9, 2026 at 3:47 AM
Reposted by Vikram Saraph
ad for ai.com just aired and the site is down for its a 503 error
February 9, 2026 at 2:58 AM
Never mind the jobs you had, tell me five classes you took in college

Basic Algebra I
Basic Modern Logic I
Basic Complex Analysis I
Topic in Mathematical Logic
Introduction to Algebraic Geometry

(these were all graduate level, found it funny how ND math prefixed most of their courses with "basic")
Never mind the jobs you had, tell me five classes you took in college

Sage, the Way, and Zen
Shakespeare
Religion and Modern Secularism
Creative Fiction Writing
International Political Economy

Pleasantly surprised how many of these classes proved useful later in life.
Never mind the jobs you had, tell me five classes you took in college

Urban politics
Urban sociology
Mid 20th century U.S. History
Gender and Politics
World History (I'm sorry for sleeping through this at 8am, but the prof was so nice in office hours, I will always pay that forward)
February 8, 2026 at 4:33 AM
Reposted by Vikram Saraph
$ jj describe -m "Hello, world!"
February 4, 2026 at 9:09 PM
Providence folks
🚨 New LOCATIONS Alert! 🚨

There are three more new places starting up this February, bringing Puzzled Pint up to 100 locations!

Rochester, New York 💙❀💛
Iowa City, Iowa 🌽 🦅
Providence, Rhode Island ⚓🐓

The location puzzle is up now for you to check out. Happy puzzling!
February 6, 2026 at 6:04 PM
TIL that the maximum GitHub commit size is 2GB. Don’t ask why or how I learned that.
February 6, 2026 at 5:37 PM
Got on an exercise bike for the first time since recovering from knee surgery at the end of ‘24. I biked on outdoors last year but it’s been a while since doing it indoors. It’s tough but feels great.
February 6, 2026 at 4:40 AM
Reposted by Vikram Saraph
Pydantic's Monty

A minimal, secure Python interpreter written in Rust for use by AI.

github.com/pydantic/monty
GitHub - pydantic/monty: A minimal, secure Python interpreter written in Rust for use by AI
A minimal, secure Python interpreter written in Rust for use by AI - pydantic/monty
github.com
February 6, 2026 at 3:52 AM
Not reposting this to be anti-AI. But that AI’s impact on the world is not all sunshine and daisies.
February 6, 2026 at 1:59 AM
The coolest thing here to me is the application of a genetic algorithm. It’s easy to read for me because I’ve designed my own genetic algorithm before: academic.oup.com/bioinformati...

pydantic.dev/articles/pro...
Automated Prompt Optimization with GEPA, Pydantic AI, and Pydantic Evals | Pydantic
Learn how to automate prompt engineering using evolutionary algorithms. Build a complete optimization pipeline with GEPA, pydantic-ai, and pydantic-evals.
pydantic.dev
February 5, 2026 at 12:45 AM
Brain dumping a few interesting things I learned at the 2026 MIT Mystery Hunt in case I don't have the time for long-form writing:

- Reed-Solomon error correction and the Galois Python package for working with finite fields: mhostetter.github.io/galois/latest/
- Hamming error correction codes
Reed–Solomon error correction - Wikipedia
en.wikipedia.org
February 4, 2026 at 3:29 AM
I just donated $25. Donate! This is a friendly and inclusive audience to speak to.
February 4, 2026 at 3:25 AM
Reposted by Vikram Saraph
Okay, you may refresh 😄
hope.net
Hackers On Planet Earth (HOPE) Conference
HOPE (Hackers On Planet Earth) is an annual conference for hackers, makers, and tech enthusiasts based in New York City.
hope.net
February 3, 2026 at 7:04 PM
This is now exclusively a Metric fan account.
February 3, 2026 at 6:48 PM
Reposted by Vikram Saraph
🚨new metric🚨
Victim Of Luck
YouTube video by Metric - Topic
www.youtube.com
February 3, 2026 at 6:31 PM
It was a puzzle after all and redditors correctly guessed the name of it: Romanticize the Dive:
February 3, 2026 at 12:27 PM
On GPT5.2’s willingness to solve Erdős problems
Also interesting: apparently a key to getting this to work is to force gpt5.2 to work offline, meaning without access to the Internet. The reason is that, if it can search the web, it'll realize you've given it an open Erdos problem, and insist it's not capable of solving it.
February 2, 2026 at 3:35 PM
also, hey, Claude Code is great and all, I'm having fun with it (and getting lots of engagement on my Claude Code posts), but generally speaking there's also a lot of cool non-AI content on Bluesky that should also get more engagement?
February 1, 2026 at 6:36 AM
This app was a lot more simple for Claude Code to write up. I asked it to plot the number of listens among top k artists given my last.fm listening history. also something I've wanted to do. not fleshed out, I want a better visualization, but it is impressive that I can build this with one prompt.
February 1, 2026 at 6:33 AM
Well, I'm not sure what I expected, but Opus 4.5 struggles with writing a Lean proof for this theorem about ordering the faces of a d20 that I had written about:

www.vikramsaraph.com/blog/2024/10...
claude.ai/share/e07e03...
Formalizing spindown dice in Lean
Shared via Claude, an AI assistant from Anthropic
claude.ai
February 1, 2026 at 4:54 AM