Colin Alstad @calstad
Charleston, SC Joined November 2008-
Tweets1K
-
Followers266
-
Following421
-
Likes527
Your move @typesfast
"Euler claimed that he made some of his greatest mathematical discoveries while holding a baby in his arms with other children playing round his feet." mathshistory.st-andrews.ac.uk/Biographies/Eu…
@mathandcobb Sounds like the Pam Bondi defense, "We can't enforce the rules because the whole system would collapse".
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!
there’s a $500 billion industry aimed at writing press releases about automating your research
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…
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.io/blog/posts/aff…
@AlexKontorovich The video says that it is private. Any chance you can make it public?
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.
Short thread on having fun doing math.
@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.
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.
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...
"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."
@lexfridman Please, please, please do a podcast on this!
Research published in Nature reports a machine learning framework for assisting mathematical research, helping mathematicians discovery two new conjectures in different areas of pure mathematics nature.com/articles/s4158…
Our Space Tech Pojects made the list ! #ibm #spacetech #SSA #KubeSat #opensource developer.ibm.com/blogs/6-indust…
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
My latest article on Space Tech, "A space race is good for humanity" #spaceTech #ibm #innovation #space
Join the #space debate: A space race is good for #humanity @IBMDeveloper @Lahorite ibm.co/3j14uCY @IBMResearch @IBMWatson @BloombergTV @IQ2US #DevOps #innovation #tech #science #IBMResearch
@AraValentini Look into algebraic statistics en.wikipedia.org/wiki/Algebraic…
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/
@katemath @virtualcourtney Oooooo....I know what I'm doing this afternoon now.
Hitesh Gakhar @GakharHitesh
526 Followers 481 Following Math Educator @MichiganStateU. Topological Data Analysis. Formerly @UofOklahoma. @MichiganStateU and @IISERMohali alumnus.
Catherine PFAFF, PhD ... @PfaffCatherine
2K Followers 514 Following I love beauty, adventure, order in chaos, & the search for understanding. Thus, I'm a mathematician. Also a soccer addict. Views my own.
𝕋𝕖𝕕 ℂ. �... @tctjr
2K Followers 6K Following CTO @leidosinc Favorite equation: Σ(p)log(p) home of #suspiciouscoincidence (Ψ) - https://t.co/IIdRTflkC2
Looreh @ThiagoLoos3
34 Followers 857 Following
Ruby May @RubyMay367258
6 Followers 246 Following
Josué Tonelli-Cueto @tonellicueto
216 Followers 368 Following bilbaíno · matemático · escritor (de postales) · Investigador postdoctoral en @JohnsHopkinsAMS · Ill-said Thoughts (Blog en https://t.co/DcszLfTYoc)
THRAX BOOM🍃🔥 @THRAXBOOM420
718 Followers 7K Following 🌿 Pure • ⛽️ Potent • 👌 Perfect ✨ Premium Flower + 🔥 Crafted Extracts/ 🚫 19+ Live Menu
Tusewez @Tusewez298l4jr
36 Followers 2K Following
Cyber Retaliator Solu... @CRS_Cyber
90 Followers 412 Following Cyber Retaliator Solutions is an Authorised #IBM training Center, #Redhat Training Partner, and Cyber Security Distributor, Operating throughout the Globe.
Dr. Bernadette Stolz @StolzBernadette
620 Followers 851 Following Mathematician studying topology in biomedical data. Project leader @MPI_Biochem | Previously @EPFL & @OxUniMaths | 2022 L’Oréal-Unesco #ForWomenInScience Fellow
CoCalc by SageMath, I... @cocalc_ai
2K Followers 4K Following Collaborate in real time while using Jupyter, Linux, LaTeX, and more.
Mahamat Abakar Assoun... @AbakarAssouna
72 Followers 838 Following Ancien élève de l'ENS de Bongor, mathematician: algebraic geometry and differential geometry.
𝙏𝙮 𝙏𝙖𝙣... @Tytanic843
269 Followers 1K Following Software at @coverahealth previously @Pokitdok and Change Healthcare. “Invest yourself in everything you do. There is fun in being serious."
Sekou L Remy @SekouLRemy
1K Followers 4K Following I happily explore the area defined by Healthcare, Cloud Computing, IoT, Robotics, and Education. (Tweets are my own) #gte199t/he/him
Jan Blommaart @Janblomm
411 Followers 6K Following retweet does not mean endorse, views expressed are my own
Tori McCaffrey @tori_mccaffrey
309 Followers 435 Following Product at @Armada - Government & Defense Platforms. Opinions are my own.
Iain H Woodhouse 伊�... @fortiain
4K Followers 2K Following No longer active here. https://t.co/Vl4RHEKaW0 on Bluesky. It’s not “free speech” when you keep seeing posts by some arse I don’t follow. 🤷♂️
hyper @_hyper_io
250 Followers 1K Following hyper - one API... many services ⚡️ Join the hyper community https://t.co/KejPUEOgxS
Geospatial Developer ... @DevjobsGeo
977 Followers 792 Following Bringing you the latest geospatial developer roles from around the globe, including remote jobs. Account managed by Eric van Rees (@eric_van_rees)
Chinmay @ChinmayIO
1K Followers 4K Following
giacomo acciarini @giacomoacciari2
66 Followers 449 Following Research Fellow @esaACT. PhD @esaACT & @SpaceatSurrey. Faculty @FDL_AI. Previously @UniofOxford. Interests: differentiable programming, astrodynamics, ML
Herve Moal @hervemmoal
785 Followers 3K Following
Naeem @Lahorite
1K Followers 4K Following Distinguished Engineer, CTO Space Tech & Master Inventor |Ummatic|Tweets are my own views - Don't be sad, indeed Allah is with us -لَا تَحزَن إنَّ الَلهَ مَعَنَ
Hans Riess @hansmriess
1K Followers 3K Following Research Scientist (PI) @gatechengineers ∙ Control, Optimization, Category Theory, Topology ∙ postdoc @DukeEngineering, PhD @PennEngineers, undergrad @DukeU
Leighton Dawson @wleightond
15 Followers 418 Following
Avantas Tech Accelera... @AvantasTech
123 Followers 1K Following Empowering Next Generation Digital Experience with Integrity & Intelligence #MedsLOCK - Countering COVID-19 with Blockchain #blockchain #digitaltransformation
Louise Westoby @lwestoby
439 Followers 1K Following world traveler, sushi eater, tech geek. interested in cloud, big data, databases, data management, containers, humanity. tweets are my own.
Anirudh Som @AnirudhSom
199 Followers 917 Following
joe w 👻 🎄 @joehastweets
81 Followers 294 Following tweeter. this is a parody account and all that https://t.co/zhSMwCGtDs
Alejandro Ginory @AlejandroGinory
15 Followers 106 Following
🌞🌵 cactus cowbo... @_cactuscowboy
119 Followers 830 Following AI plumber, tokenmaxer, aspiring farmer.
Maris @Marutks
1K Followers 5K Following I am a software engineer who works as Clojure developer. #clojure #emacs. 🇬🇧 / 🇱🇻 #StandWithUkraine 🇺🇦
RealMathAtUofSC @RealMathAtUofSC
38 Followers 66 Following Handle = courtesy name for the essence of mathematical ideas at USC. Opinions are not those of the University of South Carolina, probably are disavowed by #USC
p-brane @BraneRunner
2K Followers 5K Following Freedom's just another word for no job left to lose. Diversity is not for rugged individuals. Inclusion is not for the truly ostracised.
Syntax Conference @syntaxcon
2K Followers 2K Following A full stack developer event providing practical training for tomorrow’s developers & enginerds.
Jay Cummings @LongFormMath
46K Followers 593 Following Math prof. Author of long-form textbooks on proofs (https://t.co/YqXnxDmOe0), real analysis (https://t.co/3IGQ6BIx5Z) & math history (https://t.co/KkXMGTxCDK).
Daniel Litt @littmath
58K Followers 916 Following Assistant professor (of mathematics) at the University of Toronto. "Tireless math ronin." Algebraic geometry, number theory, etc. He/him.
Symmetry and Geometry... @neur_reps
5K Followers 1K Following NeurIPS workshop and digital community | 🌐 geometry, algebra, topology + 🤖 deep learning + 🧠 neuroscience | Join us on slack! https://t.co/Run9wPnrDB
Heather Harrington @haharrington
2K Followers 630 Following Mathematician and Systems Biologist. Interested in geometry and topology of data & diversity in science. UMass/Imperial/UnivOx/MPI
Joel David Hamkins @JDHamkins
29K Followers 285 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
Mason Porter @masonporter
6K Followers 0 Following Professor of Mathematics at @UCLA. External Professor at @sfiscience. Also part of the @OxUniMaths & @SomervilleOx families. Schooled at @Caltech & @Cornell
Steven Strogatz @stevenstrogatz
184K Followers 3K Following Mathematician, writer, Cornell professor. All cards on the table, face up, all the time.
Hitesh Gakhar @GakharHitesh
526 Followers 481 Following Math Educator @MichiganStateU. Topological Data Analysis. Formerly @UofOklahoma. @MichiganStateU and @IISERMohali alumnus.
Catherine PFAFF, PhD ... @PfaffCatherine
2K Followers 514 Following I love beauty, adventure, order in chaos, & the search for understanding. Thus, I'm a mathematician. Also a soccer addict. Views my own.
Dave Richeson @divbyzero
25K Followers 1K Following Mathematician. Curley Chair in Liberal Arts at Dickinson College. Author of Tales of Impossibility and Euler's Gem. Now: https://t.co/cefdX8CG6u
𝕋𝕖𝕕 ℂ. �... @tctjr
2K Followers 6K Following CTO @leidosinc Favorite equation: Σ(p)log(p) home of #suspiciouscoincidence (Ψ) - https://t.co/IIdRTflkC2
Alvaro Lozano-Robledo @mathandcobb
2K Followers 107 Following Mathematics professor (arithmetic geometry), author, associate editor at The Ramanujan Journal, Hagoromo chalk ambassador. Views expressed are my own.
Mike Dodds @miike
1K Followers 624 Following Formal methods enthusiast. Principal scientist at @Galois. English immigrant. Nitwit. Opinions my own.
Pietro Monticone @PietroMonticone
3K Followers 605 Following AI for Mathematics @HarmonicMath || Formalising Mathematics and Software in @LeanProver || Developing Free Open Source Software in #Lean, #Python and #Julia.
Matt Henderson @matthen2
80K Followers 3K Following maths, visualisations, conversational AI. VP Research @polyaivoice prev: @RekaAILabs, @Apple AI/ML, @GoogleAI, PhD @Cambridge_Eng
Jonathan Gorard @getjonwithit
46K Followers 18 Following Applied mathematician, computational physicist @Princeton Previously @Cambridge_Uni Making the universe computable.
Leonardo de Moura @Leonard41111588
7K Followers 30 Following
SAIR @SAIRfoundation
4K Followers 36 Following Terence Tao & Nobel, Turing, Fields laureates advancing scientific discovery & guiding AI with scientific principles. Grounding intelligence. Scaling discovery.
Auguste Poiroux @augpoi
198 Followers 161 Following AI4Math & Autoformalization - PhD Student @EPFL - Founding Research Engineer @mathematics_inc
ARIA @ARIA_research
17K Followers 56 Following Advanced Research + Invention Agency. Empowering scientists to reach for the edge of the possible. Bluesky: https://t.co/xnQZGN9YCg
Josué Tonelli-Cueto @tonellicueto
216 Followers 368 Following bilbaíno · matemático · escritor (de postales) · Investigador postdoctoral en @JohnsHopkinsAMS · Ill-said Thoughts (Blog en https://t.co/DcszLfTYoc)
Luke Oeding @luke_oeding
30 Followers 147 Following
Pushmeet Kohli @pushmeet
26K Followers 74 Following Chief Scientist, Google Cloud. VP, DeepMind. AI for Science. (Alpha)Fold, Genome, Evolve, Earth, Proof, Co-Scientist, SynthID...
Simon Willison @simonw
195K Followers 6K Following Creator @datasetteproj, co-creator Django. PSF board. Hangs out with @natbat. He/Him. Mastodon: https://t.co/t0MrmnJW0K Bsky: https://t.co/OnWIyhX4CH
Cambridge University ... @cambUP_maths
10K Followers 480 Following @CambridgeUP is a leading publisher in pure & applied mathematics, & statistics, from undergraduate teaching to the latest research.
BIRS @BIRS_Math
6K Followers 241 Following The Banff International Research Station for Mathematical Innovation and Discovery, in the heart of the Canadian Rocky Mountains.
Harvard Department of... @HarvardMath
7K Followers 64 Following The Department of Mathematics at Harvard University is one of the world's leading departments for research and education in pure mathematics. #harvardmath
European Mathematical... @euromathsoc
15K Followers 1K Following The European Mathematical Society is the learned society for mathematicians throughout Europe.
Sam Walters ☕️ @SamuelGWalters
14K Followers 477 Following 🇨🇦 Math prof. Former Chair of Math-Stat Dept at the University of Northern B.C. (Mar 2016 - Jun 2020). Christian🎄.
Iolo Jones @iolo_jones
1K Followers 172 Following Postdoc researcher in geometry and ML @UniofOxford
Paata Ivanisvili @PI010101
5K Followers 176 Following Professor of Mathematics @ UCI. Former postdoc @ Princeton. Exploring what AI can (and can’t) do in math.
Sebastien Bubeck @SebastienBubeck
78K Followers 1K Following I work on AI at OpenAI. Former VP AI and Distinguished Scientist at Microsoft.
Bartosz Naskręcki @nasqret
12K Followers 465 Following Mathematician | Vice-Dean @UAM_Poznan | Researcher @ccaiwut | Owner of https://t.co/lEspgf36Pg | Mathematics, AI and programming
Chi Jin @chijinML
8K Followers 522 Following Researcher @OpenAI | Associate Prof @Princeton AI Reasoning · Reinforcement Learning · Game Theory · ML Foundations
Prof. Brian Keating @Briankeating
57K Followers 125 Following Every great scientist is a storyteller. I interview Nobel winners on @Into_Impossible🎙️ Chancellor's Prof. @UCSanDiego | Pilot | Wrote: Losing the Nobel Prize
Instit. for Mathemati... @IMSI_Institute
1K Followers 568 Following Using math & statistics to solve urgent, complex scientific & societal problems. Via @UChicago, @NorthwesternU, @ThisIsUIC, & @Illinois_Alma. Funded by @NSF
Jasper Dekoninck @j_dekoninck
3K Followers 133 Following PhD Student at ETH Zurich, working on mathematical evaluation of LLMs (MathArena, IMproofBench, BrokenMath, ...)
Aram H Markosyan @aramHmarkosyan
560 Followers 665 Following Founding Member of the Technical Staff @ Axiom Math | ex-Meta Superintelligence Labs (FAIR)
Harvard CMSA @HarvardCMSA
2K Followers 109 Following Harvard University's Center of Mathematical Sciences and Applications. A fusion point for mathematics, statistics, physics, and related sciences.
Ben Reinhardt @Ben_Reinhardt
12K Followers 555 Following Dare mighty things! Journeyman wondersmith @spec__tech. Past: space and eldercare robots, AR, medieval history, etc. Long games. 🏴☠️🪐🐉
Logical Intelligence @logic_int
5K Followers 10 Following Piloting The World's First Energy-Based Model For Critical Systems.
Eve Bodnia @evelovesolive
3K Followers 506 Following EBM reasoning, AI formal verification. CEO and founder of @logic_int
Math, Inc. @mathematics_inc
13K Followers 0 Following Solve math, solve everything. Dedicated to superintelligence via autoformalization
Christian Szegedy @ChrSzegedy
44K Followers 3K Following #deeplearning, #ai research scientist. Opinions are mine.
Jared Duker Lichtman @jdlichtman
5K Followers 0 Following number theorist, szegő assistant professor of mathematics at @Stanford
Jesse Michael Han @jessemhan
5K Followers 674 Following @mathematics_inc // prev. research @OpenAI 'turboautist' 'only guy i know who talks like an anime character'
Isaac Newton Institut... @NewtonInstitute
16K Followers 413 Following News from the UK's premier mathematical institute. We bring the world's top scientists together to collaborate in advanced research programmes.
Taco Cohen @TacoCohen
30K Followers 4K Following Slop janitor & post-trainologer at Meta / FAIR. Into codegen, RL, equivariance. Spent time at Qualcomm, Scyfer (acquired), UvA, Deepmind, OpenAI.
ICERM @ICERM
6K Followers 4K Following The Institute for Computational and Experimental Research in Mathematics supports and broadens the relationship between mathematics and computation. #NSFfunded
Justin Fulcher 🇺�... @JustinFulcher
2K Followers 16 Following Christian. Patriot. South Carolinian. Founder @RingMD. Former @DeptofWar and @DOGE. Championing American exceptionalism 🇺🇸
Logic & Applications @LogicPractice
28K Followers 8 Following Logic and applications of logic from @JohnDCook
Trends for United States
You might like
