korrents

On the map

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 subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame 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 codecan 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 thatonce the code compiles it works —not literally true, but true oftenenough 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 classof bug is impossible no matter howbad the code is — and it is theclass that becomes securityvulnerabilities. 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 strongeragainst C++ than against JavaScript,because in C++ an ordinary mistakeis 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 achange breaks turns refactoring intofixing errors until the compilerstops 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 nounsafe at all: unsafe is how you adda 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 switchthe borrow checker off; it onlyunlocks a few operations you thenhave 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 regularlyare missing subtle details of howits 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 skillproblem: the mistakes are trivialand there are so many places to makeone that even an excellentprogrammer 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 wherea component belongs is a personalassumption and does not mean thatthe market or the users will reactto 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 fromMicrosoft had zero chance in theJavaScript ecosystem: TypeScript hadto be open source or nobody wouldcome. 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 beforethe program runs, TypeScript canafford not to be sound: checking 99%beats the 0% JavaScript checked, andbuys features a sound languagecannot 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 themost important priorities for any AIinfra 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 frontiersystems are the ones worth worryingabout, because by the time openmodels can do what these agents did,frontier models will be doingsomething 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 Faceagent incident, AI agents showedplanning and organizationalautonomy, but not goal autonomy --no spontaneous invention of anindependent 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 asa lens that shapes how a problem isperceived 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-yearplay: version one has issues,version two fixes them, versionthree is finally good — and onlythen 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 mostimportant TypeScript feature, andeveryone 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 wordinga cloud: claims about one subject, named for itbar: when it was last stated, on a scale from 2015 to today — full is todaya 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 →