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.
Pinned
<p>A Categorical Characterization of Loop Agreement in Distributed Computability</p>
Distributed computability is the study of distributed tasks that autonomous pro...
meetings.ams.org
(Reposting this only to pin it)
I’ll be presenting at the Joint Math Meetings this January! I’ll be talking about distributed computability to an audience of applied category theorists.
meetings.ams.org/math/jmm2026...
Results presented are originally from my PhD dissertation.
I’ll be presenting at the Joint Math Meetings this January! I’ll be talking about distributed computability to an audience of applied category theorists.
meetings.ams.org/math/jmm2026...
Results presented are originally from my PhD dissertation.
Strongly recommend! You learn a lot about how the other person thinks. When you get stuck in the game, sometimes you figure out what to do next, and sometimes your partner
Alright. After hearing so much from friends about It Takes Two, we’re gonna give the game a shot.
November 11, 2025 at 10:14 PM
Strongly recommend! You learn a lot about how the other person thinks. When you get stuck in the game, sometimes you figure out what to do next, and sometimes your partner
I was just in a store buying some stuff, speaking with an Indian cashier, when he tells me that it’s a lot different here (windier) than “back home”, implying that I’m originally from India.
November 11, 2025 at 6:47 PM
I was just in a store buying some stuff, speaking with an Indian cashier, when he tells me that it’s a lot different here (windier) than “back home”, implying that I’m originally from India.
Um this is non-intuitive, related discussion here? discuss.python.org/t/clarifying...
November 11, 2025 at 4:34 PM
Um this is non-intuitive, related discussion here? discuss.python.org/t/clarifying...
Reposted by Vikram Saraph
A basic FastAPI app in one command 🚀
Install uv: docs.astral.sh/uv/getting-s...
Run:
uvx fastapi-new awesomeapp
✨ Done! ✨
Thanks @savannah.dev ! 🙌
github.com/fastapi/fast...
Install uv: docs.astral.sh/uv/getting-s...
Run:
uvx fastapi-new awesomeapp
✨ Done! ✨
Thanks @savannah.dev ! 🙌
github.com/fastapi/fast...
GitHub - fastapi/fastapi-new: Create a new FastAPI project in one command
Create a new FastAPI project in one command. Contribute to fastapi/fastapi-new development by creating an account on GitHub.
github.com
November 10, 2025 at 11:04 PM
A basic FastAPI app in one command 🚀
Install uv: docs.astral.sh/uv/getting-s...
Run:
uvx fastapi-new awesomeapp
✨ Done! ✨
Thanks @savannah.dev ! 🙌
github.com/fastapi/fast...
Install uv: docs.astral.sh/uv/getting-s...
Run:
uvx fastapi-new awesomeapp
✨ Done! ✨
Thanks @savannah.dev ! 🙌
github.com/fastapi/fast...
Python was one of my first languages. I wrote my first line of code when I was 15. I use it professionally every day now.
Regardless of the circumstances, I will gladly donate to support the Python community.
Regardless of the circumstances, I will gladly donate to support the Python community.
Here we are again: stunned & full of hope, because of you–each of you wonderful humans in the #Python community. Since we shared the news about our withdrawal from the NSF grant opportunity two weeks ago, we've received >$160,000 in donations across 1,937 donors, which includes 313 new Members–WOW!
November 10, 2025 at 10:56 PM
Python was one of my first languages. I wrote my first line of code when I was 15. I use it professionally every day now.
Regardless of the circumstances, I will gladly donate to support the Python community.
Regardless of the circumstances, I will gladly donate to support the Python community.
Sporcle (do people still use this?) has a quiz to name all female US senators ever.
There have only been 64 of them ever; I was able to name 36 of them but only because the majority of whom I could name are current senators.
There have only been 64 of them ever; I was able to name 36 of them but only because the majority of whom I could name are current senators.
November 10, 2025 at 7:02 PM
Sporcle (do people still use this?) has a quiz to name all female US senators ever.
There have only been 64 of them ever; I was able to name 36 of them but only because the majority of whom I could name are current senators.
There have only been 64 of them ever; I was able to name 36 of them but only because the majority of whom I could name are current senators.
What are people’s opinions on taking photos of themselves and AI’ing them for use on public profiles? I know people get annoyed over AI slop all over social media (I know I do), but this is an intentional use of it to do something very specific?
November 10, 2025 at 2:45 AM
What are people’s opinions on taking photos of themselves and AI’ing them for use on public profiles? I know people get annoyed over AI slop all over social media (I know I do), but this is an intentional use of it to do something very specific?
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?)
This paper has been gaining lots of attention... I've seen it on my LinkedIn and Facebook feeds now (in addition to several times on here)
www.reddit.com/r/LocalLLaMA...
news.ycombinator.com/item?id=4575...
www.reddit.com/r/LocalLLaMA...
news.ycombinator.com/item?id=4575...
> Our central finding is that causal decoder-only Transformer language models are injective almost surely.
I don't read enough ML theory papers like this. Very interesting results here.
As part of the injectivity proof, it's shown that transformers are also real analytic.
I don't read enough ML theory papers like this. Very interesting results here.
As part of the injectivity proof, it's shown that transformers are also real analytic.
LLMs are injective and invertible.
They show that different prompts always map to different embeddings, and this property can be used to recover input tokens from individual embeddings in latent space.
Paper: www.arxiv.org/abs/2510.15511
They show that different prompts always map to different embeddings, and this property can be used to recover input tokens from individual embeddings in latent space.
Paper: www.arxiv.org/abs/2510.15511
November 8, 2025 at 7:04 PM
This paper has been gaining lots of attention... I've seen it on my LinkedIn and Facebook feeds now (in addition to several times on here)
www.reddit.com/r/LocalLLaMA...
news.ycombinator.com/item?id=4575...
www.reddit.com/r/LocalLLaMA...
news.ycombinator.com/item?id=4575...
This is worth a read regardless of your stance on or professional incentives to promote or oppose AI:
How A.I. and Social Media Contribute to ‘Brain Rot’
www.nytimes.com
November 7, 2025 at 4:58 PM
This is worth a read regardless of your stance on or professional incentives to promote or oppose AI:
Reposted by Vikram Saraph
The path to a superhuman AI mathematician. (Mathematics is the first place where evidence of AI superintelligence is likely to appear, a theoretical computer scientist says). ~ Lawrence Fisher. cacm.acm.org/news/the-pat... #AI #Math #ITP #LeanProver
November 7, 2025 at 1:12 PM
The path to a superhuman AI mathematician. (Mathematics is the first place where evidence of AI superintelligence is likely to appear, a theoretical computer scientist says). ~ Lawrence Fisher. cacm.acm.org/news/the-pat... #AI #Math #ITP #LeanProver
Soumith Chintala, creator of PyTorch, leaves Meta: soumith.ch/blog/2025-11...
I had the privilege of being on a relatively small call with him while I was at FAIR. Seemed like a really humble person.
I had the privilege of being on a relatively small call with him while I was at FAIR. Seemed like a really humble person.
soumith.ch
November 7, 2025 at 12:51 PM
Soumith Chintala, creator of PyTorch, leaves Meta: soumith.ch/blog/2025-11...
I had the privilege of being on a relatively small call with him while I was at FAIR. Seemed like a really humble person.
I had the privilege of being on a relatively small call with him while I was at FAIR. Seemed like a really humble person.
Reposted by Vikram Saraph
uwu what’s this
@elfprince13.mumak.app/trending2rss
Rust app that exports an RSS file from currently trending Bluesky topics
tangled.org
November 6, 2025 at 3:05 AM
uwu what’s this
Today on the job I learned about the cpulimit and taskset commands. They limit CPU utilization of processes (but in different ways)
November 5, 2025 at 9:27 PM
Today on the job I learned about the cpulimit and taskset commands. They limit CPU utilization of processes (but in different ways)
> Turnout surged past two million voters, the highest level of participation in one of the city’s municipal elections since 1969.
About tonight’s election in New York City.
About tonight’s election in New York City.
November 5, 2025 at 3:44 AM
> Turnout surged past two million voters, the highest level of participation in one of the city’s municipal elections since 1969.
About tonight’s election in New York City.
About tonight’s election in New York City.
ChatGPT recommends PyAV as an alternative to cv2 for reading through frames in a video. Chat, is this actually a reasonable alternative? #python
November 4, 2025 at 9:59 PM
ChatGPT recommends PyAV as an alternative to cv2 for reading through frames in a video. Chat, is this actually a reasonable alternative? #python
A movie you’ve seen more than seven times with a gif.
November 4, 2025 at 12:52 AM
A movie you’ve seen more than seven times with a gif.
Echoing what’s said in this thread. Idea seems interesting and worth trying out. I have no intuition for how this’d go in practice.
Cache to Cache: let agents communicate in KV cache latent space
Instead of con concatenating the text from one agent into another, just concatenate their KV cache directly
this is dumb, how do i get it now???
fuvty.github.io/C2C_Project_...
Instead of con concatenating the text from one agent into another, just concatenate their KV cache directly
this is dumb, how do i get it now???
fuvty.github.io/C2C_Project_...
November 4, 2025 at 12:38 AM
Echoing what’s said in this thread. Idea seems interesting and worth trying out. I have no intuition for how this’d go in practice.
Uh, does Spotify *really* need a DM feature?
November 3, 2025 at 8:50 PM
Uh, does Spotify *really* need a DM feature?
Moon Duchin on the ‘Mathematical Quagmire’ of Gerrymandering
www.nytimes.com
November 3, 2025 at 12:16 PM
Alright. After hearing so much from friends about It Takes Two, we’re gonna give the game a shot.
November 2, 2025 at 4:40 PM
Alright. After hearing so much from friends about It Takes Two, we’re gonna give the game a shot.
I don’t know how I’ve gone this far in life without knowing what the phrase “what’s the tea” means or really hearing of it.
Relevant XKCD: xkcd.com/1053/
Relevant XKCD: xkcd.com/1053/
Ten Thousand
xkcd.com
November 1, 2025 at 9:09 PM
I don’t know how I’ve gone this far in life without knowing what the phrase “what’s the tea” means or really hearing of it.
Relevant XKCD: xkcd.com/1053/
Relevant XKCD: xkcd.com/1053/
Reposted by Vikram Saraph
If I’d had the time this year to plan for a Halloween costume (I *almost* did it), I would have revived my Todd Chavez (from Bojack Horseman) costume. Really easy homemade outfit.
November 1, 2025 at 4:09 AM
If I’d had the time this year to plan for a Halloween costume (I *almost* did it), I would have revived my Todd Chavez (from Bojack Horseman) costume. Really easy homemade outfit.
I read ArgoCD as “arg, OCD” and won’t be able to unread or unhear that ever again
October 31, 2025 at 2:04 PM
I read ArgoCD as “arg, OCD” and won’t be able to unread or unhear that ever again