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.
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
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?”
Reposted by Vikram Saraph
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
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 9, 2026 at 10:52 PM
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.
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
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.
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")
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.
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)
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
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")
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")
Reposted by Vikram Saraph
$ jj describe -m "Hello, world!"
February 4, 2026 at 9:09 PM
$ jj describe -m "Hello, world!"
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!
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
Providence folks
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
TIL that the maximum GitHub commit size is 2GB. Don’t ask why or how I learned that.
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
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.
Reposted by Vikram Saraph
Pydantic's Monty
A minimal, secure Python interpreter written in Rust for use by AI.
github.com/pydantic/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
Pydantic's Monty
A minimal, secure Python interpreter written in Rust for use by AI.
github.com/pydantic/monty
A minimal, secure Python interpreter written in Rust for use by AI.
github.com/pydantic/monty
Not reposting this to be anti-AI. But that AI’s impact on the world is not all sunshine and daisies.
economists ran the numbers and, uh, it's bad!
Vibe Coding Is Killing Open Source Software, Researchers Argue
‘If the maintainers of small projects give up, who will produce the next Linux?’
www.404media.co
February 6, 2026 at 1:59 AM
Not reposting this to be anti-AI. But that AI’s impact on the world is not all sunshine and daisies.
We’ve officially got tickets for the All the Feelings Tour: newsroom.livenation.com/news/metric-...
Metric, Broken Social Scene And Stars Announce ‘All the Feelings Tour’ Across North America This Summer - Live Nation Newsroom
Today, longtime friends and acclaimed bands Metric, Broken Social Scene, and Stars announced the All the Feelings Tour, bringing their collective talents to stages across North America this summer. Th...
newsroom.livenation.com
February 5, 2026 at 4:33 AM
We’ve officially got tickets for the All the Feelings Tour: newsroom.livenation.com/news/metric-...
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...
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
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...
pydantic.dev/articles/pro...
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 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
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 and the Galois Python package for working with finite fields: mhostetter.github.io/galois/latest/
- Hamming error correction codes
I just donated $25. Donate! This is a friendly and inclusive audience to speak to.
We want to proudly announce that the Hackers On Planet Earth conference is now officially a registered 501(c)(3) non-profit corporation!
hope.net
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 4, 2026 at 3:25 AM
I just donated $25. Donate! This is a friendly and inclusive audience to speak to.
Reposted by Vikram Saraph
Okay, you may refresh 😄
hope.net
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
Okay, you may refresh 😄
hope.net
hope.net
This is now exclusively a Metric fan account.
February 3, 2026 at 6:48 PM
This is now exclusively a Metric fan account.
Reposted by Vikram Saraph
🚨new metric🚨
Victim Of Luck
YouTube video by Metric - Topic
www.youtube.com
February 3, 2026 at 6:31 PM
🚨new metric🚨
It was a puzzle after all and redditors correctly guessed the name of it: Romanticize the Dive:
February 3, 2026 at 12:27 PM
It was a puzzle after all and redditors correctly guessed the name of it: Romanticize the Dive:
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
On GPT5.2’s willingness to solve Erdős problems
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
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?
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
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.
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...
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
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...
www.vikramsaraph.com/blog/2024/10...
claude.ai/share/e07e03...