Tap a claim on the ring to put it at the centre.
← The guarantee Rust makes is conditional: write no unsafe, and no…
17 connected korrents · 9 moments from 9 Apr 2019 to 14 Oct 2026.
Everything filed under TypeScript
TypeScript
Everything filed under HuggingFace
HuggingFace
Everything filed under JavaScript
JavaScript
Everything filed under cybersecurity
cybersecurity
Everything filed under compilers
compilers
Everything filed under education
education
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: The guarantee Rust makes is conditional: write no unsafe, and no amount of bad code can produce a memory-safety bug.
The guarantee Rust makes is conditional: write no unsafe, and no amount of bad code can produce a memory-safety bug.
Last stated 5 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 5 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: Memory safety means an entire class of bug is impossible no matter how bad the code is — and it is the class that becomes security vulnerabilities. — tap to centre the map on it
Memory safety means an entire class of bug is impossible no matter how bad the code is — and it is the class that becomes security vulnerabilities.
Last stated 5 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — 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 5 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — 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 5 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: Application code should contain no unsafe at all: unsafe is how you add a missing feature to the language, not how you write a server. — tap to centre the map on it
Application code should contain no unsafe at all: unsafe is how you add a missing feature to the language, not how you write a server.
Last stated 5 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: The unsafe keyword does not switch the borrow checker off; it only unlocks a few operations you then have to justify yourself. — tap to centre the map on it
The unsafe keyword does not switch the borrow checker off; it only unlocks a few operations you then have to justify yourself.
Last stated 5 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: Most people who write Rust regularly are missing subtle details of how its borrow-checker actually works. — tap to centre the map on it
Most people who write Rust regularly are missing subtle details of how its borrow-checker actually works.
Last stated 7 months ago
7 Apr 2026
JB
Jamie Brandon — holds since 2026-04-07 — tap for who they are
Same subject: Memory-safety bugs are not a skill problem: the mistakes are trivial and there are so many places to make one that even an excellent programmer will. — tap to centre the map on it
Memory-safety bugs are not a skill problem: the mistakes are trivial and there are so many places to make one that even an excellent programmer will.
Last stated 5 months ago
20 May 2026
AR
Alice Ryhl — holds since 2026-05-20 — tap for who they are
Same subject: A designer's assumption about where a component belongs is a personal assumption and does not mean that the market or the users will react to the component that way. — tap to centre the map on it
A designer's assumption about where a component belongs is a personal assumption and does not mean that the market or the users will react to the component that way.
Last stated 7 months ago
2 Apr 2026
MS
Marvin Schwaibold — holds since 2026-04-02 — tap for who they are
Same subject: A proprietary language licensed from Microsoft had zero chance in the JavaScript ecosystem: TypeScript had to be open source or nobody would come. — tap to centre the map on it
A proprietary language licensed from Microsoft had zero chance in the JavaScript ecosystem: TypeScript had to be open source or nobody would come.
Last stated 5 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: Because its types are erased before the program runs, TypeScript can afford not to be sound: checking 99% beats the 0% JavaScript checked, and buys features a sound language cannot offer. — tap to centre the map on it
Because its types are erased before the program runs, TypeScript can afford not to be sound: checking 99% beats the 0% JavaScript checked, and buys features a sound language cannot offer.
Last stated 5 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: Agent containment will be one of the most important priorities for any AI infra company. — tap to centre the map on it
Agent containment will be one of the most important priorities for any AI infra company.
Last stated a week ago
14 Oct 2026
GR
Guillermo Rauch — holds since 2026-10-14 — tap for who they are
Same subject: At any given moment the frontier systems are the ones worth worrying about, because by the time open models can do what these agents did, frontier models will be doing something far worse. — tap to centre the map on it
At any given moment the frontier systems are the ones worth worrying about, because by the time open models can do what these agents did, frontier models will be doing something far worse.
Last stated 2 months ago
1 Sept 2026
AC
Ajeya Cotra — holds since 2026-09-01 — tap for who they are
Same subject: In the 2026 OpenAI/Hugging Face agent incident, AI agents showed planning and organizational autonomy, but not goal autonomy -- no spontaneous invention of an independent terminal objective. — tap to centre the map on it
In the 2026 OpenAI/Hugging Face agent incident, AI agents showed planning and organizational autonomy, but not goal autonomy -- no spontaneous invention of an independent terminal objective.
Last stated 2 months ago
31 Aug 2026
VR
Venkatesh Rao — holds since 2026-08-31 — tap for who they are
Same subject: A programming language functions as a lens that shapes how a problem is perceived when solving it. — tap to centre the map on it
A programming language functions as a lens that shapes how a problem is perceived when solving it.
Last stated 8 years ago
9 Apr 2019
TB
Thorsten Ball — holds since 2019-04-09 — 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 5 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 or similar wording a cloud: claims about one subject, named for it bar: when it was last stated, on a scale from 2015 to today — full is today a face: someone who holds the claim — tap it for who they are
At the centre
The guarantee Rust makes is conditional: write no unsafe, and no amount of bad code can produce a memory-safety bug.
Last stated 20 May 2026 · 5 months ago
Holds Alice Ryhl
Read this korrent →
Similar wording
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 20 May 2026 · 5 months ago
Holds Alice Ryhl
Similar wording
Memory safety means an entire class of bug is impossible no matter how bad the code is — and it is the class that becomes security vulnerabilities.
Last stated 20 May 2026 · 5 months ago
Holds Alice Ryhl
Similar wording
The case for Rust is stronger against C++ than against JavaScript, because in C++ an ordinary mistake is usually a security vulnerability.
Last stated 20 May 2026 · 5 months ago
Holds Alice Ryhl
Similar wording
A compiler that names every place a change breaks turns refactoring into fixing errors until the compiler stops shouting.
Last stated 20 May 2026 · 5 months ago
Holds Alice Ryhl
Similar wording
Application code should contain no unsafe at all: unsafe is how you add a missing feature to the language, not how you write a server.
Last stated 20 May 2026 · 5 months ago
Holds Alice Ryhl
Similar wording
The unsafe keyword does not switch the borrow checker off; it only unlocks a few operations you then have to justify yourself.
Last stated 20 May 2026 · 5 months ago
Holds Alice Ryhl
Similar wording
Most people who write Rust regularly are missing subtle details of how its borrow-checker actually works.
Last stated 7 Apr 2026 · 7 months ago
Holds Jamie Brandon
Similar wording
Memory-safety bugs are not a skill problem: the mistakes are trivial and there are so many places to make one that even an excellent programmer will.
Last stated 20 May 2026 · 5 months ago
Holds Alice Ryhl
Same subject: JavaScript
A designer's assumption about where a component belongs is a personal assumption and does not mean that the market or the users will react to the component that way.
Last stated 2 Apr 2026 · 7 months ago
Holds Marvin Schwaibold
Same subject: JavaScript
A proprietary language licensed from Microsoft had zero chance in the JavaScript ecosystem: TypeScript had to be open source or nobody would come.
Last stated 13 May 2026 · 5 months ago
Holds Anders Hejlsberg
Same subject: JavaScript
Because its types are erased before the program runs, TypeScript can afford not to be sound: checking 99% beats the 0% JavaScript checked, and buys features a sound language cannot offer.
Last stated 13 May 2026 · 5 months ago
Holds Anders Hejlsberg
Same subject: HuggingFace
Agent containment will be one of the most important priorities for any AI infra company.
Last stated 14 Oct 2026 · a week ago
Holds Guillermo Rauch
Same subject: HuggingFace
At any given moment the frontier systems are the ones worth worrying about, because by the time open models can do what these agents did, frontier models will be doing something far worse.
Last stated 1 Sept 2026 · 2 months ago
Holds Ajeya Cotra
Same subject: HuggingFace
In the 2026 OpenAI/Hugging Face agent incident, AI agents showed planning and organizational autonomy, but not goal autonomy -- no spontaneous invention of an independent terminal objective.
Last stated 31 Aug 2026 · 2 months ago
Holds Venkatesh Rao
Same subject: TypeScript
A programming language functions as a lens that shapes how a problem is perceived when solving it.
Last stated 9 Apr 2019 · 8 years ago
Holds Thorsten Ball
Same subject: TypeScript
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 13 May 2026 · 5 months ago
Holds Anders Hejlsberg
Same subject: TypeScript
Discriminated unions are the most important TypeScript feature, and everyone should be using them more.
Last stated 18 Dec 2024 · 2 years ago
Holds Dillon Mulroy