Tap a claim on the ring to put it at the centre.
← A chip that can do nothing but low-precision dense linear algebra is…
17 connected korrents · 15 moments on record from 21 Jan 2019 to 25 Aug 2026.
Everything filed under Apple
Apple
Everything filed under Google
Google
Everything filed under formal proof
formal proof
Everything filed under semiconductors
semiconductors
Everything filed under mathematics
mathematics
Everything filed under LLMs
LLMs 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 Same subject Same subject Read this korrent: A chip that can do nothing but low-precision dense linear algebra is enough for machine learning, even though it cannot run Chrome. A chip that can do nothing but low-precision dense linear algebra is enough for machine learning, even though it cannot run Chrome. Last stated a month ago
30 Jul 2026
JD
Jeff Dean — holds since 2026-07-30 — tap for who they are
Same subject: Falling back to older 7-nanometre chips would not rescue AI compute, because the real gap between chip generations is twentyfold, not the threefold the flops suggest. — tap to centre the map on it Falling back to older 7-nanometre chips would not rescue AI compute, because the real gap between chip generations is twentyfold, not the threefold the flops suggest. Last stated 6 months ago
13 Mar 2026
DP
Dylan Patel — holds since 2026-03-13 — tap for who they are
Same subject: Inference, not training, is now the constraint, and specialized low-energy hardware will beat general-purpose GPUs and TPUs on latency. — tap to centre the map on it Inference, not training, is now the constraint, and specialized low-energy hardware will beat general-purpose GPUs and TPUs on latency. Last stated a month ago
30 Jul 2026
JD
Jeff Dean — holds since 2026-07-30 — tap for who they are
Same subject: Machine learning is a shallow field compared with mathematics: even its most important ideas can be explained in a couple of minutes. — tap to centre the map on it Machine learning is a shallow field compared with mathematics: even its most important ideas can be explained in a couple of minutes. Last stated 4 weeks ago
11 Aug 2026
RG
Ryan Greenblatt — holds since 2026-08-11 — tap for who they are
Same subject: You cannot build a successful AI chip without first writing a competitive machine learning framework — that, not the silicon, is why Google's TPU is the only one that worked. — tap to centre the map on it You cannot build a successful AI chip without first writing a competitive machine learning framework — that, not the silicon, is why Google's TPU is the only one that worked. Last stated 3 years ago
29 Jun 2023
GH
George Hotz — holds since 2023-06-29 — tap for who they are
Same subject: Anyone who cannot write a full software stack for NVIDIA's generic GPUs has no chance of writing one for their own, more specialised, AI chip. — tap to centre the map on it Anyone who cannot write a full software stack for NVIDIA's generic GPUs has no chance of writing one for their own, more specialised, AI chip. Last stated 3 years ago
29 Jun 2023
GH
George Hotz — holds since 2023-06-29 — tap for who they are
Same subject: The business is not building a great chip; it is accelerating an algorithm domain. — tap to centre the map on it The business is not building a great chip; it is accelerating an algorithm domain. Last stated a month ago
26 Jul 2026
JH
Jensen Huang — holds since 2026-07-26 — tap for who they are
Same subject: A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. — tap to centre the map on it A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. Last stated a year ago
7 Jun 2025
GM
Gary Marcus — holds since 2025-06-07 — tap for who they are
Same subject: Future AI, say in fifteen years, will not be built on the LLM stack; it will have to move to symbolic learning. — tap to centre the map on it Future AI, say in fifteen years, will not be built on the LLM stack; it will have to move to symbolic learning. Last stated a month ago
7 Aug 2026
FC
François Chollet — holds since 2026-08-07 — tap for who they are
Same subject: A big switch to desktop Linux is coming, at least among developers, because there is enough dissatisfaction with both Apple and Microsoft. — tap to centre the map on it A big switch to desktop Linux is coming, at least among developers, because there is enough dissatisfaction with both Apple and Microsoft. Last stated a year ago
26 Jun 2025
DH
David Heinemeier Hansson — holds since 2025-06-26 — tap for who they are
Same subject: An operating system should put its users on the same level as its maker: no two-tier system where the vendor makes the real thing and you patch around it. — tap to centre the map on it An operating system should put its users on the same level as its maker: no two-tier system where the vendor makes the real thing and you patch around it. Last stated 2 weeks ago
25 Aug 2026
DH
David Heinemeier Hansson — holds since 2026-08-25 — tap for who they are
Same subject: Apple has more reason to stumble now than ever: terribly behind on AI, faltering software quality, rivals catching up on silicon, and a leadership too old to relearn. — tap to centre the map on it Apple has more reason to stumble now than ever: terribly behind on AI, faltering software quality, rivals catching up on silicon, and a leadership too old to relearn. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-12 — 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
Same subject: Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost. — tap to centre the map on it Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost. Last stated 8 years ago
21 Jan 2019
HW
Hillel Wayne — holds since 2019-01-21 — tap for who they are
Same subject: Lean and tools like GitHub will let experimental mathematics scale far beyond what one mathematician's spaghetti code allows today. — tap to centre the map on it Lean and tools like GitHub will let experimental mathematics scale far beyond what one mathematician's spaghetti code allows today. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
Same subject: A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost. — tap to centre the map on it A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost. Last stated 5 months ago
1 Apr 2026
TP
Thuan Pham — holds since 2026-04-01 — tap for who they are
Same subject: A crewed rocket cannot be made safe by making the booster reliable, so the only real way to improve safety is to carry an escape system. — tap to centre the map on it A crewed rocket cannot be made safe by making the booster reliable, so the only real way to improve safety is to carry an escape system. Last stated 3 years ago
14 Dec 2023
JB
Jeff Bezos — holds since 2023-12-14 — tap for who they are
Same subject: A monopolist that can no longer grow by winning new users can only grow by making its product worse for the users it already has. — tap to centre the map on it A monopolist that can no longer grow by winning new users can only grow by making its product worse for the users it already has. Last stated 3 years ago
28 Jul 2023
CD
Cory Doctorow — holds since 2023-07-28 — tap for who they are
At the centre
A chip that can do nothing but low-precision dense linear algebra is enough for machine learning, even though it cannot run Chrome.
Holds JD Jeff DeanRead this korrent →
Falling back to older 7-nanometre chips would not rescue AI compute, because the real gap between chip generations is twentyfold, not the threefold the flops suggest.
Holds DP Dylan Patel
Inference, not training, is now the constraint, and specialized low-energy hardware will beat general-purpose GPUs and TPUs on latency.
Holds JD Jeff Dean
Machine learning is a shallow field compared with mathematics: even its most important ideas can be explained in a couple of minutes.
Holds RG Ryan Greenblatt
You cannot build a successful AI chip without first writing a competitive machine learning framework — that, not the silicon, is why Google's TPU is the only one that worked.
Holds GH George Hotz
Anyone who cannot write a full software stack for NVIDIA's generic GPUs has no chance of writing one for their own, more specialised, AI chip.
Holds GH George Hotz
The business is not building a great chip; it is accelerating an algorithm domain.
Holds JH Jensen Huang
A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted.
Holds GM Gary Marcus
Future AI, say in fifteen years, will not be built on the LLM stack; it will have to move to symbolic learning.
Holds
A big switch to desktop Linux is coming, at least among developers, because there is enough dissatisfaction with both Apple and Microsoft.
Holds
An operating system should put its users on the same level as its maker: no two-tier system where the vendor makes the real thing and you patch around it.
Holds
Apple has more reason to stumble now than ever: terribly behind on AI, faltering software quality, rivals catching up on silicon, and a leadership too old to relearn.
Holds
Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying.
Holds TT Terence Tao
Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost.
Holds HW Hillel Wayne
Lean and tools like GitHub will let experimental mathematics scale far beyond what one mathematician's spaghetti code allows today.
Holds TT Terence Tao
A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost.
Holds TP Thuan Pham
A crewed rocket cannot be made safe by making the booster reliable, so the only real way to improve safety is to carry an escape system.
Holds JB Jeff Bezos
A monopolist that can no longer grow by winning new users can only grow by making its product worse for the users it already has.
Holds CD Cory Doctorow