Tap a claim on the ring to put it at the centre.
← Technology never changes geometry: a transport problem has to be solved spatially before it is solved at all.
15 connected korrents · 12 moments on record from 7 Jun 2010 to 4 Sept 2026.
Everything filed under mathematics
mathematics
Everything filed under formal proof
formal proof
Everything filed under physics
physics
Everything filed under AI and science
AI and science Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Read this korrent: Technology never changes geometry: a transport problem has to be solved spatially before it is solved at all. Technology never changes geometry: a transport problem has to be solved spatially before it is solved at all. Last stated 10 years ago
21 Jul 2016
JW
Jarrett Walker — holds since 2016-07-21 — tap for who they are
Same subject: The problem of cars in cities is a geometry problem, not a technology problem: no invention creates room for everybody's car. — tap to centre the map on it The problem of cars in cities is a geometry problem, not a technology problem: no invention creates room for everybody's car. Last stated 16 years ago
7 Jun 2010
JW
Jarrett Walker — holds since 2010-06-07 — tap for who they are
Same subject: The fundamental problem spatial intelligence must solve is understanding the geometry, the structure and the physics of a space. — tap to centre the map on it The fundamental problem spatial intelligence must solve is understanding the geometry, the structure and the physics of a space. Last stated 4 days ago
4 Sept 2026
FL
Fei-Fei Li — holds since 2026-09-04 — tap for who they are
Same subject: There is no material problem, whether created by nature or by technology, that cannot be solved with more technology. — tap to centre the map on it There is no material problem, whether created by nature or by technology, that cannot be solved with more technology. Last stated 3 years ago
16 Oct 2023
MA
Marc Andreessen — holds since 2023-10-16 — tap for who they are
Same subject: No dense city anywhere runs without heavy reliance on transit, and no new transport technology changes the space arithmetic that makes that true. — tap to centre the map on it No dense city anywhere runs without heavy reliance on transit, and no new transport technology changes the space arithmetic that makes that true. Last stated 12 years ago
4 Nov 2014
JW
Jarrett Walker — holds since 2014-11-04 — tap for who they are
Same subject: Engineering has no correct answers the way mathematics and science do; it is the best solution available at the time, and everything is a trade-off. — tap to centre the map on it Engineering has no correct answers the way mathematics and science do; it is the best solution available at the time, and everything is a trade-off. Last stated 2 months ago
24 Jun 2026
NE
NeetCode — holds since 2026-06-24 — tap for who they are
Same subject: Wormholes are not yet an engineering problem, but they sit entirely within the realm of plausible physics. — tap to centre the map on it Wormholes are not yet an engineering problem, but they sit entirely within the realm of plausible physics. Last stated a year ago
5 May 2025
JL
Janna Levin — holds since 2025-05-05 — tap for who they are
Same subject: A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. — tap to centre the map on it A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. — tap to centre the map on it A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. — tap to centre the map on it Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. Last stated 15 years ago
28 Oct 2011
PM
Patrick McKenzie — holds since 2011-10-28 — tap for who they are
Same subject: AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of splitting a problem makes it easier rather than harder. — tap to centre the map on it AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of splitting a problem makes it easier rather than harder. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
Same subject: AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that. — tap to centre the map on it AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that. Last stated a year ago
14 Jun 2025
LF
Lex Fridman — holds since 2025-06-14 — tap for who they are
Same subject: AI will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different. — tap to centre the map on it AI will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different. Last stated 3 weeks ago
18 Aug 2026
MK
Michael Kratsios — holds since 2026-08-18 — tap for who they are
Same subject: AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. — tap to centre the map on it AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. — tap to centre the map on it Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying. — tap to centre the map on it Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
At the centre
Technology never changes geometry: a transport problem has to be solved spatially before it is solved at all.
Holds JW Jarrett WalkerRead this korrent →
The problem of cars in cities is a geometry problem, not a technology problem: no invention creates room for everybody's car.
Holds JW Jarrett Walker
The fundamental problem spatial intelligence must solve is understanding the geometry, the structure and the physics of a space.
Holds FL Fei-Fei Li
There is no material problem, whether created by nature or by technology, that cannot be solved with more technology.
Holds
No dense city anywhere runs without heavy reliance on transit, and no new transport technology changes the space arithmetic that makes that true.
Holds JW Jarrett Walker
Engineering has no correct answers the way mathematics and science do; it is the best solution available at the time, and everything is a trade-off.
Holds NE NeetCode
Wormholes are not yet an engineering problem, but they sit entirely within the realm of plausible physics.
Holds JL Janna Levin
A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved.
Holds GS Grant Sanderson
A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent.
Holds GS Grant Sanderson
Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring.
Holds PM Patrick McKenzie
AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of splitting a problem makes it easier rather than harder.
Holds TT Terence Tao
AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that.
Holds LF Lex Fridman
AI will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different.
Holds MK Michael Kratsios
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to.
Holds MK Martin Kleppmann
Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying.
Holds TT Terence Tao