Tap a claim on the ring to put it at the centre.
← Enforcing safe mutable value semantics (e.g.…
17 connected korrents · 15 moments from 7 Nov 2014 to 3 Nov 2026.
Everything filed under coding agents
coding agents
Everything filed under developer tools
developer tools
Everything filed under code generation
code generation
Everything filed under TypeScript
TypeScript
Everything filed under software quality
software quality
Everything filed under JavaScript
JavaScript
Everything filed under design
design 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 6 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 6 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: Static typing gives coding agents a small but real edge on hard tasks, by catching crash-class bugs that untyped code ships. — tap to centre the map on it Static typing gives coding agents a small but real edge on hard tasks, by catching crash-class bugs that untyped code ships. Last stated 5 months ago
10 Jun 2026
KC
Kun Chen — holds since 2026-06-10 — 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 6 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 6 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: A program is only worth running if its behavior cannot be fully foreseen in advance. — tap to centre the map on it A program is only worth running if its behavior cannot be fully foreseen in advance. Last stated 4 months ago
21 Jul 2026
SW
Stephen Wolfram — holds since 2026-07-21 — tap for who they are
Same subject: A codebase is the most important context an AI agent has, and letting many different models add to it without consistent patterns leads to trouble. — tap to centre the map on it A codebase is the most important context an AI agent has, and letting many different models add to it without consistent patterns leads to trouble. Last stated 2 days ago
3 Nov 2026
DB
Derek Briggs — holds since 2026-11-03 — tap for who they are
Same subject: A model can now port essentially any codebase from one programming language to another, work that used to take a team over a year. — tap to centre the map on it A model can now port essentially any codebase from one programming language to another, work that used to take a team over a year. Last stated 3 months ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — tap for who they are
Same subject: A strong manual coding background helps developers spot algorithmic weaknesses and flaws in generated code. — tap to centre the map on it A strong manual coding background helps developers spot algorithmic weaknesses and flaws in generated code. Last stated 3 weeks ago
15 Oct 2026
AT
Adam Tornhill — holds since 2026-10-15 — 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 8 months ago
19 Mar 2026
KP
Kris Puckett — holds since 2026-03-19 — tap for who they are
Same subject: A code-review agent works best with a clean context, sharing nothing with the coding agent beforehand. — tap to centre the map on it A code-review agent works best with a clean context, sharing nothing with the coding agent beforehand. Last stated 6 months ago
22 Apr 2026
WY
Walden Yan — holds since 2026-04-22 — 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 7 months ago
25 Mar 2026
MZ
Mario Zechner — holds since 2026-03-25 — tap for who they are
Same subject: A coding AI that integrates only with its own vendor's tools will be very limited compared with one that draws on all the tools you use. — tap to centre the map on it A coding AI that integrates only with its own vendor's tools will be very limited compared with one that draws on all the tools you use. Last stated 3 years ago
16 Mar 2024
QS
Quinn Slack — holds since 2024-03-16 — tap for who they are
Same subject: A compiler that also serves an IDE has to be lazy and deferred throughout — a different way of building compilers from the one the textbooks teach. — tap to centre the map on it A compiler that also serves an IDE has to be lazy and deferred throughout — a different way of building compilers from the one the textbooks teach. Last stated 6 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: A feature-rich native 'view source' option for debugging sites with iPadOS would be beneficial. — tap to centre the map on it A feature-rich native 'view source' option for debugging sites with iPadOS would be beneficial. Last stated a year ago
11 Jul 2025
CO
Christian Oliff — holds since 2025-07-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
Static typing gives coding agents a small but real edge on hard tasks, by catching crash-class bugs that untyped code ships.
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
A program is only worth running if its behavior cannot be fully foreseen in advance.
Holds
A codebase is the most important context an AI agent has, and letting many different models add to it without consistent patterns leads to trouble.
Holds
A model can now port essentially any codebase from one programming language to another, work that used to take a team over a year.
Holds
A strong manual coding background helps developers spot algorithmic weaknesses and flaws in generated code.
Holds
"I don't know" becomes a kind of superpower when you can work with Claude Code to figure things out.
Holds
A code-review agent works best with a clean context, sharing nothing with the coding agent beforehand.
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 AI that integrates only with its own vendor's tools will be very limited compared with one that draws on all the tools you use.
Holds
A compiler that also serves an IDE has to be lazy and deferred throughout — a different way of building compilers from the one the textbooks teach.
Holds
A feature-rich native 'view source' option for debugging sites with iPadOS would be beneficial.
Holds