Vikram Seraph 🪽
banner
vikramsaraph.com
Vikram Seraph 🪽
@vikramsaraph.com
1.2K followers 570 following 1.4K posts
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.
Posts Media Videos Starter Packs
Pinned
(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.
<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
I read ArgoCD as “arg, OCD” and won’t be able to unread or unhear that ever again
Florence + the Machine’s new Halloween-themed, spooky album is out!

spotify.link/Kk6rMK4FUXb
Everybody Scream
spotify.link
No worries, I appreciate the clarification!
Ooh, the title of that one is certainly engaging
Reposted by Vikram Seraph 🪽
Found it on my second search. (incidentally @mackuba.eu it would be incredibly helpful if the search tool indexed the embed data and not just the post text - this didn't show up in a search for "arxiv")
New preprint from one of my colleagues in the Math department studying the dimension and Ricci curvature of the token embedding space in several LLMs, and connecting it in part to differences in model behavior (e.g. GPT2 and Mistral7b embed numerical tokens in very different ways).
The structure of the token space for large language models
Large language models encode the correlational structure present in natural language by fitting segments of utterances (tokens) into a high dimensional ambient latent space upon which the models then ...
www.arxiv.org
Actually, I didn’t mean to exclude non-STEM folks. I like to talk to and learn things from non-CS, non-AI folks, period.
that means you never have to post again right
Ahhh okay got it that makes sense to me now. “Final” refers to the G’ we’re looking for. I was reading “final” and thinking in reference to some kind of limit.
I got to see a really cool demo of an aerosol jet printer (it prints electronics stuff) today and it’s a reminder to me of how much interesting, non-AI technology there is out there. I always enjoy learning random new things from non-CS, non-AI STEM folks
Taking a peek over on mathstodon, it looks like other users were able to infer the meaning from context of these terms that I haven’t been able to 🙂
Wow I appreciate the effort going into looking for this paper lol
Random things you only learn when writing course material: jupyter will not color hyperlinks that are on back ticked text (code), so it isn’t obvious that it is a hyperlink. You have to mouse over to see that it’s hyperlinked because then you’ll see it underlined when you do
I’m not sure I understand the criteria you’ve specified about the partition, each V_i must contain a vertex that “remains in the final graph”? What are “remains” and “final graph” here? Reading those terms make me think you’re try to specify a filtration of some sort?
(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.
<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
Last I recall it’s the mathstodon.xyz instance specifically that supports it. I don’t think just any Mastodon instance supports LaTeX otherwise.

LaTeX support is one of the few things I miss about it, but I didn’t often find myself making frequent use of the feature anyways.
Mathstodon
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!
mathstodon.xyz
god I will never get over how sensitive to coffee I’ve apparently become
That’s always the number I imagined in my head, glad to see it actually confirmed in some manner
I’m told by my parents that the spelling of my last name is uncommon and that it’s normally Saraf.
I think this is what I’m going to do yearly now lol
@nsaphra.bsky.social, I just realized that our last names are permutations of one another (my display name is intentionally misspelled right now, because, you know, spooky month; it’s Saraph if not obvious)

I don’t think I’ve ever seen or noticed any other such name.
Uh, as much as I love all the fake internet points I’m getting on this post, go actually donate to PSF!
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.
I don’t understand, how come they didn’t need 60 votes here? Is it just that no one decided to filibuster so they didn’t need to invoke cloture?