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.
Okay, ChatGPT’s year in review is kind of cool.
December 22, 2025 at 10:46 PM
Okay, ChatGPT’s year in review is kind of cool.
This book is apparently AI slop irl.
This puzzle book was being passed around at my wife’s workplace as a joke. Apparently one of them bought the book for a friend without realizing it’s all AI-generated.
Here are the reviews on Amazon: www.amazon.com/product-revi...
This puzzle book was being passed around at my wife’s workplace as a joke. Apparently one of them bought the book for a friend without realizing it’s all AI-generated.
Here are the reviews on Amazon: www.amazon.com/product-revi...
December 15, 2025 at 4:37 AM
This book is apparently AI slop irl.
This puzzle book was being passed around at my wife’s workplace as a joke. Apparently one of them bought the book for a friend without realizing it’s all AI-generated.
Here are the reviews on Amazon: www.amazon.com/product-revi...
This puzzle book was being passed around at my wife’s workplace as a joke. Apparently one of them bought the book for a friend without realizing it’s all AI-generated.
Here are the reviews on Amazon: www.amazon.com/product-revi...
I am chatty online and over text. Tell me something I didn't know.
December 13, 2025 at 8:01 PM
I am chatty online and over text. Tell me something I didn't know.
Tall Christmas tree seen in Princeton, NJ
November 29, 2025 at 1:02 AM
Tall Christmas tree seen in Princeton, NJ
This is pretty intense for baby or even toddler literature. Not sure what other J term I’d go with though
November 26, 2025 at 2:29 AM
This is pretty intense for baby or even toddler literature. Not sure what other J term I’d go with though
I spent an hour-ish doing some navel-gazing of my Bluesky account. I used gpt-5-nano (via Pydantic AI) and the atproto Python library to go through all my Bluesky posts and classify each as either "personal" or "technical". Here's what I've got so far:
November 25, 2025 at 3:50 AM
I spent an hour-ish doing some navel-gazing of my Bluesky account. I used gpt-5-nano (via Pydantic AI) and the atproto Python library to go through all my Bluesky posts and classify each as either "personal" or "technical". Here's what I've got so far:
Seen on r/mathmemes:
www.reddit.com/r/mathmemes/...
(I don’t think I actually knew that n=4 is the *only* case where exotic smooth spheres exist)
www.reddit.com/r/mathmemes/...
(I don’t think I actually knew that n=4 is the *only* case where exotic smooth spheres exist)
November 18, 2025 at 1:06 AM
Seen on r/mathmemes:
www.reddit.com/r/mathmemes/...
(I don’t think I actually knew that n=4 is the *only* case where exotic smooth spheres exist)
www.reddit.com/r/mathmemes/...
(I don’t think I actually knew that n=4 is the *only* case where exotic smooth spheres exist)
I got a minimal working example of writing an LSP server on my own! Using VS Code (though I know neovim also supports LSP)
November 16, 2025 at 6:11 PM
I got a minimal working example of writing an LSP server on my own! Using VS Code (though I know neovim also supports LSP)
Eg I’m generally hesitant to post pictures of myself publicly online, but I’m not sure I mind posting these AI’d ones of me as I consider whether I’d want to use them?
(Growing out hair once again)
(Growing out hair once again)
November 10, 2025 at 2:45 AM
Eg I’m generally hesitant to post pictures of myself publicly online, but I’m not sure I mind posting these AI’d ones of me as I consider whether I’d want to use them?
(Growing out hair once again)
(Growing out hair once again)
My first time going to the Outer Banks in North Carolina. It was surprisingly warm and sunny over the weekend.
(Timeline cleanse?)
(Timeline cleanse?)
November 9, 2025 at 4:09 PM
My first time going to the Outer Banks in North Carolina. It was surprisingly warm and sunny over the weekend.
(Timeline cleanse?)
(Timeline cleanse?)
I donated $25 to the Python Software Foundation.
Did I do that to post about it social media? Yes. Did I also do it because I think that the Python programming language is awesome, and PSF and PyCon are awesome, and they need more funding? Also yes.
Did I do that to post about it social media? Yes. Did I also do it because I think that the Python programming language is awesome, and PSF and PyCon are awesome, and they need more funding? Also yes.
October 28, 2025 at 10:15 PM
I donated $25 to the Python Software Foundation.
Did I do that to post about it social media? Yes. Did I also do it because I think that the Python programming language is awesome, and PSF and PyCon are awesome, and they need more funding? Also yes.
Did I do that to post about it social media? Yes. Did I also do it because I think that the Python programming language is awesome, and PSF and PyCon are awesome, and they need more funding? Also yes.
(meant to also attach a screenshot of the inverse function theorem, oops; here it is)
October 28, 2025 at 3:00 AM
(meant to also attach a screenshot of the inverse function theorem, oops; here it is)
Here's a precise statement (found in appendix) about how gradient descent preserves absolute continuity:
October 28, 2025 at 2:58 AM
Here's a precise statement (found in appendix) about how gradient descent preserves absolute continuity:
Wish I had time to read this paper in more detail, but it appears to me to be very rigorously written and self-contained. Complete proofs are spelled out in the appendix, which also contains standard definitions and theorems that I recognize from real analysis and point-set topology.
October 28, 2025 at 2:58 AM
Wish I had time to read this paper in more detail, but it appears to me to be very rigorously written and self-contained. Complete proofs are spelled out in the appendix, which also contains standard definitions and theorems that I recognize from real analysis and point-set topology.
Here's an updated map of US states I've been to with my last trip. States are wooden pieces that I add to the map as I visit them.
I need to get either Utah or Arizona ensure the set of states I've been to is connected.
I need to get either Utah or Arizona ensure the set of states I've been to is connected.
October 7, 2025 at 2:06 AM
Here's an updated map of US states I've been to with my last trip. States are wooden pieces that I add to the map as I visit them.
I need to get either Utah or Arizona ensure the set of states I've been to is connected.
I need to get either Utah or Arizona ensure the set of states I've been to is connected.
Going back from Frostburg to Cumberland though was really easy since it was all downhill. We were able to do it in about an hour.
October 5, 2025 at 4:46 PM
Going back from Frostburg to Cumberland though was really easy since it was all downhill. We were able to do it in about an hour.
I managed to get a picture of it. Its whistle is loud.
We waved at its passengers as it went by.
There's a short tunnel along the GAP which has a warning saying that you shouldn't be in the tunnel when a train is coming through.
We waved at its passengers as it went by.
There's a short tunnel along the GAP which has a warning saying that you shouldn't be in the tunnel when a train is coming through.
October 5, 2025 at 4:46 PM
I managed to get a picture of it. Its whistle is loud.
We waved at its passengers as it went by.
There's a short tunnel along the GAP which has a warning saying that you shouldn't be in the tunnel when a train is coming through.
We waved at its passengers as it went by.
There's a short tunnel along the GAP which has a warning saying that you shouldn't be in the tunnel when a train is coming through.
I think I've got the barycentric subdivision of a simplicial complex defined in Lean:
September 22, 2025 at 2:38 AM
I think I've got the barycentric subdivision of a simplicial complex defined in Lean:
Virginia Tech’s main green is very green
September 2, 2025 at 9:19 PM
Virginia Tech’s main green is very green
How long has this existed??
August 31, 2025 at 4:10 AM
How long has this existed??
Here’s a picture I took in DC without any additional context
August 13, 2025 at 1:22 AM
Here’s a picture I took in DC without any additional context
I did the B&A bike path today solo:
en.m.wikipedia.org/wiki/Baltimo...
This was tough, but I managed it!
en.m.wikipedia.org/wiki/Baltimo...
This was tough, but I managed it!
August 9, 2025 at 10:26 PM
I did the B&A bike path today solo:
en.m.wikipedia.org/wiki/Baltimo...
This was tough, but I managed it!
en.m.wikipedia.org/wiki/Baltimo...
This was tough, but I managed it!