Everything you care about in one place
Follow feeds: blogs, news, RSS and more. An effortless way to read and digest content of your choice.
Get Feederjohndcook.com
John D. Cook
Get the latest updates from John D. Cook directly as they happen.
Follow now 264 followers
Latest posts
Last updated 2 days ago
A 50-year-old computer-assisted proof
3 days ago
The idea of using computers to assist with proofs is not new...
AI is an intelligence multiplier
3 days ago
A rising tide may lift all boats, but the AI tide lifts...
The part of Navier-Stokes no one is talking about
3 days ago
Yesterday OpenAI announced a proof that settled a long-standing question about the...
Navier-Stokes in the news
4 days ago
There are rumors that a long-standing math problem, one of the Millennium...
Ngram error rate
5 days ago
The Online Etymological Dictionary gives the following etymology for grok grok (v.)...
Proof of the rank-trace theorem
7 days ago
The previous post discussed the motivation for and application of the rank-trace...
Hugging Face Easter Egg
9 days ago
NVIDIA has offered by buy Hugging Face for $12,930,300,000 129303 is the...
Patented application of linear algebra
12 days ago
I just found out Brian Beckman and I got a patent on...
Making the unnecessary easier
15 days ago
I watched a few videos this morning, looking for ideas of what...