selective synthesist
Joined August 2012
- Tweets43.3K
- Following1.9K
- Followers1.8K
- Likes18.3K
At La Jolla Shores this morning to gauge the impact of the Kelvin wave on high tide. It seems to have raised it to the level of a very high tide, but not quite a #kingtide.
Second lecture on Kelvin waves in my Intro to Mathematical Modeling class @UCSDMathDept @UCSDPhySci @UCSanDiego. Explained the “passive deep water approximation” and the Coriolis effect terms in the pressure acceleration equations.
David Meyer retweeted
Very soon, if ABC can't be autoformalized after FLT and this, then it will be a clear signal.
HUGE result by the team, congrats everyone!
Largest @leanprover codebase to date.
Let's formally verify everything.
David Meyer retweeted
Not even two months after the Navier–Stokes result, and now OpenAI claims their internal model refuted the Exponential Time Hypothesis.
Haven’t worked in TCS, but if this holds up it would be enormous, a lot of hardness results in the field rest on ETH. It is the first result I heard to make the usual 'NP is exponentially hard' intuition look shakier.
Wild pace.
David Meyer retweeted
2/2 Low pressure 949 millibars was a very deep low. Anticipate storm surge! Combined with the full moon’s spring tide it was an exceptional event. Why was nobody in Renfrew Council or
SGoRR (Scottish Government Resilience Room) monitoring the storm and pulling out all the stops?
.@OpenAI, Kakeya Conjecture true in all dimensions; Exponential Time Hypothesis false; QCD and the standard model exist in 4 dimensions openai.com/index/building-sc…
David Meyer retweeted
Honored to have been chosen as a "Most Valuable Professor" by the Creighton Men's Basketball Team @BluejayMBB at last Friday's game against Minnesota. I've had several players take my #PHY131 #QuanutumForEveryone course!
David Meyer retweeted
‘Beyond Majority Rule’ - my interview with the leading Jesuit university educator, Michael Sheeran, is now out in English, Spanish and Swahili, open access. His politics PhD and book addressed Quaker discernment methodology in leaderless decision making.
friendsjournal.org/beyond-ma…
.@JohnHMcWhorter, Should Living Be Enough ‘Lived Experience’ for a Writer? nytimes.com/2026/10/22/opini…
"the very nature of creativity is to step beyond the self, an especially valuable step in a diverse society that promotes empathy"
Take that, #OwnVoices!
.@TimBalk & @ELaserDavies, Obama Issues Searing Attacks on Trump, Ramaswamy in Return to Campaign Trail nytimes.com/2026/10/24/us/po…
“He should be on @hgtv. He’s got the White House looking like Saddam Hussein opened a Cheesecake Factory. Just gold everywhere.”
.@sherlyholmes, The Vicious School Board Race That Became a Battle for the Soul of Beverly Hills lamaterial.com/p/beverly-hil…
Great story -- I can't wait to hear how it turns out!
Marquis, I Teach at a Business School. It’s Time to Shut Them Down. nytimes.com/2026/10/18/opini…
"I’ve come to a grim conclusion: The problem w/business schools is not repairable misalignment but the design itself."
Sad that it took him 20yrs to figure this out, but good that he did.
David Meyer retweeted
Any artists who would like to learn more about what does it mean when mathematicians say that "mathematics is an art"? My book "Art of Mathematics" is coming out soon and I would love to hear your take on this.
accartbooks.com/uk/book/art-…
David Meyer retweeted
Independent international experts have praised OIST’s interdisciplinary model and world-class research, highlighting the institute’s strong foundation and confidence in its future growth. Learn more: oist.jp/news-center/news/202…
.@Reuters has great idea to name heat storms. I was going to suggest Lucifer, Beezelbub, Belial, …
but on second thought maybe CEOs of oil companies would be better: Darren @exxonmobil, Wael @Shell, Murray @bp_plc, Mike @Chevron, …
Supersized heat waves used to be rare. No longer. A Reuters data-driven examination of global temperatures reveals the emergence of what we call heat storms. They now swarm the planet, upending life around the world. reut.rs/4zBUXtM
The Beacon of Knowledge, channeling sunlight into the underground levels of the Charles Trumbull Hayden Library @ASU. Except not today—I was not expecting rain in AZ!
Last slide at #SQuInT2026: Save the dates for #SQuInT2028, February 24–26, in Albuquerque.
