Tap a claim on the ring to put it at the centre.
← Enforcing safe mutable value semantics (e.g.…
17 connected korrents · 14 moments on record from 7 Nov 2014 to 3 Sept 2026.
Everything filed under coding agents
coding agents
Everything filed under TypeScript
TypeScript
Everything filed under software quality
software quality
Everything filed under JavaScript
JavaScript 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: Enforcing safe mutable value semantics (e.g. via borrow-checking) is far easier to do cheaply with a static type system than with a dynamic one. Enforcing safe mutable value semantics (e.g. via borrow-checking) is far easier to do cheaply with a static type system than with a dynamic one. Last stated 5 months ago
22 Apr 2026
JB
Jamie Brandon — holds since 2026-04-22 — tap for who they are
Same subject: Layering a static type system atop a dynamic one, capable of proving the dynamic checks redundant, combines the flexibility of dynamic typing with the performance of static typing. — tap to centre the map on it Layering a static type system atop a dynamic one, capable of proving the dynamic checks redundant, combines the flexibility of dynamic typing with the performance of static typing. Last stated 5 months ago
22 Apr 2026
JB
Jamie Brandon — holds since 2026-04-22 — tap for who they are
Same subject: Mutable stateful objects are the new spaghetti code: hard to understand, hard to test and hard to reason about. — tap to centre the map on it Mutable stateful objects are the new spaghetti code: hard to understand, hard to test and hard to reason about. Last stated 9 years ago
by 2 Jan 2018
RH
Rich Hickey — holds since 2018-01-02 — tap for who they are
Same subject: The case for Rust is stronger against C++ than against JavaScript, because in C++ an ordinary mistake is usually a security vulnerability. — tap to centre the map on it The case for Rust is stronger against C++ than against JavaScript, because in C++ an ordinary mistake is usually a security vulnerability. Last stated 4 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: Most macros just transform their arguments, so running them during static analysis is usually safe even though it can't be guaranteed. — tap to centre the map on it Most macros just transform their arguments, so running them during static analysis is usually safe even though it can't be guaranteed. Last stated 3 years ago
31 Dec 2023
PH
Phil Hagelberg — holds since 2023-12-31 — tap for who they are
Same subject: What trips up newcomers to Rust is not the code but the shape of their data. — tap to centre the map on it What trips up newcomers to Rust is not the code but the shape of their data. Last stated 4 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: The empirical literature on static typing finds effects too small to matter, in the narrow settings it has managed to study. — tap to centre the map on it The empirical literature on static typing finds effects too small to matter, in the narrow settings it has managed to study. Last stated 12 years ago
7 Nov 2014
DL
Dan Luu — holds since 2014-11-07 — tap for who they are
Same subject: Rust is hard to learn because its borrow-checking rules have so many exceptions that people internalize the wrong simplified rules. — tap to centre the map on it Rust is hard to learn because its borrow-checking rules have so many exceptions that people internalize the wrong simplified rules. Last stated 5 months ago
7 Apr 2026
JB
Jamie Brandon — holds since 2026-04-07 — tap for who they are
Same subject: TypeScript's type annotations cost more in friction than they return in safety, and a front-end framework is better off written in plain JavaScript. — tap to centre the map on it TypeScript's type annotations cost more in friction than they return in safety, and a front-end framework is better off written in plain JavaScript. Last stated 3 years ago
6 Sept 2023
DH
David Heinemeier Hansson — holds since 2023-09-06 — tap for who they are
Same subject: A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair. — tap to centre the map on it A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair. Last stated a year ago
18 Aug 2025
CB
Clay Bavor — holds since 2025-08-18 — tap for who they are
Same subject: A language-agnostic conformance suite is the most powerful thing you can hand a coding agent, because the whole instruction becomes: write code until these tests pass. — tap to centre the map on it A language-agnostic conformance suite is the most powerful thing you can hand a coding agent, because the whole instruction becomes: write code until these tests pass. Last stated 6 months ago
19 Mar 2026
SW
Simon Willison — holds since 2026-03-19 — tap for who they are
Same subject: A passing test suite is not evidence that the software works, so an agent must also be made to start the thing and exercise it the way a person would. — tap to centre the map on it A passing test suite is not evidence that the software works, so an agent must also be made to start the thing and exercise it the way a person would. Last stated 6 months ago
19 Mar 2026
SW
Simon Willison — holds since 2026-03-19 — tap for who they are
Same subject: A programming language is a ten-year play: version one has issues, version two fixes them, version three is finally good — and only then does adoption start. — tap to centre the map on it A programming language is a ten-year play: version one has issues, version two fixes them, version three is finally good — and only then does adoption start. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: Discriminated unions are the most important TypeScript feature, and everyone should be using them more. — tap to centre the map on it Discriminated unions are the most important TypeScript feature, and everyone should be using them more. Last stated 2 years ago
18 Dec 2024
DM
Dillon Mulroy — holds since 2024-12-18 — tap for who they are
Same subject: For a TypeScript team, Rust belongs on the backend — API servers — and not in the front end. — tap to centre the map on it For a TypeScript team, Rust belongs on the backend — API servers — and not in the front end. Last stated 4 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: A coding agent does not learn from its mistakes the way a person does -- it repeats the same error indefinitely unless a human notices and writes it down. — tap to centre the map on it A coding agent does not learn from its mistakes the way a person does -- it repeats the same error indefinitely unless a human notices and writes it down. Last stated 6 months ago
25 Mar 2026
MZ
Mario Zechner — holds since 2026-03-25 — tap for who they are
Same subject: A coding-agent company should not train its own model: it has to stay neutral ground for models to compete on. — tap to centre the map on it A coding-agent company should not train its own model: it has to stay neutral ground for models to compete on. Last stated 3 weeks ago
3 Sept 2026
DR
Dax Raad — holds since 2026-09-03 — tap for who they are
Same subject: A company on a monolith cannot use AI on it: no model in the next eighteen months will hold that codebase, so the monolith has to be broken up or rewritten. — tap to centre the map on it A company on a monolith cannot use AI on it: no model in the next eighteen months will hold that codebase, so the monolith has to be broken up or rewritten. Last stated 6 months ago
11 Mar 2026
SY
Steve Yegge — holds since 2026-03-11 — tap for who they are
At the centre
Enforcing safe mutable value semantics (e.g. via borrow-checking) is far easier to do cheaply with a static type system than with a dynamic one.
Holds Read this korrent →
Layering a static type system atop a dynamic one, capable of proving the dynamic checks redundant, combines the flexibility of dynamic typing with the performance of static typing.
Holds
Mutable stateful objects are the new spaghetti code: hard to understand, hard to test and hard to reason about.
Holds
The case for Rust is stronger against C++ than against JavaScript, because in C++ an ordinary mistake is usually a security vulnerability.
Holds
Most macros just transform their arguments, so running them during static analysis is usually safe even though it can't be guaranteed.
Holds
What trips up newcomers to Rust is not the code but the shape of their data.
Holds
The empirical literature on static typing finds effects too small to matter, in the narrow settings it has managed to study.
Holds
Rust is hard to learn because its borrow-checking rules have so many exceptions that people internalize the wrong simplified rules.
Holds
TypeScript's type annotations cost more in friction than they return in safety, and a front-end framework is better off written in plain JavaScript.
Holds
A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair.
Holds
A language-agnostic conformance suite is the most powerful thing you can hand a coding agent, because the whole instruction becomes: write code until these tests pass.
Holds
A passing test suite is not evidence that the software works, so an agent must also be made to start the thing and exercise it the way a person would.
Holds
A programming language is a ten-year play: version one has issues, version two fixes them, version three is finally good — and only then does adoption start.
Holds
Discriminated unions are the most important TypeScript feature, and everyone should be using them more.
Holds
For a TypeScript team, Rust belongs on the backend — API servers — and not in the front end.
Holds
A coding agent does not learn from its mistakes the way a person does -- it repeats the same error indefinitely unless a human notices and writes it down.
Holds
A coding-agent company should not train its own model: it has to stay neutral ground for models to compete on.
Holds
A company on a monolith cannot use AI on it: no model in the next eighteen months will hold that codebase, so the monolith has to be broken up or rewritten.
Holds