Tap a claim on the ring to put it at the centre.
← Less was a nicer language than Sass because it was functional and…
17 connected korrents · 16 moments from 7 Nov 2014 to 21 Oct 2026.
Everything filed under Anthropic
Anthropic
Everything filed under OpenAI
OpenAI
Everything filed under scaling laws
scaling laws
Everything filed under LLMs
LLMs
Everything filed under Ruby
Ruby
Everything filed under developer tools
developer tools
Everything filed under TypeScript
TypeScript
Everything filed under formal proof
formal proof 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: Less was a nicer language than Sass because it was functional and declarative rather than procedural and imperative. Less was a nicer language than Sass because it was functional and declarative rather than procedural and imperative. Last stated 6 years ago
by 2 Aug 2020
AW
Adam Wathan — holds since 2020-08-02 — tap for who they are
Same subject: The programming language is now English, and it is a more beautiful one than Ruby. — tap to centre the map on it The programming language is now English, and it is a more beautiful one than Ruby. Last stated 2 months ago
26 Aug 2026
DH
David Heinemeier Hansson — holds since 2026-08-26 — tap for who they are
Same subject: In APIs and command-line tools, having fewer ways to accomplish the same task is better because it reduces how much a person has to remember. — tap to centre the map on it In APIs and command-line tools, having fewer ways to accomplish the same task is better because it reduces how much a person has to remember. Last stated 2 months ago
1 Sept 2026
NJ
Nick Janetakis — holds since 2026-09-01 — tap for who they are
Same subject: He prefers languages with expressive type systems and has still never noticed them making him more productive or less bug-prone. — tap to centre the map on it He prefers languages with expressive type systems and has still never noticed them making him more productive or less bug-prone. Last stated 12 years ago
7 Nov 2014
DL
Dan Luu — holds since 2014-11-07 — tap for who they are
Same subject: Biology models are smaller than language models only because there is less data, not because biology is simpler. — tap to centre the map on it Biology models are smaller than language models only because there is less data, not because biology is simpler. Last stated 4 months ago
10 Jun 2026
MZ
Mark Zuckerberg — holds since 2026-06-10 — tap for who they are
Same subject: Because its types are erased before the program runs, TypeScript can afford not to be sound: checking 99% beats the 0% JavaScript checked, and buys features a sound language cannot offer. — tap to centre the map on it Because its types are erased before the program runs, TypeScript can afford not to be sound: checking 99% beats the 0% JavaScript checked, and buys features a sound language cannot offer. Last stated 5 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: Ruby is a luxury language, the Coco Chanel of programming, and 99% of web applications can afford it because their real cost is people, not CPU. — tap to centre the map on it Ruby is a luxury language, the Coco Chanel of programming, and 99% of web applications can afford it because their real cost is people, not CPU. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-12 — tap for who they are
Same subject: Large language models are better at producing locally optimal code than at generating big architectural ideas. — tap to centre the map on it Large language models are better at producing locally optimal code than at generating big architectural ideas. Last stated 3 months ago
13 Jul 2026
SS
Salvatore Sanfilippo — holds since 2026-07-13 — tap for who they are
Same subject: There is a permanent trade-off in verification: an expressive language is hard to prove things about, and a language that is easy to prove things about is hard to write in. — tap to centre the map on it There is a permanent trade-off in verification: an expressive language is hard to prove things about, and a language that is easy to prove things about is hard to write in. Last stated 8 years ago
21 Jan 2019
HW
Hillel Wayne — holds since 2019-01-21 — tap for who they are
Same subject: A PHP vulnerability found with GPT-5.6 Sol will cause havoc this week. — tap to centre the map on it A PHP vulnerability found with GPT-5.6 Sol will cause havoc this week. Last stated 3 days ago
21 Oct 2026
PS
Peter Steinberger — holds since 2026-10-21 — tap for who they are
Same subject: A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests. — tap to centre the map on it A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests. Last stated 3 years ago
18 Mar 2024
SA
Sam Altman — holds since 2024-03-18 — tap for who they are
Same subject: Advertising was a necessary phase for the internet but a momentary industry, and an AI people pay for is better because they know the answers are not influenced by advertisers. — tap to centre the map on it Advertising was a necessary phase for the internet but a momentary industry, and an AI people pay for is better because they know the answers are not influenced by advertisers. Last stated 3 years ago
18 Mar 2024
SA
Sam Altman — holds since 2024-03-18 — tap for who they are
Same subject: "Scaling" was powerful because it was one word: naming a research direction is what tells a whole field what to do next. — tap to centre the map on it "Scaling" was powerful because it was one word: naming a research direction is what tells a whole field what to do next. Last stated 11 months ago
25 Nov 2025
IS
Ilya Sutskever — holds since 2025-11-25 — tap for who they are
Same subject: A benchmark result should be reported under a stated budget, or as a curve against test-time compute — never as a single number. — tap to centre the map on it A benchmark result should be reported under a stated budget, or as a curve against test-time compute — never as a single number. Last stated 4 months ago
26 Jun 2026
NB
Noam Brown — holds since 2026-06-26 — tap for who they are
Same subject: A lab should spend most of its compute on research rather than on building the next model, because research is where the tenfold yearly efficiency gains come from. — tap to centre the map on it A lab should spend most of its compute on research rather than on building the next model, because research is where the tenfold yearly efficiency gains come from. Last stated 7 months ago
13 Mar 2026
DP
Dylan Patel — holds since 2026-03-13 — tap for who they are
Same subject: "I don't know" becomes a kind of superpower when you can work with Claude Code to figure things out. — tap to centre the map on it "I don't know" becomes a kind of superpower when you can work with Claude Code to figure things out. Last stated 7 months ago
19 Mar 2026
KP
Kris Puckett — holds since 2026-03-19 — tap for who they are
Same subject: A benchmark that ranks Claude Code last while it stays first in use is measuring the wrong thing, and has been for a year. — tap to centre the map on it A benchmark that ranks Claude Code last while it stays first in use is measuring the wrong thing, and has been for a year. Last stated 2 months ago
3 Sept 2026
DR
Dax Raad — holds since 2026-09-03 — tap for who they are
Same subject: A skill is a set of repeatable, specific instructions that augments what Claude Code can do. — tap to centre the map on it A skill is a set of repeatable, specific instructions that augments what Claude Code can do. Last stated 7 months ago
19 Mar 2026
KP
Kris Puckett — holds since 2026-03-19 — tap for who they are
At the centre
Less was a nicer language than Sass because it was functional and declarative rather than procedural and imperative.
Holds Read this korrent →
The programming language is now English, and it is a more beautiful one than Ruby.
Holds
In APIs and command-line tools, having fewer ways to accomplish the same task is better because it reduces how much a person has to remember.
Holds
He prefers languages with expressive type systems and has still never noticed them making him more productive or less bug-prone.
Holds
Biology models are smaller than language models only because there is less data, not because biology is simpler.
Holds
Because its types are erased before the program runs, TypeScript can afford not to be sound: checking 99% beats the 0% JavaScript checked, and buys features a sound language cannot offer.
Holds
Ruby is a luxury language, the Coco Chanel of programming, and 99% of web applications can afford it because their real cost is people, not CPU.
Holds
Large language models are better at producing locally optimal code than at generating big architectural ideas.
Holds
There is a permanent trade-off in verification: an expressive language is hard to prove things about, and a language that is easy to prove things about is hard to write in.
Holds
A PHP vulnerability found with GPT-5.6 Sol will cause havoc this week.
Holds
A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests.
Holds
Advertising was a necessary phase for the internet but a momentary industry, and an AI people pay for is better because they know the answers are not influenced by advertisers.
Holds
"Scaling" was powerful because it was one word: naming a research direction is what tells a whole field what to do next.
Holds
A benchmark result should be reported under a stated budget, or as a curve against test-time compute — never as a single number.
Holds
A lab should spend most of its compute on research rather than on building the next model, because research is where the tenfold yearly efficiency gains come from.
Holds
"I don't know" becomes a kind of superpower when you can work with Claude Code to figure things out.
Holds
A benchmark that ranks Claude Code last while it stays first in use is measuring the wrong thing, and has been for a year.
Holds
A skill is a set of repeatable, specific instructions that augments what Claude Code can do.
Holds