Tap a claim on the ring to put it at the centre.
← A programming language functions as a lens that shapes how a problem is perceived when solving it.
17 connected korrents · 14 moments on record from 28 Oct 2011 to 30 Jun 2026.
Everything filed under mathematics
mathematics
Everything filed under AI and science
AI and science
Everything filed under developer tools
developer tools
Everything filed under compilers
compilers 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 programming language functions as a lens that shapes how a problem is perceived when solving it. A programming language functions as a lens that shapes how a problem is perceived when solving it. Last stated 7 years ago
9 Apr 2019
TB
Thorsten Ball — holds since 2019-04-09 — tap for who they are
Same subject: Programming languages shape how programmers think, similar to how spoken languages shape thought. — tap to centre the map on it Programming languages shape how programmers think, similar to how spoken languages shape thought. Last stated 7 years ago
9 Apr 2019
TB
Thorsten Ball — holds since 2019-04-09 — tap for who they are
Same subject: Each programming language embodies a distinct mental model for thinking about computation and writing programs. — tap to centre the map on it Each programming language embodies a distinct mental model for thinking about computation and writing programs. Last stated 7 years ago
9 Apr 2019
TB
Thorsten Ball — holds since 2019-04-09 — tap for who they are
Same subject: A language can only give you the feeling that compiling means working if it has a type system — that is where it all starts. — tap to centre the map on it A language can only give you the feeling that compiling means working if it has a type system — that is where it all starts. Last stated 4 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: Object-oriented programming is how he sees the world, whatever the frontier says about functional programming. — tap to centre the map on it Object-oriented programming is how he sees the world, whatever the frontier says about functional programming. Last stated 2 years ago
18 Sept 2024
DH
David Heinemeier Hansson — holds since 2024-09-18 — tap for who they are
Same subject: You learn a programming language by building something in it, not by reading about it. — tap to centre the map on it You learn a programming language by building something in it, not by reading about it. Last stated 4 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: A programming language is not a compiler but an experience: editing, running, debugging and the runtime library all have to fit together as one cycle. — tap to centre the map on it A programming language is not a compiler but an experience: editing, running, debugging and the runtime library all have to fit together as one cycle. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: Programming is mathematical work: it uses discrete mathematics rather than the continuous mathematics people picture when they say maths. — tap to centre the map on it Programming is mathematical work: it uses discrete mathematics rather than the continuous mathematics people picture when they say maths. Last stated 6 years ago
18 Jan 2021
HW
Hillel Wayne — holds since 2021-01-18 — tap for who they are
Same subject: You do not have to know how it works underneath, but depth is where invention comes from — nobody who only knows the surface invents a programming language. — tap to centre the map on it You do not have to know how it works underneath, but depth is where invention comes from — nobody who only knows the surface invents a programming language. Last stated 4 months ago
3 Jun 2026
KH
Kelsey Hightower — holds since 2026-06-03 — 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 3 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 3 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: A compound's AI origin story is not by itself a reason to expect it to do better in the clinic. — tap to centre the map on it A compound's AI origin story is not by itself a reason to expect it to do better in the clinic. Last stated 2 years ago
13 May 2024
DL
Derek Lowe — holds since 2024-05-13 — tap for who they are
Same subject: A computational discovery platform does not make a biotech fast, because the thousand other steps of drug development are still the bottleneck. — tap to centre the map on it A computational discovery platform does not make a biotech fast, because the thousand other steps of drug development are still the bottleneck. Last stated 2 years ago
17 Sept 2024
AT
Alex Telford — holds since 2024-09-17 — tap for who they are
Same subject: A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known. — tap to centre the map on it A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known. Last stated 5 years ago
15 Jul 2021
DH
Demis Hassabis — holds since 2021-07-15 — tap for who they are
Same subject: A company that handed its engineers Copilot and thinks it is now moving faster will be destroyed by the people using frontier models. — tap to centre the map on it A company that handed its engineers Copilot and thinks it is now moving faster will be destroyed by the people using frontier models. Last stated 6 months ago
11 Mar 2026
SY
Steve Yegge — holds since 2026-03-11 — tap for who they are
Same subject: A plain text file and a basic editor are everything anyone needs in order to think and write well; the extra tools add nothing. — tap to centre the map on it A plain text file and a basic editor are everything anyone needs in order to think and write well; the extra tools add nothing. Last stated 5 years ago
2 Mar 2022
DS
Derek Sivers — holds since 2022-03-02 — tap for who they are
Same subject: A software engineer who is not using a tool like Cursor is working at half productivity or worse. — tap to centre the map on it A software engineer who is not using a tool like Cursor is working at half productivity or worse. Last stated a year ago
18 Aug 2025
BT
Bret Taylor — holds since 2025-08-18 — tap for who they are
At the centre
A programming language functions as a lens that shapes how a problem is perceived when solving it.
Holds Read this korrent →
Programming languages shape how programmers think, similar to how spoken languages shape thought.
Holds
Each programming language embodies a distinct mental model for thinking about computation and writing programs.
Holds
A language can only give you the feeling that compiling means working if it has a type system — that is where it all starts.
Holds
Object-oriented programming is how he sees the world, whatever the frontier says about functional programming.
Holds
You learn a programming language by building something in it, not by reading about it.
Holds
A programming language is not a compiler but an experience: editing, running, debugging and the runtime library all have to fit together as one cycle.
Holds
Programming is mathematical work: it uses discrete mathematics rather than the continuous mathematics people picture when they say maths.
Holds
You do not have to know how it works underneath, but depth is where invention comes from — nobody who only knows the surface invents a programming language.
Holds
A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved.
Holds
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
Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring.
Holds
A compound's AI origin story is not by itself a reason to expect it to do better in the clinic.
Holds
A computational discovery platform does not make a biotech fast, because the thousand other steps of drug development are still the bottleneck.
Holds
A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known.
Holds
A company that handed its engineers Copilot and thinks it is now moving faster will be destroyed by the people using frontier models.
Holds
A plain text file and a basic editor are everything anyone needs in order to think and write well; the extra tools add nothing.
Holds
A software engineer who is not using a tool like Cursor is working at half productivity or worse.
Holds