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
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.
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
相対性理論は間違っているおじさんがトレンドになっている。自分が修士の頃にもそうした方が研究会にいらっしゃって，論理的に破綻した自説について滔々と説明され始めたことがあった。「それはおかしい」と指摘したら，さっと仙人のような姿をした別の方が立ち上がって「あなた方お利口さんの言うことは正しい。しかし，世界が正しいことで埋め尽くされれば我々バカたちが考える余白はなくなり，我々は窒息してしまう。頼むからバカたちから考える余白を奪わないでくれ」と言われたことを思い出した
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
David Moore retweeted
Yoooo so excited for Vibecheck tomorrow! Come say hi^_^ I may have some hats
You’re unable to view this Post because this account owner limits who can view their Posts. Learn more
David Moore retweeted
Our first in-person episode is out. This time Mario Carneiro joins us to talk about Mathlib, Lean4Lean, Metamath0, foundations of theorem provers, type systems properties, semantics, ITP exports, and much more!
Available in our favorite Podcast Provider
typetheoryforall.com/episode…
David Moore retweeted
Assembling the Cayley Graph of the Group
<a,b|a^3,b^3,(ab)^3>
Watch it crystallize in the full version: youtu.be/BVIcFy6d6PM
David Moore retweeted
Featured Problem: Counting Terms in a Symmetric Expansion · 18th PMO Qualifying Stage
Try it here: robolsmath.com/problem/count…
David Moore retweeted
i'm tired boss. i've never felt more unc so i guess it's my job to say old-man stuff like this:
good is shockingly good and evil is shockingly evil. the distinction between them is shockingly consequential, not at all fake controlling bullshit, in extremity a matter of life and death. if you are lucky, the first time you learn this the blast radius won't be too large. you were supposed to learn these things from your elders and betters but for too many of us the chains of lineage have been broken and so we had to figure and are figuring this stuff out ourselves, the hard way. it is worth your life and your soul, it is worth the lives and the souls of your loved ones, to earnestly cultivate a love for the good in yourself and others, and to seek out those who have done and are doing the same as companions
David Moore retweeted
As it turns out, yes chlorine is very rare in the universe. But because of its chemistry (affinity for Na and solubility of salt in water) 95% of Earth's chlorine is right at the surface, dissolved in seawater. We live in a unusually rich chlorine environment!
