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 · 10 moments on record from 2 Mar 2022 to 26 Aug 2026.
Everything filed under compilers
compilers
Everything filed under formal proof
formal proof
Everything filed under developer tools
developer tools
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: 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 5 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 4 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 4 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 4 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 4 weeks ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — 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 2 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — 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: 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 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — 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: A speed difference between languages that share the LLVM backend measures the benchmark author, not the languages. — tap to centre the map on it A speed difference between languages that share the LLVM backend measures the benchmark author, not the languages. Last stated 2 years ago
22 Mar 2025
TH
ThePrimeagen — holds since 2025-03-22 — tap for who they are
Same subject: A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. — tap to centre the map on it A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. — tap to centre the map on it AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. Last stated 2 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. — tap to centre the map on it AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — 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
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
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
The case for Rust is stronger against C++ than against JavaScript, because in C++ an ordinary mistake is usually a security vulnerability.
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 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
A speed difference between languages that share the LLVM backend measures the benchmark author, not the languages.
Holds
A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can.
Holds
AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths.
Holds
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
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