Tap a claim on the ring to put it at the centre.
← Layering a static type system atop a dynamic one, capable of proving…
14 connected korrents · 12 moments on record from 15 Jul 2013 to 13 May 2026.
Everything filed under Linux
Linux
Everything filed under Ruby on Rails
Ruby on Rails
Everything filed under Ruby
Ruby
Everything filed under TypeScript
TypeScript 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: 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. 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 5 months ago
22 Apr 2026
JB
Jamie Brandon — holds since 2026-04-22 — 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: Calling static typing the only way to build reliable systems is idiotic in the face of the evidence, starting with Shopify serving a million requests a second on Rails. — tap to centre the map on it Calling static typing the only way to build reliable systems is idiotic in the face of the evidence, starting with Shopify serving a million requests a second on Rails. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-12 — tap for who they are
Same subject: Ruby must never get static typing: dynamic duck typing is the essence of what makes Ruby Ruby. — tap to centre the map on it Ruby must never get static typing: dynamic duck typing is the essence of what makes Ruby Ruby. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — holds since 2024-09-18 — tap for who they are
DH
David Heinemeier Hansson — holds since 2025-07-12 — 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: People adopted TypeScript for the tooling, not the types: an erasable type system is worth having because of the productivity the tooling built on it delivers. — tap to centre the map on it People adopted TypeScript for the tooling, not the types: an erasable type system is worth having because of the productivity the tooling built on it delivers. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: For a web developer Linux is simply better than the Mac: closer to what you deploy on, with phenomenal tooling and a reproducible setup. — tap to centre the map on it For a web developer Linux is simply better than the Mac: closer to what you deploy on, with phenomenal tooling and a reproducible setup. Last stated 5 months ago
8 Apr 2026
DH
David Heinemeier Hansson — holds since 2025-07-12 — tap for who they are
DH
David Heinemeier Hansson — holds since 2026-04-08 — tap for who they are
Same subject: Ruby is a luxury language, the Coco Chanel of programming, and 99% of web applications can afford it because their real cost is people, not CPU. — tap to centre the map on it Ruby is a luxury language, the Coco Chanel of programming, and 99% of web applications can afford it because their real cost is people, not CPU. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-12 — tap for who they are
Same subject: Ruby is probably his forever language, and he still tries new languages to widen the aperture. — tap to centre the map on it Ruby is probably his forever language, and he still tries new languages to widen the aperture. Last stated a year ago
1 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-01 — tap for who they are
Same subject: Rails is having a renaissance because it is one of the most token-efficient ways to build a web app, which suits agents, for as long as that lasts. — tap to centre the map on it Rails is having a renaissance because it is one of the most token-efficient ways to build a web app, which suits agents, for as long as that lasts. Last stated 5 months ago
8 Apr 2026
DH
David Heinemeier Hansson — holds since 2026-04-08 — tap for who they are
Same subject: Ruby on Rails took off because its creator evangelized it by arguing its superiority against the competing alternatives. — tap to centre the map on it Ruby on Rails took off because its creator evangelized it by arguing its superiority against the competing alternatives. Last stated 2 years ago
2 Jun 2024
DH
David Heinemeier Hansson — no longer holds since 2024-06-02 — tap for who they are
Same subject: The Rails doctrine's 'progress over stability' is the one point that dated: churn is not progress, and stability turned out to be worth more. — tap to centre the map on it The Rails doctrine's 'progress over stability' is the one point that dated: churn is not progress, and stability turned out to be worth more. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — no longer holds since 2025-07-12 — tap for who they are
Same subject: A big switch to desktop Linux is coming, at least among developers, because there is enough dissatisfaction with both Apple and Microsoft. — tap to centre the map on it A big switch to desktop Linux is coming, at least among developers, because there is enough dissatisfaction with both Apple and Microsoft. Last stated a year ago
26 Jun 2025
DH
David Heinemeier Hansson — holds since 2025-06-26 — tap for who they are
Same subject: Being blunt to the point of abuse on the kernel mailing list is who I am and the right way to run the project. — tap to centre the map on it Being blunt to the point of abuse on the kernel mailing list is who I am and the right way to run the project. Last stated 8 years ago
16 Sept 2018
LT
Linus Torvalds — holds since 2013-07-15 — tap for who they are
LT
Linus Torvalds — no longer holds since 2018-09-16 — tap for who they are
Same subject: Desktop Linux improved dramatically while Apple's users were not watching, and is now far more polished and capable than its reputation. — tap to centre the map on it Desktop Linux improved dramatically while Apple's users were not watching, and is now far more polished and capable than its reputation. Last stated a year ago
26 Aug 2025
DH
David Heinemeier Hansson — holds since 2025-08-26 — tap for who they are
At the centre
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 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
Calling static typing the only way to build reliable systems is idiotic in the face of the evidence, starting with Shopify serving a million requests a second on Rails.
Holds
Ruby must never get static typing: dynamic duck typing is the essence of what makes Ruby Ruby.
Holds
The empirical literature on static typing finds effects too small to matter, in the narrow settings it has managed to study.
Holds
People adopted TypeScript for the tooling, not the types: an erasable type system is worth having because of the productivity the tooling built on it delivers.
Holds
For a web developer Linux is simply better than the Mac: closer to what you deploy on, with phenomenal tooling and a reproducible setup.
Holds
Ruby is a luxury language, the Coco Chanel of programming, and 99% of web applications can afford it because their real cost is people, not CPU.
Holds
Ruby is probably his forever language, and he still tries new languages to widen the aperture.
Holds
Rails is having a renaissance because it is one of the most token-efficient ways to build a web app, which suits agents, for as long as that lasts.
Holds
Ruby on Rails took off because its creator evangelized it by arguing its superiority against the competing alternatives.
No longer holds
The Rails doctrine's 'progress over stability' is the one point that dated: churn is not progress, and stability turned out to be worth more.
No longer holds
A big switch to desktop Linux is coming, at least among developers, because there is enough dissatisfaction with both Apple and Microsoft.
Holds
Being blunt to the point of abuse on the kernel mailing list is who I am and the right way to run the project.
No longer holds
Desktop Linux improved dramatically while Apple's users were not watching, and is now far more polished and capable than its reputation.
Holds