Has too many ideas for his own good! Occasionally streams computational physics at https://teapaw.org/t.co/IiVCdx8Dff
San Diego
Joined May 2022
- Tweets2.8K
- Following1K
- Followers888
- Likes31.1K
Pinned Tweet
Read 'em and weep, I now have a monopoly on Vampire Weekend parody songs about learning Metamath.
David Moore retweeted
Why play Counter Strike when you could compute critical exponents with the conformal bootstrap? Had the silicon gods code SDPviBe, a port of the great SDPB solver, optimized to run on gamer GPUs. On one second hand RTX 3090, it is up to 40 times faster than a 64 core EPYC node.
Re: formalization. When I was learning classical mechanics I saw one of Tadashi Tokeida's talks in person. I came away doubting that the cm I was learning about -- which couldn't describe the phenomena in his talk -- was the cm physicists should care about at all.
11
496
There is something deeply, deeply funny to me about the way metamath databases look. "Yes, hi there, wrel, cdm, wss, oh and ACZADFBEZAHZABIUC"
1
9
463
Me: What is Alonzo Church's P2?
Google: Church's Texas Chicken offers several 2PC meal options.
5
171
David Moore retweeted
Every PDEs talk has the same structure. Here's the wave equation, it models waves. Here's Burgers' equation it models burgers
David Moore retweeted
I just published Building a Mini Lean 4 from Scratch: Implementing an Interactive Theorem Prover in Rust medium.com/@Koukyosyumei/bui…
David Moore retweeted
相対性理論は間違っているおじさんがトレンドになっている。自分が修士の頃にもそうした方が研究会にいらっしゃって，論理的に破綻した自説について滔々と説明され始めたことがあった。「それはおかしい」と指摘したら，さっと仙人のような姿をした別の方が立ち上がって「あなた方お利口さんの言うことは正しい。しかし，世界が正しいことで埋め尽くされれば我々バカたちが考える余白はなくなり，我々は窒息してしまう。頼むからバカたちから考える余白を奪わないでくれ」と言われたことを思い出した
Thinking about this made me realize something about a confusion I've had with symplectic geometry, which is very silly in hindsight. x(t) is a curve on configuration space, so tangents to a curve are naturally vectors. momenta p are naturally covectors (eg. by following Einstein index conventions on Lagrangians). So how do we take dx wedge dp? Apply the metric to make our tangent to x(t) a covector or something?
No! [I've been] totally missing the point! When we talk about the theorems we care about (Liouiville) we're talking about areas in phase space, on this dx^i and dp^i are basis forms of our patch of coordinate space labeled by (x^i, p^i). It's a patch of cotangent space of Q. Crazy obvious now that I think about it. Mechanics and Arnold's book and dynamical systems never clicked for me :(
4
22
929
This is what happens when you learn mechanics and Hamiltonians through Goldstein and Landau and Lifshitz and various other books and then go back and learn differential geometry after you've already proved Liouville's theorem 6 times, lol.
To those not in the know this is like admitting I forgot how to tie my shoes on the TL or something.
1
6
87
David Moore retweeted
This, but ironically.
By which I mean, the fear is that AI will facilitate the conflation of learning math with listening to a nice story.
David Moore retweeted
the doctor should prescribe me milk tea so it doesnt get thrown out by airport security
David Moore retweeted
Calculus students haven't heard of the "mean value theorem/nice value theorem" meme. So I drew it to show them
