Verifying myself: I am calstad on Keybase.io. YFFaNsUkd9cIVnU1UgAfVwfiHzx0pH5CNMFo / keybase.io/calstad/sigs/Y…

Hey College of Charleston, is this thing on? #FirstDay #CofC

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"

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

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/covid-1…

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 Scott Penberthy!

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/

My latest article on Space Tech, "A space race is good for humanity" #SpaceTech #ibm #innovation #space

Brand spanking new preprint with Alejandro 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

Our Space Tech Pojects made the list ! #ibm #spacetech #SSA #KubeSat #opensource developer.ibm.com/blogs/6-indust…

"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."

Daniel Litt

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...

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.

Short thread on having fun doing math.

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.

Congrats to the Toric Project team on the completion of Phase 1 in the formalization (in Lean) of the correspondence between affine group schemes and Hopf algebras! leanprover-community.github.io/blog/posts/aff…

Sorry sorry I was just trying to buy a book from Cambridge University Press.