Tap a claim on the ring to put it at the centre.
← Most macros just transform their arguments, so running them during…
17 connected korrents · 15 moments from 8 Feb 2017 to 12 Sept 2026.
Everything filed under developer tools
developer tools
Everything filed under compilers
compilers
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: Most macros just transform their arguments, so running them during static analysis is usually safe even though it can't be guaranteed. 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: 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. — tap to centre the map on it 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: Metaprogramming in a language creates fundamental obstacles to static analysis of its code. — tap to centre the map on it Metaprogramming in a language creates fundamental obstacles to static analysis of its code. Last stated 3 years ago
31 Dec 2023
PH
Phil Hagelberg — holds since 2023-12-31 — tap for who they are
Same subject: A compiler that names every place a change breaks turns refactoring into fixing errors until the compiler stops shouting. — tap to centre the map on it A compiler that names every place a change breaks turns refactoring into fixing errors until the compiler stops shouting. Last stated 6 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: Rust's defining experience is that once the code compiles it works — not literally true, but true often enough that people keep saying it. — tap to centre the map on it Rust's defining experience is that once the code compiles it works — not literally true, but true often enough that people keep saying it. Last stated 6 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: The guarantee Rust makes is conditional: write no unsafe, and no amount of bad code can produce a memory-safety bug. — tap to centre the map on it The guarantee Rust makes is conditional: write no unsafe, and no amount of bad code can produce a memory-safety bug. Last stated 6 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: The specific rules taught as clean code are simply bad programming practices, and they get worse when you apply them together. — tap to centre the map on it The specific rules taught as clean code are simply bad programming practices, and they get worse when you apply them together. Last stated 2 months ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — 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: Formal methods are not used everywhere because for most real problems writing down what the function should do is itself a nightmare, and a program that is right ninety-nine per cent of the time is good enough. — tap to centre the map on it Formal methods are not used everywhere because for most real problems writing down what the function should do is itself a nightmare, and a program that is right ninety-nine per cent of the time is good enough. Last stated 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — 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: Building powerful developer tools such as compilers, interpreters, and query languages requires knowledge of parsing. — tap to centre the map on it Building powerful developer tools such as compilers, interpreters, and query languages requires knowledge of parsing. Last stated 10 years ago
8 Feb 2017
TB
Thorsten Ball — holds since 2017-02-08 — tap for who they are
Same subject: In every developer-tool category — databases, compilers, whatever — the open source option eventually becomes the default option. — tap to centre the map on it In every developer-tool category — databases, compilers, whatever — the open source option eventually becomes the default option. Last stated 5 months ago
27 May 2026
DR
Dax Raad — holds since 2026-05-27 — 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 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
Same subject: A good tool raises the floor of what people can build without lowering the ceiling, and almost every tool quietly lowers the ceiling. — tap to centre the map on it A good tool raises the floor of what people can build without lowering the ceiling, and almost every tool quietly lowers the ceiling. Last stated a year ago
18 Sept 2025
TL
Tobias Lütke — holds since 2025-09-18 — 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
Same subject: Agents are the new compilers that compile intent into fast software. — tap to centre the map on it Agents are the new compilers that compile intent into fast software. Last stated 2 months ago
12 Sept 2026
GR
Guillermo Rauch — holds since 2026-09-12 — tap for who they are
Same subject: AI coding agents work best with the same general-purpose tools built for humans, such as git and file utilities, rather than agent-specific interfaces. — tap to centre the map on it AI coding agents work best with the same general-purpose tools built for humans, such as git and file utilities, rather than agent-specific interfaces. Last stated a year ago
30 Sept 2025
HR
Harper Reed — holds since 2025-09-30 — tap for who they are
At the centre
Most macros just transform their arguments, so running them during static analysis is usually safe even though it can't be guaranteed.
Holds 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.
Holds
Metaprogramming in a language creates fundamental obstacles to static analysis of its code.
Holds
A compiler that names every place a change breaks turns refactoring into fixing errors until the compiler stops shouting.
Holds
Rust's defining experience is that once the code compiles it works — not literally true, but true often enough that people keep saying it.
Holds
The guarantee Rust makes is conditional: write no unsafe, and no amount of bad code can produce a memory-safety bug.
Holds
The specific rules taught as clean code are simply bad programming practices, and they get worse when you apply them together.
Holds
Static typing gives coding agents a small but real edge on hard tasks, by catching crash-class bugs that untyped code ships.
Holds
Formal methods are not used everywhere because for most real problems writing down what the function should do is itself a nightmare, and a program that is right ninety-nine per cent of the time is good enough.
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
Building powerful developer tools such as compilers, interpreters, and query languages requires knowledge of parsing.
Holds
In every developer-tool category — databases, compilers, whatever — the open source option eventually becomes the default option.
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 feature-rich native 'view source' option for debugging sites with iPadOS would be beneficial.
Holds
A good tool raises the floor of what people can build without lowering the ceiling, and almost every tool quietly lowers the ceiling.
Holds
A software engineer who is not using a tool like Cursor is working at half productivity or worse.
Holds
Agents are the new compilers that compile intent into fast software.
Holds
AI coding agents work best with the same general-purpose tools built for humans, such as git and file utilities, rather than agent-specific interfaces.
Holds