David J. Webb @DJWebbMath
Logician, musician, special edition. I run upper division mathematics at Chaminade University of Honolulu and do computability theory. Opinions my own. He/him. Honolulu, HI Joined June 2021-
Tweets2K
-
Followers207
-
Following29
-
Likes22K
The damning teaching issue here is that you assigned a 23-min AI generated podcast
Löb's axiom
The greatest man who ever lived
Not being able to do basic math should be considered as problematic as illiteracy. How can you expect representatives to make correct decisions if they can’t verify such simple calculations?
Not being able to do basic math should be considered as problematic as illiteracy. How can you expect representatives to make correct decisions if they can’t verify such simple calculations?
I have like three of each of these and no one got mad! Maybe the examples really were trivial/obvious/easy/clear
I have like three of each of these and no one got mad! Maybe the examples really were trivial/obvious/easy/clear
As a mathematician I am honor bound to remind everyone that you can’t make a four circle Venn diagram, you need ovals. (Else it is impossible for the sets diagonal from one another in intersect only each other)
As a mathematician I am honor bound to remind everyone that you can’t make a four circle Venn diagram, you need ovals. (Else it is impossible for the sets diagonal from one another in intersect only each other) https://t.co/TAbwGyjBtl
Just in time for the semester to start - my first Lean PR went through recently! This is as close as I’ll ever get to being a software developer. github.com/leanprover-com…
Dating advice
I don’t love sharing AI but I’m baffled by what the message is supposed to be here. “Come back we miss you” is so sinister. Are people supposed to kill themselves and hope the other side is White 80s
I don’t love sharing AI but I’m baffled by what the message is supposed to be here. “Come back we miss you” is so sinister. Are people supposed to kill themselves and hope the other side is White 80s
Broke: learning LEAN to get better at Factorio Woke: playing Factorio because you found out you can use LEAN to optimize it. (That might be me soon)
Broke: learning LEAN to get better at Factorio Woke: playing Factorio because you found out you can use LEAN to optimize it. (That might be me soon)
I guess not. A mathematician would have at least looked into the numbers and realized 40 million of those are visas for tourism and short business trips.
I guess not. A mathematician would have at least looked into the numbers and realized 40 million of those are visas for tourism and short business trips.
This is really exciting and impressive, and this stuff is in my area of mathematics research (convex optimization). I have a nuanced take. 🧵 (1/9)
This is really exciting and impressive, and this stuff is in my area of mathematics research (convex optimization). I have a nuanced take. 🧵 (1/9)
This doesn't surprise me. AI is already quite good (research level?) at the kind of brute force "Apply standard techniques 50 times in a row just in a novel environment" papers you see in areas like convex optimization. That's what I use it for
This doesn't surprise me. AI is already quite good (research level?) at the kind of brute force "Apply standard techniques 50 times in a row just in a novel environment" papers you see in areas like convex optimization. That's what I use it for
Kudos to Terry Tao for this: newsletter.ofthebrave.org/p/im-an-award-…
Given any year in the commonly used Gregorian calendar, • the last day of February, • April 4 (4/4), • June 6 (6/6), • August 8 (8/8), • October 10 (10/10), • December 12 (12/12) all occur on the same day of the week. For 2025 this so-called Doomsday is Friday.
A scientific explanation for a cat with two tails.
Continuous implies differentiable almost everywhere
Continuous implies differentiable almost everywhere
Euler’s number is also about shapes - specifically the area under 1/x. Euler’s number is upper bound that, with the lower bound 1, makes the area 1. (I’ve never cared for the limit definition 😅)
Euler’s number is also about shapes - specifically the area under 1/x. Euler’s number is upper bound that, with the lower bound 1, makes the area 1. (I’ve never cared for the limit definition 😅)
Another fun open problem: Conjecture (Rota). Let n be a natural number. Let V be an n-dimensional vector space. Let B₁, …, Bₙ be bases of V. Then there exist orderings of these bases Bₖ = (bₖ₁, …, bₖₙ) such that {b₁ₖ, …, bₙₖ} is a basis of V for all 1 ≤ k ≤ n.
Alicia 🇪🇺 @alc_2532
822 Followers 1K Following Board Certified Recruiting Coordinator. Volunteer at nursing care facilities, trust the process. Strictly 🚫crypto
TobeyGaskell @ANw2FJTw2Zm2Q
32 Followers 784 Following
Colin Commans @colin_commans
10 Followers 73 Following
Nina Sokolov @SpellwIq3
0 Followers 284 Following
Christian Szegedy @ChrSzegedy
41K Followers 3K Following #deeplearning, #ai research scientist. Opinions are mine.
Retta @FarettaLouis_
15 Followers 351 Following Many relationships fail not because the people involved don`t love each other but because the timing just isn`t right
Hadith @HadithFajri
1K Followers 6K Following Berbahagialah hamba saleh yang lemah lembut, karena mereka akan mewarisi bumi.
Mayurin @mayurinyellow
13 Followers 454 Following lurker, intrusive thought-haver, humanitarian cannibal, future flashboy
Ghost of Kant @kantbulldog
1K Followers 5K Following Moral philosophy needs to go back to basics (get technical). Axiologist. Humanistic ethicist. Animal ethicist.
Vern Langworth @VLangworth3725
28 Followers 2K Following
Apierork @Apierork098662
28 Followers 2K Following
donny @mathqueeny
64 Followers 294 Following Pure Math.. Computer Vision researcher. Prev @Meta @Stripe @UofIllinois. Probably gooning right now.
宁煦 @ning58447
9 Followers 2K Following
tttardigrade @ttttardigrade
11 Followers 63 Following Automata, Haskell, Hip-Hop, SdDUP and random left-posting
Collin McDevitt @McDevittCollin
60 Followers 454 Following B.S. in Mathematics at Virginia Tech •Grad Student at UChicago
Kenji Tokuo @ktokuo
994 Followers 1K Following Professor at National Institute of Technology | mathematical logic | theoretical computer science | quantum physics | analytic philosophy
JOAKE @Sushant12863088
3 Followers 296 Following
Yankuba Nyassi @nyassi_yan14348
150 Followers 3K Following hello 👋 shalom to everyone I pray 🙏 for everyone 🙏 ❤️
Vlad Patryshev 🇺�... @vpatryshev
1K Followers 751 Following Programmer. Taught logic etc at Santa Clara University. My slides and talks: https://t.co/YaBLuKh2Ir
Seynoyez @SeynoyezfXM
46 Followers 714 Following
Xabier Sarasola @xozky
58 Followers 3K Following
jack mags @mags_huvan
414 Followers 2K Following Live music, urban design, full stack dev. Western NY. Oh, what a day to be livin’! Play like a champion today!
Mitchell @chessturo
103 Followers 2K Following Like the gum on the bottom of your shoe: a little bit sticky and a little bit fruity | 🏳️🌈 | 23y/o l none of this has anything to do with my employer
Seo Sanghyeon @sanxiyn
4K Followers 2K Following Card-carrying member of Cetocratic Party of Manifold
TotientQuotient @t0tientqu0tient
977 Followers 678 Following Survived tripos somehow. All effort, no skill. Still trying to become a mathematician. Probably suffering from some form of the Algernon-Gordon effect.
Brian Ridgely @BrianRidgely
355 Followers 5K Following
Maziar Marzban @MarzbanMaz20314
40 Followers 1K Following
Aswin V @avi010_
90 Followers 465 Following
Thoathees @ThoatheesFcBUc
74 Followers 3K Following
banananananananananan... @interpretantion
4K Followers 6K Following
Mark Moon @eka_mark_moon
568 Followers 454 Following I teach people math. What can I help you learn?
l' être @bycie_w_swiecie
14 Followers 140 Following Ślachetne zdrowie, Nikt się nie dowie, Jako smakujesz, Aż się zepsujesz.
iluwam @iluwam52064
2 Followers 96 Following
Máté Vizer @dresg454
28 Followers 1K Following
eibisch @eibischcus
68 Followers 4K Following
Marc Thatcher @MarcThatcher
75 Followers 171 Following 'And you may ask yourself: well, how did I get here?'
paulo smit @smit_paulo31419
31 Followers 407 Following
vmg @vmgdev1
10 Followers 428 Following
Mayurin @mayurinyellow
13 Followers 454 Following lurker, intrusive thought-haver, humanitarian cannibal, future flashboy
florence 🐝 @morallawwithin
10K Followers 1K Following kantian 🏳️🌈 / philosophy phd student / vegan for the animals / liberal / creatine evangelist / pause ai / 4 mutuals @formofthegood / my substack is rly good
Lean @leanprover
6K Followers 46 Following Lean is a dependently-typed programming language and theorem prover.
Algebraic Geometer @BarbaraFantechi
10K Followers 2K Following Full Prof, cis white woman, #BiInSci. Opinions my own. https://t.co/bOV22mJQbg Graph from https://t.co/W5M7KnClOP
Dr Ally Louks @DrAllyLouks
239K Followers 133 Following Smell commentator. Currently teaching at Cambridge. ‘One of those academic types who turn to books as a substitute for social interaction’. 🏳️🌈🦇🌱👃🏻📚
Jay Cummings @LongFormMath
44K Followers 598 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).
PHD Comics @PHDcomics
323K Followers 79 Following Life (or the lack thereof) in Academia. Comic strip by Jorge Cham. https://t.co/cMwdi1UHdd
the brave little poas... @virgil_30
7K Followers 2K Following addict/alcoholic // Woke Reactionary // noted "IQ skeptic" // conosco i segni de l'antica fiamma // it’s Apollo’s world, I’m just living in it // free Palestine
Daniel Litt @littmath
50K Followers 884 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Cihan Bahran @bahran_cihan
685 Followers 3K Following Mathematician. Turkish cis-het man (he/him/his), upper middle-class. MDD. Pronounced Gee-han (IPA dʒihan).
Some theorems @CihanPostsThms
29K Followers 6 Following Posting some theorems, and occasionally other stuff. By @bahran_cihan
gnuyen @gnuyen
34 Followers 77 Following
Erin Carmody @uncountableart
640 Followers 414 Following Logic, set theory, art https://t.co/zxvWZRW25Y
Momo-san 🖤♥️�... @RoxyNeko
2K Followers 3K Following Living in paradise and... ????? Block me if you hate or discriminate against women, POC, and the LGBTQ+ community.
Patchen Mortimer @patchdj
988 Followers 595 Following Content director and writer. DJ at 90.5 WMUC-FM. Freelance tabletop role-playing game author. Not necessarily in that order. (He/him/his)
Henry P. Towsner @htowsner
963 Followers 195 Following Associate professor of mathematics @Penn. Logic and related topics. Sometimes distracted by RPGs and Judaism. He/him/his. @[email protected]
Artem Chernikov @archernikov
4K Followers 1K Following Michael Brin professor of mathematics at @UofMaryland. Mathematical logic, model theory -and connections to combinatorics, algebra, etc.
Andrew Krause @BlindMath
1K Followers 990 Following Chronically-Ill Nearsighted Mathematician and Amateur Human. Co-creator of @VisualPDE (irony!) (he/him)
Matt Parker @standupmaths
132K Followers 557 Following #1 best-selling author, also maths clown. Videos: https://t.co/sCfGSvTU9u Also over here: https://t.co/3kB1s6vWs5
arXiv math.LO Logic @mathLOb
1K Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathFAbot @mathGMb @mathGNb @mathGRbot @mathGTb @mathHOb @mathITbot @mathKTb @mathMGb @mathMPb ...
Joel David Hamkins @JDHamkins
25K Followers 280 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
julia🦄 @KamerynJW
6K Followers 477 Following amateur dionysian ∞ account ran by @kamerynjw ∞ she/herTrends for United States
You might like
