Joined November 2008
18 Photos and videos
Colin Alstad retweeted
We are launching a brand new journal. Please say hello to Applied & Computational Topology & Geometry (Link and more info below). Thanks to generous support from the @AMathRes, ACTG will be diamond open access --- completely free for both authors and readers!
11
49
281
26,012
Colin Alstad retweeted
2 Oct 2025
there’s a $500 billion industry aimed at writing press releases about automating your research
7
5
127
7,567
Colin Alstad retweeted
15 Jul 2025
Sorry sorry I was just trying to buy a book from Cambridge University Press.
A $52 billion withdrawal by a single client at BlackRock has dealt a blow to the world’s biggest asset manager thetimes.com/business-money/…
57
691
10,081
444,565
Colin Alstad retweeted
Congrats to the Toric Project team on the completion of Phase 1 in the formalization (in @leanprover) of the correspondence between affine group schemes and Hopf algebras! leanprover-community.github.…
16
109
6,729
Colin Alstad retweeted
Realized today, while walking through Times Square in a downbeat contrapositive mood, that if there is anywhere where you can't make it, then you can't make it in New York.
11
19
153
9,929
Colin Alstad retweeted
3 Jun 2025
Short thread on having fun doing math.
3 Jun 2025
Replying to @pli_cachete
I like this framing; I often tell grad students that it's important to try to cultivate attitudes towards one's work that make it fun, but I think there's a bit more to it. The positive signals one gets from doing math are kind of rare ("I proved something!") and a bit dangerous.
4
6
84
7,927
Colin Alstad retweeted
23 Apr 2025
takeaway: publishing in journals is dead. the arxiv (and X?) is where to publish: easily read by people and other intelligences. and: we need to 100X the capacity/indexing/UI/UX of the arxiv asap.
3
10
154
8,456
Colin Alstad retweeted
I don’t believe it!! A new AI startup has a model called Clay 4.1 which will announce this afternoon that it has solved one of the Millennium Problems in Lean, this is HUGE!!! Stay tuned for full announcement...
48
24
408
62,322
Colin Alstad retweeted
Replying to @littmath
1
2
11
2,781
Colin Alstad retweeted
"In an ideal world, people would learn [algebraic geometry] over many years, after having background courses in commutative algebra, algebraic topology, differential geometry, complex analysis, homological algebra, number theory, and French literature."
3
37
227
Colin Alstad retweeted
3 Dec 2020

2
2
Colin Alstad retweeted
23 Oct 2020
Brand spanking new preprint with @parada_mayorga, Alejandro Ribiero and @prof_g that uncharacteristically takes a radical stance *against* sheaf theory, well at least from a vector-valued signal processing point of view arxiv.org/abs/2010.11525
2
1
3
Colin Alstad retweeted
15 Oct 2020
My latest article on Space Tech, "A space race is good for humanity" #SpaceTech #ibm #innovation #space
1
7
Colin Alstad retweeted
A while ago, I tweeted that I hoped Cambridge would allow us to post our online lectures publicly. I'm delighted to say that they do indeed allow this, so I shall be posting my course Topics in Combinatorics on YouTube as I give it. 1/
42
430
3,288
12 May 2020
So I was today years old when I learned that Dirichlet was a German so his name is not pronounced Dare-ish-lay but Der-ick-let. Thanks @scottpenberthy!
1
16 Apr 2020
I haven't done it enough today so I am going to ask to "do a quick round of introductions" at the dinner table tonight.
1
3
16 Apr 2020
So I thought I had a decent joke until My wife responded with “Can everyone see my plate” and my toddler gave an unenthusiastic “yeah”.
1
Colin Alstad retweeted
COVID-19 and AI: A Virtual Conference – Stanford’s Human-Centered Artificial Intelligence Institute (HAI) presents a special 1-day online conference, live-streamed starting 9am Pacific time, tomorrow, Wed April 1 (no joke!) hai.stanford.edu/events/covi…
5
179
428
13 Nov 2019
Been watching a lot of Daniel Tiger lately and have learned a lot about how to deal with feelings but the biggest lesson I’ve learned is that if you want awesome public services, like libraries and public transportation an absolute monarchy makes it happen
6
9
18 Jul 2019
Me learning to code in 2008: "I dont want to upload this useless repository to GitHub because people might think I'm dumb" Me now: "I dont want to upload this useful repository to GitHub because people will expect me to spend 27 hours a day for the next 700 years maintaining it"
4