(he/him)
Math, movies, music and all other excuses to be anti-social.
A physics-to-math-to-CS convert and a Whovian.dense-set.github.io IIT Gandhinagar, GujaratJoined May 2023
@softwarewisdom@JDHamkins Umm... I don't see how. All I see now is ~A => (~B => ~⊥), and am even more confused! 😵💫
PS: I wrote ~(A and B), but intended (~A and ~B)
@avenger22898@MathMatize Actually, the existence of the sweet spot is immune to such fine-grained parameters. Just note that y-shits of the graph (aka, "changing the position of the x-axis") arbitrarily affect the area under it (from -∞ to +∞), and apply the IVT. :D
@arcinternet Recently, the password manager has been giving me a hard time. It has been wiped clean, and won't save any new passwords even when I say "Yes" when asked to save passwords while signing in or creating new passwords.
@arcinternet Context: I am on a MacBook with MacOS 15.0.1 and recently had it wiped off (at an Apple service centre). (Before this, everything was working smoothly.) I retrieved a Time Machine backup, and after that, the problem started. Can you help me out? 🥺
Did you know there's a monthly MathsJam in Pforzheim, Germany? If you live near there, or know any maths fans who do, why not join them for an evening of interesting maths? Next meeting Friday 16th August: mathsjam.com/cities/pforzhe…
Sign now, to call on the Indian authorities to fulfil their responsibility of guaranteeing equal rights for LGBT+ people and families, including their right to marry. a.allout.org/s/vQ15r/
Hello Math-y peeps!
I am starting with two archived NPTEL courses, one on Algebraic Topology (by the phenomenal Anant Shastri of IITB), and the other on Manifolds.
If you are interested in studying together, lemme know.
@plugyawn Btw, I am reading Freiwald's An Introduction to Set Theory and Topology to rid the rust. If you wanna do topology (along with, or over manifolds), I would love to have occasional topological babbles! :-)
660K Followers 166 FollowingHistorian and bestselling author of 'Sapiens', 'Homo Deus', '21 Lessons for the 21st Century', 'Nexus', 'Unstoppable Us' and 'Sapiens: A Graphic History'.
1.1M Followers 612 FollowingPlease follow me other places! Only rtwts here n' slowly leaving. Aim to be gone this year. @vivziebizzie on insta/threads @vivziepop on bluesky!
3K Followers 1K FollowingPostdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
60K Followers 13K Following📚 GeoGebra is free dynamic mathematics software for all levels of education!
💻 Click on the link for more information!
🌍 Find us on Instagram & Facebook!
3K Followers 103 FollowingBased on a true story during the Cold War, Firebird follows a young soldier who embarks on a clandestine sexual affair with a fighter pilot.
54K Followers 1K FollowingThis account is no longer regularly updated. Find us on IG, TikTok, Bsky, FB, & YouTube.
Get additional support at https://t.co/UmSxlosFl9.
317 Followers 1 FollowingProofWiki is a free, community-based web resource dedicated to collecting and providing rigorous definitions, proofs and theorems in all of mathematics.
25K Followers 77 FollowingMathematician, @UCBerkeley professor, author of LOVE & MATH (published in 20 languages), host of AfterMath series on YouTube, music expolorer as DJ Moonstein
25K Followers 65 FollowingMaths Jam is an opportunity for self-confessed maths enthusiasts to meet in a pub & share puzzles, games, and other cool maths stuff. No spoiler replies please!
39K Followers 517 FollowingDigital Geometer, Assoc. Prof. of Computer Science & Robotics @CarnegieMellon @SCSatCMU and member of the @GeomCollective. There are four lights.
29K Followers 286 FollowingMathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity