Ben Spitz (63/100 improv meals)
@DiracDeltaFunk
Followers
3K
Following
11K
Media
186
Statuses
5K
Sheaf herder. I believe in you π₯
Bloomington
Joined October 2013
I worked with UVA undergraduate Seth Bernstein on this fun project in homotopical combinatorics: https://t.co/YoChjFisuz He'll be presenting a poster on it at the JMM this year!
arxiv.org
We describe the reduced formal context of the lattice of saturated transfer systems on a finite abelian group. As an application, we compute that there are 13,784,538,270,571 saturated transfer...
1
0
12
I've arrived in DC for JMM! DM me if you're around, I'd love to grab coffee etc :)
0
0
2
https://t.co/678PQEcDnS Happy new year all :)
0
0
4
Hardy came to visit Ramanujan in the hospital on New Year's Day. "On my way here, I noticed that the current year is 2026. A very uninteresting number." "On the contrary! 2026 is the 40th smallest positive integer which is expressable as the sum of 7 cubes in at least 9 ways."
1
1
8
I can't really get over the disconnect between the IMO gold performances from the AI labs this year and the math interactions I have with LLMs.
23
4
193
The CpMackeyFunctors package is live and ready for you to use! It is included in the lastest release of Macaulay2 (from mid-November).
Very very happy with this project we ran at the M2 workshop this summer in Madison -- it is now possible to do compute Ext, Tor, etc. of C_p-Mackey functors by computer! The image below show you can use the package to compute a free resolution of a C_p-Mackey functor.
0
1
11
On the Οth day of Christmas my true love gave to me Ο numbers natural ... uh oh And a partridge in a pear treeeeee
1
2
11
It's sad that almost all of you don't know what this image represents
It's sad that almost all of you don't know what this image represents
16
0
90
It is so bizarre that battery capacities (for phones, etc) are reported in units of mAh
1
0
3
This is good actually, built-in syntax for constructing sets is one of the few really awesome features of python
Here's some blursed Python code for you: a, b, c = {"alice", "has", "a cat"} print(a, b, c)
0
0
1
Gardening is fun (you can just grow things)
0
1
3
Definition: A metric d on a set X is said to be "perfect" if the metric space (X,d) has no isolated points. Theorem: There exist perfect metrics.
0
1
7
A fun line in the paper which surely doesn't reveal anything :) "[these arguments] establish the fundamental properties of our computational homology framework while maintaining the highest standards of mathematical rigor required by Advances in Mathematics."
0
0
3
Yeah, the text seems to be primarily LLM-generated, but that's fine. Most importantly, the main proof (SAT has nontrivial H_1, while all problems in P have trivial H_1) is just nonsensical, unless I'm completely misunderstanding something. You can safely ignore this paper imo.
I heard there was a very suspicious preprint about P=NP proof claim. It is not surprising, as even sincere researchers on this topic likely make wrong claims. But this preprint seems to show hints of AI generation. https://t.co/Lfcmfb57Ue
4
1
7
Do you think the Sora app will actually be successful? i.e. relevant one year from now
0
0
2
The package will be included in the next Macaulay2 release (scheduled for November I think). Or you can grab it from the development branch to install it now! https://t.co/ni5NKFVlDM
0
0
6
Very very happy with this project we ran at the M2 workshop this summer in Madison -- it is now possible to do compute Ext, Tor, etc. of C_p-Mackey functors by computer! The image below show you can use the package to compute a free resolution of a C_p-Mackey functor.
Thomas Brazelton, et al.: $C_p$-Mackey functors in Macaulay2 https://t.co/PkPuDkO9g4
https://t.co/KDIg3q9yGp
3
12
65
You should be allowed to burn flags.
It's important not to let prolonged insanity start to feel normal. It's important to stand up for what you believe in. We still have the right to free political speech in this country, and that's a right worth exercising.
0
0
11
More generally, we can ask: for which positive real numbers K can the inequality |(f(z)-f(w))/(z-w)| β€ K |f'(z)| be satisfied? K < 1 is impossible (consider f(z) = z^n - nz for arbitrary large integers n) K β₯ 4 is possible (proved by Smale) This is all we know!
1
2
36